Add wake and ixx.wait instructions to spec doc
#76
Conversation
| @@ -327,6 +329,13 @@ this action conditionally, if the read value is equal to a provided comparison | |||
| argument. All other :ref:`atomicops <syntax-atomicop>` have behavior of the | |||
| :ref:`ibinop <syntax-ibinop>` of the same name. | |||
|
|
|||
| The |WAKE| and |WAIT| instructions provide primitive synchronization between | |||
| :ref:`threads <syntax-thread>`. The |WAIT| instructions atomically load a value | |||
| from the calculated *effective address* and compare it to an expected value. If | |||
There was a problem hiding this comment.
Nit: no need to emphasize "effective address" here, since the defining occurrence already was above.
I suppose so. My original thought was that the |
|
Such visual classification would be particularly useful in the context of "compartmentalising" the language as we've discussed at the July meeting. |
|
Adding "atomic" is probably worth a quick poll, should be easy to get through. |
Also fix some copy-pasta
|
Sounds good, I'll move forward with the name change for now (since I think it's probably better), and roll back if the CG disagrees. |
|
@binji can you add an agenda item for this? |
|
The poll in the CG meeting slightly favored switching to using the |
Syntax, validation, binary and text sections are completed. Execution section is still TODO.