From: reinkor <reinkor@gmail.com>
Subject: Re: Question on type invariants
Date: Thu, 26 Jan 2017 21:47:51 -0800 (PST)
Date: 2017-01-26T21:47:51-08:00 [thread overview]
Message-ID: <2749cdda-6e9d-4b65-a875-ca423d397213@googlegroups.com> (raw)
In-Reply-To: <8706d548-a9d5-48e5-aa6f-fd33013a2fd1@googlegroups.com>
torsdag 26. januar 2017 17.18.43 UTC+1 skrev Robert Eachus følgende:
> Notice that it is possible that an update to A can occur while processing S.
Maybe a hack: what about using "wait" statements. Sending a request to pause updating A -> wait for confirmation -> then update S ?
prev parent reply other threads:[~2017-01-27 5:47 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-01-25 8:38 Question on type invariants reinkor
2017-01-25 22:06 ` Randy Brukardt
2017-01-26 4:31 ` reinkor
2017-01-26 4:32 ` reinkor
2017-01-26 8:38 ` Dmitry A. Kazakov
2017-01-27 9:20 ` reinkor
2017-01-27 9:47 ` Dmitry A. Kazakov
2017-01-31 6:44 ` reinkor
2017-01-26 16:18 ` Robert Eachus
2017-01-27 5:35 ` reinkor
2017-01-27 5:47 ` reinkor [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox