forum.opennet.ru - "Представлен crustc - компилятор rustc, переведённый на язык Си" (143)

"Представлен crustc - компилятор rustc, переведённый на язык Си"

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

"Представлен crustc - компилятор rustc, переведённый на язык Си"	+/–
Сообщение от opennews (??), 03-Июл-26, 10:36
Опубликован crustc, компилятор для языка Rust, созданный путём трансляции кода штатного компилятора rustc 1.98.0-nightly на язык Си. На выходе получилось 46 млн строк кода на Си, которые можно собрать при помощи GCC и утилиты make. Собранный таким способом компилятор успешно проходит тесты компиляции Rust-кода, такого как стандартные rust-библиотеки... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=65834
Ответить \| Правка \| Cообщить модератору

Оглавление

Вот это поворот , Аноним (1), 10:36 , 03-Июл-26, (1) +50

Ну вот, об этом уже предупреждали, что к этому всё скатится , Аноним (120), 20:48 , 03-Июл-26, (120) +1
Объясните безграмотному мне, во что здесь компилируется rust C, вроде, в инстру, Я (??), 21:19 , 03-Июл-26, (121)

Новость состоит в том, что все доверяют компилятору си, потому что вы знаете, во, Аноним (129), 22:43 , 03-Июл-26, (129) +1

Осильте наконец-то раскрутку , Аноним (131), 23:04 , 03-Июл-26, (131) –1
Так это исходник растового компилятора транслирован в исходник сишного компилято, Я (??), 06:34 , 04-Июл-26, (143)
Ничего это не доказывает Просто после трансляции, все закладки стали на Ц, но , Аноним (157), 21:23 , 04-Июл-26, (157) +1

Ну все, скажите парням из OpenBSD что проблему доверия к компилятору rust теперь, Аноним (3), 10:38 , 03-Июл-26, (3) +14

Это изначально не было проблемой, поскольку изначально rust был написан на ocaml, Аноним (131), 10:43 , 03-Июл-26, (4) –2

Да какая разница на чем он был изначально написан Проблема доверия от этого ник, Аноним (3), 10:48 , 03-Июл-26, (5) +4

Какая проблема доверия Берите исходный код и читайте, или у вас лапки , Аноним (131), 11:00 , 03-Июл-26, (8) –3

Удачи вам в ревью 46 миллионов кода на Си , Аноним (3), 11:10 , 03-Июл-26, (12) +2

У вас было более десяти лет, чтобы прочитать код компилятора На что вы жалуетес, Аноним (131), 12:44 , 03-Июл-26, (42) +1

какие 10 лет, если репозиторий crustc появился 5 дней назад Или по вашему резул, Аноним (48), 13:08 , 03-Июл-26, (48)

Во-первых не 10 лет, а более 10 лет, во-вторых в первом сообщении вопрос доверия, Аноним (131), 14:00 , 03-Июл-26, (62) –1

перечитай сообщение, там про доверие к компилятору rust, а не к rust И ревью 46 , Аноним (-), 17:20 , 03-Июл-26, (104) –1

Это выхлоп компилятора, промежуточный артефакт, зачем его ревьюить , morphe (?), 18:11 , 03-Июл-26, (107) +1

Доверие к разрабам, которые сопровождают раст или ты предлагаешь мониторить их к, Аноним (14), 11:11 , 03-Июл-26, (14) +3

Объясните, как вы решаете аналогичную задачу для clang llvm и gcc , Аноним (131), 12:45 , 03-Июл-26, (43)

По поводу clang, ответил в другом комментарии Что касается gcc, почитайте про s, Аноним (3), 15:28 , 03-Июл-26, (85) +1

Вы либо некомпетентны, либо предвзяты Выше сказано Каким образом вам поможет сб, Аноним (131), 15:34 , 03-Июл-26, (87) –2

Идея проста 1 Исходник, например hex0_x86 hex0 мал 8212 значит, человек може, Аноним (3), 15:58 , 03-Июл-26, (91) –1

Нет Исходник условного mes вы можете прочитать быстро, исходник gcc 16 0, вы не, Аноним (131), 16:11 , 03-Июл-26, (95)

Смысл в том, что вам первым делом нужен стартовый-доверенный бинарник Именно ра, Аноним (3), 16:58 , 03-Июл-26, (101)

Вы можете точно так же с нуля собрать rust, поскольку первая версия компилятора , Аноним (131), 17:37 , 03-Июл-26, (105)
Как вы думаете, почему в конечном итоге появился такой проект как mrustc Да пот, Аноним (3), 19:56 , 03-Июл-26, (114)
А LLVM тут причём Он вообще на крестах написан, собирай - не хочу Вы можете из, Аноним (131), 20:27 , 03-Июл-26, (118) –1
Ясно, понятно, вы вообще не разбираетесь в теме, поэтому что-то продолжать объяс, Аноним (3), 21:52 , 03-Июл-26, (126)
Если бы вы разбирались, то смогли бы написать нечто большее, чем постоянное пере, Аноним (131), 23:02 , 03-Июл-26, (130)

Похоже вы не совсем понимаете в чем суть Trusting Trust, Аноним (3), 11:12 , 03-Июл-26, (15) –1

Trusting Trust - Доверяющий Доверяю , Аноним (34), 12:19 , 03-Июл-26, (34)

Параноя насчет доверенного компилятора основана на том, что левый компилятор мож, Аноним (122), 21:28 , 03-Июл-26, (122)

к тому-же, если левый компилятор определит, что компилируемая программа является, Аноним (122), 21:40 , 03-Июл-26, (124)

А теперь попробуй написать для этого PoC, morphe (?), 02:50 , 04-Июл-26, (140)

Опять двадцать пять Да сколько можно Берите, откатывайтесь к самым первым комм, Аноним (131), 21:41 , 03-Июл-26, (125) –1

вы, видимо, смешиваете две совершенно разные вещи доверие разработчикам и довер, Аноним (122), 23:33 , 03-Июл-26, (136)

А сколько строк у оригинала , Аноним (97), 16:16 , 03-Июл-26, (97)
Подумаешь, 46 млн Это же не 47 млн и чуть сложнее, чем 45 млн , Я (??), 06:08 , 05-Июл-26, (163)

Еще бы Firefox вот так в Си оттрансливароть, чтоб вообще без раста собирался и б, Аноним (6), 10:54 , 03-Июл-26, (6) +11

Плюсую неистово rust - самая толстая прога для сборки, выкинуть бы его из систе, Аноним (157), 21:25 , 04-Июл-26, (158) +1

Т е теперь можно будет собрать раст не собирая раст , Аноним (14), 11:00 , 03-Июл-26, (7) +6

Скрыто модератором, Аноним (135), 23:27 , 03-Июл-26, (135) +1

46 млн строк кода на Си И нафига , Андрей (??), 11:06 , 03-Июл-26, (10)

Важен сам факт разрыва цепочки через Си-код и условный GCC, что позволит решить , Аноним (3), 11:23 , 03-Июл-26, (18)

Эээ а опенБздяшники они какие-то особенные Такоей же сишный овнокод с CVE RCE У, Аноним (26), 12:01 , 03-Июл-26, (26) –1

CVE RCE в коде на пидо расте побольше Или по твоему существует только уязвимост, Аноним (108), 18:16 , 03-Июл-26, (108) +2

Ты выcpaл свой коммент, но забыл приложить пруфы Я понимаю, что дырявые не любят, Аноним (110), 18:24 , 03-Июл-26, (110) –1

Объясните, как вы собираетесь решать аналогичную проблему для clang llvm и gcc , Аноним (131), 12:43 , 03-Июл-26, (41)

В том и суть, - это практически неподъемная да и нецелесообразна задача, особен, Аноним (3), 15:08 , 03-Июл-26, (81)

Какое классное оправдание неудачников Ну т е просто поменяли свои убеждения Коне, Аноним (84), 15:23 , 03-Июл-26, (84)
Тогда зачем вы поднимаете этот вопрос Какие парни Как минимум в портах openbsd , Аноним (131), 15:36 , 03-Июл-26, (88) +1

Господи, да мой самый первый комментарий по этой теме был полнейшим рофлом, Карл, Аноним (3), 16:08 , 03-Июл-26, (94)

Вы первый день в интернете Может нужно предполагать, что когда вы пишите очеред, Аноним (131), 16:12 , 03-Июл-26, (96)

Вы получили ответ на свой вопрос, так ещё и чем-то недовольны В общем, идите и, Аноним (3), 17:09 , 03-Июл-26, (102)

Как мне нравятся эти попытки оправдать свою глупость задним числом, отмазками ти, Аноним (171), 17:12 , 06-Июл-26, (171)

Ты сейчас реально предлагаешь доверять программисту не напортачить с unveil and , Аноним (137), 23:53 , 03-Июл-26, (137)

Разве это проблема сегодня Сегодня ж можно провести AI-бутстраппинг, и выполнит, Аноним (165), 13:57 , 05-Июл-26, (165)

Это должно было появиться, рано или поздно, aname (ok), 11:28 , 03-Июл-26, (20) +4
Интересно было бы сравнить время компиляции компилятора на rust и на с , Аноним (22), 11:38 , 03-Июл-26, (22) +2

Вот мне тоже интересно Если оно как VALA - типа синтаксис ок - транслируем, без , Ivan_83 (ok), 14:31 , 03-Июл-26, (74) –1
Вообще без разницы Лучше пару суток GCC молотит, чем собирать llvm, rust и вот , Аноним (89), 15:40 , 03-Июл-26, (89) +2

llvm нынче нужен для mesa и ещё всякого , Ivan_83 (ok), 15:56 , 03-Июл-26, (90) –1

llvm уже не является обязательным для mesa 8212 оная давно перешла на NIR , Аноним (92), 16:05 , 03-Июл-26, (92) +1

Компилятор Zig тоже умеет переваривать Си, интересно сравнение , Аноним (145), 09:39 , 04-Июл-26, (145)

Ну теперь есть второй компилятор Уже хорошо Снижает риск бэкдоров в компилятор, Аноним (24), 11:56 , 03-Июл-26, (24)

Нужен не компилятор, а стандарт Тогда проблема доверия переместится с языка на , Аноним (35), 12:20 , 03-Июл-26, (35) –1

Покажите мне язык со стандартом, который имеет несколько реализаций, которые мож, Аноним (131), 12:48 , 03-Июл-26, (46)

POSIX shell, Аноним (59), 13:43 , 03-Июл-26, (59)

Какой замечательный пример Во-первых, под POSIX shell мало кто не пишет Во-вто, Аноним (131), 14:16 , 03-Июл-26, (64)

