minix/kernel
Cristiano Giuffrida b4d6d9db26 Fix bug in IPC deadlock detection code.
The old deadlock code was misplaced and unable to deal with asynchronous
IPC primitives (notify and senda) effectively. As an example, the following
sequence of messages allowed the deadlock detection code to
trigger a false positive:
1. A.notify(B)
2. A.receive(B)
3. B.receive(A)
1. B.notify(A)
The solution is to run the deadlock detection routine only when a process is
about to block in mini_send() or mini_receive().
2009-12-16 23:32:08 +00:00
..
arch/i386 Cooments to warn not to use certains instructions 2009-12-07 12:01:05 +00:00
system Rewrite of boot process 2009-12-11 00:08:19 +00:00
clock.c Add 'getidle' CPU utilization measurement infrastructure 2009-12-02 11:52:26 +00:00
clock.h Clock task split 2009-11-06 09:04:15 +00:00
config.h Merge of David's ptrace branch. Summary: 2009-09-30 09:57:22 +00:00
const.h Rewrite of boot process 2009-12-11 00:08:19 +00:00
debug.c All macros defining rts flags are prefixed with RTS_ 2009-11-10 09:11:13 +00:00
debug.h Local APIC 2009-11-16 21:41:44 +00:00
glo.h FPU context switching support by Evgeniy Ivanov. 2009-12-02 13:01:48 +00:00
interrupt.c Add 'getidle' CPU utilization measurement infrastructure 2009-12-02 11:52:26 +00:00
ipc.h All macros defining rts flags are prefixed with RTS_ 2009-11-10 09:11:13 +00:00
kernel.h Add 'getidle' CPU utilization measurement infrastructure 2009-12-02 11:52:26 +00:00
main.c Rewrite of boot process 2009-12-11 00:08:19 +00:00
Makefile Removal of the executable flag from files that cannot be executed 2009-11-09 10:26:00 +00:00
priv.h Rewrite of boot process 2009-12-11 00:08:19 +00:00
proc.c Fix bug in IPC deadlock detection code. 2009-12-16 23:32:08 +00:00
proc.h Rewrite of boot process 2009-12-11 00:08:19 +00:00
profile.c pick_proc() called only just before returning to userspace 2009-11-09 17:48:31 +00:00
profile.h cprofile not conditional 2009-01-09 21:44:52 +00:00
proto.h Add 'getidle' CPU utilization measurement infrastructure 2009-12-02 11:52:26 +00:00
start.c Local APIC 2009-11-16 21:41:44 +00:00
system.c Rewrite of boot process 2009-12-11 00:08:19 +00:00
system.h Merge of David's ptrace branch. Summary: 2009-09-30 09:57:22 +00:00
table.c Rewrite of boot process 2009-12-11 00:08:19 +00:00
type.h Rewrite of boot process 2009-12-11 00:08:19 +00:00
utility.c Add 'getidle' CPU utilization measurement infrastructure 2009-12-02 11:52:26 +00:00
vm.h Primary goal for these changes is: 2009-09-21 14:31:52 +00:00