The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

Оглавление

Microsoft открыл CHERIoT, аппаратное решение для повышения безопасности кода на языке Си, opennews (??), 01-Мрт-23, (0) [смотреть все]

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


1. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –17 +/
Сообщение от Аноним (1), 01-Мрт-23, 10:12 
Ну зачем аппаратный огород городить когда уже Rust есть?
Ответить | Правка | Наверх | Cообщить модератору

5. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +34 +/
Сообщение от Аноним (5), 01-Мрт-23, 10:18 
Именно чтобы не писать на раст. И это правильно.  
Ответить | Правка | Наверх | Cообщить модератору

51. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +2 +/
Сообщение от Товарисч (?), 01-Мрт-23, 12:34 
Звучит инфантильно.
Ответить | Правка | Наверх | Cообщить модератору

81. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –1 +/
Сообщение от YM2608 (?), 01-Мрт-23, 14:18 
а почему тебе Rust не нравится ɁɁɁ
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

159. Скрыто модератором  +1 +/
Сообщение от Аноним (-), 01-Мрт-23, 20:06 
Ответить | Правка | Наверх | Cообщить модератору

173. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Аноним (173), 01-Мрт-23, 21:14 
а почему раст должен кому-то нравиться?
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

235. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (235), 02-Мрт-23, 13:37 
А почему лично мне он обязательно должен нравиться?
Ответить | Правка | К родителю #81 | Наверх | Cообщить модератору

247. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от YM2608 (?), 02-Мрт-23, 15:46 
так я не спрошивал, почему он должен тебе нравиться, а спросил почему он не нравится
Ответить | Правка | Наверх | Cообщить модератору

158. Скрыто модератором  –1 +/
Сообщение от Аноним (-), 01-Мрт-23, 20:03 
Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

8. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +9 +/
Сообщение от pda (ok), 01-Мрт-23, 10:22 
А читаем мы по диагонали...

"Проблема может быть решена использованием языков программирования, гарантирующих безопасную работу с памятью, или обвязок с дополнительными проверками"

"уже существующие проекты на С/C++ переработать достаточно проблематично, особенно если они предназначены для выполнения в окружениях с ограниченными ресурсами, таких как встраиваемые системы и устройства интернет-вещей"

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

282. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Odalist (?), 02-Мрт-23, 22:30 
У меня потерялся Фрактал... Никто его не видел?
Ответить | Правка | Наверх | Cообщить модератору

317. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Глашатый (?), 05-Мрт-23, 11:00 
И много таких решений Вам известно? Java, да?
Ответить | Правка | К родителю #8 | Наверх | Cообщить модератору

9. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Проффесорemail (?), 01-Мрт-23, 10:24 
>Ну зачем аппаратный огород городить когда уже Rust есть?

Где скачать Rust под Cortex-M0 ?

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

13. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (-), 01-Мрт-23, 10:30 
Чтоб устроить праздник унсафе ? По каким дням праздновать будем ?
Ответить | Правка | Наверх | Cообщить модератору

25. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +7 +/
Сообщение от НяшМяш (ok), 01-Мрт-23, 11:01 
Опять в гугле забанили, уже 5 лет как есть.

https://github.com/rust-embedded/cortex-m-quickstart
https://docs.rust-embedded.org/book/intro/install.html

Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

174. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (173), 01-Мрт-23, 21:17 
А ты точно внимательно прочитал то, на что попытался ответить?

> Где скачать Rust под Cortex-M0 ?

Ответить | Правка | Наверх | Cообщить модератору

220. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –1 +/
Сообщение от Аноним (220), 02-Мрт-23, 10:39 
тут есть всего лишь две проблемы:

1. rust для ARM ничего не сможет собрать без GCC и binutils
2. все его разпиаренные либы слинкованы, угадай с чем ? glibc

... 1 ...
# cargo build
    Updating crates.io index
  Downloaded void v1.0.2
  Downloaded vcell v0.1.3
  Downloaded nb v1.0.0
  Downloaded nb v0.1.3
  Downloaded embedded-hal v0.2.7
  Downloaded volatile-register v0.2.1
  Downloaded bitfield v0.13.2
  Downloaded critical-section v1.1.1
  Downloaded 8 crates (104.4 KB) in 1.00s
   Compiling nb v1.0.0
   Compiling void v1.0.2
   Compiling cortex-m v0.7.4 (/root/cortex-m)
   Compiling vcell v0.1.3
   Compiling volatile-register v0.2.1
   Compiling critical-section v1.1.1
   Compiling nb v0.1.3
   Compiling bitfield v0.13.2
   Compiling embedded-hal v0.2.7
