aboutsummaryrefslogtreecommitdiffstats
path: root/include
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 /include
parent78c0cda81ab19c68ee8302d24c7e30e3c45e8618 (diff)
Added liblitmus support for locking with CS length
Diffstat (limited to 'include')
-rw-r--r--include/litmus.h6
1 files changed, 6 insertions, 0 deletions
diff --git a/include/litmus.h b/include/litmus.h
index b4affb1..dd9b95f 100644
--- a/include/litmus.h
+++ b/include/litmus.h
@@ -235,6 +235,12 @@ int litmus_open_lock(obj_type_t protocol, int lock_id, const char* name_space,
235 */ 235 */
236int litmus_lock(int od); 236int litmus_lock(int od);
237/** 237/**
238 * Obtain lock with specified worst-case critical section duration
239 * @param od Object descriptor obtained by litmus_open_lock()
240 * @return 0 iff the lock was opened successfully
241 */
242int litmus_lock_cs(int od, lt_t cs_len);
243/**
238 * Access protected resource (wait if in forbidden zone) 244 * Access protected resource (wait if in forbidden zone)
239 * @param od Object descriptor obtained by litmus_open_lock() 245 * @param od Object descriptor obtained by litmus_open_lock()
240 * @return 0 iff the resource access was granted successfully 246 * @return 0 iff the resource access was granted successfully