diff options
author | ztong <ztong@cs.unc.edu> | 2021-06-12 17:08:01 -0400 |
---|---|---|
committer | ztong <ztong@cs.unc.edu> | 2021-06-12 17:08:01 -0400 |
commit | bbaa2b43b6efdd175b26bced3b0d95315b4dcdc1 (patch) | |
tree | 69bb17150df6ffc34727df0c5dbb382db8345dbf /bin/rtspin.c | |
parent | cd4c9a86e447690fe1b66545b9c141432f017237 (diff) |
Added GPU spinning in critical sections for rtspinecrts21
Diffstat (limited to 'bin/rtspin.c')
-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 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 | { |