You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There is a section called "agent-order", which describes the mathematical property which is satisfied by the [[AgentOrder]] field of candidate executions. This section has an AOID, which is normally used for invocable algorithms, not for terms. Also, it is not totally clear from this section what the term "agent-order" actually means; for example, a note in this section says "It is assumed those events are appended to agent-order during evaluation".
Similarly for "reads-bytes-from", "reads-from", "host-synchronizes-with", "synchronizes-with", and "happens-before". All of these sections should have actual <dfn>s for the terms they introduce, and stop using AOIDs.
The text was updated successfully, but these errors were encountered:
There is a section called "agent-order", which describes the mathematical property which is satisfied by the
[[AgentOrder]]
field of candidate executions. This section has an AOID, which is normally used for invocable algorithms, not for terms. Also, it is not totally clear from this section what the term "agent-order" actually means; for example, a note in this section says "It is assumed those events are appended to agent-order during evaluation".Similarly for "reads-bytes-from", "reads-from", "host-synchronizes-with", "synchronizes-with", and "happens-before". All of these sections should have actual
<dfn>
s for the terms they introduce, and stop using AOIDs.The text was updated successfully, but these errors were encountered: