История изменений
Исправление monk, (текущая версия) :
CHERI?
А для него вообще быстрая реализация существует?
Просто если в РБВ
- указатель на начало выделенной области памяти/объекта (64 бита);
- размер выделенной памяти/объекта (32 бита);
- смещение относительно начала (32 бита).
и все проверки даже для L1 не тратят дополнительных тактов.
То в CHERI границы в формате плавающей точки. По-моему, преобразование https://riscv.github.io/riscv-cheri/#section_cap_bounds_decoding даже теоретически в несколько тактов не утрамбовать.
Исходная версия monk, :
CHERI?
А для него вообще быстрая реализация существует?
Просто если в РБВ
- указатель на начало выделенной области памяти/объекта (64 бита);
- размер выделенной памяти/объекта (32 бита);
- смещение относительно начала (32 бита). и все проверки даже для L1 не тратят дополнительных тактов.
То в CHERI границы в формате плавающей точки. По-моему, преобразование https://riscv.github.io/riscv-cheri/#section_cap_bounds_decoding даже теоретически в несколько тактов не утрамбовать.