error: linker `cc` not found
  |
  = note: No such file or directory (os error 2)
...


... 2 ...
readelf -a /root/.rustup/toolchains/stable-aarch64-unknown-linux-gnu/lib/libstd-349359eac2fa563a.so|grep NEEDED
0x0000000000000001 (NEEDED)             Shared library: [libgcc_s.so.1]
0x0000000000000001 (NEEDED)             Shared library: [libpthread.so.0]
0x0000000000000001 (NEEDED)             Shared library: [libdl.so.2]
0x0000000000000001 (NEEDED)             Shared library: [libc.so.6]

...

Ответить | Правка | К родителю #25 | Наверх | Cообщить модератору

28. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –1 +/
Сообщение от Советский инженер (?), 01-Мрт-23, 11:04 
если тебе такой раст, чтобы код кросскомпилять - то на https://www.rust-lang.org/
а если такой, что б прям запускать коспилятор на кортексе - то там же где и С-компилятор, т.е. нигде.
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

335. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (335), 08-Мрт-23, 10:16 
Да вообще какой-нибудь tcc на жирном кортексе так то реально подалуй.
Ответить | Правка | Наверх | Cообщить модератору

131. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (131), 01-Мрт-23, 17:57 
Где скачать rust под avr
Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

157. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от topin89 (ok), 01-Мрт-23, 19:58 
детали тут:
https://book.avr-rust.com/001-introduction.html

Как я понял, идёт в комплекте к обычному расту

Ответить | Правка | Наверх | Cообщить модератору

217. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –1 +/
Сообщение от Аноним (220), 02-Мрт-23, 09:57 
я тебя огорчу:

...
Based on components for the Arduino Uno
Needs AVR-GCC on the system for linking
Needs AVR-Libc on the system for support libraries
...

растаманы недалеко ушли от go-пошников - тупо шмаляют обертки вокруг C и бьют себя пяткой в грудь.

много вам г#вна придется сьесть, чтобы написать компилятор для другой архитектуры

Ответить | Правка | Наверх | Cообщить модератору

243. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от topin89 (ok), 02-Мрт-23, 14:42 
А тебе шашечки или ехать?
Писать на расте можно? Можно. А линковка на любых платформах, кроме может redox, берётся системная, а не самописная
Ответить | Правка | Наверх | Cообщить модератору

265. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (265), 02-Мрт-23, 20:32 
> тупо шмаляют обертки вокруг C и бьют себя пяткой в грудь.

И что тут преступного? Придумать концепцию, подходящий синтаксис, внедрить хуки. Предварительно обработать свой код и передать сишному компилятору. Коллекция GCC так и строится.
В инструкции по установки rustc прямо написано что нужен компилятор плюсов вроде (или библиотека плюсов).

Ответить | Правка | К родителю #217 | Наверх | Cообщить модератору

16. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (16), 01-Мрт-23, 10:39 
Проблемы и приватности и тивоизации.

Как на устройстве запускать и свои сервисы работы с деньгами и одновременно неизвестный любой другой код и чтобы не поломали.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

44. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от YetAnotherOnanym (ok), 01-Мрт-23, 12:14 
Очень просто - пользоваться специализированным устройством для работы с деньгами, которое стоит в супермаркете за углом. Называется "банкомат".
Ответить | Правка | Наверх | Cообщить модератору

101. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (101), 01-Мрт-23, 16:09 
Предлагаешь бумагу что ли таскать с собой по карманам?
Ответить | Правка | Наверх | Cообщить модератору

183. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от YetAnotherOnanym (ok), 01-Мрт-23, 21:46 
Невелика тяжесть :Ь

Ответить | Правка | Наверх | Cообщить модератору

236. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (235), 02-Мрт-23, 13:40 
Был бы предмет таскания, а карманы уж найдутся.
Ответить | Правка | К родителю #101 | Наверх | Cообщить модератору

180. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от A (?), 01-Мрт-23, 21:42 
Вам-то - да. Но они-то мыслят: через банкомат ты много не продашь книг, кино, музла, фуфлоты и др. цифро-услуг.
Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

184. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от YetAnotherOnanym (ok), 01-Мрт-23, 21:49 
Да просто экономят. Банкомат требует техобслуживания, инкассаторская служба тоже недешёвое удовольствие, с владельцем помещения надо договариваться, питание, связь, вот это всё. Ну, и впаривать фуфло, да.
Ответить | Правка | Наверх | Cообщить модератору

345. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от 2studentemail (?), 13-Мрт-23, 16:32 
когда были онлайновые магазины с CD программ, кино и музыки было ответственней, потому-что приходилось за этим ходить пешком, и сто раз думал что купить и на что потратить деньги.
Ответить | Правка | К родителю #180 | Наверх | Cообщить модератору

260. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (265), 02-Мрт-23, 19:45 
Тут антимаркетинговые факторы начинают работать. Дождь, вечер, лень, очередь, не всегда за углом и тд. Да и банкам накладно ставить банкоматы на каждом шагу.
Ответить | Правка | К родителю #44 | Наверх | Cообщить модератору

162. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от kusb (?), 01-Мрт-23, 20:12 
Полный сброс контекста, чтобы даже ОС не была задействована в это время. Всё состояние ОС сохраняется, запускается программа для работы с деньгами из шифрованного места, расшифровывает себя и дальше...
Главное не давать основной ОС трогать в том числе незашифрованную часть программы для работы с деньгами.
Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

181. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от A (?), 01-Мрт-23, 21:43 
Вот и изобретают - как именно не давать.
Ответить | Правка | Наверх | Cообщить модератору

238. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (235), 02-Мрт-23, 13:52 
>Главное не давать основной ОС трогать в том числе незашифрованную часть программы
>расшифровывает себя и дальше...

Дальше известно как. Ищет бинарники и модифицирует их добавлением своей копии.

Ответить | Правка | К родителю #162 | Наверх | Cообщить модератору

266. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (265), 02-Мрт-23, 20:39 
Контейнеры, виртуальные машины, контрольные группы, разделение пространства имен, песочницы, работа в другом профиле, использование аппаратных токенов и многое другое. Если не изменяет память, то вкладки современных браузеров разделеня как песочницы. Главное не пускать грязь на системный уровень и многофакторная авторизация.
Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

285. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Neon (??), 02-Мрт-23, 22:42 
И для обработки 1 Мб уже не хватает десятков Гб))).
Ответить | Правка | Наверх | Cообщить модератору

24. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от _kp (ok), 01-Мрт-23, 10:52 
Там же сказали, для использования существующей кодовой базы без переписывания, ибо объёмы весьма внушительны.
Rust тут ни причём, ибо даже никак не относится к решению задачи - использования, того что уже есть.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

255. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от ЗанудаВФорточке (?), 02-Мрт-23, 19:33 
Адепты раста не упускают возможности попиариться. )) Своего кода крохи. Натолкнулся что раст в работе используют менее 10%. остальные для развлечения. Go, например, рядом на сайте используют на работе 70 процентов.    
Ответить | Правка | Наверх | Cообщить модератору

31. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (31), 01-Мрт-23, 11:32 
Чтобы раст прорекламировать. Мелкософт главный (наравне с гуглом) зачинщиков раси оманми
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

259. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (265), 02-Мрт-23, 19:41 
Штат понабрали "с улицы" и торопят, поэтому надо предохранятся.
Ответить | Правка | Наверх | Cообщить модератору

46. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –3 +/
Сообщение от Аноним (46), 01-Мрт-23, 12:23 
Похоже, даже Мелкомягких Хруст не устраивает.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

177. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Аноним (177), 01-Мрт-23, 21:29 
Хруст их очень устраивает. Их не устраивает переписывать миллиарды строк кода _старого барахла_. Плюс это они делают не только для своего старого барахла, но и для твоего, наСИльник, ибо лицензия BSD. Ты то  раст ни в жисть не выберешь, а ошибки как делал так и продолжишь штамповать. Даже если тебе пригрозят отрезать выступающие части тела, ибо клиника.
Ответить | Правка | Наверх | Cообщить модератору

195. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (-), 02-Мрт-23, 02:12 
Ты в своем праве отправиться курить бамбук и не пользоваться сишным софтом. Можешь начать с операционки и кернела, редокс ждет тебя.
Ответить | Правка | Наверх | Cообщить модератору

224. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Аноним (224), 02-Мрт-23, 11:48 
Конечно, по своей воле я Rust не выберу, ибо есть более красивые альтернативы.
Ответить | Правка | К родителю #177 | Наверх | Cообщить модератору

64. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от warlock66613email (ok), 01-Мрт-23, 13:24 
Так этот аппаратный огород отлично работает в паре с Rust (фича strict_provenance и связанные).
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

93. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от anonymous (??), 01-Мрт-23, 15:38 
> нацеленным на блокирование проблем с безопасностью в существующем коде на языках C и С++.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

120. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Аноним (120), 01-Мрт-23, 16:44 
Мне, с моим отсутствующим мозгом, кажется что проверка каждого обращения к памяти настолько сильно уронит производительность, что пользоваться ей будет почти невозможно
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

269. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от _kp (ok), 02-Мрт-23, 21:16 
> Мне, с моим отсутствующим мозгом, кажется что проверка каждого обращения к памяти
> настолько сильно уронит производительность, что пользоваться ей будет почти невозможно

Есть же тестовые и отладочные сборки.
Эту среду можно рассматривать и как средство обнаружения проблем, что бы подправить исходник, и он точно стабильно работал в нативном виде.

Ответить | Правка | Наверх | Cообщить модератору

123. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  –1 +/
Сообщение от ptr (??), 01-Мрт-23, 16:59 
Как Вы представляете себе Rust, например, для CH32V003?
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

161. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от topin89 (ok), 01-Мрт-23, 20:10 
Там вроде RISC-V. Как я понял, поддержка на ранней стадии, но в планах точно есть.
https://github.com/rust-embedded/riscv-rt
Ответить | Правка | Наверх | Cообщить модератору

321. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от ptr (??), 06-Мрт-23, 14:18 
Поддержку то можно наваять. Но когда у тебя только 2К оперативки, даже если поддержка будет кушать 500 байт, желания ее использовать - никакого
Ответить | Правка | Наверх | Cообщить модератору

194. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (-), 02-Мрт-23, 02:11 
> Как Вы представляете себе Rust, например, для CH32V003?

А это что за зверь? Клон GD32 с RISCV ядром и прочим обвесом "как у STM32"?

Ответить | Правка | К родителю #123 | Наверх | Cообщить модератору

226. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (224), 02-Мрт-23, 12:09 
http://www.wch-ic.com/products/categories/47.html?pid=5
Ответить | Правка | Наверх | Cообщить модератору

336. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (335), 08-Мрт-23, 10:19 
> http://www.wch-ic.com/products/categories/47.html?pid=5

Похоже на RISCV с обвесом "как у STM32". Но, кажется, все ж не классическим F103 в 103-й версии, это фэйл. И у катайцев есть какие-то устаканившиеся клоны которые 1 в 1 совпадают? F103 на ARM например штук пять фирм минимум гонит и они более-менее совместимы и по ядру и по регистрам, вплоть до вливки 1 и того же бинаря во все и даже работать будет, правда не факт что идеально точно, но лучше чем нифига.

Ответить | Правка | Наверх | Cообщить модератору

219. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +1 +/
Сообщение от Аноним Ваноним (?), 02-Мрт-23, 10:26 
ну я так понимпю, тут и на си не сахар: или мимикрия апи под stm32(с надеждой, что китайцы все нормально сделали) или самому по даташиту и riscv асмом сидеть разбираться. Да господи, офф доки по avr  и stm бывают нерабочими. Так что не понимаю, что уже там на раст бухтеть, все мы сидим и пользуемся откровенным говном.
Ответить | Правка | К родителю #123 | Наверх | Cообщить модератору

197. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (-), 02-Мрт-23, 02:17 
> Ну зачем аппаратный огород городить когда уже Rust есть?

Он так то тоже далеко не все в рантайме проверять может - некоторые проверки не халявные по скорости, увы. Скажем integer overflow.

Одно дело если железка в рантайм эксепшн кидает что переполнение математики, это не требует кода на проверки. Совсем другое если надо нормальную математику проверками carry-флагов разбавить, скорость всякого крипто и мультимедии резко упадет в разы если так сделать. А оно такое надо? Это даже из си можно сделать подцепив ubsan и особенно asan но это будет мало чем лучше Java какой-нибудь.

Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

257. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."  +/
Сообщение от Аноним (265), 02-Мрт-23, 19:39 
Топик для Аудита (тестирования) кода на Си и плюсах. Причем тут раст? Если удастся внедрить контроль владения данными в компилятор Си то раст станет не нужен. Причем речь идет о владение динамически выделенными данными в куче.
Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

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

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




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру