diff options
author | Namhoon Kim <namhoonk@cs.unc.edu> | 2017-04-25 02:14:29 -0400 |
---|---|---|
committer | Namhoon Kim <namhoonk@cs.unc.edu> | 2017-04-25 02:14:29 -0400 |
commit | 6dc3e50fc1916dbc8b8e9cc863217e545ca4159c (patch) | |
tree | e693a85beac6b5713a87afa5e8e3c5bb42df502d /litmus/sync.c | |
parent | de945bf970cbb332c0540b2cd071ec3c7e4b7833 (diff) |
sync bug fixed
Diffstat (limited to 'litmus/sync.c')
-rw-r--r-- | litmus/sync.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/litmus/sync.c b/litmus/sync.c index f066ea4219a8..7733f6760c52 100644 --- a/litmus/sync.c +++ b/litmus/sync.c | |||
@@ -16,7 +16,7 @@ | |||
16 | 16 | ||
17 | #include <litmus/sched_trace.h> | 17 | #include <litmus/sched_trace.h> |
18 | 18 | ||
19 | int num_sync_released; | 19 | atomic_t num_sync_released; |
20 | 20 | ||
21 | struct ts_release_wait { | 21 | struct ts_release_wait { |
22 | struct list_head list; | 22 | struct list_head list; |
@@ -149,6 +149,6 @@ asmlinkage long sys_release_ts(lt_t __user *__delay) | |||
149 | start_time *= ONE_MS; | 149 | start_time *= ONE_MS; |
150 | ret = do_release_ts(start_time + delay); | 150 | ret = do_release_ts(start_time + delay); |
151 | } | 151 | } |
152 | num_sync_released = ret; | 152 | atomic_set(&num_sync_released, ret); |
153 | return ret; | 153 | return ret; |
154 | } | 154 | } |