diff options
author | ztong <ztong@cs.unc.edu> | 2021-02-26 13:12:59 -0500 |
---|---|---|
committer | ztong <ztong@cs.unc.edu> | 2021-02-26 13:12:59 -0500 |
commit | b084d236bb49863975667bfa2faadf0154d823b6 (patch) | |
tree | 15d0967f6800a07a997bd937511f6bee55bbe88b | |
parent | c0a1d27f44a4a572f382ba63324a5f34d5b5135b (diff) |
Modified default panic zone length
-rw-r--r-- | bin/rtspin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 74d97e2..8006840 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
@@ -321,7 +321,7 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len | |||
321 | if (lock_res != 0) | 321 | if (lock_res != 0) |
322 | printf("Result of lock call: %d\n", lock_res); | 322 | printf("Result of lock call: %d\n", lock_res); |
323 | if (check_fz) | 323 | if (check_fz) |
324 | litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), 0.9 * s2ns(cs_length)); | 324 | litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length)); |
325 | loop_for(cs_length, program_end + 1); | 325 | loop_for(cs_length, program_end + 1); |
326 | litmus_unlock(lock_od); | 326 | litmus_unlock(lock_od); |
327 | 327 | ||