Files
Nim/tests/parallel/tguard1.nim
2022-12-16 08:01:15 +01:00

42 lines
641 B
Nim

discard """
output: "90"
"""
when false:
template lock(a, b: ptr Lock; body: stmt) =
if cast[int](a) < cast[int](b):
pthread_mutex_lock(a)
pthread_mutex_lock(b)
else:
pthread_mutex_lock(b)
pthread_mutex_lock(a)
{.locks: [a, b].}:
try:
body
finally:
pthread_mutex_unlock(a)
pthread_mutex_unlock(b)
type
ProtectedCounter[T] = object
i {.guard: L.}: T
L: int
var
c: ProtectedCounter[int]
c.i = 89
template atomicRead(L, x): untyped =
{.locks: [L].}:
x
proc main =
{.locks: [c.L].}:
inc c.i
discard
echo(atomicRead(c.L, c.i))
main()