aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorztong <ztong@cs.unc.edu>2021-02-19 01:35:08 -0500
committerztong <ztong@cs.unc.edu>2021-02-19 01:35:08 -0500
commit8ef3072216b4e19789418052b4196584048cdb4e (patch)
tree55bba23230aa6957ea4e37c341690ca040c90e6a /src
parent78c0cda81ab19c68ee8302d24c7e30e3c45e8618 (diff)
Added liblitmus support for locking with CS length
Diffstat (limited to 'src')
-rw-r--r--src/syscalls.c8
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
70int 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
70int litmus_access_forbidden_zone_check(int od, lt_t fz_len, lt_t fz_police) 78int 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;