Skip to content

minor changes to immutability constraints for Agent Record fields #3700

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Nov 4, 2025
+4 −4
Merged

minor changes to immutability constraints for Agent Record fields #3700

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
4bca738
Editorial: move [[LittleEndian]] constraint next to others (#3700)
michaelficarra Nov 4, 2025
e83b93b
Editorial: no need to mention exception for unobservable changes (#3700)
michaelficarra Nov 4, 2025
f656b31
Normative: [[IsLockFree8]] also must be consistent (#3700)
michaelficarra Nov 4, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions spec.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12141,7 +12141,7 @@ <h1>Agents</h1>
<tr>
<td>[[LittleEndian]]</td>
<td>a Boolean</td>
<td>The default value computed for the <em>isLittleEndian</em> parameter when it is needed by the algorithms GetValueFromBuffer and SetValueInBuffer. The choice is implementation-defined and should be the alternative that is most efficient for the implementation. Once the value has been observed it cannot change.</td>
<td>The default value computed for the <em>isLittleEndian</em> parameter when it is needed by the algorithms GetValueFromBuffer and SetValueInBuffer. The choice is implementation-defined and should be the alternative that is most efficient for the implementation.</td>
</tr>
<tr>
<td>[[CanBlock]]</td>
Expand Down Expand Up @@ -12186,10 +12186,10 @@ <h1>Agents</h1>
</table>
</emu-table>

<p>Once the values of [[Signifier]], [[IsLockFree1]], and [[IsLockFree2]] have been observed by any agent in the agent cluster they cannot change.</p>
<p>The values of [[LittleEndian]], [[Signifier]], [[IsLockFree1]], [[IsLockFree2]], and [[IsLockFree8]] cannot change.</p>

<emu-note>
<p>The values of [[IsLockFree1]] and [[IsLockFree2]] are not necessarily determined by the hardware, but may also reflect implementation choices that can vary over time and between ECMAScript implementations.</p>
<p>The values of [[IsLockFree1]], [[IsLockFree2]], and [[IsLockFree8]] are not necessarily determined by the hardware, but may also reflect implementation choices that can vary over time and between ECMAScript implementations.</p>

<p>There is no [[IsLockFree4]] field: 4-byte atomic operations are always lock-free.</p>

Expand Down Expand Up @@ -12264,7 +12264,7 @@ <h1>Agent Clusters</h1>
<p>If different agents within an agent cluster have different values of [[LittleEndian]] it becomes hard to use shared memory for multi-byte data.</p>
</emu-note>

<p>All agents within a cluster must have the same values for the [[IsLockFree1]] field in their respective Agent Records; similarly for the [[IsLockFree2]] field.</p>
<p>All agents within a cluster must have the same values for the [[IsLockFree1]] field in their respective Agent Records; similarly for the [[IsLockFree2]] and [[IsLockFree8]] fields.</p>

<p>All agents within a cluster must have different values for the [[Signifier]] field in their respective Agent Records.</p>

Expand Down
Loading