Мало кто пишет В основном, пишут под bash или какую-то другую, несовместимую ре, Аноним (131), 14:19 , 03-Июл-26, (67) +1

баш вполнк совместим со стандартом, опять вранье несоответствия должны упразднят, мяв (?), 19:28 , 04-Июл-26, (155)

неконструктивный комент1е - миллионы не могут ошибаться 2е - нет, обман как , мяв (?), 19:26 , 04-Июл-26, (154)

Ada, Аноним (-), 14:19 , 03-Июл-26, (66)

Мне лень проверять ваше утверждение, но какие проекты больше чем hello world мож, Аноним (131), 14:21 , 03-Июл-26, (69)

Если сильно напрягаться, то можно собрать фирмварь для Ariane-IV А потом на рас, _ (??), 05:04 , 04-Июл-26, (142)

Хороший пример Надо еще упомянуть, что у них есть есть сертификация компилятор, Аноним (73), 14:30 , 03-Июл-26, (73)

А софт на этом хорошем примере кто-то пишет Чтобы можно было взять какую-нибудь, Аноним (131), 16:18 , 03-Июл-26, (98)
Есть - GCChttps en cppreference com c compiler_support, Аноним (113), 19:29 , 03-Июл-26, (113) –1

Слово partial тебе что-то говорит Частично поддерживает На пол шишечки , Аноним (115), 19:59 , 03-Июл-26, (115)

Это неизбежно при независимой разработке транслятора высокоуровнего языка в маши, Аноним (170), 15:34 , 06-Июл-26, (170)

Common Lisp , Аноним (137), 16:43 , 03-Июл-26, (100)

Отлично У вас есть стандарт ISO IEC 9899 И ни одного опенсорскного компилятора , Аноним (26), 13:04 , 03-Июл-26, (47) +2

Никогда ещё Штирлиц не был так близок к провалу , xsignal (ok), 12:01 , 03-Июл-26, (25)
Ясно, теперь rustc не нужен Очередное доказательство, что Си из-за своего прост, Аноним (113), 12:06 , 03-Июл-26, (29) +9

Удобств , Facemaker (?), 12:48 , 03-Июл-26, (45) +2

Уж простите зануду но TrustingTrust для раста давно решен с помощью mrustc, по к, Аноним (-), 12:11 , 03-Июл-26, (30) +3

Компилятор для языка L, претендующего на системный, должен собираться компилятор, Аноним (35), 12:24 , 03-Июл-26, (36) +1

А для раскрутки языка L, его компилятор первый раз должен собираться компиляторо, Аноним (60), 13:51 , 03-Июл-26, (60) –1

Нет, не должен Си - это ужасный язык, в том числе и для написания компилятора Д, Аноним (131), 14:18 , 03-Июл-26, (65) –2

А компиляторов на СИшке почти не осталось Даже великий и ужасный GCC стали писат, Аноним (115), 14:37 , 03-Июл-26, (77) –2

В случае, когда компилятор только для раскрутки, то можно вообще без каких-либо , Аноним (60), 16:22 , 03-Июл-26, (99)

Вот есть еще люди которые понимают как это работает Если есть то что может собра, Аноним (-), 23:15 , 03-Июл-26, (133)

тот же аноним если что Уж если что сужествует проект live-bootstrap который соб, Аноним (-), 23:11 , 03-Июл-26, (132) –1

Скрыто модератором, Аноним (34), 12:11 , 03-Июл-26, (31) –1
rustc - crustc - c c - cc, Аноним (37), 12:25 , 03-Июл-26, (37) –2
раст в си конечно возможно, а вы попробвйте наоборот, Alladin (?), 12:29 , 03-Июл-26, (38) –2

А разве наоборот , это не любимое развлечение программистов на Rust Мне кажетс, Archer73 (ok), 13:13 , 03-Июл-26, (49) +4

не работает Код на C почти никогда не работает , Аноним (56), 13:35 , 03-Июл-26, (56) –5

Ну теперь то понятно почему растовики не любят С - оно у них не получается , Ivan_83 (ok), 14:31 , 03-Июл-26, (75) +4

Ты слегка ошибся, правильно писать 700 и так сойдет работает 700 В ядре з, Аноним (115), 14:05 , 03-Июл-26, (63)

И только вам настолько нечем занятся по жизни что вас это волнует , Ivan_83 (ok), 14:28 , 03-Июл-26, (72)

Ну тебе точно хватило нечем заняться чтобы оставить коммент Мир меняется ваньк, Аноним (76), 14:32 , 03-Июл-26, (76) +1

Так вы не видели как было раньше, и какой прогресс произошёл за последние лет 15, Ivan_83 (ok), 14:40 , 03-Июл-26, (78)

Ну и да, этот ваш раст появился в 2015 примерно, до фазеров и ИИ Ещё я забыл нап, Ivan_83 (ok), 14:45 , 03-Июл-26, (79)
Например, люди перестали стесняться непонятно чего, и начали использовать сборщи, Аноним (131), 16:06 , 03-Июл-26, (93)

Так вы зажрались Раньше достаточно было мышкой пошевелить чтобы прога упала , Ivan_83 (ok), 20:05 , 03-Июл-26, (116)

security bsd map_at_zero Permit processes to map an object at virtual address 0, Ivan_83 (ok), 20:19 , 03-Июл-26, (117)
Раньше - это когда Нет никакого раньше Кто-то уже в 2005 уже писал SharpDevelo, Аноним (131), 21:39 , 03-Июл-26, (123)

Раньше это года до 2010-2020 И вижалбейсик и шарп фигня - оба были тормозными и , Ivan_83 (ok), 22:06 , 03-Июл-26, (128)

Вот ни разу никто не привёл конкретной метрики, которая позволила бы сказать, ка, Аноним (131), 23:19 , 03-Июл-26, (134)

Пользователь раньше от старости умрёт чем дождётся пока архиватор на вижалбейсик, Ivan_83 (ok), 00:59 , 04-Июл-26, (139)
Во-первых, сразу после таких громких заявлений, вам следует их подтвердить норма, Аноним (131), 03:17 , 04-Июл-26, (141)
Ты в адеквате или где На вижалбейсике даже обычный цикл с каким нить сложением н, Ivan_83 (ok), 14:28 , 04-Июл-26, (152)
Джентльменам верят на слово И потом, даже если ваши слова на сто процентов прав, Аноним (131), 23:51 , 05-Июл-26, (167)
Я вообще то с вижалбейсика и начинал на х86 системах не считая квикбейсика , по, U202204161753 (?), 14:06 , 04-Июл-26, (150)
На вижуал с , кажется первым был 6 версии, под конец я его обкладывал плагинами, Ivan_83 (ok), 14:32 , 04-Июл-26, (153)
Просто рейтинг компиляторов был таким 1 Zortech в дальнейшем Digital Mars 2 , U202204161753 (?), 21:22 , 04-Июл-26, (156)
Это вы как то сильно заморочились видимо в производительность, и удивительно что, Ivan_83 (ok), 00:17 , 05-Июл-26, (160)
Да Нет в списке Скорее всего, ICC - это более поздний период , U202204161753 (?), 20:18 , 05-Июл-26, (166)
А у нас в Clarion всё вот это и даже больше было гораздо раньше Плюс скоростно, U202204161753 (?), 14:01 , 04-Июл-26, (149)

Дед, ты когда последний раз вспоминал каким образом был организован мемори-манаг, Аноним (172), 00:36 , 07-Июл-26, (172)

то самое что и так работает двойное освобождение, обращение за пределами, , Alladin (?), 21:37 , 04-Июл-26, (159)

Теперь всё, что понаписали на Расте нужно сконвертировать в Си , xsignal (ok), 12:35 , 03-Июл-26, (39)

переписать на Си, Аноним (37), 12:41 , 03-Июл-26, (40)
Rust придумали, чтобы не писать на Си , Соль земли2 (?), 14:24 , 03-Июл-26, (70)

Чтобы переписывать с Си , Аноним (60), 15:08 , 03-Июл-26, (82) +3

Это тоже компилит так что нужно 32 Гигабайта ОЗУ , Ананоним (?), 13:25 , 03-Июл-26, (50)
Разве у llvm не было C бэкенда , Аноним (56), 13:34 , 03-Июл-26, (55) –1
C 100 0 Я правильно понимаю, что crustc не требует LLVM Если так, то он опреде, Аноним (60), 13:38 , 03-Июл-26, (57) +2
Какая связь между окружением для сборки и запуска программы В Docker для этого , Соль земли2 (?), 14:21 , 03-Июл-26, (68) –2
Теперь нужно переписать эти 45 млн строк обратно на Rust, чтобы было безопасно, Аноним (106), 18:07 , 03-Июл-26, (106) +5
Больше, чем ядро Linux 43 млн строчек кода https www phoronix com news Linux-, Аноним Анонимович Анонимов (?), 20:29 , 03-Июл-26, (119) +1

Вот тоже кстати удивило Сколько там на Русте в исходных исходниках , Мемоним (?), 22:04 , 03-Июл-26, (127) +1

Скорее всего нагенерировано крайне неоптимально Я заглянул в один файл и ужасну, Facemaker (?), 11:37 , 07-Июл-26, (173)

Теперь нужно скомпилировать его с помощью gcc, затем этим скомпилированным компи, nc (ok), 00:02 , 04-Июл-26, (138) –1

Он не совпадет А вот собранный им уже крайне желательно чтоб совпал Оптимизаторы, Аноним (-), 09:50 , 04-Июл-26, (146)

Какой, интересно, размер бинарного файла после компиляции этих 46 млн строк кода, Аноним (144), 07:55 , 04-Июл-26, (144)
нафиг этот rust вообще нужно натаскать llm какой нибудь чтобы все эти моменты п, Аноним (147), 12:20 , 04-Июл-26, (147)

Не думаю, что на си стоит писать в 2026 году , Moloko (?), 14:00 , 06-Июл-26, (168)

ух оказывается 2 3 новости не про крустц а про силли который пока только показ, Аноним (161), 00:24 , 05-Июл-26, (161)
48 миллионов строк кода,глазками посмотрю и найди все ошибки , Талгат (?), 03:50 , 05-Июл-26, (162)
Мне вот интересно, а так можно будет любой Rust-проект транслировать Просто от , freehck (ok), 15:32 , 06-Июл-26, (169)
План такой переписываем все написанное на Си на Rust, а потом транслируем с Rust, Аноним (174), 01:06 , 09-Июл-26, (174)

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

1. "Представлен crustc - компилятор rustc, переведённый на язык ..." +50 +/–

Сообщение от Аноним (1), 03-Июл-26, 10:36

Вот это поворот!))

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

120. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (120), 03-Июл-26, 20:48

> ... находящегося в разработке компилятора cilly, позволяющего транслировать проекты с языка Rust на язык Си
Ну вот, об этом уже предупреждали, что к этому всё скатится.

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

121. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Я (??), 03-Июл-26, 21:19

Объясните безграмотному мне, во что здесь компилируется rust? C, вроде, в инструкции для процессора, а это во что?

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

129. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (129), 03-Июл-26, 22:43

Новость состоит в том, что все доверяют компилятору си, потому что вы знаете, во что превратится ваша программа. В практически любых других компиляторах это не так, и не потому что языки высокоуровневые, а потому что компиляторы написаны на самих себе, и туда можно заложить код так, что вы не узнаете, как работает конечный компилятор (даже если его код открыт). Теперь, когда люди смогли переписать компилятор раста на си (пускай и в нечитабельный код), становится ясно, что в предыдущих версиях компилятора раста не заложено непредвиденное поведение (условно, потому что, конечно, люди могли буквально написать в конечном компиляторе что-то ужасное, но вы теперь точно сможете это обнаружить)

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

131. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (131), 03-Июл-26, 23:04

>а потому что компиляторы написаны на самих себе
Осильте наконец-то раскрутку.

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

143. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Я (??), 04-Июл-26, 06:34

Так это исходник растового компилятора транслирован в исходник сишного компилятора?

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

157. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (157), 04-Июл-26, 21:23

>Теперь, когда люди смогли переписать компилятор раста на си (пускай и в нечитабельный код), становится ясно, что в предыдущих версиях компилятора раста не заложено
Ничего это не доказывает! Просто после трансляции, все закладки стали на Ц, но также не читаемы, так как код не читаем.

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

3. "Представлен crustc - компилятор rustc, переведённый на язык ..." +14 +/–

Сообщение от Аноним (3), 03-Июл-26, 10:38

Ну все, скажите парням из OpenBSD что проблему доверия к компилятору rust теперь можно решитт; дело за малым, осталось только провести ревью 46 миллионов строк Си кода;)

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

4. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Аноним (131), 03-Июл-26, 10:43

Это изначально не было проблемой, поскольку изначально rust был написан на ocaml.

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

5. "Представлен crustc - компилятор rustc, переведённый на язык ..." +4 +/–

Сообщение от Аноним (3), 03-Июл-26, 10:48

Да какая разница на чем он был изначально написан! Проблема доверия от этого никуда не исчезает.

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

8. "Представлен crustc - компилятор rustc, переведённый на язык ..." –3 +/–

Сообщение от Аноним (131), 03-Июл-26, 11:00

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

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

12. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (3), 03-Июл-26, 11:10

Удачи вам в ревью 46 миллионов кода на Си;)

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

42. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (131), 03-Июл-26, 12:44

У вас было более десяти лет, чтобы прочитать код компилятора. На что вы жалуетесь?

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

48. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (48), 03-Июл-26, 13:08

какие 10 лет, если репозиторий crustc появился 5 дней назад? Или по вашему результат ревью rustc автоматически переносится на crustc?

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

62. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (131), 03-Июл-26, 14:00

>какие 10 лет, если репозиторий crustc появился 5 дней назад?
Во-первых не 10 лет, а более 10 лет, во-вторых в первом сообщении вопрос доверия поднимался к rust, а не к rustc.

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

104. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (-), 03-Июл-26, 17:20

перечитай сообщение, там про доверие к компилятору rust, а не к rust.
И ревью 46 миллионов строк это не про rustc

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

107. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от morphe (?), 03-Июл-26, 18:11

Это выхлоп компилятора, промежуточный артефакт, зачем его ревьюить?

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

14. "Представлен crustc - компилятор rustc, переведённый на язык ..." +3 +/–

Сообщение от Аноним (14), 03-Июл-26, 11:11

Доверие к разрабам, которые сопровождают раст или ты предлагаешь мониторить их каждый комит?

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

43. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 12:45

Объясните, как вы решаете аналогичную задачу для clang/llvm и gcc.

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

85. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (3), 03-Июл-26, 15:28

По поводу clang, ответил в другом комментарии. Что касается gcc, почитайте про stage0-posix, Gnu Mes, M2-Planet, Gnu Mes.

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

87. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Аноним (131), 03-Июл-26, 15:34

>Что касается gcc, почитайте про stage0-posix, Gnu Mes, M2-Planet, Gnu Mes.
Вы либо некомпетентны, либо предвзяты. Выше сказано:
>или ты предлагаешь мониторить их каждый комит?
Каким образом вам поможет сборка из исходников, если в исходниках уже будет проблема?

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

91. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (3), 03-Июл-26, 15:58

Идея проста:
1. Исходник, например hex0_x86.hex0 мал — значит, человек может полностью прочитать его глазами и гарантировать, что в самом тексте программы нет никаких скрытых закладок. Там просто негде их спрятать.
2. Результат мал — значит, получившиеся байты тоже можно проверить глазами (или простейшим побайтовым сравнением) и убедиться, что инструмент сборки ничего не дорисовал от себя.

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

95. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 16:11

Нет. Исходник условного mes вы можете прочитать быстро, исходник gcc 16.0, вы не просто не прочтёте, вы его ещё и не соберёте.

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

101. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 16:58

Смысл в том, что вам первым делом нужен стартовый-доверенный бинарник  Именно ради этого все эти танцы с бубном!
А вот дальше, чтобы убедиться что в этой цепочке (на каком-то этапе, условно ваш gcc16) не произойдет подстава, используются следующие методы:
1. Воспроизводимая сборка (Reproducible Builds)
2. Метод двойной компиляции (Diverse Double-Compiling / DDC)
3. И наконец, вами упомянутый, но как видите, не единственный способ: Аудит и верификация исходников.

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

105. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 17:37

Вы можете точно так же с нуля собрать rust, поскольку первая версия компилятора была написан на Ocaml.

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

114. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 19:56

Как вы думаете, почему в конечном итоге появился такой проект как mrustc? Да потому, что в какой-то момент, те люди кто этим реально занимались, поняли что путь через OCaml — это тупик! Из-за чего же? -  и ответ, то с чего начинался ваш вопрос - это мать его LLVM!!!!!!!

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

118. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (131), 03-Июл-26, 20:27

А LLVM тут причём? Он вообще на крестах написан, собирай - не хочу. Вы можете изложить свою точку зрения целиком, а не разорвано, в куче сообщений?

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

126. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 21:52

Ясно, понятно, вы вообще не разбираетесь в теме, поэтому что-то продолжать объяснять бессмысленно.

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

130. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 23:02

Если бы вы разбирались, то смогли бы написать нечто большее, чем постоянное перепрыгивание с темы на тему.

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

15. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (3), 03-Июл-26, 11:12

Похоже вы не совсем понимаете в чем суть Trusting Trust

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

34. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (34), 03-Июл-26, 12:19

Trusting Trust - Доверяющий Доверяю.

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

122. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (122), 03-Июл-26, 21:28

Параноя насчет доверенного компилятора основана на том, что левый компилятор может от себя   вставлять в результат компиляции бэкдоры, которых не было в исходном коде компилируемой программы. Например, может искать и изменять функции проверки паролей, RND-генераторов  и т.п.
Решается путем написания примитивнейшего с-компилятора, бинарь которого можно дизассемблировать и проверить, что там нет ничего лишнего. Потом с помощью этого убожества компилируется более мощный с-компилятор, бинарь которого уже гарантировано соответсвует исходному коду. Потом компилится еще более мощный и т.д. До актуальной версии.

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

124. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (122), 03-Июл-26, 21:40

к тому-же, если левый компилятор определит, что компилируемая программа является компилятором  то он может вставить в бинарь весь свой левый функционал по вставке бэкдоров и модификации компиляторов

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

140. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от morphe (?), 04-Июл-26, 02:50

А теперь попробуй написать для этого PoC

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

125. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (131), 03-Июл-26, 21:41

Опять двадцать пять. Да сколько можно? Берите, откатывайтесь к самым первым коммитам, и там у вас будет замечательнейшая возможность собрать компилятор без блобов.

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

136. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (122), 03-Июл-26, 23:33

вы, видимо, смешиваете две совершенно разные вещи: доверие разработчикам и доверие компилятору, про которое был первый пост.
Доверие компилятору в первом посте - это вообще не про исходный код компилятора, и никаким code review  это в принципе не может быть решено, даже если бы в компиляторе  было всего десяток строк кода, потому что недоверенный компилятор сам может вставить в результирующий бинарник ТО, ЧЕГО НЕТ В ИСХОДНОМ КОДЕ.
Для, примерно, 100% пользователей компиляторов эта проблема является чисто теоретической и не актуальной.

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

97. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (97), 03-Июл-26, 16:16

А сколько строк у оригинала?

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

163. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Я (??), 05-Июл-26, 06:08

Подумаешь, 46 млн! Это же не 47 млн и чуть сложнее, чем 45 млн)

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

6. "Представлен crustc - компилятор rustc, переведённый на язык ..." +11 +/–

Сообщение от Аноним (6), 03-Июл-26, 10:54

Еще бы Firefox вот так в Си оттрансливароть, чтоб вообще без раста собирался и без всяких llvm.

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

158. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (157), 04-Июл-26, 21:25

Плюсую неистово! rust - самая толстая прога для сборки, выкинуть бы его из системы, а все что на нем, транслировать в Ц. И волки сыты и моря - холоднее

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

7. "Представлен crustc - компилятор rustc, переведённый на язык ..." +6 +/–

Сообщение от Аноним (14), 03-Июл-26, 11:00

Т.е. теперь можно будет собрать раст не собирая раст?

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

135. Скрыто модератором +1 +/–

Сообщение от Аноним (135), 03-Июл-26, 23:27

Раст не мог собрать Раст даже собравши Раст.

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

10. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Андрей (??), 03-Июл-26, 11:06

"46 млн строк кода на Си"...
И нафига?

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

18. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 11:23

Важен сам факт разрыва цепочки через Си-код и условный GCC, что позволит решить проблему Trusting Trust "математеческим бутсраппигом". Однако для "человеческого бутстраппинга", невозможность ревью означает, что проблема доверия остается нерешенной! Это одна из причин по которой, например OpenBSD не будут этим пользоваться. А вот для других проектов, этого будет вполне достаточно!

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

26. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (26), 03-Июл-26, 12:01

> Это одна из причин по которой, например OpenBSD не будут этим пользоваться. А вот для других проектов, этого будет вполне достаточно!
Эээ? а опенБздяшники они какие-то особенные?
Такоей же сишный овнокод с CVE/RCE.
Учитывая что оно нигде не нужно, то можно судить о её качестве.

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

108. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (108), 03-Июл-26, 18:16

CVE/RCE в коде на пидо расте побольше. Или по твоему существует только уязвимости с памятью

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

110. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (110), 03-Июл-26, 18:24

> CVE/RCE в коде на пидо расте побольше.
Ты выcpaл свой коммент, но забыл приложить пруфы.
Я понимаю, что дырявые не любят отвечать за свои слова, но попробуй в этот раз преодолеть свои СИшные наклонности.
> Или по твоему существует только уязвимости с памятью
Это утверждение никак не доказывает, что уязвимостей с память меньше чем остальных.
Но мы можем посмотреть
cvedetails.com/vendor/33/Linux.html
и заметить что Memory Corruption как минимум на порядок обгоняет остальные.

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

41. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 12:43

>Это одна из причин по которой, например OpenBSD не будут этим пользоваться.
Объясните, как вы собираетесь решать аналогичную проблему для clang/llvm и gcc. Или опять стрелочка не поворачивается?

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

81. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 15:08

В том и суть, - это практически неподъемная да и нецелесообразна задача, (особенно это касается оптимизатора!).
Парни пытались решить этот вопрос очень давно (делали ставку на PCC, но увы ничего не вышло). У них и так хватает работы (к слову, команда у них небольшая), поэтому они выбрали прагматичный подход:
Смириться с Clang как с неизбежным злом! Они просто пропатчили его с помощью unveil и pledge. Парни красавцы!

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

84. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (84), 03-Июл-26, 15:23

> Парни пытались решить этот вопрос очень давно (делали ставку на PCC, но увы ничего не вышло). У них и так хватает работы (к слову, команда у них небольшая), поэтому они выбрали прагматичный подход:
Какое классное оправдание неудачников)
> Смириться с Clang как с неизбежным злом!
Ну т.е просто поменяли свои убеждения.
> Парни красавцы!
Конечно красавцы, так легко стрелочку поворачивать.
Правда OpenBSD от этого нужнее не стала.

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

88. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (131), 03-Июл-26, 15:36

>В том и суть, - это практически неподъемная да и нецелесообразна задача
Тогда зачем вы поднимаете этот вопрос?
>Парни пытались решить этот вопрос очень давно
Какие парни? Как минимум в портах openbsd rust присутствует.

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

94. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 16:08

Господи, да мой самый первый комментарий по этой теме был полнейшим рофлом, Карл!) Из которого должно быть понятно что имеется ввиду, но похоже не вам!;) Далее человек спросил вопрос, где это может быть полезно, и я ему ответил. А уже далее появились вы, и именно вы подняли данный вопрос касательно gcc, llvm! По-моему я ответил и на ваш вопрос. В общем, не будьте таким душным:)

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

96. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 16:12

Вы первый день в интернете? Может нужно предполагать, что когда вы пишите очередную глупость, вам всё равно потом придётся оправдываться?

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

102. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (3), 03-Июл-26, 17:09

Вы получили ответ на свой вопрос, так ещё и чем-то недовольны:) В общем, идите и разбирайтесь в данном вопросе самостоятельно, а "глупый я" удаляюсь:)

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

171. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (171), 06-Июл-26, 17:12

Как мне нравятся эти попытки оправдать свою глупость задним числом, отмазками типа "это был сарказм". Вы разве не понимаете, что это выглядит ещё глупее, чем исходная глупость?

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

137. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (137), 03-Июл-26, 23:53

> Они просто пропатчили его с помощью unveil и pledge.
Ты сейчас реально предлагаешь доверять программисту не напортачить с unveil and pledge? Тому же самому программисту, из-за которого весь этот балаган нужен, потому что он неспособен не попортить память просто в силу ограничений человеческого разума? И всё это ради того, чтобы ни в коем случае не доверять эту проверку компилятору, у которого таких органичений нет в принципе?

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

165. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (165), 05-Июл-26, 13:57

> Однако для "человеческого бутстраппинга", невозможность ревью означает, что проблема доверия остается нерешенной!
Разве это проблема сегодня? Сегодня ж можно провести AI-бутстраппинг, и выполнить ревью миллионов строк кода без проблем. Ну то есть, это будет дорого, но не так дорого если платить команде программистов, которые будут десять лет перелопачивать весь код.

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

20. "Представлен crustc - компилятор rustc, переведённый на язык ..." +4 +/–

Сообщение от aname (ok), 03-Июл-26, 11:28

> позволяющего транслировать проекты с языке Rust на язык Си
Это должно было появиться, рано или поздно

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

22. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (22), 03-Июл-26, 11:38

Интересно было бы сравнить время компиляции компилятора на rust и на с.

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

74. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 14:31

Вот мне тоже интересно.
Если оно как VALA - типа синтаксис ок - транслируем, без этих душнильных проверок всего и вся - то скорее всего будет быстрее собиратся.
И тут мы опять приходим к тому о чём я писал много раз: глубокую проверку кода при каждой компиляции делать не надо.

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

89. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (89), 03-Июл-26, 15:40

Вообще без разницы. Лучше пару суток GCC молотит, чем собирать llvm, rust и вот это всё.

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

90. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 15:56

llvm нынче нужен для mesa и ещё всякого.

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

92. "-" +1 +/–

Сообщение от Аноним (92), 03-Июл-26, 16:05

llvm уже не является обязательным для mesa — оная давно перешла на NIR.

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

145. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (145), 04-Июл-26, 09:39

Компилятор Zig тоже умеет переваривать Си, интересно сравнение.

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

24. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (24), 03-Июл-26, 11:56

Ну теперь есть второй компилятор. Уже хорошо. Снижает риск бэкдоров в компиляторе.

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

35. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (35), 03-Июл-26, 12:20

Нужен не компилятор, а стандарт. Тогда проблема доверия переместится с языка на реализацию. И ту уже все будет просто -- вы либо доверяете конторе, выпустившей реализацию компилятора или не доверяете.
Если не будет стандарта, то доверие к языку появится через лет десять. после того, как он заморозится. В смысле, сорвременный компилятор будет генерировать бит в бит такой же код для эталонной программы, как и десятилетний.
Лично для меня сигналом доверия будет тот факт, что rust-компилятор выпустит IBM.

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

46. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 12:48

>Нужен не компилятор, а стандарт.
Покажите мне язык со стандартом, который имеет несколько реализаций, которые можно прозрачно заменить, без появления кучи багов, просадки производительности и несовместимых реализаций.
>В смысле, сорвременный компилятор будет генерировать бит в бит такой же код для эталонной программы, как и десятилетний.
Такого не то что не будет для rust, такого нет даже для си.

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

59. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (59), 03-Июл-26, 13:43

> Покажите мне язык со стандартом, который имеет несколько реализаций, которые можно прозрачно заменить, без появления кучи багов, просадки производительности и несовместимых реализаций.
POSIX shell

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

64. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 14:16

Какой замечательный пример. Во-первых, под POSIX shell мало кто не пишет. Во-вторых, кроме самого shell-а, для работоспособности скрипта критически важно иметь совместимые версии утилит, поскольку даже у GNU Coreutils и у BusyBox различаются ключи. В-третьих, при любой правке скрипта придётся тщательно следить за изменениями и окружением, в котором запускается скрипт, так как если в скрипт попадёт, например, башизм, то никакой ошибки это не вызовет. Никакой прозрачностью тут и не пахнет.

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

67. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (131), 03-Июл-26, 14:19

>мало кто не пишет
Мало кто пишет. В основном, пишут под bash или какую-то другую, несовместимую реализацию.

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

155. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от мяв (?), 04-Июл-26, 19:28

баш вполнк совместим со стандартом, опять вранье.
несоответствия должны упраздняться через опцию в set.

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

154. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от мяв (?), 04-Июл-26, 19:26

неконструктивный комент
1е - "миллионы не могут ошибаться" ?
2е - нет, обман. как текстодробилку чистый шелл можно использовать и делает он это крайне быстро, заметно быстрее какого нибудь луа или питона, если писать с минимумом форков и в целом знать, какие операции сколько по времени выполняются.
3е - фантазии какието странные.
если в скрипт попадет башизм - тебе об этом скажет линтер, а условный ash пускать откажется.
за окружением - я не знаю что ты там следить собрался.
в коменте анонима фактами не пахнет

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

66. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (-), 03-Июл-26, 14:19

> Покажите мне язык со стандартом, который имеет несколько реализаций, которые можно прозрачно заменить, без появления кучи багов, просадки производительности и несовместимых реализаций.
Ada

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

69. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 14:21

Мне лень проверять ваше утверждение, но какие проекты больше чем hello world можно им собрать?

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

142. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от _ (??), 04-Июл-26, 05:04

Если сильно напрягаться, то можно собрать фирмварь для Ariane-IV !
А потом на расслабоне отрефакторить в фирмварь для Ariane-V ;-)

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

73. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (73), 03-Июл-26, 14:30

> Ada
Хороший пример.
Надо еще упомянуть, что у них есть есть "сертификация" компилятора.
Для того чтобы называться "компилятор языка Ada" нужно пройти 1000+ тестов.
Один завалил? Свободен.
А теперь сравните это с "стандартом" СИ, на который так наяривают местные.
Опенсорсных компиляторов которые реализовывали весь стандарт - нет.
В каждом лепят свои велосипеды - в итоге выхлоп шланга отличается от ЖЦЦ, а тот отличается от поделия мелкомягких.
"Переносимость" (на которую тоже наяривают местные) можешь догадаться какая)
Так что пока любая "няня-из-под-коня" может называться "коньпелятор СИ", так оно и будет.

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

98. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 16:18

>Хороший пример.
А софт на этом хорошем примере кто-то пишет? Чтобы можно было взять какую-нибудь утилиту среднего размера, и поменять в ней компилятор?

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

113. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (113), 03-Июл-26, 19:29

>Опенсорсных компиляторов которые реализовывали весь стандарт - нет.
Есть - GCC
https://en.cppreference.com/c/compiler_support

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

115. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (115), 03-Июл-26, 19:59

>>Опенсорсных компиляторов которые реализовывали весь стандарт - нет.
> Есть - GCC
> https://en.cppreference.com/c/compiler_support
Слово "partial" тебе что-то говорит?
Частично поддерживает? На пол шишечки?

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

170. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (170), 06-Июл-26, 15:34

>В каждом лепят свои велосипеды - в итоге выхлоп шланга отличается от ЖЦЦ, а тот отличается от поделия мелкомягких.
Это неизбежно при независимой разработке транслятора высокоуровнего языка в машинный код - у одной и той же программы есть множество корректных представлений.

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

100. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (137), 03-Июл-26, 16:43

Common Lisp.

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

47. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (26), 03-Июл-26, 13:04

> Нужен не компилятор, а стандарт.
Отлично!
У вас есть стандарт ISO/IEC 9899.
И ни одного опенсорскного компилятора который реализовал бы его полностью.
Здорово правда!? (с)
Более того результирующий выхлоп копилятора отличается не только для разных компиляторов, но даже для версий.
А еще в стандарте можно поменять поведение напр добавить UB.
Как и поступили в С23.
> Тогда проблема доверия переместится с языка на реализацию. И ту уже все будет просто -- вы либо доверяете конторе, выпустившей реализацию компилятора или не доверяете.
Хахаха, отличный подход.
> Если не будет стандарта, то доверие к языку появится через лет десять. после того, как он заморозится.
В мире куча ЯП без стандартов и с доверием проблем нет.
У раста тоже нет - так как топовые компании используют его в проде.
> В смысле, сорвременный компилятор будет генерировать бит в бит такой же код для эталонной программы, как и десятилетний.
А условный GCC так усмеет? Они же поведение иногда ломат даже в не мажорных версиях
> Лично для меня сигналом доверия будет тот факт, что rust-компилятор выпустит IBM.
Но зачем? Им проще посадить своего чувака в раст-фаундешн и пусть работает.

Кстати недавно в ядро добавили поддержку раст для s390
https://lore.kernel.org/rust-for-linux/20260512105920.242629.../
IBM предлагает "IBM Open SDK for Rust on AIX"
www.ibm.com/products/open-sdk-for-rust-aix
и на сайте есть туториалы Beginner's guide to Rust
Кажется IBM больше доверяет языку без стандарта, чем аноним с форума))

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

25. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от xsignal (ok), 03-Июл-26, 12:01

Никогда ещё Штирлиц не был так близок к провалу!))

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

29. "Представлен crustc - компилятор rustc, переведённый на язык ..." +9 +/–

Сообщение от Аноним (113), 03-Июл-26, 12:06

Ясно, теперь rustc не нужен. Очередное доказательство, что Си из-за своего простого синтаксиса и остальных удобств переживет всех и вся.

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

45. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Facemaker (?), 03-Июл-26, 12:48

Удобств.

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

30. "Представлен crustc - компилятор rustc, переведённый на язык ..." +3 +/–

Сообщение от Аноним (-), 03-Июл-26, 12:11

Уж простите зануду но TrustingTrust для раста давно решен с помощью mrustc, по крайней мере для x86_64.
Эти бы усилия да на решению той же проблемы для  FreePascal. Который ничем кроме себя и античного делфи не собрать.

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

36. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (35), 03-Июл-26, 12:24

Компилятор для языка L, претендующего на системный, должен собираться компилятором для языка L без привлечения каких-либо утилит и библиотек третьей стороны.

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

60. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (60), 03-Июл-26, 13:51

А для раскрутки языка L, его компилятор первый раз должен собираться компилятором языка L, написанным на языке C. Чтобы никаких блобов в архиве исходников языка L не было.

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

65. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Аноним (131), 03-Июл-26, 14:18

>его компилятор первый раз должен собираться компилятором языка L, написанным на языке C
Нет, не должен. Си - это ужасный язык, в том числе и для написания компилятора.
>Чтобы никаких блобов в архиве исходников языка L не было.
Для того, чтобы блобов не было, достаточно взять абсолютно любой язык, который через длинную или короткую цепочку, имеет реализацию на си.

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

77. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Аноним (115), 03-Июл-26, 14:37

> Нет, не должен. Си - это ужасный язык, в том числе и для написания компилятора.
А компиляторов на СИшке почти не осталось.
Даже великий и ужасный GCC стали писать на С++.
Почему? Потому что на СИшном убожестве нельзя сделать крутой оптимизирующий компилятор.

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

99. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (60), 03-Июл-26, 16:22

В случае, когда компилятор только для раскрутки, то можно вообще без каких-либо оптимизций.

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

133. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (-), 03-Июл-26, 23:15

Вот есть еще люди которые понимают как это работает.
Если есть то что может собрать из исходника и оно работает - TrustingTrust идет лесом.
Поскольку условно доверенный\Проверенный компилятор собирает проверенный исходник.
ТОЧКА. Если доверия нет к чему либо из этого - проблема не в бутстрапе.
Не надо заставлять tcc собирать под свой конкретный проц - дождись пока бутстрап дойдет до рабочего gcc собранного по цепочке.

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

132. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (-), 03-Июл-26, 23:11

тот же аноним если что)
Уж если что сужествует проект live-bootstrap.
который собирает довольно современный линукс из машкода. около 200 байт.
Вот пока не пробовал, но что-то мне подсказывает что gcc-10 который он выдает умеет собрать clang которого хватит для mrustc. и так же сможет собрать gcc который ему требуется для компиляции.
Как имея компилятор раст который 2 компиляторами собирается собрать доверенный компилятор боле свежей версии - очевидно...
Лучше займитесь FPC и ada для которых такое не возможно.
Для ada есть разве что компилятор дающий код под sparc при использовании трансляции в С.
Куда более актуальная проблема.

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

31. Скрыто модератором –1 +/–

Сообщение от Аноним (34), 03-Июл-26, 12:11

>такого как стандартные rust-библиотеки
А разве у растаманов есть стандартная библиотека? По-моему, у них там подключаемые через Интеренет крейты. Не знаю что это такое в точности, либо это готовые бинарные модули, либо это куски исходного кода.
>На выходе генерируется код на ANSI С (C89)
Алё, на дворе 2026 год. Царствует стандарт чистого - C23.

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

37. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Аноним (37), 03-Июл-26, 12:25

rustc -> crustc -> c..c -> cc

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

38. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Alladin (?), 03-Июл-26, 12:29

раст в си конечно возможно, а вы попробвйте наоборот

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

49. "Представлен crustc - компилятор rustc, переведённый на язык ..." +4 +/–

Сообщение от Archer73 (ok), 03-Июл-26, 13:13

А разве "наоборот", это не любимое развлечение программистов на Rust. Мне кажется их больше всего критикуют за переписывание того, что и так работает, хотя есть много гораздо более нужных направлений

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

56. "Представлен crustc - компилятор rustc, переведённый на язык ..." –5 +/–

Сообщение от Аноним (56), 03-Июл-26, 13:35

> что и так работает
* не работает. Код на C почти никогда не работает.

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

75. "Представлен crustc - компилятор rustc, переведённый на язык ..." +4 +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 14:31

Ну теперь то понятно почему растовики не любят С - оно у них не получается :)

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

63. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (115), 03-Июл-26, 14:05

> Мне кажется их больше всего критикуют за переписывание того, что и так работает,
Ты слегка ошибся, правильно писать: ʼи так "сойдет" работаетʼ.
В ядре за неудачный месяц нашли 1000+ CVE.
В зловонной куче X11 расколупывают дырки которым по 30+ лет.
Куча библиотек (включая криптографию) допускают зловредные манипуляции.
> хотя есть много гораздо более нужных направлений
Именно поэтому гугл выкинул freetype и libxml2.
Никто не будет рад, если юзера взломают при обработке шрифта на сайте или специаьно созданного хмлʼя.
На что их заменили думаю ты сам догадаешься)

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

72. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 14:28

И только вам настолько нечем занятся по жизни что вас это волнует.

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

76. "Представлен crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним (76), 03-Июл-26, 14:32

> И только вам настолько нечем занятся по жизни что вас это волнует.
Ну тебе точно хватило "нечем заняться" чтобы оставить коммент)
Мир меняется ванька, от софта начинает зависить слишком много, чтобы он был настолько поганым.

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

78. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 14:40

Так вы не видели как было раньше, и какой прогресс произошёл за последние лет 15.
То на что вы в новостях постоянно возбуждаетесь - это очень далёкие отголоски того что было раньше, настолько отдалённые что у обычных юзеров эти ошибки никогда не тригерятся, и выискиывать их надо с помощью ИИ и фазеров.
Чтобы было понятно.
1. В начале софт писали и тестили по ходу написания ручками. (pre 2000)
2. Потом начали принимать багрепорты от пользователей. (2000+)
3. Добавили автотесты. (2010+)
3.5. Где то тут появился гитхуб и платформы совместной разработки, а так же всякие автоматические отправки отчётов о крашах. (2010+)
4. Стали юзать фазеры (2020+)
5. Стали юзать ИИ. (2024+)
И надо понимать что от начали до результата где то могло пройти 5-10 лет, где то хватило 1-2 года.
Мне как юзеру опенсорца и не только вот прям сильно видно прогресс за последние 10 лет, притом оно наладилось ещё до прихода ИИ - всмысле перестало падать во время работы.

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

79. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 14:45

Ну и да, этот ваш раст появился в 2015 примерно, до фазеров и ИИ.
Ещё я забыл написать про развитие статических анализаторов, того как компиляторы анализируют и то что наконец то этим всем начали пользоватся.
Поэтому раст - это про альтернативное решение проблем, а не единственно верный путь и пр.

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

93. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 16:06

>Так вы не видели как было раньше, и какой прогресс произошёл за последние лет 15.
Например, люди перестали стесняться непонятно чего, и начали использовать сборщик мусора.
>настолько отдалённые что у обычных юзеров эти ошибки никогда не тригерятся
Первый же эксплоит эти ошибки отлично эксплуатируют. Это не говоря уже про стабильность первых версий софта, написанного на си.
>а так же всякие автоматические отправки отчётов о крашах
И много программ со свободным кодом отправляют данные отчёты?
>всмысле перестало падать во время работы
Абсурдный критерий. Лучше упасть по исключению, чем допустить эксплуатацию уязвимости.
>Ещё я забыл написать про развитие статических анализаторов, того как компиляторы анализируют и то что наконец то этим всем начали пользоватся.
Которые не работают. Ещё раз приведу вам пример:
$ cat b.h
struct A {
        int** p;
};
void set_null(struct A*, int**);
int print(struct A*);
$ cat b.c
#include "b.h"
void set_null(struct A* a, int** p)
{
        a->p = p;
}
int print(struct A* a)
{
        int** x = a->p;
        return **x;
}
$ cat a.c
#include <stdio.h>
#include "b.h"
int main()
{
    int y = 7, x = 8;
    int* p_y = &y;
    int* arr[] = {&y, NULL, &x};
    struct A a = {.p = &p_y };
    printf("%d\n", print(&a));
    set_null(&a, arr);
    int num, ret;
    printf("Press 1 and press Enter\n");
    ret = scanf("%d", &num);
    //num = 1;
    arr[0] = arr[num];
    printf("%d", print(&a));
    return 0;
}
$ gcc -flto -fanalyzer b.c -c -o b.o && gcc -flto -fanalyzer a.c -c -o a.o && gcc -fanalyzer a.o b.o -o a && ./a
7
Press 1 and press Enter
1
Segmentation fault         (образ памяти сброшен на диск) ./a
$

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

116. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 20:05

> Первый же эксплоит эти ошибки отлично эксплуатируют.
Так вы зажрались :)
Раньше достаточно было мышкой пошевелить чтобы прога упала :)
А экплоит ещё поди подсунь...

> И много программ со свободным кодом отправляют данные отчёты?
Без понятия.

> Абсурдный критерий. Лучше упасть по исключению, чем допустить эксплуатацию уязвимости.
Так и говорю: зажрались вы!
Экплоит им мешает видители.
А не хочите падать на обычных действиях!?
Думаете почему в MS Word и многих других прогах есть автосохранение какждые 5 минут?
А потому что оно падало часто: сидишь, редактируешь текст а оно бах и на ровном месте скрашилось.
Вот прямо так, без всяких эксплоитов.

> Которые не работают. Ещё раз приведу вам пример
Так и что?
С не знает можете вы прочитать память по адресу NULL или нет.
Это валидный код, который даже не везде будет падать и не всегда.
Никто не запрещает смапить память на 0x000000000 адрес для процесса и хранить там валидные данные.
Щас придут какиенить эмбедщики и закидают вас этими самыми тряпками, особенно если они какие то бутлодеры пишут.

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

117. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 20:19

security.bsd.map_at_zero: Permit processes to map an object at virtual address 0.
Это вам для расширения кругозора.
sysctl такой во фре, в линухах тоже должно быть аналогичное, в венде кажется просто можно мапить без крутилок либо оно где то в реестре заныкано.
И собственно NULL - это часто (void*)0, не более чем соглашение по API что если вернули такое значение то типа сфейлились.
И то что оно (void*)0 - тоже не везде.
Короче мир сильно сложнее и разнообразнее чем вам с вашим языком кажется.

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

123. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 21:39

>Раньше достаточно было мышкой пошевелить чтобы прога упала :)
Раньше - это когда? Нет никакого раньше. Кто-то уже в 2005 уже писал SharpDevelop на c#, а это - 21 год назад. Если отмотать время ещё раньше, то можно вспомнить про VisualBasic. В восьмидесятые появился StandardML. И наоборот, какие-то программы падают до сих пор. Тот же GNOME Wayland падал под конец десятых, хотя казалось бы.
>С не знает можете вы прочитать память по адресу NULL или нет.
Да? А зачем тогда нужны все эти флаги?
>Это валидный код, который даже не везде будет падать и не всегда.
Нет, это заведомо неверный код. Просто написан так, что компилятор не может это отследить.
>Щас придут какиенить эмбедщики
При чём здесь микроконтроллеры? Каждый раз, когда заходит речь о настольных/серверных приложениях, вы постоянно пытаетесь съехать куда-то далеко.
>И то что оно (void*)0 - тоже не везде.
И? Какое из моих слов это отменяет?

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

128. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 03-Июл-26, 22:06

> Раньше - это когда? Нет никакого раньше. Кто-то уже в 2005 уже писал SharpDevelop на c#, а это - 21 год назад. Если отмотать время ещё раньше, то можно вспомнить про VisualBasic.
Раньше это года до 2010-2020.
И вижалбейсик и шарп фигня - оба были тормозными и годились только для небольших простых приложений.
Нет, на них конечно можно было и всякое разное понаписать, но в какой то момент ты приходил к пониманию что проще бросить и написать на С или чём то ещё.
Потому что на вижалбейсике сложные гуи делать было намного сложнее чем на С, а производительность была оч низкая, и приходилось оффлоадить на С код всякие ресурсоёмкие вычисления. А по меркам 90-начала 2000х это почти все вычисления.
Шарп появился уже позднее, это была отрыжка мс и попытка с помощью пеара сделать язык универсальным.

> Нет, это заведомо неверный код.
Я вам повторяю ещё раз: запись/чтение по адресу 0x000000 - валидная операция с точки зрения языка.
Успех или не успех этой операции целиком на совести программиста и железа.

> При чём здесь микроконтроллеры? Каждый раз, когда заходит речь о настольных/серверных приложениях, вы постоянно пытаетесь съехать куда-то далеко.
А причём тут тогда С?
С - универсальный язык для разных применений и разных платформ, это вам не раст сделанный для наведения порядка в фаерфоксе.

> Какое из моих слов это отменяет?
Оно отменяет ваш пример, которым вы пытались показать что встроенная диагностика языка С не отлавливает всего.
На что я вам и возразил: переменную вы заинитили в NULL, дальше это не проблема языка, это ВАША проблема чтобы память была доступна для чтения/записи.
Для адепта "системного" языка стыдно не понимать таких базовых вещей.

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

134. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 03-Июл-26, 23:19

>И вижалбейсик и шарп фигня - оба были тормозными и годились только для небольших простых приложений.
Вот ни разу никто не привёл конкретной метрики, которая позволила бы сказать, какой язык тормозной, а какой - нет. По поводу простых приложений - аналогично.
>но в какой то момент ты приходил к пониманию что проще бросить и написать на С или чём то ещё.
Это никогда не было проще. Возьмём к примеру создание IDE. И тут, что удивительно, почему-то jvm. И не важно что это - NetBeans, Eclipse или Idea. Emacs можно вспомнить, который почему-то на Elisp-е. Опять не си.
>Потому что на вижалбейсике сложные гуи делать было намного сложнее чем на С
Гнусная ложь. В то время, как у визуал бейсика можно было создать окно, перетаскивая элементы мышкой, в c у вас не то что визуального редактора не было, у вас ещё и необходимость следить за утечками памяти и ручной обработки сигналов.
>Я вам повторяю ещё раз: запись/чтение по адресу 0x000000 - валидная операция с точки зрения языка.
Вы нагло врёте, даже не стесняясь. Разыменновывание nullptr - UB. При его наличии, компилятор может произвольным образом переписать код.
>С - универсальный язык
Универсальность абсолютно никак не отменяет наличие UB.
>На что я вам и возразил: переменную вы заинитили в NULL, дальше это не проблема языка, это ВАША проблема чтобы память была доступна для чтения/записи.
Вы для начала объясните, почему если немного переписать код, расскоментировав закоментированную строку, то компилятор ВНЕЗАПНО просыпается и видит проблему?
>Для адепта "системного" языка стыдно не понимать таких базовых вещей.
Вы не знаете про монады, до сих пор, хотя вам про них писали уже несколько раз, а стыдно должно быть почему-то мне. Уж не пытаетесь ли вы загазлайтить меня?

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

139. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 04-Июл-26, 00:59

> Вот ни разу никто не привёл конкретной метрики, которая позволила бы сказать, какой язык тормозной, а какой - нет.
Пользователь раньше от старости умрёт чем дождётся пока архиватор на вижалбейсике что то сделает :)

> Возьмём к примеру создание IDE. И тут, что удивительно, почему-то jvm. И не важно что это - NetBeans, Eclipse или Idea. Emacs можно вспомнить, который почему-то на Elisp-е. Опять не си.
Так кто же виноват что в вашей голове только такие примеры то?

> В то время, как у визуал бейсика можно было создать окно, перетаскивая элементы мышкой, в c у вас не то что визуального редактора не было
Это вы про кого?
Я вообще то с вижалбейсика и начинал на х86 системах (не считая квикбейсика), постигнув его полностью и осознав его пределы я перешёл на вижал с++, и начал изучать С.
И кроме того, создавать окна с элементами точно так же можно было и в вижал с++, а потом и в res hacker утилите, а потом в схожих инструментах для гтк и наверное qt, wxwidgets...
И внутри это всё сводится к редактированию ресурсов, которые впиливаются в бинарник и которые стандартными средствами ОС превращаются в окно с элементами.

> Вы нагло врёте, даже не стесняясь. Разыменновывание nullptr - UB. При его наличии, компилятор может произвольным образом переписать код.
> Универсальность абсолютно никак не отменяет наличие UB.
Какого UB то?
Вам же написали: программист сказал прочитать/записать по адресу, язык сделал что сказали.
Язык реально не знает получится ли это сделать, тк он не анализирует код в целом и особенности платформы.
Да и в целом не важно, NULL там или какой то другой адрес - программист сам отвечает за доступность этого адреса.
Это вам не детские языки где вам попку подтирают.
Есть и более интересные случаи, когда кусок памяти может быть смаплен куданибудь в PCI устройство на регистры, и чтение/запись будет не совсем как обычно, и в случае hotplug ваще никаких гарантий... Но это для адреного кода, в основном, хотя опять же никто не запрещает смапить это и в юзерспейс процесс.
Для вас это сплошной unsafe, так жить низя - лучше идите формошлёпить :)

> Вы для начала объясните, почему если немного переписать код, расскоментировав закоментированную строку, то компилятор ВНЕЗАПНО просыпается и видит проблему?
Без понятия, откройте тикет на форуме разработчиков гцц и там спросите.

> Вы не знаете про монады, до сих пор, хотя вам про них писали уже несколько раз
Я то их не юзаю, наверное, и другим не рассказываю как оно должно по моему мнению работать.
А вы рассказываете что по адресу NULL низя читать/писать.

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

141. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 04-Июл-26, 03:17

>Пользователь раньше от старости умрёт чем дождётся пока архиватор на вижалбейсике что то сделает :)
Во-первых, сразу после таких громких заявлений, вам следует их подтвердить нормальными бенчмарками. Во-вторых, далеко не каждая задача сводится к разработке архиваторов.
>Так кто же виноват что в вашей голове только такие примеры то?
При чём тут моя голова? Вам приведён один из примеров сложного софта, который ПОЧЕМУ-ТО написан не на си. И сейчас таких примеров ПОЧЕМУ-ТО всё больше и больше.
>Это вы про кого?
Про winapi.
>Какого UB то?
>Вам же написали: программист сказал прочитать/записать по адресу, язык сделал что сказали.
Бред. Вы почему-то переносите семантику ассемблера на си. Если бы вы хотя-бы немного в этом разбирались, то такую ошибку не совершили. Упрощённый пример
int a = *b;
if (b != NULL) {
    c();
}
Будет оптимизирован до
int a = *b;
c();
В итоге, из ассемблера испаряется условный переход. И подобных моментов - куча.
>Есть и более интересные случаи, когда кусок памяти может быть смаплен куданибудь в PCI устройство на регистры
При чём здесь регистры? Вы вспоминаете все умные слова, которые знаете?
>программист сам отвечает за доступность этого адреса.
Созданием дыры? Вы и сами знаете, как программисты за что отвечают, когда в редактор автосохранение на пять минут вешают.
>Без понятия
Любое ваше сообщение как раз таки и сводится к этому "без понятия". Буквально, к этим двум словам. Ну хотя можно написать что-то вроде: "Я не согласен, ведь я без понятия, как это работает". А я, в отличии от вас, во-первых знал что такая ошибка в принципе возможна, а во-вторых, написал этот код, и как-то без фазеров и ИИ справился. Не подскажите как?
>Я то их не юзаю, наверное
Вы даже не знаете, используете их или нет, зато радостно рассказываете что и как должно быть устроено. Опять аргумент уровня: "Я не согласен, но как правильно, я не знаю".
>А вы рассказываете что по адресу NULL низя читать/писать.
Вы, как человек не знающий, что является UB, а что - нет, рассказываете о том, как компилятор будет себя вести.

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

152. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 04-Июл-26, 14:28

> Во-первых, сразу после таких громких заявлений, вам следует их подтвердить нормальными бенчмарками.
Ты в адеквате или где?
На вижалбейсике даже обычный цикл с каким нить сложением на 100к итераций будет на порядки дольше отрабатывать.
Я этого наелся ещё к 2002 году чтобы опять туда лазать. Хотя дистр VB5 у меня остался, по идее оно должно работать.

> При чём тут моя голова? Вам приведён один из примеров сложного софта, который ПОЧЕМУ-ТО написан не на си.
Притом что в вашей голове не хватило места для ещё пары десятков IDE, вики вам в помощь.

> Будет оптимизирован до
Только в ваших фантазиях.
На практике сильно зависит от компелятора и флагов.

> При чём здесь регистры? Вы вспоминаете все умные слова, которые знаете?
Вот когда начнёте с реальным железом работать - сразу узнаете причём.

> Созданием дыры? Вы и сами знаете, как программисты за что отвечают, когда в редактор автосохранение на пять минут вешают.
Так другого офисного пакета у нас для вас в в 90-2000х не было.

> Любое ваше сообщение как раз таки и сводится к этому "без понятия".
Я без понятия и меня вообще мало интересует внутренняя кухня компиляторов. Если вас интересует почему оно там происходит - спрашивайте тех кто это делает.
И меня лично интересуют реальные прикладные проблемы а не теоритезирование относительно работы фазеров и компеляторов.

> Вы, как человек не знающий, что является UB, а что - нет, рассказываете о том, как компилятор будет себя вести.
Успех или не успех чтения/записи по любому адресу - не зависит от компилятора, не понимаю зачем вы к нему пристаёте.
С таким же успехом можно назвать UB попытку открывать файл "/tmp/fwrgsrvsrth4a.eargwe".
Оно конечно нигде не будет определёно, но и не должно быть определено, это outofscope для компелятора.

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

167. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (131), 05-Июл-26, 23:51

>Ты в адеквате или где?
>На вижалбейсике даже обычный цикл с каким нить сложением на 100к итераций будет на порядки дольше отрабатывать.
Джентльменам верят на слово? И потом, даже если ваши слова на сто процентов правдивы, то касаются они всё равно только VB. Берём https://benchmarksgame-team.pages.debian.net/benchmarksgame/... и видим, что порой самые быстрые реализации на Ocaml превосходят самые медленные реализации на Си. Берём Go https://benchmarksgame-team.pages.debian.net/benchmarksgame/... и видим аналогичную картину. У C# всё тоже не так уж плохо https://benchmarksgame-team.pages.debian.net/benchmarksgame/... . Конечно, далеко не каждая программа будет быстрее сишной/крестовой, но никаких "на порядки" давным давно нет.
>Я этого наелся ещё к 2002 году чтобы опять туда лазать.
Ваш опыт давным давно устарел. Как минимум, в языки успели добавить целую кучу оптимизаций.
>На практике сильно зависит от компелятора и флагов.
Что, неуж-то вы всё с -O0 компилируете?
>Вот когда начнёте с реальным железом работать - сразу узнаете причём.
"Я не знаю, и по этому и вам не скажу" - идеальный аргумент. Так и веет опытом.
>Так другого офисного пакета у нас для вас в в 90-2000х не было.
Во-первых, как минимум 2007 офис так часто не падал. Во вторых, Даже если отталкиваться от 2003 оффиса, то прошло уже более 20-ти лет. Ваши представления ОПЯТЬ устарели.
>Я без понятия и меня вообще мало интересует внутренняя кухня компиляторов.
Тогда на каком основании вы вообще вставляете своё ошибочное мнение?
>Успех или не успех чтения/записи по любому адресу - не зависит от компилятора, не понимаю зачем вы к нему пристаёте.
Зависит. Либо компилятор знает, откуда этот адрес взялся, и разрешает чтение, либо пишет о невозможности. Просыпайтесь, реализация этого уже была даже в 2000-ые.
>Оно конечно нигде не будет определёно, но и не должно быть определено, это outofscope для компелятора.
Про алгебраические типы вы ОПЯТЬ не слышали. И даже сейчас, когда вам про них сказали, вы отмахнётесь от этого, сделав вид, что ничего не слышали.

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

150. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от U202204161753 (?), 04-Июл-26, 14:06

> Это вы про кого?
Я вообще то с вижалбейсика и начинал на х86 системах (не считая квикбейсика), постигнув его полностью и осознав его пределы я перешёл на вижал с++, и начал изучать С.

На какой конкретно из компиляторов Си/C++, если не секрет?
Многие 90 процентов времени работали на TopSpeed (он же с какого-то момента - Clarion)

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

153. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 04-Июл-26, 14:32

На вижуал с++, кажется первым был 6 версии, под конец я его обкладывал плагинами для отладки многопоточных приложений, ибо он сам умел показывать только стёк одного потока.
В след версии это исправили и кажется плагины мне стали не нужны.
По сравнению с вижалбейсиком сильно огорчало отсутствие встроенной справки, приходилось методом тыка изучать :)

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

156. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от U202204161753 (?), 04-Июл-26, 21:22

Просто рейтинг компиляторов был таким:
1) Zortech ( в дальнейшем Digital Mars);
2) Watcom;
3) TopSpeed / Clarion.
И где-то там - Latice ( он же cl.exe / Visual Studio).

Продукция Borland - вообще вне рейтинга: оптимизация не наблюдалась. Совсем.

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

160. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ivan_83 (ok), 05-Июл-26, 00:17

Это вы как то сильно заморочились видимо в производительность, и удивительно что ICC тут нет в списке. (или есть? мне названия лень гуглить :) )
Я то больше системные вещи писал и упирался в сисколы.

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

166. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от U202204161753 (?), 05-Июл-26, 20:18

Да... Нет в списке...
Скорее всего, ICC - это более поздний период.

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

149. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от U202204161753 (?), 04-Июл-26, 14:01

> В то время, как у визуал бейсика можно было создать окно, перетаскивая элементы мышкой, а c у вас ......
А у нас в Clarion всё вот это (и даже больше) было гораздо раньше.
Плюс скоростной оптимизирующий компилятор.

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

172. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (172), 07-Июл-26, 00:36

> Думаете почему в MS Word и многих других прогах есть автосохранение какждые 5 минут?
Дед, ты когда последний раз вспоминал каким образом был организован мемори-манагемент в win16? Видимо давно, видимо поэтому ты упускаешь из виду, что когда каждое приложение должно явным образом маркировать "страницы" которые нельзя свопить, то система обречена падать каждые десять минут. Вспомни ещё, между прочим, что там кооперативная многозадачность была, и проблемы одного приложения были проблемами всех.
С приходом 32bit венды, полагавшейся на железный mm, стабильность сильно улучшилась, а когда венда пересела на nt-ядро, стала вполне себе устойчивой.

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

159. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Alladin (?), 04-Июл-26, 21:37

то самое что и так работает: двойное освобождение, обращение за пределами, ..

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

39. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от xsignal (ok), 03-Июл-26, 12:35

Теперь всё, что понаписали на Расте нужно сконвертировать в Си! =)

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

40. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (37), 03-Июл-26, 12:41

переписать на Си

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

70. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Соль земли2 (?), 03-Июл-26, 14:24

Rust придумали, чтобы не писать на Си...

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

82. "Представлен crustc - компилятор rustc, переведённый на язык ..." +3 +/–

Сообщение от Аноним (60), 03-Июл-26, 15:08

Чтобы переписывать с Си.

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

50. "Представлен crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Ананоним (?), 03-Июл-26, 13:25

Это тоже компилит так что нужно 32 Гигабайта ОЗУ?

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

55. "Представлен crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от Аноним (56), 03-Июл-26, 13:34

Разве у llvm не было C бэкенда?

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

57. "Представлен crustc - компилятор rustc, переведённый на язык ..." +2 +/–

Сообщение от Аноним (60), 03-Июл-26, 13:38

C 100.0%
Я правильно понимаю, что crustc не требует LLVM ? Если так, то он определённо удобней, чем cilly, который бекенд к rustc.

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

68. "Представлен crustc - компилятор rustc, переведённый на язык ..." –2 +/–

Сообщение от Соль земли2 (?), 03-Июл-26, 14:21

Какая связь между окружением для сборки и запуска программы? В Docker для этого даже разные контейнеры используют.

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

106. "Представлен crustc - компилятор rustc, переведённый на язык ..." +5 +/–

Сообщение от Аноним (106), 03-Июл-26, 18:07

Теперь нужно переписать эти 45 млн. строк обратно на Rust, чтобы было "безопасно".

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

119. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Аноним Анонимович Анонимов (?), 03-Июл-26, 20:29

