minix/kernel
Tomas Hruby 758d788bbe SMP - asyn send SMP safe
- we must not deliver messages from/to unstable address spaces.
  In such a case, we must postpone the delivery. To make sute
  that a process which is expecting an asynchronous message does
  not starve, we must remember that we skipped delivery of some
  messages and we must try to deliver again once the source
  address space is stable again.
2012-01-13 11:30:01 +00:00
..
arch/i386 SMP - fixed usage of stale TLB entries 2012-01-13 11:30:00 +00:00
system SMP - asyn send SMP safe 2012-01-13 11:30:01 +00:00
clock.c Cleaner MKSYSDEBUG option 2011-08-18 15:21:29 +02:00
clock.h Userspace scheduling - exporting stats 2010-09-19 15:52:12 +00:00
config.h Add MKTRACE 2011-09-07 17:52:48 +02:00
const.h changes for detecting and building for clang/binutils elf 2011-06-07 16:49:52 +02:00
cpulocals.c SMP - Cpu local variables 2010-09-15 14:09:46 +00:00
cpulocals.h SMP - cpu_is_idle made volatile 2012-01-13 11:30:00 +00:00
debug.c Kernel: remove unused MF_ASYNMSG 2011-11-01 19:21:19 +00:00
debug.h Cleaner MKSYSDEBUG option 2011-08-18 15:21:29 +02:00
extract-errno.sh Optional IPC logging 2010-06-24 13:31:40 +00:00
extract-mfield.sh Optional IPC logging 2010-06-24 13:31:40 +00:00
extract-mtype.sh Move shared headers in common/include 2011-02-06 22:59:02 +00:00
glo.h Add MKAPIC and MKACPI options 2011-07-31 16:22:43 +02:00
interrupt.c APIC mode uses IO APICs 2010-09-07 07:18:11 +00:00
interrupt.h SMP - trully idle APs 2010-09-15 14:10:57 +00:00
ipc.h Set IPC status code only for RECEIVE 2010-04-26 14:43:59 +00:00
kernel.h Add MKAPIC and MKACPI options 2011-07-31 16:22:43 +02:00
main.c Add MKWATCHDOG option 2011-07-29 20:37:39 +02:00
Makefile add -L for future compiler-rt lib location 2011-12-08 18:07:57 +01:00
perf.h SMP - all process have pagetables 2010-09-15 14:11:30 +00:00
priv.h Remote unused segctl kernel call 2011-04-26 23:28:23 +02:00
proc.c SMP - asyn send SMP safe 2012-01-13 11:30:01 +00:00
proc.h SMP - asyn send SMP safe 2012-01-13 11:30:01 +00:00
profile.c fix clang warnings -R in kernel/ and servers/ 2011-06-09 16:09:13 +02:00
profile.h Fix multiboot for ACK-built images 2010-12-17 13:47:11 +00:00
proto.h SMP - asyn send SMP safe 2012-01-13 11:30:01 +00:00
smp.c SMP - smp_schedule() 2012-01-13 11:30:01 +00:00
smp.h SMP - fixed IPI livelock 2012-01-13 11:30:00 +00:00
spinlock.h SMP - fixed compilation and removed warnings 2011-12-20 12:58:20 +00:00
start.c Remove legacy boot monitor vars 2011-09-16 20:10:47 +02:00
system.c KERNEL - cause SIGSEGV if bad pointer to kernel 2012-01-13 11:30:00 +00:00
system.h kernel: don't build cprofile code by default 2011-08-02 15:25:54 +02:00
table.c ELF multiboot support 2011-05-04 18:51:43 +02:00
type.h ELF multiboot support 2011-05-04 18:51:43 +02:00
utility.c SMP - fixed IPI livelock 2012-01-13 11:30:00 +00:00
vm.h No linear addresses in message delivery 2010-06-11 08:16:10 +00:00
watchdog.c Fix for SPROFILE == 0 2011-05-25 09:42:11 +02:00
watchdog.h Watchdog and kernel profiling for AMD 2010-09-23 14:42:30 +00:00