aboutsummaryrefslogtreecommitdiffstats
path: root/bin/rtspin.c
diff options
context:
space:
mode:
authorztong <ztong@cs.unc.edu>2021-06-12 17:08:01 -0400
committerztong <ztong@cs.unc.edu>2021-06-12 17:08:01 -0400
commitbbaa2b43b6efdd175b26bced3b0d95315b4dcdc1 (patch)
tree69bb17150df6ffc34727df0c5dbb382db8345dbf /bin/rtspin.c
parentcd4c9a86e447690fe1b66545b9c141432f017237 (diff)
Added GPU spinning in critical sections for rtspinecrts21
Diffstat (limited to 'bin/rtspin.c')
-rw-r--r--bin/rtspin.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c
index a47e3e7..a0deea8 100644
--- a/bin/rtspin.c
+++ b/bin/rtspin.c
@@ -331,7 +331,7 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len
331 if (lock_res != 0) 331 if (lock_res != 0)
332 printf("Result of lock call: %d\n", lock_res); 332 printf("Result of lock call: %d\n", lock_res);
333 if (check_fz) 333 if (check_fz)
334 litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), s2ns(cs_length)); 334 litmus_access_forbidden_zone_check(lock_od, s2ns(1.1*cs_length), s2ns(1.1*cs_length));
335 loop_for(cs_length, program_end + 1); 335 loop_for(cs_length, program_end + 1);
336 if (check_fz) 336 if (check_fz)
337 { 337 {