add note about choosing when to check the tag on a load

[tariqkurd-repo]

No description provided.

[tariqkurd-repo]

Basically the choice is implementation defined, and can vary dynamically according to that micro architecture

…

On Thu, 26 Sept 2024, 13:08 Andres Amaya Garcia, ***@***.***> wrote: ***@***.**** commented on this pull request. ------------------------------ In src/cheri-pte-ext.adoc <#381 (comment)>: > | 1 | X | Normal operation |=== -^1^ The choice here follows the pattern of whether to implement the _Svade_ extension +^1^ The choice here is whether to take a data dependent exceptions on loads or atomic operations. + If the exception is taken then the software will sweep the page and update the generation + (CRG). If the exception is taken without checking the tag, then the sweep will happen sooner. + The choice on whether to check the tag or not can be static or dynamic. It is also permitted to Do you mean that the data-dependent check can be turned on/off at run-time, for example, by writing a CSR? — Reply to this email directly, view it on GitHub <#381 (review)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AOCTJADMKRL5TYHTCI53WMTZYPTL3AVCNFSM6AAAAABO4WVJ7SVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZDGMZQHA3TSNZXGA> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[arichardson]

Suggested a slighly more explicit wording. Feel free to use this or ignore.