Skip to content
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.

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

note about masks for reserved bits in the ACPERM mask #551

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

tariqkurd-repo
Copy link
Collaborator

@tariqkurd-repo tariqkurd-repo commented Feb 28, 2025

Fixes #548
This affects spec version 0.9.5

@arichardson
Copy link
Collaborator

I think this is the sensible behaviour here. I can see the argument that requesting to clear something that doesn't exist should tag clear but I'm not sure that is useful for software. If your software depends on being able to clear the level bits you can just check that it was possible to actually clear it (once on program startup) using GCPERM+ACPERM+GCPERM rather than rely on implicit tag invalidation.

@arichardson arichardson requested a review from nwf February 28, 2025 17:28
@arichardson
Copy link
Collaborator

Would like to hear from @LawrenceEsswood / @jrtc27 / @nwf as well though.

@jrtc27
Copy link
Collaborator

jrtc27 commented Feb 28, 2025

I disagree. This is an invalid request and ignoring it could silently degrade security. See my comment on the issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Clarify what happens if "Reserved 1" bits are clear in the acperm mask
3 participants