| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
| |
This patch updates the PGM interface with the kernel.
Producers now boost their priority when generating tokens,
not consumers while waiting for tokens.
|
| |
|
|
|
| |
Adds routines for userspace tasks to use to communicate their
state to the Litmus kernel.
|
| |
|
|
| |
This matches the corresponding change in the kernel.
|
| |
|
|
|
|
|
|
| |
My version of gcc would complain about "dereferencing pointer does
break strict-aliasing rules" because of a (harmless) pointer cast.
This patch adds a helper void pointer to make the assignment explicit,
which avoids the cast and hence silences the warning.
|
| |
|
|
|
|
|
| |
The -f option required manually *also* setting
the -w option. This is no longer required.
While at it, simplify the code by using the /proc interface.
|
| |
|
|
|
| |
Make sure the kernel and userspace compilers have the same idea of the
layout of the control page.
|
| |
|
|
|
| |
Add a wrapper for /proc/litmus/stats to make it easy to query the
number of tasks already waiting for a task set release.
|
| |
|
|
| |
Everything is in one 32-bit word now.
|
| |
|
|
|
|
|
|
|
|
|
| |
For historic resons, we carry old atomic operations support in
liblitmus. This is no longer useful:
1) There is actually no client for these calls in liblitmus.
2) There is now a standard gcc API for this purpose.
http://gcc.gnu.org/onlinedocs/gcc/Atomic-Builtins.html
Thus, we can reduce our maintenance burden.
|
| |
|
|
| |
Move the architecture-dependent code to the arch/ subtree.
|
| | |
|
| |
|
|
| |
Layered on top of the LITMUS control page.
|
| | |
|
| |
|
|
| |
Doesn't work reliably right now anyway.
|
| | |
|
| | |
|
| |
|
