projects
/
cdsspec-compiler.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes with lines of spec counted
[cdsspec-compiler.git]
/
benchmark
/
mcs-lock
/
mcs-lock.h
diff --git
a/benchmark/mcs-lock/mcs-lock.h
b/benchmark/mcs-lock/mcs-lock.h
index 46c65305bd7ea98038dee2460a137012322728b6..bf496318f1107cfb709f25ec04c34cc70da39f24 100644
(file)
--- a/
benchmark/mcs-lock/mcs-lock.h
+++ b/
benchmark/mcs-lock/mcs-lock.h
@@
-54,12
+54,9
@@
public:
LANG = CPP;
CLASS = mcs_mutex;
@Global_define:
LANG = CPP;
CLASS = mcs_mutex;
@Global_define:
- @DeclareVar:
- bool _lock_acquired;
- @InitVar:
- _lock_acquired = false;
- @Happens_before:
- Unlock -> Lock
+ @DeclareVar: bool _lock_acquired;
+ @InitVar: _lock_acquired = false;
+ @Happens_before: Unlock -> Lock
@End
*/
@End
*/
@@
-67,10
+64,8
@@
public:
@Begin
@Interface: Lock
@Commit_point_set: Lock_Enqueue_Point1 | Lock_Enqueue_Point2
@Begin
@Interface: Lock
@Commit_point_set: Lock_Enqueue_Point1 | Lock_Enqueue_Point2
- @Check:
- _lock_acquired == false;
- @Action:
- _lock_acquired = true;
+ @Check: _lock_acquired == false;
+ @Action: _lock_acquired = true;
@End
*/
void lock(guard * I) {
@End
*/
void lock(guard * I) {
@@
-125,12
+120,9
@@
public:
/**
@Begin
@Interface: Unlock
/**
@Begin
@Interface: Unlock
- @Commit_point_set:
- Unlock_Point_Success_1 | Unlock_Point_Success_2
- @Check:
- _lock_acquired == true
- @Action:
- _lock_acquired = false;
+ @Commit_point_set: Unlock_Point_Success_1 | Unlock_Point_Success_2
+ @Check: _lock_acquired == true
+ @Action: _lock_acquired = false;
@End
*/
void unlock(guard * I) {
@End
*/
void unlock(guard * I) {