Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си"	+/–
Сообщение от opennews (?), 04-Ноя-25, 20:13
Представлен финальный вариант спецификации программной-аппаратной платформы CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), определяющей расширение набора команд (ISA) для создания защищённых устройств. CHERIoT предоставляет аппаратные возможности для отслеживания доступа к памяти, проверки корректности работы с указателями и обеспечения изоляции блоков кода. Одновременно опубликован стабильный релиз эталонной формальной модели CHERIoT ISA,  определённой на языке Sail. Наработки проекта распространяются под лицензией BSD... Подробнее: https://www.opennet.dev/opennews/art.shtml?num=64180
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по времени | RSS]

1. Скрыто модератором	+2 +/–
Сообщение от Ilnarildarovuch (?), 04-Ноя-25, 20:13
Ждем того, что люди будут жаловаться на C++/Microsoft
Ответить | Правка | Наверх | Cообщить модератору

	4. Скрыто модератором	–2 +/–
	Сообщение от Аноним (4), 04-Ноя-25, 20:27
	Ну а чего жаловаться, продолжаем писать на плюсах. Ждём, когда Майкрософт сделает процессоры для питона, это будет значительный шаг вперёд.
	Ответить | Правка | Наверх | Cообщить модератору

	15. Скрыто модератором	–3 +/–
	Сообщение от Аноним (15), 04-Ноя-25, 20:44
	> Ждем того, что люди будут жаловаться на C++/Microsoft Да меснтых экспертов сейчас поди закоротило. С одной стороны МС пропихивает Раст и рассказывает, что 70% дыреней сеществуют из-за работы с памятью в C/C++. С другой стороны, та же МС отрывает ISA для залатывания тех самых 70% дыреней. Так что, мы за или против МС? 🤷
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	19. Скрыто модератором	+6 +/–
	Сообщение от Аноним (-), 04-Ноя-25, 20:48
	> Так что, мы за или против МС? 🤷 Так это элементарно! Когда нужно - мы за, когда нужно - мы против. Мы, опеннетчики, никогда не устаем крутить диван! Примерное как с габеном и вальвой. Когда нужно - он мерзкий проприетарщик с DRMнутыми Стимом. А когда нужно - он лапочка, потому что видеоподсистему для линууупса делает, поэтому будем дружно лизать ему зад.
	Ответить | Правка | Наверх | Cообщить модератору

	33. Скрыто модератором	+1 +/–
	Сообщение от Аноним (4), 04-Ноя-25, 21:37
	Ну у стима такой drm, что достаточно положить эмулятор, и все игры работают. А многие игры даже запускаются свободно без эмулятора, так что. Что же тут равноценного?
	Ответить | Правка | Наверх | Cообщить модератору

	36. Скрыто модератором	+/–
	Сообщение от Аноним (36), 04-Ноя-25, 21:43
	когда перестанут ломать раст каждые три недели, тогда мы станем "за".
	Ответить | Правка | К родителю #15 | Наверх | Cообщить модератору

5. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+3 +/–
Сообщение от Аноним (-), 04-Ноя-25, 20:28
Неопределённое поведение наблюдаемое в языке Си вызвано особенностями архитектуры компьютера. В 2025 году менеджеры Майкрософта это понял. Ну штож лучше позно чем никогда.
Ответить | Правка | Наверх | Cообщить модератору

	14. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+4 +/–
	Сообщение от Аноним (15), 04-Ноя-25, 20:39
	> Неопределённое поведение наблюдаемое в языке Си Нет, наблюдалось оно в стандарте Си с момента его появления.
	Ответить | Правка | Наверх | Cообщить модератору

	30. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
	Сообщение от Аноним (4), 04-Ноя-25, 21:32
	Проблема в тех, кто читал K&R, пока они живы, так и будем ходить по граблям. Многое уже не работает в современных компиляторах (или работает без оптимизации). С плюсами так же, пока живы те, кто учился по старым стандартам, всё так и будет.
	Ответить | Правка | Наверх | Cообщить модератору

	39. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (39), 04-Ноя-25, 21:53
	А особенностей архитектур компьютеров в то время не было?
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

	79. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
	Сообщение от Bottle (?), 05-Ноя-25, 11:50
	Арифметика в Си не кроссплатформенная by design. Поэтому сишники обречены отлавливать overflow с непредсказуемым поведением для знаковых интов, не говоря уже про платформозависимую точность float'ов и double. Удивительно, что при этом программы вообще работают.
	Ответить | Правка | Наверх | Cообщить модератору

	97. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от anonymmmeer (?), 05-Ноя-25, 16:25
	>Поэтому сишники обречены отлавливать overflow с непредсказуемым поведением для знаковых интов, добавь пару ифов и не доводи до переполнения, ваш К.О.
	Ответить | Правка | Наверх | Cообщить модератору

	16. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+2 +/–
	Сообщение от Аноним (16), 04-Ноя-25, 20:44
	А ловко это вы с больной головы на здоровую! Однако в программах на ассемблере почему-то неопределённого поведения не наблюдается.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	73. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+3 +/–
	Сообщение от Аноним (73), 05-Ноя-25, 05:43
	Нет такого языка, как "ассемблер", есть "ассемблер для такого-то процессора". А си старается быть универсальным
	Ответить | Правка | Наверх | Cообщить модератору

	75. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (16), 05-Ноя-25, 06:45
	И на каком же процессоре в ассемблере наблюдается неопределённое поведение?
	Ответить | Правка | Наверх | Cообщить модератору

	58. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+4 +/–
	Сообщение от Аноним (-), 05-Ноя-25, 00:27
	> Неопределённое поведение наблюдаемое в языке Си вызвано особенностями архитектуры компьютера. Опять этот бред. Неопределённое поведение в языке Си определяется спецификацией языка. Стандарт Си оставляет ряд случаев неопределёнными, чтобы компилятор мог оптимизировать код. Архитектура компьютера влияет только на то, как именно проявится UB на конкретной системе. На одних архитектурах UB портит память, на других (CHERI) - приводит к краху.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	81. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (81), 05-Ноя-25, 12:55
	> Опять этот бред. Неопределённое поведение в языке Си определяется спецификацией языка. Стандарт Си оставляет ряд случаев неопределёнными, чтобы компилятор мог оптимизировать код. Архитектура компьютера влияет только на то, как именно проявится UB на конкретной системе. На одних архитектурах UB портит память, на других (CHERI) - приводит к краху. Ты красавец! Сначала "бред", а потом "Архитектура компьютера влияет только на то, как именно проявится UB на конкретной системе. На одних архитектурах UB портит память, на других (CHERI) - приводит к краху." А на третьих работает.
	Ответить | Правка | Наверх | Cообщить модератору

	82. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (16), 05-Ноя-25, 13:34
	Вот такой вот замечательный портабельный язык.
	Ответить | Правка | Наверх | Cообщить модератору

	91. Скрыто модератором	+/–
	Сообщение от Аноним (91), 05-Ноя-25, 15:13
	Деннис Ритчи ключевая фигура. Он жил в нужное время и работал в нужном месте. Только после его смерти люди поняли это.
	Ответить | Правка | Наверх | Cообщить модератору

	96. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (-), 05-Ноя-25, 15:38
	> А на третьих работает. А на четвёртых оно никак не проявится, потому что в корректной программе код с UB исполняться не должен, и оптимизатор его выбросил. https://godbolt.org/z/hh3zbGrE7 Где здесь зависимость от "особенностей архитектуры"?
	Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

7. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
Сообщение от Аноним (7), 04-Ноя-25, 20:29
Ну были же вставки в прикуриватель для экономии топлива. Можно наладить выпуск флешек с чем-то подобным для увеличения безопасности. Интересно как они собираются верифицировать что какое-то ПО полностью совместимо с этим. Что вдруг всё не встанет типа от какой-то вяло текущей утечки памяти. Ведь если получится верифицировать, то наверное оно и не сильно нужно. Много ли мест где заранее согласны на DOS по любому возможно только "потенциальному", но по месту не сильно критическому поводу? Кажется тут надо скорее прозрачно логи собирать и походу разбираться что и почему, возможно реагировать а-ля переключиться на другую ноду, а потом находить и править ПО.
Ответить | Правка | Наверх | Cообщить модератору

	9. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (-), 04-Ноя-25, 20:31
	> Интересно как они собираются верифицировать что какое-то ПО полностью совместимо с этим. Насколько я понимаю - никак) Оно должно предотвращать катастрофу, а не предупреждать её. Типа как предохранительный клапан или УЗО. Для предотвращения нужна формальная верификация или на крайняк проверки на этапе компиляции.
	Ответить | Правка | Наверх | Cообщить модератору

	52. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+4 +/–
	Сообщение от Аноним (52), 04-Ноя-25, 22:57
	>Можно наладить выпуск флешек с чем-то подобным для увеличения безопасности. Уже. TPM называется.
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

10. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
Сообщение от Аноним (-), 04-Ноя-25, 20:36
> модифицированный инструментарий LLVM А чего не ГЦЦ? Не захотели пачкать руки? Или с монолитом (или копролитом?) гцц это нельза сделать так быстро и удобно как с шлангом?
Ответить | Правка | Наверх | Cообщить модератору

	32. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
	Сообщение от Аноним (4), 04-Ноя-25, 21:34
	Не ищи логики. В МС очень любят шланг, только и всего. Они вообще разрабатывают хоть какие-то свободные проекты?
	Ответить | Правка | Наверх | Cообщить модератору

	47. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Аноним (47), 04-Ноя-25, 22:19
	microsoft не разрабатывает, но является спонсором python и гном. В Python они являюются Sustainability Sponsor https://www.python.org/psf/sponsors/ Вот как переводит слово  Sustainability  wikiped : Устойчивость - это способность к относительно постоянному выживанию в различных областях жизни. В 21 веке это, как правило, относится к способности биосферы Земли и человеческой цивилизации сосуществовать.
	Ответить | Правка | Наверх | Cообщить модератору

	40. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:00
	Micro$oft же. Micro$ot Visual С++ - читай LLVM Шланг.
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

12. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–2 +/–
Сообщение от Я (??), 04-Ноя-25, 20:37
Не понял. Чи вам раста мало?
Ответить | Правка | Наверх | Cообщить модератору

	18. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+6 +/–
	Сообщение от Аноним (-), 04-Ноя-25, 20:45
	Да, раста мало. Для его применения нужно переписать кучу кода - это долго и дорого. Но это даст возможность предотвратить часть проблем еще на этапе разработки. А тут прога будет просто кидать FAULT, но "условный взлом" будет предотвращен. Зато относительно быстро и можно использовать старые кода. Оба подхода имеют место и они не взаимоисключающие.
	Ответить | Правка | Наверх | Cообщить модератору

	27. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (27), 04-Ноя-25, 21:16
	> Для его применения нужно переписать кучу кода - это долго и дорого. Пора создать квантовый ИИ высоких энергий, который приведёт человечество к процветанию, переписав весь онвог-код.
	Ответить | Правка | Наверх | Cообщить модератору

	28. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+2 +/–
	Сообщение от Аноним (-), 04-Ноя-25, 21:20
	> Пора создать квантовый ИИ высоких энергий, который приведёт > человечество к процветанию, переписав весь онвог-код. Отличная идея! Когда начнете? Но я бы предложил начать с малого и перестать плодить новый онвог-код. Это не так сложно, нужно всего лишь...
	Ответить | Правка | Наверх | Cообщить модератору

	42. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:03
	...стать плюсовиком, использующим умные указатели.
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+2 +/–
	Сообщение от Аноним (64), 05-Ноя-25, 02:32
	Когда указатели умнее тех, кто из использует.
	Ответить | Правка | Наверх | Cообщить модератору

	104. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 18:59
	Ну и здорово. Пусть те, кто их использует, займутся решением прикладной задачи.
	Ответить | Правка | Наверх | Cообщить модератору

	74. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Вы забыли заполнить поле Name. (?), 05-Ноя-25, 06:37
	Писать на языках со сборщиком мусора.
	Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

	61. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Аноним (61), 05-Ноя-25, 01:03
	Раст не защищает от того, что озвучено в сабже.
	Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

	85. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 13:44
	Чрезмерно много.
	Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

20. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (20), 04-Ноя-25, 20:48
Лучше бы аппаратный taint-анализ в рантайме сделали.
Ответить | Правка | Наверх | Cообщить модератору

22. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
Сообщение от Аноним (22), 04-Ноя-25, 20:52
>Защита реализуется через применение модифицированного компилятора который написан тоже на C/C++ и содержит много ошибок, из-за которых этот самый CHERIoT будет работать нестабильно, постоянно выдавая аварийные остановы.
Ответить | Правка | Наверх | Cообщить модератору

	25. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (-), 04-Ноя-25, 21:05
	> постоянно выдавая аварийные остановы. И это позволит отладить инструмент. LLVM станет лучше и стабильнее. Все довольны.
	Ответить | Правка | Наверх | Cообщить модератору

	43. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:05
	В репозитории GCC тоже наблюдается движ по поддержке CHERI.
	Ответить | Правка | Наверх | Cообщить модератору

	44. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:07
	Так перекомпилировать сам компилятор с поддержкой CHERI. Ну, конечно, для железа, которое его поддерживает.
	Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору

	68. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
	Сообщение от Аноним (68), 05-Ноя-25, 04:13
	CHERIoT не будет выдввать аварийные остановы. Он их будет отправлять телеметрией майкрософту. Со списком процессов. С копией исходников. А нейронные сети будут исправлять ошибку. И отправляться назад. Затем майкросовт будут тестировать другие варианты исправления  и программа будет автообновляться. CHERIoT читается как Червь
	Ответить | Правка | К родителю #22 | Наверх | Cообщить модератору

	88. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (-), 05-Ноя-25, 13:59
	Неправда! Он будет отправлять телеметрию сразу рептилойдам с нибиру. А те будут при помощи µ-лучей с полярных шапок Сатурна отправлять патчи сразу в мозг разработчиков.
	Ответить | Правка | Наверх | Cообщить модератору

23. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
Сообщение от 12yoexpert (ok), 04-Ноя-25, 20:52
> был создан компанией Microsoft для решения проблем с безопасностью лично мне хватило UEFI
Ответить | Правка | Наверх | Cообщить модератору

	26. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Аноним (64), 04-Ноя-25, 21:14
	"Те, кто готов променять свободу на безопасность, не достойны ни свободы, ни безопасности" (c) Только Чистый С, только хардкор!
	Ответить | Правка | Наверх | Cообщить модератору

	45. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:09
	Да уж, точно уклад един.
	Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

29. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
Сообщение от механизатор (?), 04-Ноя-25, 21:23
Ключи в UEFI - Микрософт ... - Микрософт CHERIoT - Микрософт Совпадение? Не думаю... Думаю, на этот раз пропихнуть свой крючок будет сложнее. Впрочем, люди не учатся на своих ошибках. А жаль.
Ответить | Правка | Наверх | Cообщить модератору

	34. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от morphe (?), 04-Ноя-25, 21:39
	> Ключи в UEFI - Микрософт Возьми да смени, никто не заставляет их использовать Если вдруг вендор твоей железки запрещает менять ключи (В жизни не видал такое, но опеннетные эксперты где-то такое добывали) - зачем такое покупать, этот вендор и без ключей мог как-то ACPI на microsoft завязать
	Ответить | Правка | Наверх | Cообщить модератору

	35. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+2 +/–
	Сообщение от механизатор (?), 04-Ноя-25, 21:42
	а чё так можно было? блин, пойду попробую отключить... спасибо за совет.
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от Аноним (39), 04-Ноя-25, 22:13
	Так это же ещё угадать нужно в процессе покупки. Не заставлять же в каком-нибудь ситилинке демонсрировать тебе работу прошивки покупаемой материнки. Пока домой с ней не придёшь, не поймёшь.
	Ответить | Правка | К родителю #34 | Наверх | Cообщить модератору

	51. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
	Сообщение от 12yoexpert (ok), 04-Ноя-25, 22:45
	можешь вернуть почти что угодно в течение двух недель после покупки без объяснения причин возврат оформляется в пару кликов в абсолютно любом местном магазине
	Ответить | Правка | Наверх | Cообщить модератору

	86. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Смузихлеб забывший пароль (?), 05-Ноя-25, 13:45
	Они, скорее, исключение делают. Эдакий жест доброй воли. Материнка - технически-сложное изделие и возвращается лишь при наличии брака либо несоответствия описания и действительности( но в описании не пишут, можно ли менять ключи )
	Ответить | Правка | Наверх | Cообщить модератору

	90. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от 12yoexpert (ok), 05-Ноя-25, 14:24
	> Материнка - технически-сложное изделие и возвращается лишь при наличии брака либо несоответствия описания и действительности ложь: возвращается что угодно, любая электроника в течение двуx недель причины не нужны, иногда продавцы по приколу опросник показывают, почему возвращаешь нет такого понятия, как "технически-сложное изделие"
	Ответить | Правка | Наверх | Cообщить модератору

	94. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (16), 05-Ноя-25, 15:31
	> нет такого понятия, как "технически-сложное изделие" Есть, конечно. И возврат его в течение двух недель зависит только от доброй воли продавца. При покупке «удалённо» по закону у вас есть неделя. В противном случае вам придётся доказать, что товар ненадлежащего качества.
	Ответить | Правка | Наверх | Cообщить модератору

	98. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от 12yoexpert (ok), 05-Ноя-25, 16:26
	> Есть, конечно нет > И возврат его в течение двух недель зависит только от доброй воли продавца. При покупке «удалённо» по закону у вас есть неделя. возврат в течение двух недель гарантируется законодательством > В противном случае вам придётся доказать, что товар ненадлежащего качества. я же говорю: ни доказывать, ни даже объяснять ничего не нужно
	Ответить | Правка | Наверх | Cообщить модератору

	63. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от morphe (?), 05-Ноя-25, 02:04
	> Так это же ещё угадать нужно в процессе покупки. Не заставлять же > в каком-нибудь ситилинке демонсрировать тебе работу прошивки покупаемой материнки. Пока > домой с ней не придёшь, не поймёшь. Возврат в течение 14 дней, плюс это надо ещё постараться такое найти, потому что ни один из крупных вендоров efi (AMI, Insyde, Phoenix) таким не занимается. Возможно такое на виндовых планшетах существует, где изначально в качестве железа какое-то говно выбирается, лишь бы оно хоть как то запустилось после продажи? Знаю лишь что на них 32бит EFI, из-за чего даже винда (x64) плохо стартует
	Ответить | Правка | К родителю #46 | Наверх | Cообщить модератору

54. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
Сообщение от eugener (ok), 04-Ноя-25, 23:03
Откопали стюардессу (си и си++) и накрасили (cheriot). Типа, ещё послужит.
Ответить | Правка | Наверх | Cообщить модератору

56. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (56), 04-Ноя-25, 23:13
... Представлен финальный вариант спецификации программной-аппаратной платформы CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), определяющей расширение набора команд (ISA) для создания Чего придумают... Писать надо на Паскале. Или Расте если моды хочется. Тайп сейф языки.
Ответить | Правка | Наверх | Cообщить модератору

	95. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (95), 05-Ноя-25, 15:31
	Когда-то приплюснутые гнобили пасквилистов... Теперь растсеры гнобят приплюснутых :)
	Ответить | Правка | Наверх | Cообщить модератору

	102. Скрыто модератором	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 17:20
	Потом какие-нибудь зигуны будут гнобить растоманов.
	Ответить | Правка | Наверх | Cообщить модератору

	103. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 17:21
	Да-да, знаем, типа безопастные языки.
	Ответить | Правка | К родителю #56 | Наверх | Cообщить модератору

59. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (61), 05-Ноя-25, 00:54
> модифицированного компилятора ... для обеспечения целостности указателей, контроля за границами при работе с памятью и предотвращения обращения к освобождённой памяти. Это что же получается, раст с квадратными колёсами можно было не изобретать?
Ответить | Правка | Наверх | Cообщить модератору

	69. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (68), 05-Ноя-25, 04:23
	А зачем что-то изобретать. Пишешь для чего нужна программа на обычном языке. Нейронные сети делают программу.  С автооплатой через карту. И скачиваешь. Зачем ещё и программировать?
	Ответить | Правка | Наверх | Cообщить модератору

60. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (61), 05-Ноя-25, 00:59
> развивается эталонная реализация 32-разрядного RISC-V А 64-битные свидетели говорят, что таких архитектур давно уже нету.
Ответить | Правка | Наверх | Cообщить модератору

	83. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 13:37
	Да все микроконтроллеры на RISC-V.
	Ответить | Правка | Наверх | Cообщить модератору

	99. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Microsoft (?), 05-Ноя-25, 16:50
	Кто сказал, что 32-битные в реальной жизни не работают? Просто не все и не для всех.
	Ответить | Правка | К родителю #60 | Наверх | Cообщить модератору

66. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (66), 05-Ноя-25, 03:44
- Сегментация мирового кода - Убийца свободного По - Ворота в создание "Своих Крепостей" для корпораций Начало конца.
Ответить | Правка | Наверх | Cообщить модератору

67. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (66), 05-Ноя-25, 03:47
В более мягкой форме: Сегментация. Как в таких условиях может существовать свободное ПО?
Ответить | Правка | Наверх | Cообщить модератору

	70. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	–1 +/–
	Сообщение от Аноним (68), 05-Ноя-25, 04:29
	В виде запросов на обычных словах в нейронную сеть. А там будет готовая программа. Программы будут автоматически переписываться нейронкой на Си. И программа будут быстрее. А текст запроса будут открытым. А зарплату будут получать процентом от использования нейронки. Ну как в 1С или офис360
	Ответить | Правка | Наверх | Cообщить модератору

	72. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (66), 05-Ноя-25, 04:45
	А где здесь Вы?
	Ответить | Правка | Наверх | Cообщить модератору

71. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+1 +/–
Сообщение от Аноним (66), 05-Ноя-25, 04:43
Пример двухходовки. Сишники, Вам не нравится Rust? Вот Вам платформа. И все дружно бросились поддерживать платформу. А если вглядеться в суть платформы - это одно и тоже. Только убери дебагерные инструкции - Темный ящик у тебя дома. Писать и отлаживать на одним процессоре, а потребителю отдавать прошивку на другом процессоре (без средств отладки).
Ответить | Правка | Наверх | Cообщить модератору

	87. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 13:53
	Ну если по-вашему это одно и тоже, то тогда нужно чекера боровов загнать в архитектуру микроконтроллера. Представляю себе электросчётчик на таком мегамикроконтроллере, которым сам жрёт ватт 100 мощности.
	Ответить | Правка | Наверх | Cообщить модератору

	92. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (91), 05-Ноя-25, 15:17
	>Темный ящик у тебя дома. Писать и отлаживать на одним процессоре, а потребителю отдавать прошивку на другом процессоре (без средств отладки). Откуда ты таким непотребствам научился? Тебя ребята из Эльбруса научили?
	Ответить | Правка | К родителю #71 | Наверх | Cообщить модератору

76. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Вы забыли заполнить поле Name. (?), 05-Ноя-25, 07:04
А чем это лучше просто сборки с ASAN?
Ответить | Правка | Наверх | Cообщить модератору

	80. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (-), 05-Ноя-25, 12:08
	> А чем это лучше просто сборки с ASAN? Если ASAN что-то пропустит (ну не попали в нужный сценарий) то в проде может быть не-очень-технологическое отверстие. А в случаи CHERIoT оно гарантированно упадет. Это неприятно, но лучше чем взлом.
	Ответить | Правка | Наверх | Cообщить модератору

84. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (84), 05-Ноя-25, 13:39
как они собираются проверить все code-path в сложных бинарях (браузер, офис)? даже 100500 тестов не хватит, надо 100500100500… ведь всякие эксплоиты используют крайне редкие и не встречающиеся в "дикой природе" значения, типа размер картинки миллиард-на-миллиард
Ответить | Правка | Наверх | Cообщить модератору

	93. Скрыто модератором	+/–
	Сообщение от Аноним (95), 05-Ноя-25, 15:29
	Как раст умудряется проверить все code-path? :)
	Ответить | Правка | Наверх | Cообщить модератору

	100. Скрыто модератором	+/–
	Сообщение от Аноним (100), 05-Ноя-25, 16:58
	С помощью маркетинга.
	Ответить | Правка | Наверх | Cообщить модератору

89. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
Сообщение от Аноним (-), 05-Ноя-25, 14:06
Чтобы не повторяться в отсутствии минимума для безопасной работы с памятью на RISC-V. https://www.opennet.dev/openforum/vsluhforumID3/129886.html#134 Проблема в том, что нет даже инструкции NX !
Ответить | Правка | Наверх | Cообщить модератору

	101. "Программно-аппаратная платформа CHERIoT 1.0 для повышения бе..."	+/–
	Сообщение от Аноним (104), 05-Ноя-25, 17:08
	CHERI заменяет простые указатели, а ля сишные, на структуры, которые не только указывают на объект в памяти, но и его размер. Описывают что с ним можно делать.
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема