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

Microsoft открыл CHERIoT, аппаратное решение для повышения безопасности кода на языке Си, opennews (??), 01-Мрт-23, (0) [смотреть все] Ну зачем аппаратный огород городить когда уже Rust есть , Аноним (1), 10:12 , 01-Мрт-23, (1) –17 // Именно чтобы не писать на раст И это правильно , Аноним (5), 10:18 , 01-Мрт-23, (5) +34 // Звучит инфантильно , Товарисч (?), 12:34 , 01-Мрт-23, (51) +2 а почему тебе Rust не нравится 577 577 577 , YM2608 (?), 14:18 , 01-Мрт-23, (81) –1 // Скрыто модератором, Аноним (-), 20:06 , 01-Мрт-23, (159) +1 а почему раст должен кому-то нравиться , Аноним (173), 21:14 , 01-Мрт-23, (173) +1 А почему лично мне он обязательно должен нравиться , Аноним (235), 13:37 , 02-Мрт-23, (235) так я не спрошивал, почему он должен тебе нравиться, а спросил почему он не нрав, YM2608 (?), 15:46 , 02-Мрт-23, (247) Скрыто модератором, Аноним (-), 20:03 , 01-Мрт-23, (158) –1 А читаем мы по диагонали Проблема может быть решена использованием языков про, pda (ok), 10:22 , 01-Мрт-23, (8) +9 // У меня потерялся Фрактал Никто его не видел , Odalist (?), 22:30 , 02-Мрт-23, (282) И много таких решений Вам известно Java, да , Глашатый (?), 11:00 , 05-Мрт-23, (317) Где скачать Rust под Cortex-M0 , Проффесор (?), 10:24 , 01-Мрт-23, (9) // Чтоб устроить праздник унсафе По каким дням праздновать будем , Аноним (-), 10:30 , 01-Мрт-23, (13) Опять в гугле забанили, уже 5 лет как есть https github com rust-embedded cort, НяшМяш (ok), 11:01 , 01-Мрт-23, (25) +7 // А ты точно внимательно прочитал то, на что попытался ответить , Аноним (173), 21:17 , 01-Мрт-23, (174) тут есть всего лишь две проблемы 1 rust для ARM ничего не сможет собрать без GC, Аноним (220), 10:39 , 02-Мрт-23, (220) –1 если тебе такой раст, чтобы код кросскомпилять - то на https www rust-lang org, Советский инженер (?), 11:04 , 01-Мрт-23, (28) –1 // Да вообще какой-нибудь tcc на жирном кортексе так то реально подалуй , Аноним (335), 10:16 , 08-Мрт-23, (335) Где скачать rust под avr , Аноним (131), 17:57 , 01-Мрт-23, (131) // детали тут https book avr-rust com 001-introduction htmlКак я понял, идёт в ко, topin89 (ok), 19:58 , 01-Мрт-23, (157) я тебя огорчу Based on components for the Arduino UnoNeeds AVR-GCC on the sys, Аноним (220), 09:57 , 02-Мрт-23, (217) –1 А тебе шашечки или ехать Писать на расте можно Можно А линковка на любых платф, topin89 (ok), 14:42 , 02-Мрт-23, (243) И что тут преступного Придумать концепцию, подходящий синтаксис, внедрить хуки , Аноним (265), 20:32 , 02-Мрт-23, (265) Проблемы и приватности и тивоизации Как на устройстве запускать и свои сервисы р, Аноним (16), 10:39 , 01-Мрт-23, (16) // Очень просто - пользоваться специализированным устройством для работы с деньгами, YetAnotherOnanym (ok), 12:14 , 01-Мрт-23, (44) // Предлагаешь бумагу что ли таскать с собой по карманам , Аноним (101), 16:09 , 01-Мрт-23, (101) Невелика тяжесть Ь, YetAnotherOnanym (ok), 21:46 , 01-Мрт-23, (183) Был бы предмет таскания, а карманы уж найдутся , Аноним (235), 13:40 , 02-Мрт-23, (236) Вам-то - да Но они-то мыслят через банкомат ты много не продашь книг, кино, му, A (?), 21:42 , 01-Мрт-23, (180) Да просто экономят Банкомат требует техобслуживания, инкассаторская служба тоже, YetAnotherOnanym (ok), 21:49 , 01-Мрт-23, (184) когда были онлайновые магазины с CD программ, кино и музыки было ответственней, , 2student (?), 16:32 , 13-Мрт-23, (345) Тут антимаркетинговые факторы начинают работать Дождь, вечер, лень, очередь, не, Аноним (265), 19:45 , 02-Мрт-23, (260) Полный сброс контекста, чтобы даже ОС не была задействована в это время Всё сос, kusb (?), 20:12 , 01-Мрт-23, (162) // Вот и изобретают - как именно не давать , A (?), 21:43 , 01-Мрт-23, (181) Дальше известно как Ищет бинарники и модифицирует их добавлением своей копии , Аноним (235), 13:52 , 02-Мрт-23, (238) Контейнеры, виртуальные машины, контрольные группы, разделение пространства имен, Аноним (265), 20:39 , 02-Мрт-23, (266) // И для обработки 1 Мб уже не хватает десятков Гб , Neon (??), 22:42 , 02-Мрт-23, (285) +1 Там же сказали, для использования существующей кодовой базы без переписывания, и, _kp (ok), 10:52 , 01-Мрт-23, (24) // Адепты раста не упускают возможности попиариться Своего кода крохи Натолкну, ЗанудаВФорточке (?), 19:33 , 02-Мрт-23, (255) Чтобы раст прорекламировать Мелкософт главный наравне с гуглом зачинщиков рас, Аноним (31), 11:32 , 01-Мрт-23, (31) // Штат понабрали с улицы и торопят, поэтому надо предохранятся , Аноним (265), 19:41 , 02-Мрт-23, (259) Похоже, даже Мелкомягких Хруст не устраивает , Аноним (46), 12:23 , 01-Мрт-23, (46) –3 // Хруст их очень устраивает Их не устраивает переписывать миллиарды строк кода _с, Аноним (177), 21:29 , 01-Мрт-23, (177) +1 // Ты в своем праве отправиться курить бамбук и не пользоваться сишным софтом Може, Аноним (-), 02:12 , 02-Мрт-23, (195) Конечно, по своей воле я Rust не выберу, ибо есть более красивые альтернативы , Аноним (224), 11:48 , 02-Мрт-23, (224) +1 Так этот аппаратный огород отлично работает в паре с Rust фича strict_provenanc, warlock66613 (ok), 13:24 , 01-Мрт-23, (64) +1 Microsoft открыл CHERIoT, аппаратное решение для повышения б..., anonymous (??), 15:38 , 01-Мрт-23, (93) Мне, с моим отсутствующим мозгом, кажется что проверка каждого обращения к памят, Аноним (120), 16:44 , 01-Мрт-23, (120) +1 // Есть же тестовые и отладочные сборки Эту среду можно рассматривать и как средств, _kp (ok), 21:16 , 02-Мрт-23, (269) Как Вы представляете себе Rust, например, для CH32V003 , ptr (??), 16:59 , 01-Мрт-23, (123) –1 // Там вроде RISC-V Как я понял, поддержка на ранней стадии, но в планах точно ест, topin89 (ok), 20:10 , 01-Мрт-23, (161) // Поддержку то можно наваять Но когда у тебя только 2К оперативки, даже если подд, ptr (??), 14:18 , 06-Мрт-23, (321) А это что за зверь Клон GD32 с RISCV ядром и прочим обвесом как у STM32 , Аноним (-), 02:11 , 02-Мрт-23, (194) // http www wch-ic com products categories 47 html pid 5, Аноним (224), 12:09 , 02-Мрт-23, (226) Похоже на RISCV с обвесом как у STM32 Но, кажется, все ж не классическим F103, Аноним (335), 10:19 , 08-Мрт-23, (336) ну я так понимпю, тут и на си не сахар или мимикрия апи под stm32 с надеждой, ч, Аноним Ваноним (?), 10:26 , 02-Мрт-23, (219) +1 Он так то тоже далеко не все в рантайме проверять может - некоторые проверки не , Аноним (-), 02:17 , 02-Мрт-23, (197) Топик для Аудита тестирования кода на Си и плюсах Причем тут раст Если удаст, Аноним (265), 19:39 , 02-Мрт-23, (257) Решение прямо как из песенки Ключик золотой В ж себе вставь Покрути нем, Кровосток (ok), 10:13 , 01-Мрт-23, (2) +16 Настоящий сишник меняет аппаратуру под себя Диктует свои правила , Аноним (3), 10:14 , 01-Мрт-23, (3) +47 // такой же настоящий, как и автолюбитель, который меняет машину когда пепельница п, Советский инженер (?), 11:16 , 01-Мрт-23, (30) –1 // Нет, как автолюбитель, который ставит карбоновое антикрыло на багажник и дыряв, YetAnotherOnanym (ok), 12:03 , 01-Мрт-23, (42) –1 Если посмотреть на то как изменилось современное железо эээ вообще-то да, , Аноним (-), 20:59 , 01-Мрт-23, (169) +1 // Главный прогиб под C - это RISC-V, где нет флагов Соответственно весь тот геморо, Nope (?), 13:11 , 02-Мрт-23, (229) +3   // Уже объясняли о вреде этих флагов на переупорядочивание выполнения команд , Аноним (235), 13:21 , 02-Мрт-23, (230) +1   Стоит уточнить, что мешают не флаги, а только когда эти флаги общие и или помеще, непох2 (?), 14:43 , 02-Мрт-23, (244) +3   Это ваши фантазии или это где-то так сделано , Вечно недовольный аноним (?), 15:31 , 02-Мрт-23, (246) +2   Если это нигде не сделано - это не значит, что не нужно Реализация этих флагов , x3who (?), 19:03 , 02-Мрт-23, (251)   Штеуд сделал это 10 лет назад в таком виде https en wikipedia org wiki Intel_A, аффтар (?), 12:53 , 03-Мрт-23, (297)   Ты сам-то эту страницу читал Где там написано про бред анона с кэри оверфлоу фл, Аноним (307), 09:13 , 04-Мрт-23, (307) –1   Кэри и оверфлоу флаги явно проверять - это лишние команды Т е нафиг надо, скор, Аноним (-), 08:43 , 08-Мрт-23, (331)   Ну и много ли хотя бы в 32х битном коде на ассемблере работы с флагами вне опер, _kp (ok), 21:29 , 02-Мрт-23, (272)   Как уже многократно было сказано RISC-V ISA исходно проектировалась для low-end, аффтар (?), 12:49 , 03-Мрт-23, (296) +1   Для high-end cpu мы никогда не видим их систему команд и нам так то похрен И дл, Аноним (-), 08:47 , 08-Мрт-23, (332)   Не стоит повторять пересказывать чужие пояснения, не понимая их сути и или конте, аффтар (?), 23:43 , 08-Мрт-23, (341)   Не стоит считать себя умнее других, особенно не зная кто с другой стороны экрана, Аноним (-), 17:10 , 13-Мрт-23, (346)   Да вот кстати Cortex M для сишника так то поудобней RISCV Я так понимаю что RIS, Аноним (-), 10:26 , 08-Мрт-23, (337)   правила диктует прогресс а он сдерживается рынком Появился запрос на использова, Аноним (221), 11:11 , 02-Мрт-23, (221) // Как рынок сдерживает прогресс , Вечно недовольный аноним (?), 12:34 , 02-Мрт-23, (228) +4 // инновационные продукты из-за высокой цены могут себе позволить единицы - произв, Аноним (221), 13:32 , 02-Мрт-23, (234) Unix захватил мир процессоров вместе с С Мелкомягкие писали свой первый код на , Аноним (265), 20:05 , 02-Мрт-23, (263) // С был спроектирован так, чтобы эффективно отображаться на две существующие на то, adolfus (ok), 21:49 , 04-Мрт-23, (314) // Да вообще-то в сишке адресное пространство так то одно на всех и вот на именно г, Аноним (-), 10:31 , 08-Мрт-23, (338) Неужели раст не помог и пришлось всё делать правильно Кто бы мог подумать , Аноним (5), 10:18 , 01-Мрт-23, (4) –1 // так он бы смог, конечно, смог бы - но пока на эту архитектуру кроме readme md ни, пох. (?), 10:44 , 01-Мрт-23, (18) // Как так А CoC md , Аноним (46), 12:31 , 01-Мрт-23, (49) +1 В рантайме проверять лайфтаймы и выходы за границы, это уже правильно , Аноним (-), 14:52 , 01-Мрт-23, (83) // Хотя, если так подумать, в рантайме лайфтаймы и выходы за границы отслеживать пр, Аноним (-), 15:04 , 01-Мрт-23, (89) –1 // Если вы не думаете, то вы трупп Поэтому стремление к поменьше думать несколько, непох (?), 15:58 , 01-Мрт-23, (97) Какой-нибудь диапазон значений int - и его переполнение - в компил тайме не боль, Аноним (-), 21:01 , 01-Мрт-23, (170) В рантайме с поддержкой железа не халявно получается Спекулятивное выполнение, Аноним (-), 14:18 , 02-Мрт-23, (241) переполнение int в рантайме - это логическая ошибка Поэтому компилятор и не пом, Аноним (265), 20:11 , 02-Мрт-23, (264) Для процессора переполнение int а это не ошибка вовсе Для задумки программиста , Аноним (-), 22:40 , 02-Мрт-23, (283) +1 include stdio h include inttypes h int main uint8_t a 255,b 255 uint8_t c , Аноним (265), 00:41 , 03-Мрт-23, (290) –1 include stdio h int main int argc, char argv unsigned char a 255, b , Совершенно другой аноним (?), 17:03 , 07-Мрт-23, (325) Эй лолки, man 3 printf для начала С вашим d вы такие забавные А builtin это п, Аноним (-), 22:08 , 07-Мрт-23, (326) +1 В данном случае рояля не играет, т к unsigned char расширится до unsigned int с, Совершенно другой аноним (?), 10:03 , 08-Мрт-23, (334) +1 Зато если это с u32 попробовать можно нехилый сюрприз поймать И между п, Аноним (-), 10:44 , 08-Мрт-23, (339) Компания Microsoft открыла наработки, связанные с проектом CHERIoT , нацелен, Аноним (177), 22:05 , 01-Мрт-23, (186) –3 // До тебя медленно но очень трудно доходит что раст ненужен А сама идея на него ч, Аноним (214), 09:25 , 02-Мрт-23, (214) –1 // только икспертам опеннета хорошо что разработчики tor тебя не слышат Но до теб, Аноним (177), 03:54 , 03-Мрт-23, (292) А потом такие существа спрашивают, почему раст хейтят , Аноним (344), 18:13 , 10-Мрт-23, (344) Точно подмечено , Аноним (235), 13:25 , 02-Мрт-23, (232) –1 // А, слово подменил, смысл поменял, смешно получилось Детский сад, штаны на лямка, Аноним (177), 03:59 , 03-Мрт-23, (293) у Эльбрусов вроде есть защищённый режим где доступ к памяти и исполнение проверя, Аноним (6), 10:20 , 01-Мрт-23, (6) +2 // если ты про тегированную память, то он наверное был только в ель-брус-1, том у к, пох. (?), 10:49 , 01-Мрт-23, (23) –3 // Защищенный режим есть во всех Эльбрусах и работает, без наверное Если бы чуба, непох (?), 12:38 , 01-Мрт-23, (54) +3 // Прости, а вот при советской власти на которую тут все неистово др-ат им кто меша, пох. (?), 19:12 , 01-Мрт-23, (145) –1 Эта х-ня - про Эльбрус-1 или про Эльбрус-2 Если про первый, то там была неудач, U202204161753 (?), 11:37 , 02-Мрт-23, (222) О, оказывается в головотяпском управлении зажраной фирмочки чубайс виноват А он, Аноним (-), 21:04 , 01-Мрт-23, (171) –3 У человека, просто, русский на очень высоком уровне Обратите, пожалуйста, внима, Rock (?), 00:07 , 02-Мрт-23, (193) +1 Он уже давно стал нарицательным прозвищем, не отнять Но у тех по-моему даже так, Аноним (-), 02:27 , 02-Мрт-23, (198) В том и роль чубайсов - обеспечивать рынок сбыта в России для чужих стартапов Е, ЗанудаВФорточке (?), 19:19 , 02-Мрт-23, (254) Ну так чубайсы не из космоса прилетели Они все бывшие пламенные комсовольцы и в, Neon (??), 22:41 , 02-Мрт-23, (284) Нет, вы ошиблись Не вовсех Есть ещё серия Эльбрусов которые де факто Спарк сери, maximnik0 (?), 09:54 , 02-Мрт-23, (216) Да, конечно Всегда эта путаница, что называть Эльбрусами - либо только те что на, непох2 (?), 15:04 , 02-Мрт-23, (245) Нет, аппаратная защита есть и у Эльбруса ,который wlib Называеться тегирование-к, maximnik0 (?), 12:48 , 01-Мрт-23, (58) // Т е , обычные стандартные планки DDR-3, DDR-4 для Эльбруса не годятся , Аноним (46), 12:55 , 01-Мрт-23, (60) Да, обычные не годятся, нужные серверные DDR-модули с ECC Теги хранятся в вме, непох (?), 13:09 , 01-Мрт-23, (63) +6 Скрыто модератором, Аноним (-), 21:05 , 01-Мрт-23, (172) +1 А ECC при этом нормально работает , Аноним (-), 02:29 , 02-Мрт-23, (199) Да На уровне DDR-модуля ECC это просто дополнительные биты обычно 1 к восьми , непох2 (?), 14:24 , 02-Мрт-23, (242) +1 Здесь похоже какая-то на ка с точки зрения теории информации Если бы можно бы, Аноним (-), 17:39 , 24-Мрт-23, (349) Здесь пишут, что в защищенном режиме вылезают приколы в coreutils типа использов, анонимуз (?), 14:56 , 01-Мрт-23, (85) Не приколы, а баги И подобное всплывает чуть менее чем повсеместно , непох (?), 15:04 , 01-Мрт-23, (88) +2 В самОм Linux тоже Кстати, может ли вообще Linux работать в защищенном режиме , анонимуз (?), 15:11 , 01-Мрт-23, (90) Да, но Да, если переписать Защищенный aka Безопасный режим на Эльбрусах очен, непох (?), 15:53 , 01-Мрт-23, (96) +3 И как процессор различает, что в регистре сейчас целое или указатель , Аноним (46), 16:43 , 01-Мрт-23, (119) Упрощенно у регистра есть скрытые недоступные погроммисту биты, благодаря кот, непох (?), 18:39 , 01-Мрт-23, (140) Никак каждый указатель содержит смещение до начала массива объекта А в начале м, anonymous (??), 11:48 , 02-Мрт-23, (223) Так и есть, здесь весь этот секурный сетап описан http ftp altlinux org pub pe, anonymous (??), 11:50 , 02-Мрт-23, (225) Т е , без переписывания или, хотя бы, портирования никуда , Аноним (235), 14:01 , 02-Мрт-23, (239) Что имеется ввиду в данном контексте под защищённым режимом Если Linux ядро м, Аноним (235), 13:45 , 02-Мрт-23, (237) Аппаратный РБВ http ftp altlinux org pub people mike elbrus docs elbrus_prog h, anonymous (??), 11:57 , 03-Мрт-23, (295) Пра брусы и вообще очень занимательное чтиво - читать цикл статей задом наперед , RM (ok), 20:32 , 01-Мрт-23, (167) +1 // Всё продолбано до нас fixed, Tron is Whistling (?), 21:20 , 01-Мрт-23, (175) Ты еще скажи что Бэббидж тоже продолбал В смысле просто лазерной резки для шесте, RM (ok), 21:38 , 01-Мрт-23, (179) Я вообще восхищён что такое сумело проскочить в непрофильном сайте Там прямо ука, maximnik0 (?), 04:57 , 02-Мрт-23, (206) Защищенный режим в котором работает ровно ничего А тут решение которое работает, Аноним (131), 18:01 , 01-Мрт-23, (132) +1 Мало того, защищенный режим есть и у интелов, в том том числе флаг исполнения дл, qwe (??), 18:08 , 02-Мрт-23, (249) Вопрос Как освобождать тэгированную память Надо вайпить wipe биты тэга Ведь, Аноним (265), 19:54 , 02-Мрт-23, (261) так, погодите-ка Если Java - это язык, компилящийся для гипотетических процов,, Аноним (7), 10:21 , 01-Мрт-23, (7) // Доступа к памяти на яву нету, речь идет именно о нем , Аноним (-), 10:28 , 01-Мрт-23, (12) // Так прям и нет А вот пацанчики пишущие малварь на яве знают проUnsafe class ge, OpenEcho (?), 16:12 , 01-Мрт-23, (104) // getDeclaredFieldReturns a Field object that reflects the specified declared fie, Аноним (120), 16:37 , 01-Мрт-23, (116) –1 Гуглите про sun misc Unsafe или проще, - direct memory access java, OpenEcho (?), 16:46 , 01-Мрт-23, (121) +2 Типа того Админить руками или скриптами В Си - руками всё В Яве и прочих есть, Аноним (16), 10:31 , 01-Мрт-23, (14) –1 // почему не сделают скрипты сборщики мусора на си , Аноним (120), 11:57 , 01-Мрт-23, (41) // Как сборщик мусора защитит от разыменования указателя, указывающего на произволь, Аноним (46), 12:36 , 01-Мрт-23, (52) А как он защитит У меня нет мозгов и я не знаю , Аноним (120), 16:31 , 01-Мрт-23, (113) Для сей есть энное количесто сборщиков мусора, какие проблемы Можно начать с B, Аноним (-), 02:31 , 02-Мрт-23, (200) Процессору на ваши use after free и прочие шалости побоку, более того, состояние, _hide_ (ok), 13:06 , 01-Мрт-23, (62) +4 // Уточните, пожалуйста, какое отношение состояние гонки имеет к циклическим ссылка, Аноним (120), 16:29 , 01-Мрт-23, (112) // Последовательность действий Удаляем объекты в порядке, отличном от порядка созда, _hide_ (ok), 10:02 , 02-Мрт-23, (218) А причем здесь циклические ссылки , Аноним (120), 22:13 , 02-Мрт-23, (279) Потому что такие вещи часто встречаются именно в реализации объектов, ссылающихс, _hide_ (ok), 22:52 , 02-Мрт-23, (286) и результат - я открыл для себя что у top есть отображение rss в терабайтах Так , пох. (?), 19:16 , 01-Мрт-23, (146) Да, правильно, Си процессоры довольно специфичны на самом деле Было много альт, Аноньимъ (ok), 19:36 , 01-Мрт-23, (149) На Java бывают утечки памяти, если что Можно тоже запретить А кроме расширения , www2 (??), 20:21 , 01-Мрт-23, (165) Просто здесь исключения при работе с памятью перехватываются аппаратно и видны в, Аноним (265), 19:58 , 02-Мрт-23, (262) И не смогут крупные корпорации Пока топят за скорость выдачи результата Получа, Аноним (16), 10:27 , 01-Мрт-23, (11) +4 // То ли дело в опенсорсе 8212 медленно, дорого, качественно 8212 баги в Xorg, Аноним (15), 10:35 , 01-Мрт-23, (15) +4 // С опенсорсом в корпорациях проблема таже - корпроативно быстро, подешевле, некач, Аноним (19), 10:45 , 01-Мрт-23, (19) +2 // Я бы даже сказал больше, - не было бы корпораций, то весь опенсорс так и застрял, OpenEcho (?), 16:20 , 01-Мрт-23, (107) +1 Очень спорно, многие проекты начинаются за идею и не финансируются или раньше не, kusb (?), 20:17 , 01-Мрт-23, (164) Да все понятно, что идеи рождают гении, но когда реализация идеи выходит за пред, OpenEcho (?), 21:32 , 01-Мрт-23, (178) BSD избавлялась от компонентов AT T Unix на средства университетов Студентам и , www2 (??), 20:27 , 01-Мрт-23, (166) +1 Вот кто, кто, но только лучше не государства, там просто сбросят бабло родствени, OpenEcho (?), 21:44 , 01-Мрт-23, (182) Но жаль от того бы не было А работают все В науке и мысли в том и достоинство,, A (?), 22:13 , 01-Мрт-23, (188) Из приниципиально важного, а не из шелухи , A (?), 22:16 , 01-Мрт-23, (190) ZX-spectrum - был вполне коммерческий проект Боюсь, что и его бы в опенсорсе, Neon (??), 22:56 , 02-Мрт-23, (287) Я про софт, не про железку, голодные до програмирования тогда человеки настрогал, OpenEcho (?), 14:16 , 03-Мрт-23, (298) Де-факто опенсорсные улучшенные версии ZX-Spectrum были в СССР ещё до становлени, Аноним (302), 14:54 , 03-Мрт-23, (302) Если не признавать что некачественно тогда прокатит Как ты в проприетаре опреде, Аноним (26), 11:01 , 01-Мрт-23, (26) Это потомубчто уних 70 програмистов индусы без профильного образования , Аноним (129), 17:48 , 01-Мрт-23, (129) // Это ведь процент уязвимостей, а не 70 кода из них состоят Просто есть такая за, topin89 (ok), 20:34 , 01-Мрт-23, (168) Дидам придумали кресло-каталку Сами они писать на сях не могут без граблей, нор, 3draven (ok), 10:44 , 01-Мрт-23, (17) –3 // Скорее что наоборот диды сделали вешь, которая не позволяет отжать пользу девай, Аноним (19), 10:47 , 01-Мрт-23, (21) +1 Не дидам, а их дегроднутым внучкам , Аноним (135), 18:15 , 01-Мрт-23, (135) +1 // Диды иногда тоже жгут от души Вон красавчики, дереференсят массив по входу функ, Аноним (-), 02:43 , 02-Мрт-23, (203) +1 // Диды K R говорили что просто int может быть по умолчанию или signed или unsign, RM (ok), 13:31 , 02-Мрт-23, (233) +1 За это мы теперь жестко отдуваемся, когда вон те красавцы отрицательный индекс м, Аноним (-), 09:08 , 08-Мрт-23, (333) Я писал в контексте вопроса А зачем индекс signed делать вообще Кто-нибудь о, RM (ok), 20:50 , 04-Апр-23, (352) +1 Мощное заявление, пруфов конечно же не будет , Аноним (358), 22:32 , 04-Янв-24, (358) Да, память меня подвела, признаю, распространил я в своей голове поведение char , RM (ok), 23:25 , 04-Янв-24, (359) Ждём новостей о том как врырываются из очередной песочницы , IdeaFix (ok), 10:45 , 01-Мрт-23, (20) // Причем через npm , Аноним (26), 11:02 , 01-Мрт-23, (27) +1 // Не, контент мейкером будет позитив софтваре, так что через паяльник , IdeaFix (ok), 11:11 , 01-Мрт-23, (29) // Позитив Текнолоджис, Анонус (?), 12:33 , 01-Мрт-23, (50) это этого не надо защитать, указатели для этого и придуманы , Аноним (32), 11:33 , 01-Мрт-23, (32) // просто оно сделано defective by design, Аноним (33), 11:45 , 01-Мрт-23, (33) // Оно в процессоре так сделано, Аноним (32), 11:46 , 01-Мрт-23, (34) +1 // Так в процессоре CHERIoT сделано уже иначе , Аноним (46), 12:41 , 01-Мрт-23, (55) +3 RISC-V с дополнительным набором команд и на основе этих команд новый компилятор , Аноним (265), 20:55 , 02-Мрт-23, (267) Именно , Аноньимъ (ok), 19:38 , 01-Мрт-23, (150) Почему Microsoft и Google не уволит свои криворуких кодеров и м ак и не наймет , Аноним (120), 11:54 , 01-Мрт-23, (37) +7 // Дык им никто не рассказал почему-то до сих пор, Амомин (?), 11:56 , 01-Мрт-23, (39) –1 Месные эксперты с опеннет говорят там обязательно непустую учетку на гитхабе над, Аноним (32), 11:56 , 01-Мрт-23, (40) // Куда устраивался если не секрет Взяли , Аноним (120), 16:24 , 01-Мрт-23, (110) Контрактором в Интел Взяли , Аноним (32), 18:01 , 01-Мрт-23, (133) +1 // Думается интелу учетка на гитхабе не так важна как фактические знания и скилы то, Аноним (-), 02:34 , 02-Мрт-23, (201) Так никому не нужна учетка на гитхабе Нужен код, написанный кандидатом, чтобы с, Аноним (248), 16:22 , 02-Мрт-23, (248) Они услышали вас и увольняют десятками тысяч сейчас подготавливают место для , OpenEcho (?), 16:26 , 01-Мрт-23, (111) Почему ты просто не перепишешь всё на раст , Аноним (214), 09:25 , 02-Мрт-23, (215) +1 Очень интересно, спасибо за инфу, пригодится мне для разработки , Иваня (?), 11:56 , 01-Мрт-23, (38) +1 CHERI - это у старшеклассниц, а Capability Hardware Extension to RISC-V должно, YetAnotherOnanym (ok), 12:08 , 01-Мрт-23, (43) +1 // Во, я тоже подумал про CHERVI , Аноним (46), 12:44 , 01-Мрт-23, (57) +2 Никуда от указателей не деться в низкоуровневом программировании Взятие данных , Аноним (45), 12:20 , 01-Мрт-23, (45) +6 // Это не значит, что указатель надо хранить в голом виде без обертки и позволять, Аноним (304), 18:00 , 03-Мрт-23, (304) А что такого в том чтобы переписать существующий старый код Ведь далеко не все , nc (ok), 12:25 , 01-Мрт-23, (47) –2 // Такого - ничего Только трудозатраты и время Большие , Аноним (53), 12:37 , 01-Мрт-23, (53) Таких программистов, которые были в 2004 году, сейчас мы даже приблизительно не , AKTEON (?), 17:34 , 01-Мрт-23, (126) +3 Вот это правильный подход, т к это решение можно считать устранением причины пр, Бегущий по граблям (?), 12:26 , 01-Мрт-23, (48) –1 // Rust делает проверки в compile-time, а здесь предлагается run-time решение, как , freecoder (ok), 13:39 , 01-Мрт-23, (65) // Не все проверки можно в compile time сделать Такая печалька Скажем проверку пе, Аноним (-), 02:39 , 02-Мрт-23, (202) +1 // К каждому числовому типу прикручены куча типажей которые определяют поведение да, Аноним (265), 21:07 , 02-Мрт-23, (268) Проц ничего про это не знает Поэтому вы либо лепите кучу софтварных проверок и , Аноним (-), 22:30 , 07-Мрт-23, (328) Меня ребенок спросил - А ты какие языки знаешь, знаешь СиПлюсПлюс ОН СЛОЖНЫЙ , Alexey Torgashin (?), 12:42 , 01-Мрт-23, (56) –2 // Это ваш бдсм-проект очень противный , а не C , которого вы не знаете И не забы, непох (?), 13:03 , 01-Мрт-23, (61) +5 Точно, в QuickBasic тоже про проблемы с памятью не знали Кстати прикол, видел н, OpenEcho (?), 16:36 , 01-Мрт-23, (115) +2 Привет, Алексей А почему Оберон не выбрали для своего проекта вместо Lazarus В, Tita_M (ok), 19:18 , 01-Мрт-23, (147) // Видишь ли тут такое дело я не осилил Оберон Да и не хотел его осиливать Зачем , Алексей Торгаш (?), 09:19 , 02-Мрт-23, (212) // Модулу смогёшь Modula-2 включен в состав GCC 13 , Аноним (235), 14:05 , 02-Мрт-23, (240) Спасибо вам за ваш труд Паскаль действительно очень интересная тема , Аноньимъ (ok), 19:40 , 01-Мрт-23, (151) +1 Только вот на Паскале никто почему то особо не пишет Он не противный, он три, Neon (??), 23:02 , 02-Мрт-23, (288) Посмотрел я этот ваш кудатекс И что-то там сплошной object Pascal, а не паскаль, Аноним (32), 00:22 , 03-Мрт-23, (289) А как этот процессор будет отличать ошибки работы с памятью от намеренных оптим, freecoder (ok), 13:41 , 01-Мрт-23, (66) –1 // Никак При наличии дырени для эксплойта нужно будет поприседать чуть больше, в то, непох (?), 14:45 , 01-Мрт-23, (82) А ничего, что компилятор ближе к железу, чем твой замечательный код , Аноним (106), 16:15 , 01-Мрт-23, (106) // вроде оба работают с регистрами и инструкциями проца или компилятор работает как, Аноним (32), 00:04 , 02-Мрт-23, (192) Если компилятор и будет оптимизировать, то будет оптимизировать легально в поле , Аноним (265), 21:21 , 02-Мрт-23, (270) Вообще, сишники теперь должны полюбить Rust Потому что он им даст больше свобод, freecoder (ok), 13:43 , 01-Мрт-23, (68) // наоборот, Rust не нужен вдвойне - достаточно пересобрать код специальным компиля, Аноним (221), 15:02 , 01-Мрт-23, (86) // Портировать ядро Linux или BSD на эту chert-ову байду проще чем переписать на Ru, непох (?), 15:21 , 01-Мрт-23, (91) // Уже причем, BSD задолго до пингвина , Аноним (117), 16:39 , 01-Мрт-23, (117) по крайней мере arm morello разрабатывается с применением верификации всех компо, Аноним (221), 15:30 , 01-Мрт-23, (92) Скопилировать новым компилятором под RISCV расширенный набор команд Обнаружит, Аноним (265), 21:29 , 02-Мрт-23, (271) хорошо, но уже есть Linuxhttps github com cheri-linuxпроект arm morello с порт, Аноним (221), 14:56 , 01-Мрт-23, (84) // В GCC тоже CHERI добавляли Но пока только для Morello , Аноним (46), 16:06 , 01-Мрт-23, (99) Они изобрели MPU , Заболотный (?), 15:40 , 01-Мрт-23, (94) Судя по тому, что это делают 1 безопасники из майков 3 криворучки из подраздел, Аноним (101), 16:13 , 01-Мрт-23, (105) Бьёт по рукам при распарсивании ввода goto , Аноним (109), 16:22 , 01-Мрт-23, (109) +3 // Ну тогда Леня Поцтеринг попал по ходу и Торвалдс тоже, OpenEcho (?), 16:42 , 01-Мрт-23, (118) +1 // Запасайтесь попкорном Только это всё имхо для отдельного сегмента , Аноним (265), 21:32 , 02-Мрт-23, (273) За него статический анализатор может по мозгам дать, если разрешить , Аноним (-), 02:46 , 02-Мрт-23, (204) А в этом RISC-V классические инструкции NX, PAE для защиты памяти имеются , Аноним (134), 18:01 , 01-Мрт-23, (134) // Скрыто модератором, Аноним (-), 18:35 , 01-Мрт-23, (139) А в этом RISC-V классические инструкции NX,Я по быстрому просматривал документа, maximnik0 (?), 21:50 , 01-Мрт-23, (185) –1 // Значит RISC-V - _г_о_в_н_о_ проц И как ты без NX будешь защиту памяти писать в O, Аноним (256), 19:37 , 02-Мрт-23, (256) –2 // И для виртуализации инструкции тоже необходимы Но NX нужнее , Аноним (258), 19:40 , 02-Мрт-23, (258) С виртуализацией у RISC-V прогрессивнее всех нас егодня Она там многоуровневая , Аноним (302), 19:03 , 03-Мрт-23, (305) Проц поддерживает тэгирование памяти 3 бита , а это покруче чем просто защита о, Аноним (265), 21:49 , 02-Мрт-23, (275) +1 Так говорите что память можно метить не только на исполнение, а есть еще бит для, Аноним (308), 09:56 , 04-Мрт-23, (308) Там есть 3 атрибута на память -Чтение,модификация и запись Атомарные атрибуты-мо, maximnik0 (?), 22:19 , 02-Мрт-23, (281) +1 А надо - исполнение запрет исполнения Еще раз, решили, что для обеспечения кор, Аноним (312), 12:10 , 04-Мрт-23, (312) Что то из перечисленного как мне кажется лишнее Не забывайте что у RISC-V нет из, maximnik0 (?), 22:06 , 04-Мрт-23, (315) Нет В этом вся суть ИТ индустрии Николая Вирт писал об этом в средине 1980-тых, Аноним (323), 15:37 , 06-Мрт-23, (323) +2 Какое необразованное, наглое вранье Чем лапшу вешать людям на уши или коль сам , Аноним (354), 18:52 , 13-Май-23, (354) +1 Тесты RISC-V покажи https www opennet ru openforum vsluhforumID3 129886 html , Аноним (355), 08:58 , 24-Июн-23, (355) gt оверквотинг удален Не было там никаких тормозов, NX можно реализовать через, Аноним (356), 17:01 , 17-Сен-23, (356) RISC-V кстати открыт для твоих расширений Но писать их надо будет исключительно, Алексей Торгаш (?), 09:19 , 02-Мрт-23, (213) +1 NX, PAE - это из мира x86 Причём, PAE - это для 32-битных CPU с целью расширени, Аноним (224), 12:19 , 02-Мрт-23, (227) // В OS Linux, BSD используют 3 варианта 1 Инструкция NX в процессорных архитект, Аноним (250), 18:22 , 02-Мрт-23, (250) // Вам просто подчеркнутое слово нравится Повод употребить его так себе , Аноним (265), 21:54 , 02-Мрт-23, (276) –1 Из топика каждая операция чтения и записи в память авторизуется Вся работа с п, Аноним (265), 22:10 , 02-Мрт-23, (278) Запрет исполнения есть не только в сегментной, но и в постраничной Вот надо орга, Аноним (324), 13:25 , 07-Мрт-23, (324) Ващет бывает и легитимный самомодифицируюшийся код Скажем man data 2 code tran, Аноним (-), 22:34 , 07-Мрт-23, (329) JIT зло JIT несовместим с принципами безопасности Критерии корректности работы , Аноним (330), 07:42 , 08-Мрт-23, (330) Вон то не JIT Просто класс алгоритмов такой Скоростными дата компрессорами доп, Аноним (-), 16:55 , 08-Мрт-23, (340) Критерии работы ПО с памятью определил https www opennet ru openforum vsluhfo, Аноним (342), 20:36 , 09-Мрт-23, (342) JIT не будет работать с W X Почему-то Data2code transform тоже не будет Эту т, Аноним (-), 04:19 , 14-Мрт-23, (348) На все отвечать не буду, но прочёл всё W X это фундаментальный и принципиальный , Аноним (350), 20:09 , 03-Апр-23, (350) Классический алгоритм постраничной защиты памяти с использованием инструкции NX , Аноним (351), 18:34 , 04-Апр-23, (351) Инструкция PAE в процах Intel позволяет делать ASLR без потерь производительнос, Аноним (353), 15:27 , 11-Май-23, (353) А какие работоспособные ядра есть недыряво-сишные Redox, мягко говоря, неработо, Аноним (302), 14:50 , 03-Мрт-23, (301) +1 Очередная тестовая сборка Hardened Gentoo GNU Linux-systemd -elogind -dbus -polk, Аноним (309), 11:10 , 04-Мрт-23, (309) +1 Fix Потому, что тот тест собирается без SSP А вот на архитектурах MIPS, PPC дан, Аноним (311), 11:44 , 04-Мрт-23, (311) Права на процесы наверно лучше проверять так code ls -dl proc 1dr-x------ 8 , Аноним (313), 12:56 , 04-Мрт-23, (313) Там не в одном ядре дело Корректность работы достигается за счет связки 5-ти ва, Аноним (310), 11:39 , 04-Мрт-23, (310) FreeBSD Hardened патчиhttps hardenedbsd org content easy-feature-comparisonhtt, Аноним (117), 11:03 , 06-Мрт-23, (320) Критерии корректности работы с памятью написал https www opennet ru openforum, Аноним (323), 15:02 , 06-Мрт-23, (322) теперь RISC-V начнёт падать в синий экран , Аноним (141), 18:54 , 01-Мрт-23, (141) +2 // В IoT не обязательно наличие экрана Тогда во что , Аноним (302), 14:41 , 03-Мрт-23, (299) // halt reboot Синий экран это виндузятник , Аноним (306), 22:40 , 03-Мрт-23, (306) Придётся купить , Личинка_Шигорина (?), 04:05 , 05-Мрт-23, (316) Эта корпорация полагает, что в каждой Ардуине 256 MiB RAM Неудивительно, что , Аноним (142), 19:03 , 01-Мрт-23, (142) +1 // эта корпорация логично полагает что эпоха пердулин прошла и их удел - мигать све, пох. (?), 19:21 , 01-Мрт-23, (148) +1 Лишь бы слово анклав не использовать, а то юристы Intel обидятся , Аноним (142), 19:05 , 01-Мрт-23, (143) // А PAE инструкции для защиты памяти от Intel патентированы или свободны как NX , Аноним (144), 19:10 , 01-Мрт-23, (144) // О Господи,в Интел для этого специальные инструкции придумали или вы что то напут, maximnik0 (?), 22:08 , 01-Мрт-23, (187) // Все зависит от реализации защиты памяти ядром OS Допустим защита пямяти не такая, Аноним (253), 19:18 , 02-Мрт-23, (253) Юристам Интел в этом случае лучше помалкивать Есть минимум 2 более ранних реализ, maximnik0 (?), 22:16 , 01-Мрт-23, (191) DRM очередной Или встроенный зонд , Kuromi (ok), 21:22 , 01-Мрт-23, (176) // Жил-был дядя Боб,Толоконный лоб Пошел Боб по базаруПосмотреть кой-какого товару , подрывник (?), 17:45 , 03-Мрт-23, (303) какие нафиг существующие IoT проекты, где они все Их так много в особенности л, Sw00p aka Jerom (?), 22:14 , 01-Мрт-23, (189) +1 К автору в чем грех разименовать указатель , Аноним (205), 02:52 , 02-Мрт-23, (205) +2 // тем более в IoT , Sw00p aka Jerom (?), 08:39 , 02-Мрт-23, (207) // Фирма ARM нулевые указатели не любит Поэтому единственным достижением станет бр, Аноним (-), 17:30 , 13-Мрт-23, (347) Дополнение-разьяснение короткого поста сверху Проблема не в разыменовании указа, ЗанудаВФорточке (?), 19:09 , 02-Мрт-23, (252) Вместо того чтобы научиться программировать лепят такую горбуху , Аноним (274), 21:44 , 02-Мрт-23, (274) +2 // Идеальный программист это утопия , Аноним (265), 22:14 , 02-Мрт-23, (280) // Дело не в идеальности, а в дисциплине , Аноним (274), 01:24 , 03-Мрт-23, (291) +1 Так это для унаследованного кода, который требует перепрограммирования на больши, Аноним (302), 14:45 , 03-Мрт-23, (300) // Так перепрограммируй, кто тебе не дает , Аноним (344), 18:10 , 10-Мрт-23, (343) Интересно, почему нейросети не приспособили до сих пор к анализу и переписыванию, Глашатый (?), 11:02 , 05-Мрт-23, (318) 1,2,3,4,6,7,11,17,20,32,37,38,43,45,47,48,56,66,68,84,94,105,109,134,141,142,143,176,189,205,274,318

Сообщения

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

	229. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+3 +/–
	Сообщение от Nope (?), 02-Мрт-23, 13:11
	Главный прогиб под C - это RISC-V, где нет флагов. Соответственно весь тот геморой, который нужен для сложения числе размера в два раза больше слова реализуется один в один как C код, сложение, сравнение и т.д., без всяких add adc
	Ответить | Правка | Наверх | Cообщить модератору

	230. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+1 +/–
	Сообщение от Аноним (235), 02-Мрт-23, 13:21
	Уже объясняли о вреде этих флагов на переупорядочивание выполнения команд.
	Ответить | Правка | Наверх | Cообщить модератору

	244. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+3 +/–
	Сообщение от непох2 (?), 02-Мрт-23, 14:43
	> Уже объясняли о вреде этих флагов на переупорядочивание выполнения команд. Стоит уточнить, что мешают не флаги, а только когда эти флаги общие и/или помещены в один логический регистр (который можно push/pop/load/store/move). А вот отсутствие ADC, SBB и т.п. в RISC-V = это просто сознательная ущербность ради экономии "на спичках", что действительно было разумно для исходного целевого сегмента этой ISA (low-end ЦПУ и микроконтроллеров). Технически ADC/SBB и прочее прекрасно реализуется без общего флага переноса, просто дополнением каждого регистра своими carry/overflow флагами. Соответственно, тогда ADD/SUB всегда формируют carry в целевом регистре, а ADC/SBB берут его из источников. MOV копирует между регистрами, а LOAD очищает... Поэтому, RISC-V ISA - это недодуманное, недопеределанное УГ, которое более-менее подходит для low-end, а его натягивание на широкий сегмент и high-end создаст массу проблем лет на 20 (как было c x86), в том числе с безопасностью/дырявостью. Кто-то это уже это понял, но большинство просто потребляют рекламную информацию.
	Ответить | Правка | Наверх | Cообщить модератору

	246. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+2 +/–
	Сообщение от Вечно недовольный аноним (?), 02-Мрт-23, 15:31
	> просто дополнением каждого регистра своими carry/overflow флагами. Это ваши фантазии или это где-то так сделано?
	Ответить | Правка | Наверх | Cообщить модератору

	251. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от x3who (?), 02-Мрт-23, 19:03
	Если это нигде не сделано - это не значит, что не нужно. Реализация этих флагов проста, а выподвыверты чтобы их обойти будут стоить дополнительных тактов ЦПУ.
	Ответить | Правка | Наверх | Cообщить модератору

	297. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от аффтар (?), 03-Мрт-23, 12:53
	Штеуд сделал это 10 лет назад в таком виде https://en.wikipedia.org/wiki/Intel_ADX Как-то иначе в рамках x86 примерно не возможно.
	Ответить | Правка | К родителю #246 | Наверх | Cообщить модератору

	307. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	–1 +/–
	Сообщение от Аноним (307), 04-Мрт-23, 09:13
	Ты сам-то эту страницу читал? Где там написано про бред анона с кэри\оверфлоу флагом для каждого регистра.
	Ответить | Правка | Наверх | Cообщить модератору

	331. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 08-Мрт-23, 08:43
	> Ты сам-то эту страницу читал? Где там написано про бред анона с > кэри\оверфлоу флагом для каждого регистра. Кэри и оверфлоу флаги явно проверять - это лишние команды. Т.е. нафиг надо, скорость угробит и никто это делать не будет. Вот хардварный эксепшн как в сабже это еще куда ни шло. Дожили - майкрософт адекватней экспертов опеннета.
	Ответить | Правка | Наверх | Cообщить модератору

	272. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от _kp (ok), 02-Мрт-23, 21:29
	Ну и много ли хотя бы  в 32х битном коде на ассемблере работы с флагами вне операций сравнения? Если без них можно обойтись, то и проблемы нет. Для многих процессоров, возьмем для примера cortex m3 stm33, можно написать весь код на Си, включая таблицы векторов прерываний. Единственное останется несколько ассемблерных макросов для барьеров, прерываний, и подобных мелочей. Сейчас на ассемблере не пишут, и вполне можно оптимизировать процессор под код из под компилятора.
	Ответить | Правка | К родителю #244 | Наверх | Cообщить модератору

	296. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+1 +/–
	Сообщение от аффтар (?), 03-Мрт-23, 12:49
	Как уже многократно было сказано: RISC-V ISA исходно проектировалась для low-end ЦПУ и микроконтроллеров. Для этого она (система команд) неплохо. Собственно, привыкши к мопедам m3 и stm, вы не видите проблем и не чувствуете дискомфорта. Но для high-end ЦПУ, без необходимости экономии на спичках, система команд RISC-V неудобна, мягко говоря. И жизнь продолжает это иллюстрировать/доказывать. -- Ассемблер тут не критерий, и по-сути вообще не причем. В актуальных компиляторах есть развитые интринсики, поэтому всё чаще можно написать переносимый код, при этом не менее эффективный/быстрый чем на asm. Аналогично с флагами - важны не сами флаги, а наличие в ISA и железе эффективного механизма контроля переполнений, сложения/вычитания "столбиком" (с переносом/заёмом), широкого умножения и деления. Поэтому у штеуда, кроме унаследованной ADC есть новая ADX, а в компиляторах всяческие __builtin_add_overflow(), __builtin_addcll() и _addcarry_u64(). Но обойтись можно, проблем нет, просто работает медленнее. В этом весь RISC-V = много чего недодумано, недопеределано, а тут мы рыбу заворачивали, но хайпово...
	Ответить | Правка | Наверх | Cообщить модератору

	332. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 08-Мрт-23, 08:47
	> Но для high-end ЦПУ, без необходимости экономии на спичках, система команд RISC-V > неудобна, мягко говоря. И жизнь продолжает это иллюстрировать/доказывать. Для high-end cpu мы никогда не видим их систему команд и нам так то похрен. И для компилера это лишь некий интерфейс а реально это бэкэнд. И никакие carry флаги нам нахрен не вперлись, их проверка требует команды добавлять и код тормозит. > код, при этом не менее эффективный/быстрый чем на asm. Ну и вот у RISCV тоже всякие SIMD расширения появляются. > ADC есть новая ADX, а в компиляторах всяческие __builtin_add_overflow(), __builtin_addcll() > и _addcarry_u64(). Нюансик в том что это __builtin* напрочь не портабельно, еще хуже интринсиков. > В этом весь RISC-V = много чего недодумано, недопеределано, а тут мы > рыбу заворачивали, но хайпово... Зато в x86 столько всего напродумано что до сих пор сотни легаси таскают, вплоть до 16 битного режима и чудесатых надписей в UEFI-программах о том что они в DOS работать не могут. Правда UEFI и сам то этот DOS запустить иной раз уже и не может для начала, но легаси штука злая.
	Ответить | Правка | Наверх | Cообщить модератору

	341. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от аффтар (?), 08-Мрт-23, 23:43
	> Для high-end cpu мы никогда не видим их систему команд и нам > так то похрен. И для компилера это лишь некий интерфейс а > реально это бэкэнд. И никакие carry флаги нам нахрен не вперлись, > их проверка требует команды добавлять и код тормозит. Не стоит повторять/пересказывать чужие пояснения, не понимая их сути и/или контекста. Без carry и overflow флагов вы не сможете эффективно реализовать ни арифметику с широкими числами, ни контроль переполнения. Конечно можно с дополнительными командами, проверками и ветвлениями - просто медленнее. Либо можно сказать что это редкие кейсы и нам на них плевать, и для low-end и микроконтроллеров это действительно почти не нужно. И мешают флаги OoO-выполнению, только если являются общими, т.е. вносят дополнительные "спайки" в зависимости. Если же флаги персонализировать для каждого регистра (в ISA, либо в микроархитектуре), то никакой код они тормозить не будут (кроме явных зависимостей, например при условных переходах или сложении с переносом). > Ну и вот у RISCV тоже всякие SIMD расширения появляются. И что? Но в бижутерии всегда широкий ассортимент, в том числе бус. >> ADC есть новая ADX, а в компиляторах всяческие __builtin_add_overflow(), __builtin_addcll() >> и _addcarry_u64(). > Нюансик в том что это __builtin* напрочь не портабельно, еще хуже интринсиков. Отсылка к нюансам предполагает знание матчасти, хотя-бы базовой формальной части. Для понимания, исторически префикс __builtin используется в GCC для встраиваемых псевдо-функций (интринсиков), поддержка которых реализуется внутри компилятора. А термин intrinsic был введен с подачи штеуда и мелко-мягких, при рекламе компиляторов умеющих в MMX без asm-вставок. Как правило, интринсики жестко привязаны к конкретной архитектуре. А builtin-ы является формой реализации интринсиков в GCC и clang, при этом существенная их часть переносима между архитектурами (в особенности те, о которых весь речь). >> В этом весь RISC-V = много чего недодумано, недопеределано, а тут мы >> рыбу заворачивали, но хайпово... > Зато в x86 столько всего напродумано что до сих пор сотни легаси > таскают, вплоть до 16 битного режима и чудесатых надписей в UEFI-программах > о том что они в DOS работать не могут. Правда UEFI > и сам то этот DOS запустить иной раз уже и не > может для начала, но легаси штука злая. Так в этом-то и дело, что для RISC-V декларируется что пытались допеределать по-уму. А получилось недодуманное УГ для low-end, которое всячески пиарят, разукрашивают и впаривают под вывеской "гениальной простоты".
	Ответить | Правка | Наверх | Cообщить модератору

	346. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 13-Мрт-23, 17:10
	> Не стоит повторять/пересказывать чужие пояснения, не понимая их сути и/или контекста. Не стоит считать себя умнее других, особенно не зная кто с другой стороны экрана и что он может. Вот этот менторский тон от каких-то хренсгары оскомину уже порядком набил. Вываливают каку-то отсебятину как истину в последней инстанции. Другим так мозги делайте. > Без carry и overflow флагов вы не сможете эффективно реализовать ни арифметику > с широкими числами, ни контроль переполнения. Я кроме всего прочего самолично накодил вот это самое. А прям на сишечке. С достаточно непозорной эффетивностью, кстати. Не, копаться в carry флагах конкретного проца я не собираюсь даже если вы тут такие красивые полопаетесь тут все. > Конечно можно с дополнительными командами, проверками и ветвлениями - просто медленнее. Вообще-то сколь-нибудь явные проверки этих флагов и различение разных случаев как раз и требуют добавочных команд впихнуть. А прикиньте, код который допустим жестко задефайнил что там урезается по mod 2^N так то сильно оптимальнее выходит, как ни крути. И половине кода вот именно этого и хотелось. Самого критичного как раз, типа кодеков, крипты, и тому подобной интенсивной математики - вот как раз чтобы там не было лишних операций. Но это вон те хотели, а вот эти - простреливали пятки такой механикой не специально. Просто не было халявного способа проверить переполнение типа. Даже в хрусте не смогли, так что это в дебаг билдах только, с соответствующей просадкой перфоманса. Да и в сях это поймать можно но только *san всякими, которые тоже по скорости ни разу не халявны. > Либо можно сказать что это редкие кейсы и нам на них плевать, > и для low-end и микроконтроллеров это действительно почти не нужно. А вы кто такой чтобы за всех решать кому и что нужно? Как минимум делаете тулчейн которым вся планета пользуется? Или процыки выпускаете? Нет? Ну тогда ваше мнение про интерфейсы между компилером и процом тоже не больно ценная субстанция. На этот счет может вякать узкая каста лиц кодящих бэкэнды и оптимизацию, а им таки нормально и к оперсосрным тулчейнам это все довольно недурно приделали. > И мешают флаги OoO-выполнению, только если являются общими, т.е. вносят дополнительные > "спайки" в зависимости. Опять же хорошая штука должна быть масштабируемой. ARM это очень наглядно показал. У этих есть все - от 8 ногого таракана до серверных процов. При том весьма непозорно. RISCV пытается быть чем-то таким, но более opensource friendly. Это - масштабирауемая экосистема. > Если же флаги персонализировать для каждого регистра (в ISA, либо в микроархитектуре), > то никакой код они тормозить не будут (кроме явных зависимостей, например > при условных переходах или сложении с переносом). Это какая-то конкретика частной реализации. Проьлема в том что желание сделать это "экосистемой", да еще "вертикально масштабируемой" в эту формулу не входит. А, у x86 кстати с этим ломовые проблемы, например. Атомы получились ни то ни се. Интел из кожи вон лез чтобы таблет пц сделать. Но нет, вместо этого появился андроид и армовские планшетки. А кто виноват что они в разы дольше от той же батарейки работают и система проще в имплементации в разы? > И что? > Но в бижутерии всегда широкий ассортимент, в том числе бус. Ну вот и то. Один размер всем не подходит. А экосистема это круто. Представляешь, когда можно привычным тулчейном вранглить все, от своих наручных часов до сервака это круто и удобно. Это серьезное преимущество платформы. RISCV тоже так хочет. Это логичный и правильный виш, дающий им шанс. Они может не будут лучшими - но они будут универсальными, повсеместными, а толпа народа будет знать этот тулчейн. Поэтому оно даже и не помрет. Сказал бы "подвинет интел" но оный из половины ниш армов нельзя подвинуть за его отсутствием, x86 везде кроме переростков из себя вообще ничего не представляет. А рынок мелочи так то измеряется в миллиардах юнитов и забивать на него - интель поди уже сто раз пожалел что продал продвинутую лицензию на армы марвелу. > Отсылка к нюансам предполагает знание матчасти, хотя-бы базовой формальной части. А это все есть, внезапно. Builtin это загоны конкретного компилера. На это вообще нет ни малейших намеков на стандарты. С интринсиками хоть какое-то подобие потуг этого, не то чтобы сильно успешное но не builtin'ам про это вещать. > (интринсиков), поддержка которых реализуется внутри компилятора. Исторически, SIMD вообще не существовал, если уж ворошить прошлое. Точнее, существовал  но совсем не так как вы себе это представляете, венцом творения был SWAR, который так то не требует никаких интринсиков вообще. > А термин intrinsic был введен с подачи штеуда и мелко-мягких, при рекламе > компиляторов умеющих в MMX без asm-вставок. Представляете, даже эта парочка изредка может выдавать довольно здравые идеи?! > Как правило, интринсики жестко привязаны к конкретной архитектуре. Сама по себе задумка такая что в принципе если есть из чего это сделать - берут и делают. Если совсем нету - ну тогда или плохонькая эмуляция или фэйл если совсем уж фигово, чтоб переписывали иначе. > А builtin-ы является формой реализации интринсиков в GCC и clang, при этом > существенная их часть переносима между архитектурами (в особенности те, о которых > весь речь). И тем не менее это нестандартно от слова вообще и лок на 2 конкретных компилера, что не круто. > Так в этом-то и дело, что для RISC-V декларируется что пытались допеределать по-уму. И при этом у них были довольно сложные гибридные соображения, сильно отличные от ваших. Это было о создании универсальной экосистемы типа ARMовской. Там немного другие соотношения и приходится учитывать интересы разных участников. Чтобы они все стали заинтересованы в этой экосистеме. > А получилось недодуманное УГ для low-end, которое всячески пиарят, разукрашивают и впаривают > под вывеской "гениальной простоты". Да вот понимаете, если что-то в low end хорошо работает, с должным обвесом и апгрейдами оно потом и в десктопно-серверном достаточно непозорно смотрится по мипсам на ватт и прочем. А обрубить допустим x86 до мелочи - интель с таблет пц сколько пытался? Лет 20? А воз и ныне там. За это время ARM и Goole нишу заняли и поделили без вон тех. От чего у wintel'а плохо скрываемый батхерт. Что атомы, что винмобил, два фэйла, но пыхтели знатно.
	Ответить | Правка | Наверх | Cообщить модератору

	337. "Microsoft открыл CHERIoT, аппаратное решение для повышения б..."	+/–
	Сообщение от Аноним (-), 08-Мрт-23, 10:26
	> Главный прогиб под C - это RISC-V, Да вот кстати Cortex M для сишника так то поудобней RISCV. Я так понимаю что RISCV совсем без асмового стартапа тяжко поднять, а Cortex M вполне реально - я еще и проверял. Да в самом самом начале сишка нестандартный, пока он (сам себе!) BSS/RWDATA не инициализирует. Но сам чип операбелен и ничего враждебного сишке не делает. И сразу юзабелен сишным кодом. Ну и дизайн с вон той явной таблицей векторов прерываний в начале - удобен на сях. Правда, в сях нет способа указать вот именно конкретную секцию по конкретному физическому адресу и что вот именно это надо именно самым первым там сделать и это все ж компилероспецифично, но это единственное что требуется из нестандартного. > где нет флагов. Да и болт с ними, обычно ими никто все равно не пользовался в арифметике особо, потому что их проверка время и код требует. > Соответственно весь тот геморой, который нужен для сложения числе размера в два > раза больше слова реализуется один в один как C код, сложение, сравнение и т.д., > без всяких add adc А вы мне в XXI веке на асме чтоли прогать предлагаете? Ага, вот ща. Сейчас даже фирмварь китайского фонарика на аттини - на сишке, и ниипет. Это при том что там флеша 4-8 кило на все.
	Ответить | Правка | К родителю #229 | Наверх | Cообщить модератору

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

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