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
The specification does not clearly state what the memory tag of a memory chunk is, that has not been tagged by SETTAG or SETINVTAG.
We touched on this in the last call, and Florian mentioned that a tag is always defined by assuming the kernel would back the tag storage with zero-pages. However, unless it is specified that uninitialized memory tags are zero, a random number would be specification-conform as well.
The text was updated successfully, but these errors were encountered:
The specification does not clearly state what the memory tag of a memory chunk is, that has not been tagged by SETTAG or SETINVTAG.
We touched on this in the last call, and Florian mentioned that a tag is always defined by assuming the kernel would back the tag storage with zero-pages. However, unless it is specified that uninitialized memory tags are zero, a random number would be specification-conform as well.
The text was updated successfully, but these errors were encountered: