litmus2008.git/lib, branch PORT_BASE [ARCHIVE] Old LITMUS^RT 2008 version (for reference). Make sched_trace conditional. 2007-05-17T03:39:58+00:00 Bjoern B. Brandenburg bbb@cs.unc.edu 2007-05-17T03:39:58+00:00 0a460221dc2e0338f08ce7421cae7a4763412375 TODO: Make it a .config option. 
TODO: Make it a .config option.
Reimplemented LITMUS standard FIFO semaphores + misc fixes 2007-05-14T20:13:28+00:00 Bjoern B. Brandenburg bbb@cs.unc.edu 2007-05-14T20:13:28+00:00 1bd5e0b8bca4601c95f44d39813a535a8e0eb437 This version is much more straightforward than the last one and actually enforces FIFO order in all cases. Further, it removes the need for the sem_wake_up() calls by providing a custom wake up function for the wait queue. 
This version is much more straightforward than the last one and actually
enforces FIFO order in all cases. Further, it removes the need for the
sem_wake_up() calls by providing a custom wake up function for the wait
queue.
Move specialized PI semaphore code into litmus_sem.c + small fix 2007-05-14T14:42:22+00:00 Bjoern B. Brandenburg bbb@cs.unc.edu 2007-05-14T14:42:22+00:00 a2be7799b14ebc487496d1673720dbe337b964c9 - Let's keep all the code belonging to LITMUS in one place, this makes maintenance and porting much easier. - add_wait_queue_exlclusive_locked() sets the exclusive flag anyway 
- Let's keep all the code belonging to LITMUS in one place, this makes
  maintenance and porting much easier.

- add_wait_queue_exlclusive_locked() sets the exclusive flag anyway
FIFO semaphores and FIFO PI sems seem to be working, after a few small 2007-05-10T05:13:22+00:00 John M. Calandrino jmc@jupiter-cs.cs.unc.edu 2007-05-10T05:13:22+00:00 48f446412e365345f530b93449ba237269f07512 fixes. 
fixes.
Added quick fix for FIFO semaphores. Other FIFO semaphores seem to be 2007-05-10T04:38:45+00:00 John M. Calandrino jmc@jupiter-cs.cs.unc.edu 2007-05-10T04:38:45+00:00 37beffc595312cd050713a81700e2ab759ade4cb operating correctly (or at least not crashing). 
operating correctly (or at least not crashing).
First attempt at FIFO semaphores and PI sems. This may not work... 2007-05-10T04:20:00+00:00 John M. Calandrino jmc@jupiter-cs.cs.unc.edu 2007-05-10T04:20:00+00:00 5621897b6614128e91621a8bd1fb1c03f8b5112b Before FIFO, everything seemed to be (finally) working ok. 
Before FIFO, everything seemed to be (finally) working ok.
Another development update. Things seem to be working better now, but I 2007-05-10T03:38:04+00:00 John M. Calandrino jmc@jupiter-cs.cs.unc.edu 2007-05-10T03:38:04+00:00 a799fe60722267fcdd52c1fbf10e8f704fb53a9a don't have FIFO ordering yet. 
don't have FIFO ordering yet.
Removed some comments. Things may indeed be working now. 2007-05-10T03:11:37+00:00 John M. Calandrino jmc@jupiter-cs.cs.unc.edu 2007-05-10T03:11:37+00:00 c9cfe72ddd9c01575c4bf41403b2df5b1a5468a6 






Fix to semaphores, so that things actually make sense...
2007-05-09T23:44:18+00:00

John M. Calandrino
jmc@jupiter-cs.cs.unc.edu

2007-05-09T23:44:18+00:00

36cc4f1cd40fb3ce418f76f1496fb0c9bdff2520












Development checkpoint. Still having issues.
2007-05-09T22:54:34+00:00

John M. Calandrino
jmc@jupiter-cs.cs.unc.edu

2007-05-09T22:54:34+00:00

42a00fe2529ae0406c140844acf0d8314117d747