Meanwhile on x86, upcoming memory tagging support was announced today - named ChkTag.
A few notes:
- Tags are stored in virtual memory - this is quite similar to the recently disclosed FEAT_VMTE on Arm
- Instruction-level granularity on whether an access is checked or not - on Arm this is handled via a PSTATE bit (TCO) but x86 has far more opcode space to deal with this one differently
- Compatible with existing ABIs/can be adopted gradually by software