File: c11_partialSC.cat

package info (click to toggle)
herdtools7 7.58-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 19,732 kB
  • sloc: ml: 128,583; ansic: 3,827; makefile: 670; python: 407; sh: 212; awk: 14
file content (21 lines) | stat: -rw-r--r-- 435 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
C "C++11"

include "c11_base.cat"

let r1 = hb
let r2 = fsb? ; mo ; sbf?
let r3 = rf^-1; toid(SC) ; mo
let r4 = rf^-1 ; hbl ; toid(W)
let r5 = fsb ; fr
let r6 = fr ; sbf
let r7 = fsb ; fr ; sbf

let scp = r1|r2|r3|r4|r5|r6|r7

acyclic (((SC * SC) & scp) \ id) as Spartial
show scp

undefined_unless empty dr as Dr
undefined_unless empty ur as unsequencedRace
undefined_unless empty bl as badLock
undefined_unless empty lu as badUnlock