vault backup: 2025-04-03 00:30:03
This commit is contained in:
parent
018560c352
commit
2b56eadbd1
1 changed files with 0 additions and 2 deletions
|
@ -42,8 +42,6 @@ monitor RW_READERS :=
|
|||
|
||||
operation begin_read() :=
|
||||
WR++
|
||||
if WW != 0 then
|
||||
CR_PR.wait()
|
||||
if AW != 0 then
|
||||
CR.wait()
|
||||
CR.signal()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue