diff options
| -rw-r--r-- | README | 44 |
1 files changed, 44 insertions, 0 deletions
| @@ -0,0 +1,44 @@ | |||
| 1 | LITMUS^RT User-Space Library: liblitmus | ||
| 2 | ======================================= | ||
| 3 | |||
| 4 | Copyright (c) 2007 | ||
| 5 | The University of North Carolina at Chapel Hill | ||
| 6 | Department of Computer Science | ||
| 7 | Real-Time Systems Group | ||
| 8 | Dr. Anderson & students | ||
| 9 | http://www.cs.unc.edu/~anderson/litmus-rt/ | ||
| 10 | |||
| 11 | Released as open source under the terms of the GNU General Public License | ||
| 12 | (GPL). | ||
| 13 | |||
| 14 | Overview | ||
| 15 | ======== | ||
| 16 | This library and the included tools provide the user-space interface to | ||
| 17 | LITMUS^RT. Real-time tasks should link against this library. The header file | ||
| 18 | "litmus.h" contains all necessary system calls and definitions to interact with | ||
| 19 | the kernel services provided for real-time tasks. | ||
| 20 | |||
| 21 | Tools | ||
| 22 | ===== | ||
| 23 | |||
| 24 | * set_rt_mode {on|off} | ||
| 25 | Enter or exit real-time mode. Real-time tasks are only scheduled by the | ||
| 26 | kernel if the system is in real-time mode. | ||
| 27 | |||
| 28 | * showsched | ||
| 29 | Print the name of the currently active scheduler. Schedulers are selected at | ||
| 30 | boot time with the "rtsched=<NAME>" kernel parameter. | ||
| 31 | |||
| 32 | * rt_launch {-p <PROCESSOR>} <WCET> <PERIOD> <PROGRAM> <ARGS>... | ||
| 33 | Launch the program <PROGRAM> as a real-time task provisioned with the given | ||
| 34 | worst-case execution time and priod. Any additional parameters are passed on | ||
| 35 | to the real-time task. | ||
| 36 | |||
| 37 | Install | ||
| 38 | ======= | ||
| 39 | The library and the included tools must be compiled from source. Currently, | ||
| 40 | the library and all tools are compiled by by issuing the | ||
| 41 | command: | ||
| 42 | |||
| 43 | $ make | ||
| 44 | |||
