1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
// SMP.1 + SMP.3
// spinlock + mask interrupts
#include "proc/kmutex.h"
#include "globals.h"
#include "main/interrupt.h"
#include <errno.h>
/*
* IMPORTANT: Mutexes can _NEVER_ be locked or unlocked from an
* interrupt context. Mutexes are _ONLY_ lock or unlocked from a
* thread context.
*/
/*
* Checks for the specific deadlock case where:
* curthr wants mtx, but the owner of mtx is waiting on a mutex that curthr is
* holding
*/
#define DEBUG_DEADLOCKS 1
void detect_deadlocks(kmutex_t *mtx)
{
#if DEBUG_DEADLOCKS
list_iterate(&curthr->kt_mutexes, held, kmutex_t, km_link)
{
list_iterate(&held->km_waitq.tq_list, waiter, kthread_t, kt_qlink)
{
if (waiter == mtx->km_holder)
{
panic(
"detected deadlock between P%d and P%d (mutexes 0x%p, "
"0x%p)\n",
curproc->p_pid, waiter->kt_proc->p_pid, held, mtx);
}
}
}
#endif
}
/*
* Initializes the members of mtx
*/
void kmutex_init(kmutex_t *mtx)
{
NOT_YET_IMPLEMENTED("PROCS: kmutex_init");
}
/*
* Obtains a mutex, potentially blocking.
*
* Hints:
* You are strongly advised to maintain the kt_mutexes member of curthr and call
* detect_deadlocks() to help debugging.
*/
void kmutex_lock(kmutex_t *mtx)
{
NOT_YET_IMPLEMENTED("PROCS: kmutex_lock");
}
/*
* Releases a mutex.
*
* Hints:
* Again, you are strongly advised to maintain kt_mutexes.
* Use sched_wakeup_on() to hand off the mutex - think carefully about how
* these two functions interact to ensure that the mutex's km_holder is
* properly set before the new owner is runnable.
*/
void kmutex_unlock(kmutex_t *mtx)
{
NOT_YET_IMPLEMENTED("PROCS: kmutex_unlock");
}
/*
* Checks if mtx's wait queue is empty.
*/
long kmutex_has_waiters(kmutex_t *mtx)
{
return !sched_queue_empty(&mtx->km_waitq);
;
}
/*
* Checks if the current thread owns mtx.
*/
inline long kmutex_owns_mutex(kmutex_t *mtx)
{
return curthr && mtx->km_holder == curthr;
}
|
