From ef30cf8ff791e568e2714bc0e0263de3baf0bd95 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 12 Aug 2014 13:24:33 +0200 Subject: race condition MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- info/cmdipc.texinfo | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'info') 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: -- cgit v1.2.3-70-g09d2