> На выходе получилось 46 млн строк кода на Си
Больше, чем ядро Linux (43 млн строчек кода https://www.phoronix.com/news/Linux-7.2-43-Million-Lines)

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

127. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +1 +/–

Сообщение от Мемоним (?), 03-Июл-26, 22:04

Вот тоже кстати удивило. Сколько там на Русте в исходных исходниках?

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

173. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Facemaker (?), 07-Июл-26, 11:37

Скорее всего нагенерировано крайне неоптимально. Я заглянул в один файл и ужаснулся:
https://github.com/FractalFir/crustc/blob/main/std/compiler/...

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

138. "Опубликован crustc - компилятор rustc, переведённый на язык ..." –1 +/–

Сообщение от nc (ok), 04-Июл-26, 00:02

Теперь нужно скомпилировать его с помощью gcc, затем этим скомпилированным компилятором собрать из исходников на rust компилятор Rust, и вот если этот новый компилятор двоично совпадет с оригинальным, то будет круто.

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

146. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (-), 04-Июл-26, 09:50

Он не совпадет.
А вот собранный им уже крайне желательно чтоб совпал.
Оптимизаторы то могут быть разные.
А толку от компилятора с -O0 мало.

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

144. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (144), 04-Июл-26, 07:55

Какой, интересно, размер бинарного файла после компиляции этих 46 млн строк кода на Си?

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

147. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (147), 04-Июл-26, 12:20

нафиг этот rust вообще. нужно натаскать llm какой нибудь чтобы все эти моменты проверял и все дела. в самом худшем случае стандартизировать какие нибудь #pragma чтобы в сишечке указывать то-же что и в rust

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

168. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Moloko (?), 06-Июл-26, 14:00

Не думаю, что на си стоит писать в 2026 году.

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

161. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (161), 05-Июл-26, 00:24

ух.. оказывается 2/3 новости не про крустц а про силли который пока только показывают но потрогать не дают ну и ладно.

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

162. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Талгат (?), 05-Июл-26, 03:50

48 миллионов строк кода,
глазками посмотрю и найди все ошибки.

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

169. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от freehck (ok), 06-Июл-26, 15:32

> Проект демонстрирует возможности находящегося в разработке компилятора cilly, позволяющего транслировать проекты с языка Rust на язык Си.
Мне вот интересно, а так можно будет любой Rust-проект транслировать? Просто от возможности сам rustc на неподдерживаемой платформе собрать — ни холодно, ни жарко, потому как он один фиг самостоятельно сможет собирать лишь под несколько поддерживаемых им архитектур. А вот если этот cilly сможет любой Rust-проект транслировать в си, тогда можно будет и некоторые тулзы собрать на архитектурах, отличных от Tier 1, и вот это могло бы быть полезно.

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

174. "Опубликован crustc - компилятор rustc, переведённый на язык ..." +/–

Сообщение от Аноним (174), 09-Июл-26, 01:06

План такой переписываем все написанное на Си на Rust, а потом транслируем с Rust на Си и компилируем. В результате мы молодцы - деньги освоены. Безопастность на высоте - компилить можно старыфм компилятором =)

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

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

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

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2026 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру

1. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+50 +/–
Сообщение от Аноним (1), 03-Июл-26, 10:36
Вот это поворот!))
Ответить \| Правка \| Наверх \| Cообщить модератору


	120. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от Аноним (120), 03-Июл-26, 20:48
	> ... находящегося в разработке компилятора cilly, позволяющего транслировать проекты с языка Rust на язык Си Ну вот, об этом уже предупреждали, что к этому всё скатится.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	121. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Я (??), 03-Июл-26, 21:19
	Объясните безграмотному мне, во что здесь компилируется rust? C, вроде, в инструкции для процессора, а это во что?
	Ответить \| Правка \| К родителю #1 \| Наверх \| Cообщить модератору


	129. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от Аноним (129), 03-Июл-26, 22:43
	Новость состоит в том, что все доверяют компилятору си, потому что вы знаете, во что превратится ваша программа. В практически любых других компиляторах это не так, и не потому что языки высокоуровневые, а потому что компиляторы написаны на самих себе, и туда можно заложить код так, что вы не узнаете, как работает конечный компилятор (даже если его код открыт). Теперь, когда люди смогли переписать компилятор раста на си (пускай и в нечитабельный код), становится ясно, что в предыдущих версиях компилятора раста не заложено непредвиденное поведение (условно, потому что, конечно, люди могли буквально написать в конечном компиляторе что-то ужасное, но вы теперь точно сможете это обнаружить)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	131. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (131), 03-Июл-26, 23:04
	>а потому что компиляторы написаны на самих себе Осильте наконец-то раскрутку.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	143. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Я (??), 04-Июл-26, 06:34
	Так это исходник растового компилятора транслирован в исходник сишного компилятора?
	Ответить \| Правка \| К родителю #129 \| Наверх \| Cообщить модератору


	157. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от Аноним (157), 04-Июл-26, 21:23
	>Теперь, когда люди смогли переписать компилятор раста на си (пускай и в нечитабельный код), становится ясно, что в предыдущих версиях компилятора раста не заложено Ничего это не доказывает! Просто после трансляции, все закладки стали на Ц, но также не читаемы, так как код не читаем.
	Ответить \| Правка \| К родителю #129 \| Наверх \| Cообщить модератору

3. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+14 +/–
Сообщение от Аноним (3), 03-Июл-26, 10:38
Ну все, скажите парням из OpenBSD что проблему доверия к компилятору rust теперь можно решитт; дело за малым, осталось только провести ревью 46 миллионов строк Си кода;)
Ответить \| Правка \| Наверх \| Cообщить модератору


	4. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–2 +/–
	Сообщение от Аноним (131), 03-Июл-26, 10:43
	Это изначально не было проблемой, поскольку изначально rust был написан на ocaml.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	5. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+4 +/–
	Сообщение от Аноним (3), 03-Июл-26, 10:48
	Да какая разница на чем он был изначально написан! Проблема доверия от этого никуда не исчезает.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	8. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–3 +/–
	Сообщение от Аноним (131), 03-Июл-26, 11:00
	Какая проблема доверия? Берите исходный код и читайте, или у вас лапки?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	12. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+2 +/–
	Сообщение от Аноним (3), 03-Июл-26, 11:10
	Удачи вам в ревью 46 миллионов кода на Си;)
	Ответить \| Правка \| Наверх \| Cообщить модератору


	42. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от Аноним (131), 03-Июл-26, 12:44
	У вас было более десяти лет, чтобы прочитать код компилятора. На что вы жалуетесь?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	48. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (48), 03-Июл-26, 13:08
	какие 10 лет, если репозиторий crustc появился 5 дней назад? Или по вашему результат ревью rustc автоматически переносится на crustc?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	62. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (131), 03-Июл-26, 14:00
	>какие 10 лет, если репозиторий crustc появился 5 дней назад? Во-первых не 10 лет, а более 10 лет, во-вторых в первом сообщении вопрос доверия поднимался к rust, а не к rustc.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	104. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (-), 03-Июл-26, 17:20
	перечитай сообщение, там про доверие к компилятору rust, а не к rust. И ревью 46 миллионов строк это не про rustc
	Ответить \| Правка \| Наверх \| Cообщить модератору


	107. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от morphe (?), 03-Июл-26, 18:11
	Это выхлоп компилятора, промежуточный артефакт, зачем его ревьюить?
	Ответить \| Правка \| К родителю #12 \| Наверх \| Cообщить модератору


	14. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+3 +/–
	Сообщение от Аноним (14), 03-Июл-26, 11:11
	Доверие к разрабам, которые сопровождают раст или ты предлагаешь мониторить их каждый комит?
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору


	43. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (131), 03-Июл-26, 12:45
	Объясните, как вы решаете аналогичную задачу для clang/llvm и gcc.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	85. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+1 +/–
	Сообщение от Аноним (3), 03-Июл-26, 15:28
	По поводу clang, ответил в другом комментарии. Что касается gcc, почитайте про stage0-posix, Gnu Mes, M2-Planet, Gnu Mes.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	87. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–2 +/–
	Сообщение от Аноним (131), 03-Июл-26, 15:34
	>Что касается gcc, почитайте про stage0-posix, Gnu Mes, M2-Planet, Gnu Mes. Вы либо некомпетентны, либо предвзяты. Выше сказано: >или ты предлагаешь мониторить их каждый комит? Каким образом вам поможет сборка из исходников, если в исходниках уже будет проблема?
	Ответить \| Правка \| Наверх \| Cообщить модератору


	91. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (3), 03-Июл-26, 15:58
	Идея проста: 1. Исходник, например hex0_x86.hex0 мал — значит, человек может полностью прочитать его глазами и гарантировать, что в самом тексте программы нет никаких скрытых закладок. Там просто негде их спрятать. 2. Результат мал — значит, получившиеся байты тоже можно проверить глазами (или простейшим побайтовым сравнением) и убедиться, что инструмент сборки ничего не дорисовал от себя.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	95. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (131), 03-Июл-26, 16:11
	Нет. Исходник условного mes вы можете прочитать быстро, исходник gcc 16.0, вы не просто не прочтёте, вы его ещё и не соберёте.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	101. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (3), 03-Июл-26, 16:58
	Смысл в том, что вам первым делом нужен стартовый-доверенный бинарник Именно ради этого все эти танцы с бубном! А вот дальше, чтобы убедиться что в этой цепочке (на каком-то этапе, условно ваш gcc16) не произойдет подстава, используются следующие методы: 1. Воспроизводимая сборка (Reproducible Builds) 2. Метод двойной компиляции (Diverse Double-Compiling / DDC) 3. И наконец, вами упомянутый, но как видите, не единственный способ: Аудит и верификация исходников.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	105. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (131), 03-Июл-26, 17:37
	Вы можете точно так же с нуля собрать rust, поскольку первая версия компилятора была написан на Ocaml.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	114. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (3), 03-Июл-26, 19:56
	Как вы думаете, почему в конечном итоге появился такой проект как mrustc? Да потому, что в какой-то момент, те люди кто этим реально занимались, поняли что путь через OCaml — это тупик! Из-за чего же? - и ответ, то с чего начинался ваш вопрос - это мать его LLVM!!!!!!!
	Ответить \| Правка \| Наверх \| Cообщить модератору


	118. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (131), 03-Июл-26, 20:27
	А LLVM тут причём? Он вообще на крестах написан, собирай - не хочу. Вы можете изложить свою точку зрения целиком, а не разорвано, в куче сообщений?
	Ответить \| Правка \| К родителю #114 \| Наверх \| Cообщить модератору


	126. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (3), 03-Июл-26, 21:52
	Ясно, понятно, вы вообще не разбираетесь в теме, поэтому что-то продолжать объяснять бессмысленно.
	Ответить \| Правка \| К родителю #118 \| Наверх \| Cообщить модератору


	130. "Представлен crustc - компилятор rustc, переведённый на язык ..."	+/–
	Сообщение от Аноним (131), 03-Июл-26, 23:02
	Если бы вы разбирались, то смогли бы написать нечто большее, чем постоянное перепрыгивание с темы на тему.
	Ответить \| Правка \| К родителю #126 \| Наверх \| Cообщить модератору


	15. "Представлен crustc - компилятор rustc, переведённый на язык ..."	–1 +/–
	Сообщение от Аноним (3), 03-Июл-26, 11:12
	Похоже вы не совсем понимаете в чем суть Trusting Trust
	Ответить \| Правка \| К родителю #8 \| Наверх \| Cообщить модератору