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 /include | |
| parent | 78c0cda81ab19c68ee8302d24c7e30e3c45e8618 (diff) | |
Added liblitmus support for locking with CS length
Diffstat (limited to 'include')
| -rw-r--r-- | include/litmus.h | 6 |
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 | */ |
| 236 | int litmus_lock(int od); | 236 | int 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 | */ | ||
| 242 | int 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 |
