aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorztong <ztong@cs.unc.edu>2021-02-26 13:12:59 -0500
committerztong <ztong@cs.unc.edu>2021-02-26 13:12:59 -0500
commitb084d236bb49863975667bfa2faadf0154d823b6 (patch)
tree15d0967f6800a07a997bd937511f6bee55bbe88b
parentc0a1d27f44a4a572f382ba63324a5f34d5b5135b (diff)
Modified default panic zone length
-rw-r--r--bin/rtspin.c2
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