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

"Fil-C - компилятор для языков C и C++, гарантирующий безопасную работу с памятью "	+/–
Сообщение от opennews (??), 17-Ноя-24, 13:14
Филипп Пизло (Filip Pizlo) представил на конференции SPLASH'24 открытый C/C++ компилятор  Fil-C, предоставляющий  защиту от проблем, вызванных ошибками при работе с памятью. Проект нацелен на обеспечение полной совместимости с существующим кодом на языках C и C++ - для обеспечения безопасной работы с памятью достаточно просто пересобрать существующий код. Компилятор построен с использованием компонентов от проекта LLVM и распространяется под лицензией Apache 2.0. Runtime поставляется под лицензией BSD.  В отличие от недавно анонсированного проекта TrapC, находящегося на стадии проектирования,  компилятор Fil-C  уже доведён до готовности сборки существующего кода... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=62241
Ответить | Правка | Cообщить модератору

Сообщения

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

1. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+29 +/–
Сообщение от Аноним (1), 17-Ноя-24, 13:14
А визгу то стояло на опеннете что сишка небезопасная, а всего то надо было сделать безопасную сишку и никакой раст больше никогда никому не необходим.
Ответить | Правка | Наверх | Cообщить модератору

	2. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+9 +/–
	Сообщение от Alladin (?), 17-Ноя-24, 13:24
	да, всего-то.. на расте это гарантируется типами и маркерами, а на этом..
	Ответить | Правка | Наверх | Cообщить модератору

	4. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+4 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 13:33
	Да гарантируется что боров запрещает объектам мутировать и делает так что программирование превращается в борьбу с этим самым боровом, а не в получение работающего продукта.
	Ответить | Правка | Наверх | Cообщить модератору

	7. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–5 +/–
	Сообщение от Alladin (?), 17-Ноя-24, 13:37
	борров это про мувинг семантику и заимствование структур если вы называете рабочий продукт в котором двойное освобождение и утечки памяти то пожалуйста другие вещи борров не решает
	Ответить | Правка | Наверх | Cообщить модератору

	14. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+12 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 13:46
	Это тоже самое что построить такой город в котором на входе и выходе каждого здания и в общественном транспорте поставить рамки, рентген и проверять каждого жителя не мутировал ли он после выхода из дома. А если по ходу надел шапку или сходил в туалет считать что он мутировал и собирать его гарбедж коллектором вместе во всеми связанными объектами. А вдруг он мутировал получив бомбу. Причём если он сразу вышел из дома с бомбой к нему вопросов нет. Сколько раз уже пытались построить такой город с названием то Серво, то Редокс получается ерунда, не выходить каменный цветок.
	Ответить | Правка | Наверх | Cообщить модератору

	37. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:36
	> Это тоже самое что построить такой город в котором на входе и выходе каждого здания и в общественном транспорте поставить рамки, рентген и проверять каждого жителя не мутировал ли он после выхода из дома. Хм... ты ж только, что описал Город-СИ. Где вышедший из дома гражданин, может через void* мутировать в автобус, потом в боевой вертолет, а потом залезть в голову соседу (надеюсь, что только в голову) и отстрелить обоим ноги. > А если по ходу надел шапку или сходил в туалет считать что он мутировал и собирать его гарбедж коллектором В расте есть ʼгарбедж коллекторʼ? Это же просто новый уровень "кекспертизы" опеннета! > Сколько раз уже пытались построить такой город с названием то Серво, то Редокс получается ерунда, не выходить каменный цветок. На редоксе уже дум играется - для продакшена готово) Сколько там клоудфарь через свои раст серваки пропускает трафика? 30% от мирового? Ну да, ну да "на расте ничего не написано" (с)
	Ответить | Правка | Наверх | Cообщить модератору

	63. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:15
	Дум даже на калькуляторе без ОС играется. А все остальное это называется свобода передвижения в конституции даже такое записано. Если мне нужно соседу в голову я просто иду к соседу в голову. И его на это согласие это очень опционально штука. И в такой город ты найдешь очень много программистов и строителей, которые тебе отстроят и запрограммируют.
	Ответить | Правка | Наверх | Cообщить модератору

	73. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–3 +/–
	Сообщение от Аноним (73), 17-Ноя-24, 15:40
	> А все остальное это называется свобода передвижения в конституции даже такое записано. Хахаха, ты про ту смешную бумажку? А ну давай-ка свободно передвинься в Ново-Огарёво) > Если мне нужно соседу в голову я просто иду к соседу в голову. И его на это согласие это очень опционально штука. Совершенно не удивлен. > И в такой город ты найдешь очень много программистов и строителей, которые тебе отстроят и  запрограммируют. А потом еще 30 лет - то водопровод течет, то запертные двери открываются если сделать 28 приседаний, то трамвай в дом вьехал, то банк отправил все деньги на случайный счет... Зато все эти бракоделы при деле, можно годами фиксить узявимости и баги, которые сами и добавили.
	Ответить | Правка | Наверх | Cообщить модератору

	105. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (105), 17-Ноя-24, 17:06
	Ты в таком городе живёшь и почему то не переезжает в безопасТный. Даже если бы такой город существовал он был бы тебе не по карману.
	Ответить | Правка | Наверх | Cообщить модератору

	203. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:12
	Переезд уже идёт полным ходом. Гугл, например, часть Андроида пишет на Rust.
	Ответить | Правка | Наверх | Cообщить модератору

	212. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (212), 18-Ноя-24, 09:42
	Опять твое воображение. Если гюгде то и идёт переезд то только в лозунгах и дутых отчётах.
	Ответить | Правка | Наверх | Cообщить модератору

	189. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Karl Richter (ok), 18-Ноя-24, 07:06
	Компьютеру свобода передвижения ненужна. Он - инструмент. А если честно, в реальности контролировать свободу передвижения очень полезно для безопасности общества и государства.
	Ответить | Правка | К родителю #63 | Наверх | Cообщить модератору

	213. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (212), 18-Ноя-24, 09:47
	Какая кому разница что там нужно компьютеру. Свобода нужна программисту. А то что описано выше не контроль, а театр безопасТности. Контроль делается без всяких рентгенов и т.п.
	Ответить | Правка | Наверх | Cообщить модератору

	185. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (185), 18-Ноя-24, 05:28
	Раз нельзя назвать рабочим продуктом, то каким образов все это работало? От операционных систем, до стандартных приложений. И вы же, до появления раста, всем этим пользовались. Что с вами не так?
	Ответить | Правка | К родителю #7 | Наверх | Cообщить модератору

	211. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:39
	>каким образов все это работало Через пень-колоду. На безрыбье и рак - рыба. Теперь выбор есть.
	Ответить | Правка | Наверх | Cообщить модератору

	12. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 13:42
	> Да гарантируется что боров запрещает объектам мутировать и делает так что > программирование превращается в борьбу с этим самым боровом, а не в > получение работающего продукта. С другой стороны это гарантирует что не попробуют освободить еще используемое получив dangling pointer или не сделают освобождение дважды, и тому подобне факапы. Так то нормальная идея вполне. С основной ее прелестью - zero cost как таковое, в рантайме.
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

	18. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 13:51
	Давно рекомендую всем адептам безопасТности надеть акваланг, спасательный круг запас еды на 10 дней, бронежилет и пробежать марафон 42 км на время. Зато во время марафона ты не утонешь, выживешь если заблудишься, и если в тебя будут стрелять больше вероятность выжить. Сплошная безопасТность.  В Саус парке был такой тип который все время в спас жилете ходил по итогу утонул в театре. (И  не в театре безопасТности)
	Ответить | Правка | Наверх | Cообщить модератору

	200. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:05
	Это, конечно, кривая аналогия. Но кекспертам местным нравится, потому что с логикой у них сплошные проблемы. Почему кривая? Потому что все абстракции в Rust ничего не стоят во время выполнения.
	Ответить | Правка | Наверх | Cообщить модератору

	214. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (212), 18-Ноя-24, 09:49
	Ага только чтобы эти абстракции написать надо 10 программистов вместо 1 для одинакового результата. Зеро Коста не бывает, а тут и подавно.
	Ответить | Правка | Наверх | Cообщить модератору

	205. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 09:18
	> Давно рекомендую всем адептам безопасТности надеть акваланг, спасательный круг запас еды > на 10 дней, бронежилет и пробежать марафон 42 км на время. Ну, вообще, если ты решил провести отпуск на море - это может быть не такая уж плохая опция. Во всяком случае, плюсеров косплеящих такую логику - я видел. И да, у плюсов хватило расширяемости чтобы с ними что-то такое провернуть вообще без корежения компилера на каждый пшик. > Зато во время марафона ты не утонешь, выживешь если заблудишься, и > если в тебя будут стрелять больше вероятность выжить. Сплошная безопасТность. С другой стороны, если известно что в полях вокруг мины - взять миноискатель может быть не такой уж и плохой идеей. А уж если робот сам покатается и все мины пометит/уберет - вообще зашибись! Хотя можно конечно и прямо своей тушкой проверить, вон, кочка подозрительная, попрыгать на ней самое то, да? :) > В Саус парке был такой тип который все время в спас > жилете ходил по итогу утонул в театре. (И  не в > театре безопасТности) Ну так я и не предлагаю юзать редсдохи. Это однако не мешает с314ть некоторые удачные и рациональные идеи!
	Ответить | Правка | К родителю #18 | Наверх | Cообщить модератору

	59. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Бывалый Смузихлёб (ok), 17-Ноя-24, 15:00
	только cost совсем не zero
	Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

	64. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:16
	Zero только в случае если программируешь и запускаешь этот код не ты)
	Ответить | Правка | Наверх | Cообщить модератору

	202. Скрыто модератором	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:10
	Конечно, zero во время выполнения. Да, на компиляцию может больше времени уйти. Хотя, учитывая, как непросто порою ловятся ошибки работы с памятью в дыряшке - совсем не факт.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	206. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 09:21
	> только cost совсем не zero В случае именно борова, в именно рантайме - кост будет близким к zero, ибо это в целом про компил тайм проверки и анализ времени жизни переменных, грубо говоря. Тут кто-то ссыль постил, с примерами - и даже образцами где сейчас хрустовский боров перестраховывается, заставляя явно маркировать некоторые вещи, хотя это могло бы быть и не обязательным в тех случаях.
	Ответить | Правка | К родителю #59 | Наверх | Cообщить модератору

	75. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Страдивариус (?), 17-Ноя-24, 15:57
	Перешел на rust с плюсов. Точнее пишу на обоих. Пока пытался писать на rust по плюсовому, то да, была борба с боровым. Как только достиг дзена, боров потрясающе помогает. Пишешь неделю код, потом запускаешь и с первого запуска почти без багов.
	Ответить | Правка | К родителю #4 | Наверх | Cообщить модератору

	106. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (105), 17-Ноя-24, 17:08
	Яркое описание того почему на расте нет софта из первых рук. Это я тут даже про тесты не пишу.
	Ответить | Правка | Наверх | Cообщить модератору

	186. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (185), 18-Ноя-24, 05:29
	За сколько вы напишете тот же самый код на С/C++?
	Ответить | Правка | К родителю #75 | Наверх | Cообщить модератору

	199. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:00
	Медленнее и с большим количеством ошибок. И Гугл, и Микрософт уже проверили.
	Ответить | Правка | Наверх | Cообщить модератору

	207. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 09:24
	> Медленнее и с большим количеством ошибок. И Гугл, и Микрософт уже проверили. Эпические галеры^W места для работы рабов^W успешных специалистов... Правда, сколько галерщика не переименовывай и не раздавай ему суть - менталитет у него останется характерный. Как это так, не дают бесплатный барак и надо самому себе еду добывать? Ну и гадость эта ваша свобода! Да и кнутователь у нас - добрый малый, не так уж сильно лупит, даже шкура не слезает.
	Ответить | Правка | Наверх | Cообщить модератору

	210. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:36
	"Смешались в кучу кони, люди". Мы тут менталитет программистов обсуждаем или объективные достоинства того или иного языка программирования?
	Ответить | Правка | Наверх | Cообщить модератору

	3. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+6 +/–
	Сообщение от laindono (ok), 17-Ноя-24, 13:28
	На Rust всё вышеперечисленное либо дешевле, либо zero-cost, либо compile time. То есть да, сишечку можно превратить в жалкое подобие, но ценой производительности.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	5. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 13:34
	Это что за магия такая или трава, про зеро кост? Ты надеюсь сам понимаешь что так не может быть и ты пересказываешь маркетинговые сказки.
	Ответить | Правка | Наверх | Cообщить модератору

	8. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Alladin (?), 17-Ноя-24, 13:38
	зероконст, если вы считаете что весь мир обкурился травой то это ваши проблемы, а не мира
	Ответить | Правка | Наверх | Cообщить модератору

	19. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+5 +/–
	Сообщение от laindono (ok), 17-Ноя-24, 13:51
	Например вместо 128-битных указателей и прочей подобной фигни есть сильная типизация. В сишечке malloc/free имеют такую сигнатуру: malloc(size) -> pointer free(pointer) -> void В расте аналоги такие: alloc(size, align) -> pointer dealloc(pointer, size, align) -> void Но явно хранить size/align надо только для динамических типов (вроде вектора или там хешмапы). Для типов, не меняющих свой размер, ничего держать в RAM не требуется, всё известно на этапе компиляции. Вот и получается zero-cost. Опять же сырые указатели вообще говоря весьма умные внутри: https://doc.rust-lang.org/std/ptr/index.html (особенно про provenance читни) На ссылки накладываются дополнительные ограничения. Например они не могут быть null, что автоматически означает, что нет вообще никаких проверок на null для ссылок. Плюс borrow-checker, который можно рассматривать как compile-time garbage collector. Это в качестве иллюстрации, там куча всего ещё есть.
	Ответить | Правка | К родителю #5 | Наверх | Cообщить модератору

	26. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (1), 17-Ноя-24, 14:13
	Предлагаю тебе зайти на сайт https://godbolt.org/ написать одинаковый код на расте и сишке и плюсплюске без llvm и пересчитать количество команд. Я конечно понимаю что для вас 10 км не круг и ты может быть найдешь пример где на расте будет меньше инструкция, но среднее количество команд сможешь оценить и ты.
	Ответить | Правка | Наверх | Cообщить модератору

	31. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Фнон (-), 17-Ноя-24, 14:21
	> Я конечно понимаю что для вас 10 км не круг Я конечно понимаю, что для вас "ну подумаешь сделали double free и подарили root" это не проблема, но другие не хотят писать такой код. Если вопрос в кол-ве команд - то можно на ассемблере все фигачить (в надежде что пряморукость будет больше чему у оптимизирующего компилятора).
	Ответить | Правка | Наверх | Cообщить модератору

	178. Скрыто модератором	+/–
	Сообщение от keydon (ok), 18-Ноя-24, 03:05
	Ты же сам начал с производительности и "zero cost" и теперь сам же даешь заднюю. Типичный растоман.
	Ответить | Правка | Наверх | Cообщить модератору

	32. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от laindono (ok), 17-Ноя-24, 14:26
	https://godbolt.org/z/Pv9E74Wan Окей, простой пример. Одинаковое количество инструкций. Придумай более сложный пример. Предположу, что ты, когда сам тестил, забыл добавить -C opt-level=3 компилятору Rust. По умолчанию rustc собирает в дебаг режиме.
	Ответить | Правка | К родителю #26 | Наверх | Cообщить модератору

	36. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (36), 17-Ноя-24, 14:35
	Я не хейтер раста или плюсов, но у тебя получился слишком примитивный пример, который не показывает различий в подходе у этих ЯП.
	Ответить | Правка | Наверх | Cообщить модератору

	55. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (55), 17-Ноя-24, 14:53
	>>> Предлагаю тебе зайти на сайт https://godbolt.org/ написать одинаковый код на расте и сишке и плюсплюске без llvm и пересчитать количество команд. ... > Я не хейтер раста или плюсов, но у тебя получился слишком примитивный > пример, который не показывает различий в подходе у этих ЯП. Я вообще другой аноним, но считаю для ответа "доказательства моей правоты напиши сам" - вполне норм. Тем более, "ты, когда сам тестил, забыл добавить -C opt-level=3 компилятору Rust" проскакивало уже пару раз у "Военов Против Раста": https://www.opennet.ru/openforum/vsluhforumID3/126424.html#270
	Ответить | Правка | Наверх | Cообщить модератору

	66. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:21
	Явно видно как деградирует уровень аргументации у адептов раста. Раньше было больше по существу сейчас остались лишь лозунги и маркетинг.
	Ответить | Правка | Наверх | Cообщить модератору

	69. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+3 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 15:27
	> Явно видно как деградирует уровень аргументации у адептов раста. Приходится опускаться на донный уровень оппенентов, тк они по другому не понимают. > Раньше было больше по существу сейчас остались лишь лозунги и маркетинг. Раньше было "да не нужна эта безопасность! Настоящий программист таких ошибок не делает!", а теперь пошли косяком "ну у нас тут производительность просядет в 5 раз, но это не страшно"))
	Ответить | Правка | Наверх | Cообщить модератору

	85. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (55), 17-Ноя-24, 16:22
	> Аноним(1) Предлагаю тебе зайти на сайт https://godbolt.org/ и написать код, который докажет, что я прав! > Аноним(1) Явно видно как деградирует уровень аргументации у адептов раста. Раньше было больше > по существу сейчас остались лишь лозунги и маркетинг. Экая самокритичность, но адепт ты какой-то странный ...
	Ответить | Правка | К родителю #66 | Наверх | Cообщить модератору

	74. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от laindono (ok), 17-Ноя-24, 15:50
	Ну давай чуть менее примитивный. Аллокация динамического массива. Код делает примерно одно и тоже, если не лезть в дебри семантики. Какой-то драматической разницы я тут не вижу при том, что это два разных компилятора с двумя разными языками. https://godbolt.org/z/GaoKaM11K Для иллюстрации добавил C++ для gcc и clang: https://godbolt.org/z/bjxn6s5sd
	Ответить | Правка | К родителю #36 | Наверх | Cообщить модератору

	65. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–2 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:18
	Вот и я говорю нашел едж кейс и пытаешься им что-то себе доказать. Но это лишь доказывает бессмысленность существования раста.
	Ответить | Правка | К родителю #32 | Наверх | Cообщить модератору

	68. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от laindono (ok), 17-Ноя-24, 15:24
	Ну так я не знаю, что ты вообще хочешь увидеть. Эквивалентный код выдаёт эквивалентный ассемблер. Тоже самое будет и для более сложного кода.
	Ответить | Правка | Наверх | Cообщить модератору

	176. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (176), 18-Ноя-24, 02:26
	Развене видно, что он тупо тролит. Причëм толсто.
	Ответить | Правка | Наверх | Cообщить модератору

	100. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 16:54
	Хм.. а разве не ты пернул в комментарий "напиши код и считай кол-во команд"? Тебе скинули уже 2 примера, но от тебя я не увидел ни строчки кода. Так что давай "проргаммирывай", может какой-то пруф из себя выдавишь. > Но это лишь доказывает бессмысленность существования раста. Это доказывает только товю недалекость. Но это не страшно, я даже не буде предлагать бете учить раст или писать на нем. Можешь писать на чем хочешь, а другие люди сами за себя решат.
	Ответить | Правка | К родителю #65 | Наверх | Cообщить модератору

	109. Скрыто модератором	–3 +/–
	Сообщение от Аноним (105), 17-Ноя-24, 17:17
	Аш два Эдж кейса и это сразу что-то доказывает? У тебя когнитивное искажение домашка загуглить какое именно.
	Ответить | Правка | Наверх | Cообщить модератору

	114. Скрыто модератором	+1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:31
	> Аш два Эдж кейса и это сразу что-то доказывает? На 2 больше чем у тебя) Ты пока смог выдать "а если вдруг найдется код где будет разное кол-во команд". Ну так приводи пример. Бремя доказательства лежит на том, кто утверждает. > У тебя когнитивное искажение домашка загуглить какое именно. Я трачу время на общение то ли с тролями, то ли с идиотами? Да, это наверное не самое рациональная трата времени, то у меня как раз был обед)
	Ответить | Правка | Наверх | Cообщить модератору

	30. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Ан (??), 17-Ноя-24, 14:21
	> Для типов, не меняющих свой размер, ничего держать в RAM не требуется, всё известно на этапе компиляции. поэтому чтобы код был безопасным надо чтобы всё было написано на раст, один внедряла в ядро уже сдулсо..
	Ответить | Правка | К родителю #19 | Наверх | Cообщить модератору

	42. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:40
	> один внедряла в ядро уже сдулсо.. из-за дидов-"вы не заставите миня учить раст, ррряяя!!!1"-неосиляторов. Перешел туда, где его умения ценятся. И правильно сделал. Пусть лучше меньше дырений будет в андроиде, хроме, винде. А ядро... типа кому оно нужно.
	Ответить | Правка | Наверх | Cообщить модератору

	50. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Ан (??), 17-Ноя-24, 14:48
	> Пусть лучше меньше дырений будет в андроиде, хроме, винде. А ядро... типа кому оно нужно. просто мир так устроен - что-то делается если есть заинтересованность, в космос запусти процессор и он весь будет в дыренях из-за радиации - все вычисления проверяются в рантайме
	Ответить | Правка | Наверх | Cообщить модератору

	111. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 17:29
	Вы про того, кто придя в проект как разработчик, захотел свою работу свалить на других а сам рулить? Мало того, что эта работа, как и было сказано бессмысленная по своей сути. Так у него еще и наглости хватило пытаться ее на других взвалить. Те смотрели на дитятко, ну из ..вна куличики лепет. Пусть, себе, лепет. Никому не мешает. Но когда он закатил истерику, давайте все вместе помогайте мне из ..вна куличики лепить. Диды, конечно, не выдержали и послали.
	Ответить | Правка | К родителю #42 | Наверх | Cообщить модератору

	137. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 18:09
	> Мало того, что эта работа, как и было сказано бессмысленная по своей сути. Ага, ага, настлолько что Линус разочарован тем, что все так медленно внедляется. И одной из причин называет - дидов неосиляторов. > Но когда он закатил истерику, давайте все вместе помогайте мне из ..вна  куличики лепить. Диды, конечно, не выдержали и послали. Конечно послали, Тео хочет сам лепить из овна, других не подпускает) Благо он уже не молод, может помрет ненароком. Будет повод выпить пивка))
	Ответить | Правка | Наверх | Cообщить модератору

	162. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 21:53
	> И одной из причин называет - дидов неосиляторов. Он теперь политик. Вместо вываливания кучи помоев на головы раздолбаям дает эти раздолбаям обделаться. Обделывайтесь наздоровье. > Конечно послали, Тео хочет сам лепить из овна, других не подпускает) Еще раз и медленно, тот кто взялся внедрять в linux rust хотел что бы его работу за него делали другие. Или они считают себя мессиями новой веры в которую должны уверовать все остальные? Именно такие вопросы любителям rust и задали. Если бы были показаны реальные а не теоретические достоинства rust на том что внедряется, и тогда бы были вопросы целесообразности. Но ведь не было показано ничего. Только требование уверовать в силу rust. Пусть мальчики сами куличики из ..овна лепят.
	Ответить | Правка | Наверх | Cообщить модератору

	167. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (167), 17-Ноя-24, 22:35
	> Он теперь политик. Вместо вываливания кучи помоев на головы раздолбаям дает эти раздолбаям обделаться. Раздолбаи обделываются уже почти 30 лет. Он не просто так упомянул You'd think that all the basics would have been fixed long ago, but they're not. We're still dealing with basic issues such as memory management. Возможно дело действительно в политике и спонсоров ситуация > Обделывайтесь наздоровье. просто не устраивает. Ты платишь нехилые бабки, а бракоделы типа Тцо делаю CVEшки, которые потом еще 2 раза чинят (тк с первого раза не получается). > Еще раз и медленно, тот кто взялся внедрять в linux rust хотел что бы его работу за него делали другие. Нет. Откуда у тебя такие фантазии? Как раз Тео не хочет делать свою работу - он ломает интерфейсы, а исправить заголовки функций в расте он не может - у него же лапки. > Или они считают себя мессиями новой веры в которую должны уверовать все остальные? Фантазии становятся еще более безумными... > Именно такие вопросы любителям rust и задали. Э? Им просто сказали "вы не заставите нас изучить раст" (второй язык допущенный я ядро). Надеюсь что компетентность таких бракоделов будет пересмотрена Линусом и спонсорами ядра. > Если бы были показаны реальные а не теоретические достоинства rust на том что внедряется, и тогда бы были вопросы целесообразности. > Но ведь не было показано ничего. Только требование уверовать в силу rust. Хм.. ну да, понимаю. У других компаний есть проекте в проде которые не просто работают, а отлично работают. К сожалению разрабы ядра не настолько круты. > Пусть мальчики сами куличики из ..овна лепят. Пока не придет Торвальдс и скажет "какого фига ставятся палки в колеса!?"
	Ответить | Правка | Наверх | Cообщить модератору

	169. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 23:08
	> Раздолбаи обделываются уже почти 30 лет. Поэтому ядро захватывает мир? А у тех кто делал микроядро или на безопасных языках - ничего кроме проблем. У тебя альтернативная логика. > Как раз Тео не хочет делать свою работу - он ломает интерфейсы, а исправить заголовки функций в расте он не может - у него же лапки. То есть это Тео должен заниматься тем чем он не брался и никогда не собирался? Он должен за растовиков делать их работу? Опять у тебя альтернативная логика. > У других компаний есть проекте в проде которые не просто работают, а отлично работают. Их не интересуют другие проекты. Они дали шанс показать пользу от rust в ядре. Пока не показали ничего. > Пока не придет Торвальдс и скажет "какого фига ставятся палки в колеса!?" Пока он в очередной раз не скажет, что-то у вас не очень получается. В очередной раз макнув растовиков носом в их творения.
	Ответить | Правка | Наверх | Cообщить модератору

	170. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 23:34
	> Поэтому ядро захватывает мир? А у тех кто делал микроядро Лол, сколько там комплектов Minix в мире работает? Сколько всяких девайсов ThreadX (ныне Azure RTOS) было выпущено? Больше 10 миллиардов. И это все микрокернелы. > или на безопасных языках - ничего кроме проблем. У тебя альтернативная логика. И какие проблемы от безопасных языков? Вон АДА/Спарк как пример безопасного языка - применяется на куче супер критических систем. > То есть это Тео должен заниматься тем чем он не брался и никогда не собирался? Э.. типа "раз ядро началось с С99 то теперь я буду писать только на нем" ? Ядро официально поддерживает 2 языка. Логично что задача программера в ядре освоить их хотя бы на уровне "я понимаю, что написано". > Он должен за растовиков делать их работу? Это его работа. Если он ломает АПИ, то логично что он и должен исправить функции. > Опять у тебя альтернативная логика. Нет у тебя. > Их не интересуют другие проекты. Они дали шанс показать пользу от rust в ядре. Пока не показали ничего. Да, а кому Линус говорил персональное спасибо за драйвера для М чипов написанных как раз на расте? Драйвер который прошел сертификацию кроноса? А это отличный пример, когда люди с незакостенелым мышлением могут сделать сложные вещи. > Пока он в очередной раз не скажет, что-то у вас не очень получается. В очередной раз макнув растовиков носом в их творения. Растовиков? Разве он упомянул что "они плохо делают свою работу"? Нет! Он сказал что but part of the problem is that old-time kernel developers are used to C and don't know Rust. They're not exactly excited about having to learn a new language that is, in some respects, very different. Т.е те самые диды неосиляторы.
	Ответить | Правка | Наверх | Cообщить модератору

	196. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 18-Ноя-24, 08:12
	Надоело - поскипал > Это его работа. Если он ломает АПИ, то логично что он и должен исправить функции. Нет. Не логично от слова совсем. Он не брался за эту работу. За эту работу брались другие. Пусть и делают. Если они не могут сделать нормальную систему интеграции - пусть сами с тем что создали и возятся. Пусть лепят свои куличики из ..овна сами, а если они попытаются взрослых дядей усадить в песочницу рядом с собой, то направление им показали. Один уже проследовал. > Растовиков? Разве он упомянул что "они плохо делают свою работу"? Если они не могут сделать так что бы это было ненапряжно для других, то как еще он мог сказать, что они делают это плохо? Начать, как раньше, помоями поливать?
	Ответить | Правка | Наверх | Cообщить модератору

	209. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 09:30
	>За эту работу брались другие. Пусть и делают. Так они и делают. Но их диды нарочно не пускают, потому что не хотят учить ещё один язык программирования. Был же случай, когда человек написал драйвер, подкорректировал для этого некоторый код на Си, но правки не принимали те самые диды-неосиляторы.
	Ответить | Правка | К родителю #196 | Наверх | Cообщить модератору

	177. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (177), 18-Ноя-24, 03:00
	Не бывает в рантайме zero-cost. Физически невозможно. Либо деплоить пользователям бинарь, собранный в дебаг режиме и огребать по полной с просадками производительности, либо собираеть без рантайм-проверок и молиться, что а) «он абсолютно точно работает так же, как и дебажный» и б) «на дебажном всё–всё протестил, багов нет, мамой клянусь». Пользователь находится в такой же дилемме Эскобара: либо у него просела производительность, но в случае неотловленного бага всё «безопасно» покрашится, либо использовать такой же «небезопасный» бинарь, как и на других языках, но только выплюнутный «самым безопасным на свете компилятором, верьте нам». Наглядная иллюстрация: бинарник библиотеки librsvg старых версий, ещё на сишечке, весит порядка 250Кб. Тот же самый код, будучи строчка–в–строчку переписанным на Rust (о чём мэйнтэйнер с гордостью заявлял: вот мол, так легко взял и переписал) — даёт бинарник порядка 4.5 Мб. Нестрипаемых. Такой–то zero–cost.
	Ответить | Правка | К родителю #3 | Наверх | Cообщить модератору

	11. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+6 +/–
	Сообщение от Аноним (11), 17-Ноя-24, 13:41
	Справедливости ради, отлов ошибки во время компиляции гораздо лучше аварийного завершения во время выполнения.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	53. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от _kp (ok), 17-Ноя-24, 14:51
	Ну, так поставил ловушку, перехватывай и обрабатывай, кто ж запретит.. А если именно бросать неосвобожденные объекты на самотек, то вполне вариант.
	Ответить | Правка | Наверх | Cообщить модератору

	67. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:24
	Аварийное завершение наоборот лучше чем выход за пределы.
	Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

	168. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (168), 17-Ноя-24, 22:41
	> Аварийное завершение наоборот лучше чем выход за пределы. Вы еще и не понимаете написанного. Или ловко всё свели только к "выходу за пределы". Вам сказали, что до ошибки в рантайме и не дойдет, ошибочный код будет отловлен еще на этапе компиляции, исполняемого файла даже не получите, чтобы там получился (условный!) "выход за пределы" или аварийное завершение. А так-то да, аварийное завершение лучше, чем критическая ошибка в эксплуатации, согласен. Но некомпилирующаяся из-за кривого ошибочного кода программа еще лучше. О чем и написал аноним выше.
	Ответить | Правка | Наверх | Cообщить модератору

	33. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+7 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:29
	> а всего то надо было сделать безопасную сишку Так это и не сишка, а какой-то кадавр с си-синтаксисом. В соседних темах люди не хотят использовать раст из-за просадки производительности на 1-2% по сравнению с чистой сишкой. А тут просадка в "1.5-5 раз" (ПЯТЬ!!!) и вы называете это заменой сишки?? Лучше уже на шарпе или свифте писать вместо этого недоразумения.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	41. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (41), 17-Ноя-24, 14:39
	Там не 1-2%. Всё, что во время компиляции не вычислить, не бесплатно.
	Ответить | Правка | Наверх | Cообщить модератору

	60. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Анонимусс (-), 17-Ноя-24, 15:09
	> Всё, что во время компиляции не вычислить, не бесплатно. Таки да. Простот сишники заб(и|ы)вают на проверки. А если проверять всё как нужно, то внезапно в си добавляется дофига рантайм проверок, т.к. компайлтам проверки практически отсутствуют. В отличие от раста. Плюс на расте нужно уметь писать. Вот прикольный тред users.rust-lang.org/t/rust-vs-c-vs-go-runtime-speed-comparison/104107/38 У чела раст оказался в 10+ раз медленнее. Но он не сказал "раст фигня!", а пошел разбираться что не так. И оказалось, что при идиоматическом написании кода можно получить код, который выполняет даже бытрее чем си. Хотя си, наверняка там тоже еще можно было поковырять.
	Ответить | Правка | Наверх | Cообщить модератору

	115. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (111), 17-Ноя-24, 17:31
	Это хороший инструмент отлавливать ошибки. Знаешь, что есть проблемное место. Собираешь - тестируешь. Ловишь - исправляешь. Возвращаешь назад обычную Си. Просто еще один способ отловить ошибку.
	Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

	154. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от diakin (ok), 17-Ноя-24, 20:23
	Кстати - да )
	Ответить | Правка | Наверх | Cообщить модератору

	35. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (55), 17-Ноя-24, 14:33
	> А визгу то стояло на опеннете что сишка небезопасная, а всего то > надо было сделать безопасную сишку и никакой раст больше никогда никому > не необходим. О, опять перепись не умеющих читать опеннетных Экспердов^W Военов Супротив Раста ... > Защита от проблем с памятью обеспечивается благодаря применению 128-разрядных указателей MonoCaps с метаданными для проверки типов и отслеживания границ буферов, а также задействованию сборщика мусора FUGC > При каждом обращении к памяти по указателю осуществляется проверка границ и типа (например, в память с типом "ptr" не могут быть записаны данные с типом "int" и наоборот). > собираемые в Fil-C программы медленнее примерно в 1.5-5 раз, по сравнению со сборкой обычными компиляторами >
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	49. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:47
	Это поделие надо сравнивать с Go или Java, но никак не с Rust.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	54. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:53
	Ахаха, какое молниеносное переобувание. От "сишка быстрее раста на 5 процентов" до "замедление в 5 раз это норм" и "GC рулит".
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	71. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (71), 17-Ноя-24, 15:35
	В то время, когда типизированный код, не важно, на rust, ocaml или haskell приниципиально защищён от некоторых ошибок, например null pointer, сишники изобретают какую-нибудь java, который будет падать с NPE. Словно мы живём в 1990-ых, а не 2020-ых. А ATS сишникам даже и не снится.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

	83. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (83), 17-Ноя-24, 16:18
	Типы стали как в бейсике (с аппаратно-зависимыми границами) плюс сборщик мусора. Вообщем как у многих ЯП. Остался только синтаксис.
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

6. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Аноним (1), 17-Ноя-24, 13:36
Конечно не мешало бы более подробно расписать чем сабж лучше zig, но в первом приближении ничем.
Ответить | Правка | Наверх | Cообщить модератору

	21. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 13:57
	zig если и иожно сравнивать - то с СИ. До плюсов ему еще расти и расти. (Если он вообще дорастет до чего-то внятного). А сабж, как заявляется, поддерживает С++ - вот уже причем "чем лучше". Как в анекдоте "- Ну чем он лучше? -- Чем Zig!"
	Ответить | Правка | Наверх | Cообщить модератору

	25. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Анонимусс (-), 17-Ноя-24, 14:10
	А чем вообще зиг лучше чем си в плане безопасности? Как сделать use-after-free на "безопасном" zig'e демонстрировали не раз и не два opennet.ru/openforum/vsluhforumID3/132732.html#71 opennet.ru/openforum/vsluhforumID3/134833.html#48 У зига есть свой unsafe для рантайма @setRuntimeSafety(false), что те же зиганутые и сишники указывали недостатком раста. В общем когда это васяноподелие дорастет хотя бы до версии 1.0 - тогда и поговорим.
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

	27. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (1), 17-Ноя-24, 14:15
	Так если на сабжевом языке начать снимать штаны через голову тоже можно что-нибудь словить. Так что в этом плане паритет.
	Ответить | Правка | Наверх | Cообщить модератору

	29. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Анонимусс (-), 17-Ноя-24, 14:20
	> Так если на сабжевом языке начать снимать штаны через голову тоже можно что-нибудь словить. Та ну. Это просто максимально упрощенный пример. В сишке тоже такие примеры выглядят смешно "Да кто так вообще может писать??". И при этом use-after-free попадает в тройку самых популярных причин дыреней. > Так что в этом плане паритет. Теорема Эскобара в действии)) Ну и зачем оно тогда нужен. Особенно с такими ограничениями как жырнючие указатели и ломание ABI.
	Ответить | Правка | Наверх | Cообщить модератору

	40. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (36), 17-Ноя-24, 14:39
	Тем что не нужно переписывать код и сишки? И там что заявлена поддержка механизмов "безопасного" программирования? Каким местом ты вообще сюда zig приплёл?
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

	47. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:46
	> Тем что не нужно переписывать код и сишки? Что значит не нужно? Прямо в новости написано: Другим ограничением Fil-C является принципиальный отказ от сохранения совместимости на уровне ABI для кода на C/C++, что не позволяет связывать собираемый в Fil-C код с библиотеками и объектными файлами, собранными другими компиляторами. Это значит, что для взаимодействия с другими либами тебе придется переписывать все или почти все. А учитывая просадки в производительности - то нафига оно вообще надо?
	Ответить | Правка | Наверх | Cообщить модератору

	155. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (155), 17-Ноя-24, 21:09
	смена ABI была про перекомпиляцию, а не про переписывание.
	Ответить | Правка | Наверх | Cообщить модератору

	139. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (139), 17-Ноя-24, 18:17
	Как минимум тем, что пробелы никакие неадекваты не навязывают.
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

	156. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (156), 17-Ноя-24, 21:26
	Тем, что неадекваты не выпиливают с языка многострочные комменты
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

9. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+3 +/–
Сообщение от Аноним (11), 17-Ноя-24, 13:39
Это Valgrind на стероидах?
Ответить | Правка | Наверх | Cообщить модератору

	45. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (36), 17-Ноя-24, 14:43
	Нет, это не внешняя тулза для поиска "сишных дыреней" при выполнении. А встроенная система для поиска "сишных дыреней" при выполнении. То есть скорее на минималках, чтобы его можно было в рантайме с меньшими издержками применять. И нельзя было просто выключить извне.
	Ответить | Правка | Наверх | Cообщить модератору

	81. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (81), 17-Ноя-24, 16:11
	Valgrind медленнее в 30 раз.
	Ответить | Правка | К родителю #9 | Наверх | Cообщить модератору

10. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
Сообщение от Аноним (-), 17-Ноя-24, 13:40
> - All allocations are *garbage collected* using Ну, блин, да... яву можно и из сишки сделать. Я так то и -fsanituze=address,undefined могу вхреначить с тем же успехом.
Ответить | Правка | Наверх | Cообщить модератору

	23. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:00
	А поможет? Тут на форуме кидали ссылку на "очередную сишную дырень" в проекте обмазанному санитайзерами. Искать лениво, но там оно не помогло.
	Ответить | Правка | Наверх | Cообщить модератору

	48. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (36), 17-Ноя-24, 14:47
	Потому что не было покрыто тестами, очевидно. И фаззинг не выполняется, или неправильно прикручен. Если бы релиз распространялся бы с санитайзерами, то твоя "дырень" бы просто не выстрелила, так как программа бы скоропостижно скончалась. И работала бы в 10 раз медленнее.
	Ответить | Правка | Наверх | Cообщить модератору

	28. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Фнон (-), 17-Ноя-24, 14:17
	Не поможет. Вот хрестоматийный пример из такой "ненужной" SSL либы: Целая куча дыреней в OpenSSL/LibreSSL - https://www.opennet.ru/opennews/art.shtml?num=58622 - чтение из области вне границ буфера - Use-after-free - двойное освобождение памяти - некорректное разыменование указателя - разыменование указателя NULL (x2) ну и еще одна логическая проблема, которая решается нормальными типами При этом ворнинги включены, оба проекта обмазаны санитайзерами по самое немогу - и memory, и thread, и еще куча других https://github.com/openssl/openssl/actions/runs/4124496105 Там даже фаззинг какой-то есть. Так что санитайзеры и анализаторы это как "мертвому припарки". Да может что-то найдется из элементарного, но скорее для самоуспокоения "я сделал все что мог"))
	Ответить | Правка | К родителю #10 | Наверх | Cообщить модератору

	153. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (153), 17-Ноя-24, 20:15
	Уязвимость вызвана неправильной интерпретацией типов (Type Confusion) при обработке адреса -В большинстве ситуаций для успешного осуществления атаки злоумышленник должен контролировать используемый список отозванных сертификатов (CRL) -Для успешного проведения атаки требуется отправка очень большого объёма пробных сообщений для расшифровки. -Атака может привести к аварийному завершению приложения или утечке содержимого памяти процесса, выполняемого на стороне клиента -уязвимость ограничена возможностью инициирования аварийного завершения процесса. - ... и так далее. Если кратко то все заканчиватся тем что при попытке выхода за границы - программа крашится ибо собрана с защитой. Тут скорей хакер и солонка...
	Ответить | Правка | Наверх | Cообщить модератору

13. Скрыто модератором	+4 +/–
Сообщение от Аноним (-), 17-Ноя-24, 13:45
Хаха, сколько лет дµряшечники рассказывали "да не нужны никакие дополнительные проверки, нормальный программист не совершает таких глупых ошибок!". А тут бац - парад мутантов, то TrapCʼы, то Circleʼы и вот новый, с применением 16-байтовых указателей и отказом от сохранения совместимости на уровне ABI для кода на C/C++ и сборщиком мусора/. Наверное что-то случилось))
Ответить | Правка | Наверх | Cообщить модератору

	20. Скрыто модератором	+/–
	Сообщение от Гильгамеш (?), 17-Ноя-24, 13:54
	> Наверное что-то случилось)) трон зашатался, вот и зашевелились
	Ответить | Правка | Наверх | Cообщить модератору

	82. Скрыто модератором	+3 +/–
	Сообщение от Аноним (82), 17-Ноя-24, 16:16
	Хотел бы я посмотреть, как вы от C ABI откажетесь, программируя задачи реального мира на любом языке, тронные шатуны.
	Ответить | Правка | Наверх | Cообщить модератору

	107. Скрыто модератором	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:10
	Может со временем и откажемся. PDP-11 тоже казася вечным. А может нет. Главное отказаться от самой сишки. Текущие тенденции, начиная от гугла с его "2 из 3х" и даже заявления представителей правительственных учереждений, делают мысль "дыряшка это зло" не такой фантастической. Если приучить людей что СИ/С++ это просто инструменты дырявых бракоделов, то процесс отказа от кривого наследия дидов пойдет веселее.
	Ответить | Правка | Наверх | Cообщить модератору

	108. Скрыто модератором	+/–
	Сообщение от Аноним (105), 17-Ноя-24, 17:15
	Главное громко верещать что все перепишут на свой язык. И обвинять других что они не переписывают. Детский подход как всегда.
	Ответить | Правка | К родителю #82 | Наверх | Cообщить модератору

	110. Скрыто модератором	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:25
	> Главное громко верещать что все перепишут на свой язык. И обвинять других что они не переписывают. Детский подход как всегда. Главное громко верещать "вы не заставите всех выучить раст" как диды из ядра. И ставить палки в колеса.
	Ответить | Правка | Наверх | Cообщить модератору

	118. Скрыто модератором	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 17:35
	Отказываться выполнять чужую работу - это палки в колеса?
	Ответить | Правка | Наверх | Cообщить модератору

	150. Скрыто модератором	+/–
	Сообщение от Советский инженер (ok), 17-Ноя-24, 19:39
	>Отказываться выполнять чужую работу Писать ядро без дыреней  - это чужая работа?
	Ответить | Правка | Наверх | Cообщить модератору

16. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Stanislavvv (?), 17-Ноя-24, 13:51
> С незначительными модификациями поддерживается сборка OpenSSH Интересно, это как когда-то в дебиане, где вырезали нужное?
Ответить | Правка | Наверх | Cообщить модератору

	38. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:37
	>> С незначительными модификациями поддерживается сборка OpenSSH > Интересно, это как когда-то в дебиане, где вырезали нужное? Жирный набросю. В дебиане ничего нужного не вырезали. Это просто вы почему-то считаете ненужное нужным.
	Ответить | Правка | Наверх | Cообщить модератору

	44. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (55), 17-Ноя-24, 14:42
	>> С незначительными модификациями поддерживается сборка OpenSSH > Интересно, это как когда-то в дебиане, где вырезали нужное? Не вырезали, а оптимизировали! https://cve.mitre.org/cgi-bin/cvename.cgi?name=cve-2008-0166
	Ответить | Правка | К родителю #16 | Наверх | Cообщить модератору

22. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Аноним (22), 17-Ноя-24, 14:00
А он то этот компелятор новый совместим полностью со старым кодом? Или это новое слово в науке, типа Раста.
Ответить | Правка | Наверх | Cообщить модератору

	24. Скрыто модератором	+3 +/–
	Сообщение от Фнон (-), 17-Ноя-24, 14:07
	Ты вообще статью читал? Ну вот честно? "Другим ограничением Fil-C является принципиальный отказ от сохранения совместимости на уровне ABI для кода на C/C++, что не позволяет связывать собираемый в Fil-C код с библиотеками и объектными файлами, собранными другими компиляторами." Ответ - нет, придется пересобирать-перекомпилять.
	Ответить | Правка | Наверх | Cообщить модератору

	56. Скрыто модератором	+2 +/–
	Сообщение от Аноним (36), 17-Ноя-24, 14:55
	> Ответ - нет, придется пересобирать-перекомпилять. Ого, чтобы программа была собрана новым компилятором, оказывается её нужно пересобрать новым компилятором!
	Ответить | Правка | Наверх | Cообщить модератору

34. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Аноним (-), 17-Ноя-24, 14:29
Лол, история Раста это прямо как в цитате "Сначала они тебя не замечают, потом смеются над тобой, затем борются с тобой, а потом" ... начинают лепить корявые велосипеды из костылей Видно последние заявления АНБ и прочих про "дырявые языки" слишком много пятых точек подожгло.
Ответить | Правка | Наверх | Cообщить модератору

51. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
Сообщение от Аноним (51), 17-Ноя-24, 14:48
Еще раз повторяю. Это просто противоречит причинам, по которым создавался Си. Посмотрите сурцы Win 3.1 SDK. Там все на голом асме. Вот чтобы не писать на нем, но иметь те же преимущества по размеру и производительности - изобрели Си. Если Си завернуть в виртуальную машину или что то типа того - от него не будет никакого толку. Просто нынешнее поколение проггеров это не понимает. Они уже привыкли писать ОС на питоне. После этого уже ничего не страшно.
Ответить | Правка | Наверх | Cообщить модератору

	57. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:55
	Да, ты полностью прав. СИ - это переносимый ассемблер * И его делали, чтобы даже самые тупые прогаммеры (не осилившие фортран) могли наовнячить по быстрому какой-то код. Типа ПХП из 70х. Про корректность или безопасность вообще никто не думал. Как и про "архитектуру языка". Об этом начали думать примерно когда сочиняли АДУ. * но придется обмазаться ifdef'ами. и подобрать нужную версию компилятора. И надеяться, что создатели компилятора обработали UB и твой код не сделает тебе больно. И молиться, что при переходе на след версию языка поведение не поменяется. А так, в общем вполне переносимый))
	Ответить | Правка | Наверх | Cообщить модератору

	70. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (1), 17-Ноя-24, 15:28
	Какая безопасность когда у тебя в 70-х сотня ЭВМ на всё США. Если в него залезет хакер и выйдет за пределы буфера, он ничего там не найдет. Кроме безысходности. Больше того сейчас критическая инфраструктура не использует раст, а просто использует закрытый контур. Точно так же как в 70-е. И в 1 году после р.х. Кому нужны твои котики на пхп сайтике? Даже от майнера там толку нуль.
	Ответить | Правка | Наверх | Cообщить модератору

	72. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 15:39
	> Какая безопасность когда у тебя в 70-х сотня ЭВМ на всё США. Именно! Но сейчас уже не 70е. А сейчас у тебя в компе/смартфоне куча важной инфы, от банковских/бизнес данных до твоего хоумвидео. И использовать закрытый контур для этого - так себе решение. А сишники продолжают омнокодить как 70х. > Больше того сейчас критическая инфраструктура не использует раст И слава богу. Не дорос он еще до нее. Хотя первые примеры уже появляются - Вольво, Рено. Но еще более слава богу - в критической инфраструктуре дыряшка использует тоже очень редко - там рулит Ада или вообще аппаратные решения. А если и используется, то это всякие мисры, которые при таком кол-ве ограничений с си имеют общего только синтаксис. И кстати, что подозрительно - Ada Spark стали серебрянным спонсором Rust Foundation.
	Ответить | Правка | Наверх | Cообщить модератору

	77. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (77), 17-Ноя-24, 16:06
	> придется обмазаться ifdef'ами. и подобрать нужную версию компилятора. Это не совсем так. У меня 100% исходников компилируются GCC под ОС Linux, Windows (MinGW), BSD, macOS и Haiku.
	Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

	80. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 16:09
	> Это не совсем так. У меня 100% исходников компилируются GCC под ОС Linux, Windows (MinGW), BSD, macOS и Haiku. Хм.. предположу что это не helloworld. А как решаются системо-зависимые штуки? Ну хотя бы пути к файлам, которые для Linux, Windows и macOS слегка разные?
	Ответить | Правка | Наверх | Cообщить модератору

	122. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 17:40
	https://en.cppreference.com/w/cpp/filesystem
	Ответить | Правка | Наверх | Cообщить модератору

	123. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–2 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:52
	А, т.е у тебя эти все ifdef просто завернуты в другую либу? Ну тогда програмы на электроне это круто, а JS - тоже полностью переносимый язык)
	Ответить | Правка | Наверх | Cообщить модератору

	164. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 22:05
	> А, т.е у тебя эти все ifdef просто завернуты в другую либу? > Ну тогда програмы на электроне это круто, а JS - тоже полностью переносимый язык) Попробуй сказать что JS непереносим. Посмеёмся. Он для этого и создавался. Вот только он интерпретируемый. У компилируемых языков есть один способ переносимости - в общем случае для каждой архитектуры своя реализация. У rust с этим проблемы. Потому что надо много кода дублировать. Меньше чем у любого другого языка проблем у C и C++, ибо они изначально заточены на переносимость - получение своей реализации программы для каждой целевой платформы из одного кода (на это работает система типов и условной компиляции).
	Ответить | Правка | Наверх | Cообщить модератору

	130. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (77), 17-Ноя-24, 18:02
	Это приложение научного назначения, а абсолютная кроссплатформенность - это, скорее, доказательство возможности этого. Проект не слишком прост алгоритмически. В частности, один из последних разработанных методов - многослойная нейронная сеть, обучаемая методом обратного распространения ошибки. А перед ним была линейная алгебра, включая матричные разложения. По поводу различных ОС потребовались некоторые исследования на всех платформах. При этом macOS и Haiku установлены в VirtualBox под Linux, остальные три - на реальном оборудовании (даже специально нашел три б/у корпуса типа FlexATX, чтобы место сэкономить, и купил KVM). Вся разработка - под Linux, для остальных ОС - только сборка. Конечно, отличаются пути, пользовательские профили, папки конфигурации и т.д. Также есть отличия в синтаксисе пакетных файлов, которые применяются для инсталляции приложений и запуске бэкэндов. Надо сказать, что для Linux, UNIX и Windows данные файлы - те же самые. Большим плюсом оказался следующий факт. Сейчас бэкэнды сделаны на C++. Но в принципе, Хотя такая задача не ставилась, отдельные модули могут быть составлены на любом языке программирования.
	Ответить | Правка | К родителю #80 | Наверх | Cообщить модератору

	142. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 18:22
	> Большим плюсом оказался следующий факт. Сейчас бэкэнды сделаны на C++. Но в принципе, Хотя такая задача не ставилась, отдельные модули могут быть составлены на любом языке программирования. Ну погоди. Тогда это не уникальная особенность СИ или плюсов. Сделать некое ядро, к которому будет обращаться другой код это довольно распространенная практика. И это может быть хоть С/С++, хоть swift (на нем вон кроссплатформенный браузер пишут), хоть какой-то V. Но все равно на каком-то уровне будет те самые ifdefʼы. Если тебе провезет - то тебе их писать не придется, тк их написал кто-то другой, например в СТД. Но если говорить про си и плюсы - то у них приложение может выдавать разный результат, даже при смене версии компилятора. Т.е условно на одной машине будет 1, а на другой -1. Спасибо дидам из коммитета)
	Ответить | Правка | Наверх | Cообщить модератору

	193. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от фф (?), 18-Ноя-24, 07:30
	вот прям интересно стало - можете привести пример кода, соответсвующего какому-либо стандарту С, без UB, и чтоб от компилятора зависел результат функции?
	Ответить | Правка | Наверх | Cообщить модератору

	197. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Stanislavvv (?), 18-Ноя-24, 08:18
	> Но если говорить про си и плюсы - то у них приложение > может выдавать разный результат, даже при смене версии компилятора. > Т.е условно на одной машине будет 1, а на другой -1. > Спасибо дидам из коммитета) Вообще-то иногда и версию менять не надо — достаточно просто собрать с другими опциями оптимизации...
	Ответить | Правка | К родителю #142 | Наверх | Cообщить модератору

	84. Скрыто модератором	+/–
	Сообщение от Аноним (84), 17-Ноя-24, 16:21
	> ПХП из 70х. Шта?
	Ответить | Правка | К родителю #57 | Наверх | Cообщить модератору

	76. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (77), 17-Ноя-24, 16:04
	Phyton уступает C по скорости в 60 тысяч раз. Он никаким образом ему не конкурент.
	Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

	86. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (84), 17-Ноя-24, 16:23
	Ну про 6*10^4 раз это вы, конечно, сиильно загнули.
	Ответить | Правка | Наверх | Cообщить модератору

	92. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (92), 17-Ноя-24, 16:45
	Производительность даже кор 2 дуо избыточна для тех задач (сеть, I/o) где используется пайтон
	Ответить | Правка | К родителю #76 | Наверх | Cообщить модератору

	133. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от 12yoexpert (ok), 17-Ноя-24, 18:06
	то-то у меня кура на райзене полчаса стартует, нужно было брать кор два дуо
	Ответить | Правка | Наверх | Cообщить модератору

	175. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от uis (ok), 18-Ноя-24, 02:01
	Создатели io_uring: "Там хотя-бы 10 тысяч активных соединений наберётся? У нас кор 2 дуо и гигабитка 10 миллионов обрабатывают."
	Ответить | Правка | К родителю #92 | Наверх | Cообщить модератору

	140. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (139), 17-Ноя-24, 18:20
	Напомнить, как Windows 3.11 зависала и крашилась?
	Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

	184. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от ДаНуНафиг (?), 18-Ноя-24, 04:13
	Напомни, а то у меня вполне нормально работала.
	Ответить | Правка | Наверх | Cообщить модератору

	190. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Karl Richter (ok), 18-Ноя-24, 07:15
	Си не удовлетворяет потребности в безопасности. А об оптимизации, к сожалению, уже мало заботятся и полагаются на производительность аппаратуры.
	Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

90. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
Сообщение от ffsdmad (ok), 17-Ноя-24, 16:44
Получается, что Руст не нужен, но спрашивается, а зачем на него вообще тратят время и средства?
Ответить | Правка | Наверх | Cообщить модератору

	94. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+3 +/–
	Сообщение от Аноним (92), 17-Ноя-24, 16:48
	Много чего ненужного существует. Я вот считаю продукцию эппла сферическим ненужно в вакууме,но ведь есть хомячьё, которое её скупает и стоит в очередях перед выходом нового ипхона.
	Ответить | Правка | Наверх | Cообщить модератору

	95. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 16:49
	> Получается, что Руст не нужен, Неа, как раз с учетом того, что нынешняя поделка "медленнее примерно в 1.5-5 раз" да еще и GC сверху - раст очень нужен) > но спрашивается, а зачем на него вообще тратят время и средства? Твои что ли? В опенсорсе парад велосипедов это норма. 100500 ДЕ, десятки дистрибутивов, сотни однообразных утилит разной степени кривости...
	Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

	127. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от ffsdmad (ok), 17-Ноя-24, 17:58
	>> Получается, что Руст не нужен, > Неа, как раз с учетом того, что нынешняя поделка "медленнее примерно в > 1.5-5 раз" да еще и GC сверху - раст очень нужен) >> но спрашивается, а зачем на него вообще тратят время и средства? > Твои что ли? > В опенсорсе парад велосипедов это норма. > 100500 ДЕ, десятки дистрибутивов, сотни однообразных утилит разной степени кривости... я думаю, что не стоит очаровываться на долгий период Рустом, поигрались и ладно
	Ответить | Правка | Наверх | Cообщить модератору

	149. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 19:35
	А зачем им очаровываться вообще? Он свою задачу выполняет? Выполняет. Безопаснее чем сишка? Безопаснее. Что тебе еще нужно? Очаровательный ли он? Совсем нет. Есть что улучшать. Если через 10 лет выпустят убийцу раста, который будет давать еще больше гарантий - ну так это будет круто. > поигрались и используем в проде. И не только мы.
	Ответить | Правка | Наверх | Cообщить модератору

	166. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (111), 17-Ноя-24, 22:11
	> Что тебе еще нужно? Нужно: 1. В системах с общей памятью для всех процессов я бы хотел гарантию невозможности получить доступ к памяти соседнего процесса при использования только безопасного режима. Гарантии. Ее, к сожалению нет. Или 2. Возможность нормальной условной компиляции, что бы не надо было дублировать практически всю функциональность для разных реализаций.  То, что просто необходимо для системного языка. Сейчас у rust слезы а не условная компиляция.
	Ответить | Правка | Наверх | Cообщить модератору

	171. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 00:19
	> 1. хотел гарантию невозможности получить доступ к памяти соседнего процесса Интересное желание. Такое где-то реализовано? > 2. Возможность нормальной условной компиляции А можно пример языка, где, по вашему мнению, сделано так как нужно? Или оно просто везде плохо, но от этого не легче?
	Ответить | Правка | Наверх | Cообщить модератору

	187. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (185), 18-Ноя-24, 05:33
	Это без оптимизаций. Они лишь реализовали необходимый функционал..
	Ответить | Правка | К родителю #95 | Наверх | Cообщить модератору

	102. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 16:59
	Удивительно, что про ненужность раста пишет Илья - Веб-программист, который программирует на Python и JavaScript (рак современного интернета). И который рассказывает про Flask/Angular1/Vue2.
	Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

	124. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от ffsdmad (ok), 17-Ноя-24, 17:53
	А я и на Си программирую и на Руст, но от Руст начинает подташнивать. Карго у них хорош, вот его в Си не хватает
	Ответить | Правка | Наверх | Cообщить модератору

	126. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:58
	> А я и на Си программирую и на Руст Верим, верим. Но лучше уж на JS.
	Ответить | Правка | Наверх | Cообщить модератору

	128. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от ffsdmad (ok), 17-Ноя-24, 18:00
	так да вы и Руст верите, но он идёт лесом. бывает
	Ответить | Правка | Наверх | Cообщить модератору

	134. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от 12yoexpert (ok), 17-Ноя-24, 18:07
	его лоббируют майки
	Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

	141. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Анонимусс (-), 17-Ноя-24, 18:21
	> его лоббируют майки Его лоббирует гугл. Не просто так они весь дыряшечный код заменяют на раст или на крайняк на с++. Хотя если посмотреть на поддерживающих Rust Foundation, то там и AWS, и Meta, и Huawei... и это только платиновые)))
	Ответить | Правка | Наверх | Cообщить модератору

	179. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от keydon (ok), 18-Ноя-24, 03:20
	https://foundation.rust-lang.org/about/ Гугл, майкрософт, амазон, мета. Раньше еще нагляднее было из каких организаций, но достаточно погуглить резюме этих членов. Самое эпичное из того что видел "я не кодю на расте и вообще не кодер, но работала с парламентами и правительствами и такими организациями как гугл и мета" (немного вырвал из контекста, но общий смысл думаю понятен).
	Ответить | Правка | Наверх | Cообщить модератору

	204. Скрыто модератором	+1 +/–
	Сообщение от Аноним (204), 18-Ноя-24, 09:16
	каждый раз, когда 12yoexpert открывает рот, оттуда воняет враньём
	Ответить | Правка | К родителю #134 | Наверх | Cообщить модератору

	161. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от px (??), 17-Ноя-24, 21:49
	Нет, всё ещё нужен. Ты просто не разбираешься. Эта штука для того, чтобы проверять косяки прямо во время выполнения, разменивая производительность на, своего рода, безопасность. А Rust, чтобы исключить сам класс ошибок работы с памятью во время выполнения и ничего не проверять.
	Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

	180. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от keydon (ok), 18-Ноя-24, 03:22
	Огласите пожалуйста весь список ошибок которые раст гарантированно исключает.
	Ответить | Правка | Наверх | Cообщить модератору

	195. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от ffsdmad (ok), 18-Ноя-24, 08:10
	но эти исключения поделились на unsafe, вы о чём
	Ответить | Правка | К родителю #161 | Наверх | Cообщить модератору

	215. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 09:50
	Такие заявления, после того, как ты выше ты говоришь о том, что программируешь на расте? Что ты там программируешь? Хеллоувролд из rust book написал?
	Ответить | Правка | Наверх | Cообщить модератору

96. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–2 +/–
Сообщение от тоже Аноним (ok), 17-Ноя-24, 16:51
Названия компилятора и сборщика мусора почему-то напомнили, что Линус Торвальдс собственную ОС назвал - Freax... Тут яростно сравнивают проект с Растом, хотя разница вроде бы очевидна. Раст утверждает: "весь сишный код нужно выкинуть и переписать". Проект предлагает: "зачем переписывать? Решение компьютерных проблем вполне можно доверить самому компьютеру". С точки зрения ПО, которому не критична производительность (а это 90% всего софта) - это заведомо более дешевое и перспективное решение, чем "выкинуть и написать правильно".
Ответить | Правка | Наверх | Cообщить модератору

	99. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (92), 17-Ноя-24, 16:54
	> С точки зрения ПО, которому не критична производительность (а это 90% всего софта) А потом удивляются почему хром тормозит на свежем i9 и RTX какой-то там. (напомню, что исторически браузер мало чем отличался от блокнота по потреблению ресурсов, когда программисты были программистами и озадачивались оптимизацией)
	Ответить | Правка | Наверх | Cообщить модератору

	104. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:05
	> исторически браузер мало чем отличался от блокнота по потреблению ресурсов А содержимое браузера было "слегка форматированный ХТМЛ". Многие поделки из той эпохи, типа линкса или дилло, даже не поддерживают CSS в полном объеме. Так что твое заявление на уровне "вот раньше телегу можно было починить используя коровью лепеху и палки, не то что сейчас".
	Ответить | Правка | Наверх | Cообщить модератору

	112. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от тоже Аноним (ok), 17-Ноя-24, 17:29
	Напомню, что современный браузер - это фактически виртуальная машина и среда для исполнения ПО. Разумеется, к прикладному софту, не требующему оптимизации, браузеры не относятся. Но относятся к постоянно и динамически изменяющемуся софту, обеспечивающему обратную совместимость. Что неизбежно сопровождается неуклонным ухудшением оптимизации.
	Ответить | Правка | К родителю #99 | Наверх | Cообщить модератору

	117. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (92), 17-Ноя-24, 17:35
	Вспоминаю вэб конца 2000х и начала 2010х, тогда был расцвет нетбуков на немощных атомах, и тот вэб был идеален и в плане дизайна вэб страниц и в плане информационного наполнения. И всё летало, не лагало, сейчас же браузер наверное даже более требователен к ресурсам, чем игры AAA.
	Ответить | Правка | Наверх | Cообщить модератору

	121. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от тоже Аноним (ok), 17-Ноя-24, 17:40
	> Вспоминаю вэб конца 2000х и начала 2010х, тогда был расцвет нетбуков Прошлое идеализируется, есть такой психологический стереотип. Никакого "расцвета нетбуков" не было - был маркетинговый хайп "вам достаточно ноутбука, на котором мы жестко сэкономили", он лопнул, как и любая ложь. И сайты тогдашние на них отнюдь не летали. У меня на айпаде с полугигом памяти, например, тормозил и падал... башорг. Да-да, нарочито примитивный сайт... с подключенной баннерной сетью, которая выжирала память, как не в себя.
	Ответить | Правка | Наверх | Cообщить модератору

	136. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от 12yoexpert (ok), 17-Ноя-24, 18:08
	> С точки зрения ПО, которому не критична производительность (а это 90% всего софта) - это заведомо более дешевое и перспективное решение, чем "выкинуть и написать правильно". пока бинарник на расте будет грузиться в раму, сишная прога уже отработает
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	172. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (168), 18-Ноя-24, 00:20
	> Раст утверждает: "весь сишный код нужно выкинуть и переписать". Это ты утверждаешь.Раст ничего не утверждает, он даже не ИИ. Ну может еще утверждают фанатики или мегаоптимисты, оторванные от реальности. А прагматики, "проводившие исследования в поле", утверждают, что переписывать весь _старый_ сишный код не надо, надо _новый_ код перестать на нем писать и вести разработку новья хотя бы и на расте (для нативной системщины или разного компилируемого).
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	173. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 00:25
	> Раст утверждает: "весь сишный код нужно выкинуть и переписать". Эээ, если с тобой уже начинают ЯП разговаривать, то наверное стоит отдохнуть. Ну или к доктору сходить. > Проект предлагает: "зачем переписывать? Решение компьютерных проблем вполне можно доверить самому компьютеру". Ценой от 1.5 до 5 раз по производительности. Отличное решение! Просто генитальное! Ты случайное не в Интеле/Амд работаешь? > С точки зрения ПО, которому не критична производительность (а это 90% всего софта) - это заведомо более дешевое и перспективное решение, чем "выкинуть и написать правильно". Подумаешь ворд будет тормозить в 3 раза. Я уже молчу про такую особенность отказ от сохранения совместимости на уровне ABI для кода на C/C++, что не позволяет связывать собираемый в Fil-C код с бинарными библиотеками и объектными файлами, собранными другими компиляторами которая не только не позволит использовать системные либы, но и сделает вендорлок на одном компиляторе
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	181. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от keydon (ok), 18-Ноя-24, 03:24
	> С точки зрения ПО, которому не критична производительность (а это 90% всего софта) - это заведомо более дешевое и перспективное решение, чем "выкинуть и написать правильно". С т.зр. ПО которому критична производительность переписать на расте тоже не вариант. Раст не нужен и никогда не был нужен. Это заранее устаревший язык раздутый маркетологами.
	Ответить | Правка | К родителю #96 | Наверх | Cообщить модератору

	191. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Karl Richter (ok), 18-Ноя-24, 07:21
	Поддерживаемый США в вопросах по кибербезопасности.
	Ответить | Правка | Наверх | Cообщить модератору

101. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–2 +/–
Сообщение от Аноним (101), 17-Ноя-24, 16:58
Безопасные сишечки еще не готовы, а опасный gcc 14 уже жалуется на указатели.
Ответить | Правка | Наверх | Cообщить модератору

	165. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним123 (?), 17-Ноя-24, 22:07
	На что именно жалуется?
	Ответить | Правка | Наверх | Cообщить модератору

125. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+3 +/–
Сообщение от Филипп Филиппович (ok), 17-Ноя-24, 17:55
Оно мило, может иметь некоторое ограниченное применение, но всё-таки это прикрученный контроль в рантайме, отсюда и оверхед, в том числе и по памяти. А современный подход -- максимум контроля в compile-time, а в рантайме -- только то, что никак при компиляции не сделать. В чистом C сделать контроль многих вещей при компиляции в общем случае почти нереально. В C++ -- тоже только при соблюдении определённого стиля программирования (ибо C++ без ограничений допускает всё, что допускает C, и имеет потому все грабли C).
Ответить | Правка | Наверх | Cообщить модератору

	201. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 09:07
	> В чистом C сделать контроль многих вещей при компиляции в общем случае почти нереально. Я думаю реально, просто никто ещё не занялся. Всё что надо, перейти от локального анализа сорцов компилятором к глобальному. Где-то можно обойтись локальным, но для этого надо научиться генерировать к каждой функции описание лайфтаймов указателей в аргументах и возвращаемых значениях. Программисты, всё же, в большинстве ситуаций, могут доказывать, что их код работает. Они делают это неформально, и как правило они не 100% уверены в своих доказательствах, но даже в этом случае они близки к полноценному доказательству, им совсем чутка не хватает мозгов или времени. Проблема в том, что программист в большинстве случаев усложняет программу ровно до того момента, когда он теряет способность строго доказывать утверждения про неё. После этого он начинает испытывать огромное нежелание делать ситуацию сложнее, но и упрощать ему не очень хочется, потому что придётся переписывать полпрограммы. Всё что надо -- это железный доказыватель, который будет чуть сильнее в доказательствах, чем программист. И это можно, современные математические тулзы это демонстрируют. И такие доказательства, потенциально, могут давать больше гарантий чем Rust, причём с меньшими ограничениями накладываемыми на программиста. Из возможных проблем тут, разве что выход сложности кода за пределы того, что программист может понять даже приблизительно. Железный доказыватель сможет доказать про код, что тот правильный, или указать на неправильность, но не понимая доказательства программист не сможет ничего исправить.
	Ответить | Правка | Наверх | Cообщить модератору

174. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от uis (ok), 18-Ноя-24, 01:57
> Защита от проблем с памятью обеспечивается благодаря применению 128-разрядных указателей MonoCaps с метаданными для проверки типов и отслеживания границ буферов Ща придёт МЦСТ и скажет "а у нас так в железе давно работает".
Ответить | Правка | Наверх | Cообщить модератору

	183. Скрыто модератором	+1 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 04:07
	>МЦСТ Чо за типок с какого он раёна?
	Ответить | Правка | Наверх | Cообщить модератору

182. Скрыто модератором	+/–
Сообщение от Аноним (-), 18-Ноя-24, 04:07
Диалект языка Си - Cyclone, некто не слышал а? велосипеды умеем городить? А наработки дедов взять нельзя?
Ответить | Правка | Наверх | Cообщить модератору

188. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Аноним (188), 18-Ноя-24, 06:39
FUGC (Fil's Unbelievable Garbage Collector) c ЧСВ у чувака всё в порядке, как в общем то и у линуса
Ответить | Правка | Наверх | Cообщить модератору

192. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Пупсик (?), 18-Ноя-24, 07:26
Я нубик. Объясните в чем была проблема добавить в Си/++ "безопасные функции"работы с памятью, а не создавать новый язык?
Ответить | Правка | Наверх | Cообщить модератору

	194. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от фф (?), 18-Ноя-24, 07:39
	дык безопасных функций в С и так полно. во-первых, надо как-то заставить программистов ими пользоваться. во-вторых, в них можно передать неправильные данные, и тогда все равно всё сломается. в С принято верить программисту - если он написал что надо сломать стек, значит надо - вдруг это такая хитрая оптимизация?
	Ответить | Правка | Наверх | Cообщить модератору

	208. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от awoland (ok), 18-Ноя-24, 09:24
	Пресловутая "небезопасность" C и C++ в большей степени заключается в криворукости программистов. Просто С и С++ позволяет больше свободы для кода, которой очень любят пользоваться, не пользуясь при этом мозгами... "Безопасные" языки в этом плане более ограничены. При этом они сами, их ядро, рантайм или бутстрап написаны на том же C/C++ ...
	Ответить | Правка | К родителю #192 | Наверх | Cообщить модератору

198. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
Сообщение от Аноним (-), 18-Ноя-24, 08:51
> не позволяет связывать собираемый в Fil-C код с бинарными библиотеками и объектными файлами, собранными другими компиляторами > объясняется тем, что при связывании с незащищённым кодом теряется суть предлагаемой в Fil-C защиты и возникает иллюзия защищённого приложения - при наличии совместимости ABI, у разработчиков возникал бы соблазн собрать в Fil-C лишь отдельные файлы, не утруждая себя портированием всего проекта. Это подложное объяснение. Проблема не в том, что программисты такие, проблема в динамическом отслеживании памяти. Если вызванный memcpy не скомпилирован при помощи Fil-C, то Fil-C не может вообще ничего. Если бы memcpy был бы снабжён аннотацией, декларирующей какие адреса memcpy может трогать, то можно было бы memcpy написать на ассемблере и ABI ему приделать C'шный. Да, memcpy при этом имел бы возможность косячить, но если бы он не косячил, то Fil-C мог бы проверить аргументы и убедиться что вызывающий код не косячит. Без аннотаций же Fil-C может разве что верить в то, что программист вызывает memcpy правильно. Ну или проверять работу memcpy в рантайме, для чего memcpy тоже надо компилировать при помощи Fil-C.
Ответить | Правка | Наверх | Cообщить модератору

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

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