pop_ros_tf can handle missed IPIs
authorBarret Rhoden <brho@cs.berkeley.edu>
Sun, 11 Apr 2010 23:35:55 +0000 (16:35 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:42 +0000 (17:35 -0700)
commit725b30433271bef303b532d088f3b53b1e9f9ea9
treece5b2e2f7f6a17cd98a1faf40aea5ae19af36fab
parent243984e27340c2f734cdb2c998c78633443521e9
pop_ros_tf can handle missed IPIs

The issue is that an IPI can arrive (and be ignored) after the queue is
checked and before notifications are enabled.  Check notif_pending and
self notify if this happens.  Check the documentation for more details.
Documentation/processes.txt
kern/arch/i686/ros/bits/syscall.h
kern/src/process.c
kern/src/syscall.c
tests/mhello.c
user/include/i686/hart.h
user/include/sparc/hart.h