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

Jump to bottom

consider documenting how to detect capability memory tramples #349

Open

tariqkurd-repo opened this issue Aug 28, 2024 · 0 comments

Labels

Collaborator

tariqkurd-repo commented Aug 28, 2024

Something which came up in the past in the difficulty of debugging accidental memory tramples which clear memory tags.

set up a trigger on the capability which is losing its tag
wait for trigger match, which executes beforfe the trample
load data from the address, and get the tag
single-step to execute the trampling store
read again to get the new tag to see if it has cleared

it maybe be worth putting this in an appendix in the spec as a suggested debugging sequence possibly with some examples.

tariqkurd-repo added the documentation label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment