search

CTSRD-CHERI / cheri-specification

CHERI ISA Specification
Other
23 stars 7 forks source link

move store capability to tag clearing if the store cap permission isn't set #73

Open tariqkurd-repo opened 1 year ago

tariqkurd-repo commented 1 year ago

Load capability clears the tag on the loaded data if permit_load_cap is not set. Store capability takes an exception, can it be made symmetrical with load capability and store a zero tag to memory if permit_store_cap is not set?

Otherwise it is (AFAIK) the only example of a data-dependant store violation.

jrtc27 commented 1 year ago

This is an open question. Look out for the Morello performance report that is imminent (awaiting approval), which is relevant to this discussion.