diff options
author | ztong <ztong@cs.unc.edu> | 2021-02-19 01:35:08 -0500 |
---|---|---|
committer | ztong <ztong@cs.unc.edu> | 2021-02-19 01:35:08 -0500 |
commit | 8ef3072216b4e19789418052b4196584048cdb4e (patch) | |
tree | 55bba23230aa6957ea4e37c341690ca040c90e6a /src | |
parent | 78c0cda81ab19c68ee8302d24c7e30e3c45e8618 (diff) |
Added liblitmus support for locking with CS length
Diffstat (limited to 'src')
-rw-r--r-- | src/syscalls.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/syscalls.c b/src/syscalls.c index a87a6fe..7d1b12a 100644 --- a/src/syscalls.c +++ b/src/syscalls.c | |||
@@ -67,6 +67,14 @@ int litmus_lock(int od) | |||
67 | return litmus_syscall(LRT_litmus_lock, od); | 67 | return litmus_syscall(LRT_litmus_lock, od); |
68 | } | 68 | } |
69 | 69 | ||
70 | int litmus_lock_cs(int od, lt_t cs_len) | ||
71 | { | ||
72 | union litmus_syscall_args args; | ||
73 | args.litmus_lock_cs.sem_od = od; | ||
74 | args.litmus_lock_cs.cs_len = cs_len; | ||
75 | return litmus_syscall(LRT_litmus_lock_cs, (unsigned long) &args); | ||
76 | } | ||
77 | |||
70 | int litmus_access_forbidden_zone_check(int od, lt_t fz_len, lt_t fz_police) | 78 | int litmus_access_forbidden_zone_check(int od, lt_t fz_len, lt_t fz_police) |
71 | { | 79 | { |
72 | union litmus_syscall_args args; | 80 | union litmus_syscall_args args; |