![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
2022-06-17
«Во время нашей Не-войны
Аж 30 тысяч не погибло
Солдат российской стороны», -
И тут же зал слеза прошибла.
«Мы не стреляли в города,
И не сносили Мариуполь,
Там восемь лет бомбили, да,
Теперь свободен и доступен.
Мы не вторгались никуда,
Да мы почти и не стреляли,
Ну разве, может иногда
А в НАТО фейков наснимали.
Нам Лукашенко рассказал
Откуда будет нападенье», -
И зал почти что возрыдал,
Весь предвкушая продолженье.
«Они готовились напасть», -
Лавров дополнил вдохновенно,
«Но не легла, в натуре, масть,
Братву поставить на колено.
Готов ответить за базар,
Я дипломат советской школы,
Накажем западных лошар», -
И выпил залпом кока-колы.
И встал с овацией весь зал,
Талибы плакали, как дети.
Шойгу шаманский ритуал,
Провел с Кадыровом в мечети.
(C) Алексей С. Железнов
Аж 30 тысяч не погибло
Солдат российской стороны», -
И тут же зал слеза прошибла.
«Мы не стреляли в города,
И не сносили Мариуполь,
Там восемь лет бомбили, да,
Теперь свободен и доступен.
Мы не вторгались никуда,
Да мы почти и не стреляли,
Ну разве, может иногда
А в НАТО фейков наснимали.
Нам Лукашенко рассказал
Откуда будет нападенье», -
И зал почти что возрыдал,
Весь предвкушая продолженье.
«Они готовились напасть», -
Лавров дополнил вдохновенно,
«Но не легла, в натуре, масть,
Братву поставить на колено.
Готов ответить за базар,
Я дипломат советской школы,
Накажем западных лошар», -
И выпил залпом кока-колы.
И встал с овацией весь зал,
Талибы плакали, как дети.
Шойгу шаманский ритуал,
Провел с Кадыровом в мечети.
(C) Алексей С. Железнов
Вам надоели указатели в Си/Си++? Тогда CHERI идёт к вам!
CHERI расшифровывается как "Capability Hardware Enhanced RISC Instructions". Это исследовательский проект в Кембридже по замене указателей на более безопасные capabilities. Не знаю как это по русски. В отличие от указателей capabilities содержат также границы и уровень доступа. ARM сделал экспериментальный процессор Morello с поддержкой capabilities.
Архитектура хардвера описана в статье: "CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment" (PDF).
Особенности языка Си/Си++ на такой архитектуре приведены в статье: "CHERI C/C++ Programming Guide" (PDF).
Развивается проект CheriBSD: перенос операционной системы FreeBSD на платформу CHERI.
На видео показана работа графического сервера Wayland и демо OpenGL на процессоре Morello под операционной системой CheriBSD.
Подобных проектов в истории было много. Кто помнит, советская ЭВМ Эльбрус разрабатывалась с аналогичной целью, защититься от программных ошибок адресации памяти. Но во всех таких проектах софт приходилось писать с нуля из-за полной несовместимости с существующими методами программирования. А здесь 99% софта переносится без проблем.
CHERI расшифровывается как "Capability Hardware Enhanced RISC Instructions". Это исследовательский проект в Кембридже по замене указателей на более безопасные capabilities. Не знаю как это по русски. В отличие от указателей capabilities содержат также границы и уровень доступа. ARM сделал экспериментальный процессор Morello с поддержкой capabilities.
Архитектура хардвера описана в статье: "CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment" (PDF).
Особенности языка Си/Си++ на такой архитектуре приведены в статье: "CHERI C/C++ Programming Guide" (PDF).
Развивается проект CheriBSD: перенос операционной системы FreeBSD на платформу CHERI.
На видео показана работа графического сервера Wayland и демо OpenGL на процессоре Morello под операционной системой CheriBSD.
Подобных проектов в истории было много. Кто помнит, советская ЭВМ Эльбрус разрабатывалась с аналогичной целью, защититься от программных ошибок адресации памяти. Но во всех таких проектах софт приходилось писать с нуля из-за полной несовместимости с существующими методами программирования. А здесь 99% софта переносится без проблем.
