diff options
| author | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-22 22:46:39 -0400 |
|---|---|---|
| committer | Joshua Bakita <jbakita@cs.unc.edu> | 2020-10-22 22:51:29 -0400 |
| commit | a7c3210215bd1181ae93b23c313941dfb44519fb (patch) | |
| tree | 0bb4bf1b40612ec04f677e5163e4ba1f3c500af6 /SD-VBS/common/c/selfCheck.c | |
| parent | 4f0a2f94f90c1d0cd5f3408a55e68b68a8c74693 (diff) | |
Transform LITMUS-RT support in libextra to imply case-study mode
Adds <period> and <criticality level> parameters to benchmarks and
disables cache flushing when compiled with LITMUS. Also fixes build
with LITMUS enabled on yamaha.cs.unc.edu.
Also allows output to be disabled, automatically infers _rt_lock_id,
and allows for a specific pair ID for paired tasks. (The pair ID is
added to all the semaphore and shared memory names, allowing multiple
pairs to run in the system at a time.)
Diffstat (limited to 'SD-VBS/common/c/selfCheck.c')
0 files changed, 0 insertions, 0 deletions