summaryrefslogtreecommitdiff
path: root/device/dev_master.h
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-18 12:07:26 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-28 15:47:56 +0200
commit069a8a3decf5981cd420014384ead470eac8561c (patch)
tree66a950f1bb44b12ee84f0aff581d194ddf63f254 /device/dev_master.h
parent47c58daea504518847167900de3243264054ba0a (diff)
kern: provide a way to steal a lock
During the message transport, the sender acquires a lock that is released by the sender. By making this explicit, we can provide stronger guarantees about the locking. * ipc/ipc_mqueue.c (ipc_mqueue_receive): Steal lock. * ipc/ipc_object.h (io_lock_steal): New macro. * ipc/ipc_port.h (ip_lock_steal): Likewise. * ipc/mach_msg.c (mach_msg_trap): Steal lock in the inlined version of `ipc_mqueue_receive'. * kern/lock.c (lock_done): Assert that the current thread holds the lock. * kern/lock.h (lock_write_steal): New macro.
Diffstat (limited to 'device/dev_master.h')
0 files changed, 0 insertions, 0 deletions