diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-08-12 13:24:33 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-08-12 13:24:33 +0200 |
| commit | ef30cf8ff791e568e2714bc0e0263de3baf0bd95 (patch) | |
| tree | c889ee4609205d6fcd2615e7a77a49bdfef9ea94 /info/cmdipc.texinfo | |
| parent | update dist (diff) | |
| download | cmdipc-ef30cf8ff791e568e2714bc0e0263de3baf0bd95.tar.gz cmdipc-ef30cf8ff791e568e2714bc0e0263de3baf0bd95.tar.bz2 cmdipc-ef30cf8ff791e568e2714bc0e0263de3baf0bd95.tar.xz | |
race condition1.2
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'info/cmdipc.texinfo')
| -rw-r--r-- | info/cmdipc.texinfo | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/info/cmdipc.texinfo b/info/cmdipc.texinfo index 3f5cbba..5fd1600 100644 --- a/info/cmdipc.texinfo +++ b/info/cmdipc.texinfo @@ -545,13 +545,14 @@ slash. @cartouche @example [sysv] create: - (s, m) := (S(threshold), S(1)) + (s, mm c) := (S(threshold), S(1), S(0)) [sysv] enter: P(s), Z(s) - P(m) - if s.value = 0: + P(m), V(c) + if c.value = threshold: s.value := threshold + c.value := 0 V(m) [posix] create: |