Cristiano Giuffrida 9192dbecc9 Preserve the order of IPC messages between two parties. ... Currently a sequence of messages between a sender A and a receiver B of the form: A.asynsend(M1, B); A.send(M2, B) may result in the receiver receiving M1 first and then M2 or viceversa. This patch makes sure that the original order M1, M2 is always preserved. Note that the order of a hypotetical sequence A.asynsend(M1, B); A.asynsend(M2, B) is already guaranteed by the implementation of asynsend by design. Other senda-based wrappers can define their own semantics.		2010-03-27 00:09:22 +00:00
..
arch/i386	Direction flag	2010-03-26 12:29:52 +00:00
system	atomicity fix when enabling paging	2010-03-22 07:42:52 +00:00
clock.c	Remove some unused #include.	2010-02-17 20:24:42 +00:00
clock.h	Clock task split	2009-11-06 09:04:15 +00:00
config.h	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
const.h	Time accounting based on TSC	2010-02-10 15:36:54 +00:00
debug.c	re-establish kernel assert()s.	2010-03-10 13:00:05 +00:00
debug.h	re-establish kernel assert()s.	2010-03-10 13:00:05 +00:00
glo.h	Move archtypes.h, fpu.h, and stackframe.h	2010-03-09 09:41:14 +00:00
interrupt.c	only print 1 every 1000 spurious interrupts (per interrupt).	2010-03-22 13:55:51 +00:00
ipc.h	IPC status code for receive().	2010-03-23 00:09:11 +00:00
kernel.h	Time accounting based on TSC	2010-02-10 15:36:54 +00:00
main.c	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
Makefile	Incorporate bsdmake into buildsystem and reorganize libs	2010-02-16 14:41:33 +00:00
priv.h	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
proc.c	Preserve the order of IPC messages between two parties.	2010-03-27 00:09:22 +00:00
proc.h	Comment in proc.h	2010-03-26 13:19:04 +00:00
profile.c	Removal of the system task	2010-02-09 15:20:09 +00:00
profile.h	cprofile not conditional	2009-01-09 21:44:52 +00:00
proto.h	atomicity fix when enabling paging	2010-03-22 07:42:52 +00:00
start.c	use the verbose=2 boot monitor setting to get extensive output for debugging	2010-02-13 22:11:16 +00:00
system.c	Miscellaneous code cleanup.	2010-03-22 20:43:06 +00:00
system.h	New RS and new signal handling for system processes.	2010-03-17 01:15:29 +00:00
table.c	Prioritized NOTIFY messages for reliable asynchonrous delivery of system events.	2010-03-22 23:44:55 +00:00
type.h	Miscellaneous code cleanup.	2010-03-22 20:43:06 +00:00
utility.c	panic() cleanup.	2010-03-05 15:05:11 +00:00
vm.h	intr_disabled() tests removed	2010-02-09 15:29:58 +00:00
watchdog.c	no more kprintf - kernel uses libsys printf now, only kputc is special	2010-03-03 15:45:01 +00:00
watchdog.h	NMI watchdog is an awesome feature for debugging locked up kernels.	2010-01-16 20:53:55 +00:00