From: reinkor <reinkor@gmail.com>
Subject: Re: Question on type invariants
Date: Thu, 26 Jan 2017 21:35:41 -0800 (PST)
Date: 2017-01-26T21:35:41-08:00 [thread overview]
Message-ID: <cae2cfd8-6ecd-49ea-b510-9243c98f54ce@googlegroups.com> (raw)
In-Reply-To: <8706d548-a9d5-48e5-aa6f-fd33013a2fd1@googlegroups.com>
> The potential problem here is that the timestamps may not be of sufficient granularity.
What about to use "wait" statements to ensure S is up-to-date? I.e. make a request to wait for update of A. Then wait for confirmation that waiting time has started and then go ahead to update? A (kind of) "collaborative approach" ? :-)
next prev parent reply other threads:[~2017-01-27 5:35 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 [this message]
2017-01-27 5:47 ` reinkor
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox