diff options
| author | ztong <ztong@cs.unc.edu> | 2021-03-01 19:30:52 -0500 |
|---|---|---|
| committer | ztong <ztong@cs.unc.edu> | 2021-03-01 19:30:52 -0500 |
| commit | f5160dfa9d1184f5bc90b7b8bf6f99c83e66e391 (patch) | |
| tree | ddd260603a5183eb93e60ccb77d231740d39d01d /bin/rtspin.c | |
| parent | b084d236bb49863975667bfa2faadf0154d823b6 (diff) | |
Diffstat (limited to 'bin/rtspin.c')
| -rw-r--r-- | bin/rtspin.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 8006840..369b7c3 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
| @@ -323,6 +323,8 @@ static void job(double exec_time, double program_end, int lock_od, double cs_len | |||
| 323 | if (check_fz) | 323 | if (check_fz) |
| 324 | litmus_access_forbidden_zone_check(lock_od, s2ns(cs_length), 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 | if (check_fz) | ||
| 327 | litmus_exit_forbidden_zone(lock_od); | ||
| 326 | litmus_unlock(lock_od); | 328 | litmus_unlock(lock_od); |
| 327 | 329 | ||
| 328 | /* non-critical section */ | 330 | /* non-critical section */ |