4 ms·
Ah, so that's why there is special code in Valgrind to handle glibc and friends!
by gavinhoward 3y ago
Ah, so that's why there is special code in Valgrind to handle glibc and friends!
- loeg 3y agoI think capability-pointer machines like CHERI might need in-bounds-only variants of these functions, too.
- saagarjha 3y agoGenerally CHERI tracks things for 16-byte regions
- Liquid_Fire 3y agoI think you might be confusing the tracking of validity of capabilities themselves (which could indeed be at a 16 byte granularity for an otherwise 64-bit system) with the bounds of a capability, which can be as small as 1 byte.
- saagarjha 3y agoAh I think you are correct.
- loeg 3y agoImplementations using 32- or 64-byte (256 or 512 bit) vector extensions would run afoul of 16-byte granularity. While it is not common yet, ARM SVE allows vector sizes larger than 128 bits -- e.g., Graviton3 has 256-bit SVE and Fujitsu A64FX has 512-bit. (x86 has had 256 and 512 bit vector instructions for some time, but current CHERI development seems to be on ARM.)