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

"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.me/opennews/art.shtml?num=62241
Ответить | Правка | Cообщить модератору

Сообщения

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

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

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

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

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

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

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

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

	73. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–2 +/–
	Сообщение от Аноним (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ообщить модератору

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

	319. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Совершенно другой аноним (?), 18-Ноя-24, 18:18
	Если переезд так и будет продолжаться (https://www.opennet.me/opennews/art.shtml?num=58249) (21% НОВОГО кода на Rust и 79% на С/C++), то боюсь ни я, ни Вы не доживёте до этого счастливого момента.
	Ответить | Правка | К родителю #203 | Наверх | Cообщить модератору

	320. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 18:38
	> Если переезд так и будет продолжаться (https://www.opennet.me/opennews/art.shtml?num=58249) > (21% НОВОГО кода на Rust и 79% на С/C++), Статья староватая, то был просто пробный шар. Вот последние их заметки security.googleblog.com/2024/09/eliminating-memory-safety-vulnerabilities-Android.html Они считают, что если код окаменел - то там ошибок меньше. И можно пока не переписывать. Хотя они делают усилия и для улучшения безопасности старого кода на С++ security.googleblog.com/2024/10/safer-with-google-advancing-memory.html Ну и пробуют использовать в прошивках security.googleblog.com/2024/09/deploying-rust-in-existing-firmware.html > то боюсь ни я, ни Вы не доживёте до этого счастливого момента. Я собираюсь жить долго и увидеть как в проектах появляется плашка "new code - rust only")
	Ответить | Правка | Наверх | Cообщить модератору

	335. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 18-Ноя-24, 21:43
	> Я собираюсь жить долго и увидеть как в проектах появляется плашка "new code - rust only") Очевидно, вы мало смотрели на свободные проекты. Наиболее успешные используют кучи языков, как, например git. Если кто-то может добавить новую функциональность, то приоритет не язык или безопасность, а функциональность. Потом, может быть у кого нибудь когда-нибудь дойдут руки сделать новую реализацию на чем-либо другом. Но применена она будет только если даст какое-либо преимущество. Виртуальная безопасность таковым не считается. Так что: "надежды юношей питают".
	Ответить | Правка | Наверх | Cообщить модератору

	338. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 21:56
	> Если кто-то может добавить новую функциональность, то приоритет не язык или безопасность,  а функциональность. А потом оно так и тащится с уязвимостями и костылями. > Потом, может быть у кого нибудь когда-нибудь дойдут руки сделать новую реализацию на чем-либо другом. И сообщество будет бухтеть "опять переписываете!" > Но применена она будет только если даст какое-либо преимущество. Кому? Если я завтра сяду переписывать ядро на брейнфак.. то кто мне запретит? > Виртуальная безопасность таковым не считается. А "виртуальная" она по чьему мнению? У всяких гуло-амазоно она вполне реальная. > Так что: "надежды юношей питают". Угу, а потом они превращаются в дидов и противятся новому.
	Ответить | Правка | К родителю #335 | Наверх | Cообщить модератору

	343. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 18-Ноя-24, 22:28
	> А потом оно так и тащится с уязвимостями и костылями. Смирись - по другому не бывает. > И сообщество будет бухтеть "опять переписываете!" Именно! Поэтому любое переписанное должно дать то - что не могло непереписанное. > Кому? Если я завтра сяду переписывать ядро на брейнфак.. то кто мне запретит? Никто. Только и в основную ветку никто не возьмет. Играйся в песочнице. > А "виртуальная" она по чьему мнению? По опыту разработки проектов сообществами. > У всяких гуло-амазоно она вполне реальная. Вот там да. Менеджеры могут нагнуть разработчиков в любую сторону. Но именно в крупных корпорациях система чаще всего дает сбои. Она кривая насквозь. Менеджерам надо делать вид разбирающихся в вопросе и внедрять любую хрень (польза не важна). Поинтересуйтесь как корпорации разрабатывали месенджеры. Куча выброшенных на свалку денег. И в итоге все покупают нарабатки мелких контор.
	Ответить | Правка | К родителю #338 | Наверх | Cообщить модератору

	344. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 22:38
	> Смирись - по другому не бывает. Бывает) Смиряться с бракоделием я не собираюсь. Надеюсь законодатели в ЕС не подкачают, и введут ответственность за написанное (если денежки берешь). > Именно! Поэтому любое переписанное должно дать то - что не могло непереписанное. Правильно! Ну так переписывание на раст дает то что не могут сделать ни СИ, ни плюсы. А именно уменьшение ошибок памяти. > Никто. Только и в основную ветку никто не возьмет. Играйся в песочнице. А если дядя спонсор вашего проекта настойчиво попросит?) Не зря у LF есть платиновые и прочие спонсоры. > По опыту разработки проектов сообществами. И что же это за проекты? В андроиде - работает, у клоудфари - работате, куча всяких вейландовых композиторов - тоже работает. Даже редокс кое-как работает. > Но именно  в крупных корпорациях система чаще всего дает сбои. Она кривая насквозь. Ты видел картину "с бородой - без бороды"? Ну так вот без корпов получается только Хурд. А с корпами - линукс. > Поинтересуйтесь как корпорации разрабатывали месенджеры. Куча выброшенных на свалку денег. > И в итоге все покупают нарабатки мелких контор. Не вижу проблемы. Если есть возможность собрать шишки, а потом купить подходящее... Фишка в том, что без корпов тонны перспективных мессенджеров уже загнулись.
	Ответить | Правка | К родителю #343 | Наверх | 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ообщить модератору

	240. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:51
	> Компьютеру свобода передвижения ненужна. Он - инструмент. А если честно, в реальности > контролировать свободу передвижения очень полезно для безопасности общества и государства. И именно поэтому было сказано что those who will give up essential liberty to obtain little temporary safety, deserve neither. Совремненые слабаки зажравшиеся достижениями предков и воспринимающие некоторые вещи как данность - перестали ценить что имеют. А напрасно.
	Ответить | Правка | К родителю #189 | Наверх | Cообщить модератору

	228. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Прохожий (??), 18-Ноя-24, 10:18
	Если это город, населённый неадекватами (а в программировании это часто именно так, глядя на прорву CVE, поток которых не прекращается даже спустя много лет после написания кода), то вполне нормальный подход проверять каждого на предмет наличия оружия и до, и после. И нет, в Rust нет GC.
	Ответить | Правка | К родителю #14 | Наверх | Cообщить модератору

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

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

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

	265. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (265), 18-Ноя-24, 12:54
	> Ну дак и доведите до ума redox со всем альтернативным софтом на > rust, что бы можно было сравнить с текущими осями и выбрать. Че там с хурдом, уже довели до ума или без пары миллиардов от IBM и десятка лет упорной разработки тыщами разрабов (тоже финансируемых корпами) не выходит каменный цветок?
	Ответить | Правка | Наверх | Cообщить модератору

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

	281. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (265), 18-Ноя-24, 15:25
	> Хочешь сказать, что на Rust из ОС ничего готового нет и не будет? Нет, это ты сам себе придумал. Попутно предлагая проделать много(десяти)летнюю работу тысяч человек. > А как тогда сравнивать? А почему не хочешь сравнивать с хурдом? Ну вон, тот же ведроид, в котором еще 2 года назад кода на расте было больше, чем в хурде вообще? Или вон, nginx c кляудфлярной разработкой https://www.opennet.me/opennews/art.shtml?num=62163, которую они "сами едят"? Или амазоновский firecracker https://github.com/firecracker-microvm/firecracker (если есть с чем)?
	Ответить | Правка | Наверх | 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ообщить модератору

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

	287. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:05
	Так пишите на ocaml/haskell, на go в крайнем случае. Но нет, вот тянет почему-то писать всё на сях.
	Ответить | Правка | К родителю #214 | Наверх | Cообщить модератору

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

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

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

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

	311. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:57
	>Давно рекомендую всем адептам безопасТности надеть акваланг, спасательный круг запас еды на 10 дней, бронежилет и пробежать марафон 42 км на время Предлагаю адептам си следующие тезисы: тормоза придумали трусы. А давайте перила уберём, так как они паркуру мешают. И вообще, на их изготовления стройматериалы тратятся. И с балкона, на 24 этаже тоже перила уберём. И изоляцию с высоковольтных вещей тоже снимем.
	Ответить | Правка | К родителю #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. Скрыто модератором	–1 +/–
	Сообщение от Прохожий (??), 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++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (105), 17-Ноя-24, 17:08
	Яркое описание того почему на расте нет софта из первых рук. Это я тут даже про тесты не пишу.
	Ответить | Правка | Наверх | Cообщить модератору

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

	199. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Прохожий (??), 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ообщить модератору

	248. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 11:29
	> Эпические галеры^W места для работы рабов^W успешных специалистов... Даже интересно, а где ж работаешь ты? > Правда, сколько галерщика не переименовывай и не раздавай ему суть - менталитет у него останется характерный. Мы говорим про менталитет или про языки программирования? > Как это так, не дают бесплатный барак и надо самому себе еду добывать? Ну и гадость эта ваша свобода! О, по моему опыту, так обычно говорят какие-то васяны-стартаперы, которые "зачем ты горбатишься на дядю!", а потом "моя супер-мега компания из меня одного разорилась!!! плак-плак (;_;)" Как показала история реально крутые вещи делались корпорациями - например сколько всего придумали в BellLab. > Да и кнутователь у нас - добрый малый, не так уж сильно лупит, даже шкура не слезает. Sad to be you (c) Вот в моей компании кнутователя нету, как и овертаймов. Наверное неправильная галера. Но да, у тебя есть свобода работать в каком-то подвальчике и убеждать себя что "зато я свободен! Свободен от денег, современных технологий и здравого смысла"
	Ответить | Правка | К родителю #207 | Наверх | Cообщить модератору

	273. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 14:30
	> Даже интересно, а где ж работаешь ты? А я сам на себя работаю. Е... я ваши галеры и "благодетелей" - been there, done that, добавки не надо, спасибо! > Мы говорим про менталитет или про языки программирования? Сообщество имеет отношение к ЯП и обвесу вокруг. И лично мне хрустики как сообщество в целом - не нравятся. Сборище корпоративных винтиков. > О, по моему опыту, так обычно говорят какие-то васяны-стартаперы, которые "зачем ты > горбатишься на дядю!", а потом "моя супер-мега компания из меня одного > разорилась!!! плак-плак (;_;)" По моему опыту так говорят господа с синдромом утенка, пытающихся доказать что вон то единственный вариант. А я со своей стороны считаю что у меня больше личной свободы. Даже если это и подразумевает некий гемор взамен, это как раз и есть часть взрослой полноценной жизни, когда решения принимаешь - сам. И получаешь результат по итогам. > Как показала история реально крутые вещи делались корпорациями - например сколько всего > придумали в BellLab. Как показала история, за всеми открытиями и изобретениями как правило были вполне конкретные имена, представляющие из себя что-то отличное от ноля, без всяких мегакорп за спиной. А некоторые так то и основали - эти самые корпы. И кто сказал что процесс остановился? Так и появляются корпы. Есть те кто их создает. Есть нонеймы под ногами. > Вот в моей компании кнутователя нету, как и овертаймов. Наверное неправильная галера. Это несколько образно. См. на господ типа поха. Его мышление иррационально - так что без манагера за спиной он не больно дофига своим ходом сделает. Все время находит какие-то фатальные проблемы, утыкается в них рогом, "задача нерешаема". И манагеры нужны - чтоыбы вышибать из таких состояний тех, кто сам на это не способен. Как-то так. > Но да, у тебя есть свобода работать в каком-то подвальчике и убеждать > себя что "зато я свободен! Свободен от денег, современных технологий и > здравого смысла" У меня есть много персональных свобод которых нет у вас. Я могу вот прям ща оседлать вел и покрутить себе по кайфу. А вы так же сможете в своей супер-корпе? Ну вот и поговорили о свободах.
	Ответить | Правка | Наверх | Cообщить модератору

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

	329. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 20:45
	> В нормальном корпе как раз таки можно крутить вел в свое удовольствие > и еще получать за это деньги, главное время от времени на почту отвечать) На минуточку, там речь была - про гугол и майкрософт. А у этих с вот именно таким - довольно так себе, AFAIK. Я конечно не знаю ВСЕХ их условий для ВСЕХ работников, в ВСЕХ филиалах, на ВСЕХ должностях.
	Ответить | Правка | Наверх | Cообщить модератору

	333. Скрыто модератором	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 21:14
	> Сообщество имеет отношение к ЯП и обвесу вокруг. И лично мне хрустики как сообщество в целом - не нравятся. Сборище корпоративных винтиков. Уверен, твое мнение очень ценно для для хрустиков) > По моему опыту так говорят господа с синдромом утенка, пытающихся доказать что вон то единственный вариант. Я такого не говорил, ты это сам сочиняешь. Я сказал: по моему личному опыту, а не других варинтов нет. Кто-то любит рисковать? Ну так флаг в руки и барабан на шею. Кто-то любит чтобы за него решили админ проблемы, а он спокойно писал код. Думаю работа найдется всем. > А я со своей стороны считаю что у меня больше личной свободы. Даже если это и подразумевает некий гемор взамен, Т.е не все так безоблачно, как любят рассказывать адепты "просто бросай работу и открывай свое дело"? > это как раз и есть часть взрослой полноценной жизни, когда решения принимаешь - сам. И получаешь результат по итогам. А если я сам принял решение, что ну его нафиг все эти бухгалтерию и найм персонала, и поиск помещений, и налоги, что наелся всем этим .. и мне проще ходить работать на дядю работать, это  взрослая жизнь или уже нет? > Как показала история, за всеми открытиями и изобретениями как правило были вполне  конкретные имена, представляющие из себя что-то отличное от ноля, без всяких мегакорп за спиной. Хаха, особенно когда корпа оплачивала им эти исследования и открытия. > Есть те кто их создает. Да, а потом читаешь биографию "работал 20 лет в корпорации, а потом сделал свою". > Есть нонеймы под ногами. Пованивает снобизмом. > Это несколько образно. См. на господ типа поха. Его мышление иррационально - так что без манагера за спиной он не больно дофига своим ходом сделает. Э.. а что мешает нифига не делать в "своем бизнесе"? Прямо как в анекдоте про негра и пальму "так я уже лежу ничего не делаю". > Все время находит какие-то фатальные проблемы, утыкается в них рогом, "задача нерешаема". Есть и другая сторона медали, когда задача действительно не решаемая в пределах существующих ограничений. А человек бьется лбом об стену, тратит годы жизни и тонны денег. А потом сидит у разбитого корыта. > И манагеры нужны - чтоыбы вышибать из таких состояний тех, кто сам на это не способен. Как-то так. Тогда у моего соседа жена - менеджер. Пока она не прожужжит ему все уши, фигушки он пошивелится чегось сделать) > У меня есть много персональных свобод которых нет у вас. Я могу вот прям ща оседлать вел и покрутить себе по кайфу. Хм.. ну такой себе пример. Я работаю в корпе, при этом на удаленке, да еще и с гибким графиком. Запросто могу взять на пол дня отгул, и доработать в удобное для меня время. Но, объективно редко так делаю, тк все друзья работают 5/7 и чтобы посидеть где-то то лучше на выходных. > А вы так же сможете в своей супер-корпе? Ну вот и поговорили о свободах. Да могу. От и поговорили)
	Ответить | Правка | К родителю #273 | Наверх | Cообщить модератору

	247. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Страдивариус (?), 18-Ноя-24, 11:18
	Ну это сильно зависит от задачи. Например, с БД сильно приятнее работать на Rust. Сериализация/десериализация тоже.
	Ответить | Правка | К родителю #186 | Наверх | 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++, гарантирующий безопас..."	+1 +/–
	Сообщение от Фнон (-), 17-Ноя-24, 14:21
	> Я конечно понимаю что для вас 10 км не круг Я конечно понимаю, что для вас "ну подумаешь сделали double free и подарили root" это не проблема, но другие не хотят писать такой код. Если вопрос в кол-ве команд - то можно на ассемблере все фигачить (в надежде что пряморукость будет больше чему у оптимизирующего компилятора).
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

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

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

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

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

	339. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 21:57
	> Любая правка должна быть обоснованной. Обоснование "тут раз в месяц CVE находят" является достаточным? > Прежде чем соваться надо что-то в консерватории поправить. Э... не намекаешь ли ты что дидам пора на пенсию?
	Ответить | Правка | К родителю #336 | Наверх | Cообщить модератору

	342. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 18-Ноя-24, 22:20
	> Обоснование "тут раз в месяц CVE находят" является достаточным? Для большинства проектов - ни разу. Или давай новую функциональность или улучшай характеристики. > ... не намекаешь ли ты что дидам пора на пенсию? Почини свой контрабас. Поясняю прямым текстом, инструмент нужно править до тех пор, пока не устранят проблему.
	Ответить | Правка | К родителю #339 | Наверх | Cообщить модератору

	244. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 11:02
	> Надоело - поскипал Т.е слился? Предсказуемо. > Он не брался за эту работу. За эту работу брались другие. Пусть и делают. Что значит не брался? Откуда ты такое вообще взял? > Пусть лепят свои куличики из ..овна сами, У тебя какая-то странная фиксация на куличиках и овне. Не то чтобы это было слишком странно (все-таки форум девиантов), то ты это повторяешь из сообщения в сообщение. > Если они не могут сделать так что бы это было ненапряжно для других, то как еще он мог сказать, что они делают это плохо? А у нас цель комфорт дидов? Или выполненная задача? Когда Торвальдс включил -Werror по умолчанию, то было тоже куча нытья. Даже статейки писали https://www.phoronix.com/news/Linux-5.15-Werror-Pain и пытались ревертить https://patchwork.kernel.org/project/linux-kbuild/patch/2021...
	Ответить | Правка | К родителю #196 | Наверх | Cообщить модератору

	340. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 18-Ноя-24, 21:59
	> Т.е слился? Предсказуемо. Не интересно общаться на эти тему с людьми с альтернативной логикой. > Что значит не брался? > Откуда ты такое вообще взял? Вот даже так. :) Человек который разрабатывает файловую систему откровенно об этом и говорил. > У тебя какая-то странная фиксация на куличиках и овне. > Не то чтобы это было слишком странно (все-таки форум девиантов), то ты это повторяешь из сообщения в сообщение. Потому что ничем иным rust в ядре на данный момент не является. Пустили дититок в песочнице поиграться. Глядишь кто-нибудь наиграется и в нормальную разработку вольется. > А у нас цель комфорт дидов? Или выполненная задача? Если инструмент настолько кривой, что предполагает дополнительную работу для множества других людей никак с этой работой не связанных, то такому инструменту место на свалке. > Когда Торвальдс включил -Werror по умолчанию, то было тоже куча нытья. И к чему это? У тебя явная болезнь альтернативной логикой. Из-за этого совсем неинтересно.
	Ответить | Правка | К родителю #244 | Наверх | Cообщить модератору

	262. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Ан (??), 18-Ноя-24, 12:25
	> Лол, сколько там комплектов Minix в мире работает? Сколько всяких девайсов ThreadX (ныне Azure RTOS) было выпущено? Больше 10 миллиардов. И это все микрокернелы. и никто их на rust не переписывает, а linux проще изолировать чем переписывать https://www.opennet.me/opennews/art.shtml?num=62226
	Ответить | Правка | Наверх | Cообщить модератору

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

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

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

	226. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+2 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:15
	> Либо деплоить пользователям бинарь, собранный в дебаг режиме и огребать по полной с просадками производительности, Но зачем? > либо собираеть без рантайм-проверок и молиться, что а) «он абсолютно точно работает так же, как и дебажный» и б) «на дебажном всё–всё протестил, багов нет, мамой клянусь». Все типы, null-проверки, разбор инвариантов, и прочее compile-time будет работать как и в дебаге. Если уже сравнивать с овнокодом на дыряшке - то там весь код "мамой клянуть тут не будет double free". > Пользователь находится в такой же дилемме Эскобара: либо у него просела производительность, С чего вдруг и/или 'на сколько'? Вон авторам Fil-C норм просадки до 5 раз. > но в случае неотловленного бага всё «безопасно» покрашится, Именно так. Оно просто крашнется, а не ʼподарит рутʼ, ʼвыполнит чужой кодʼ или ʼубьет соседскую собакуʼ. Краш это абсолютно предсказуемый сценарий, в отличии от. > либо использовать такой же «небезопасный» бинарь, как и на других языках, но только выплюнутный «самым безопасным на свете компилятором, верьте нам». Восхитительная чушь! Сам придумал? > Наглядная иллюстрация: бинарник библиотеки librsvg старых версий, ещё на сишечке, весит порядка 250Кб. Тот же самый код, будучи строчка–в–строчку переписанным на Rust (о чём мэйнтэйнер с гордостью заявлял: вот мол, так легко взял и переписал) — даёт бинарник порядка 4.5 Мб. Нестрипаемых. А можно пруфцов? Просто я уже насмотрелся на местных раст-кекспертов, которые даже не могли выключить debug при сборке. И? Деревянная телега весит думаю 250—300 кг. Лада гранта весит почти тонну. Следовательно телега это идеальный инструмент, не то что ваши бензиновые жужжалки. > Такой–то zero–cost. Если бы ты просто прочитал его определение, а именно "Zero Cost Abstractions - the ability to move certain behaviors to compile time execution or analysis." то вопросов у тебя было бы меньше.
	Ответить | Правка | К родителю #177 | Наверх | Cообщить модератору

	268. Скрыто модератором	+/–
	Сообщение от Аноним (268), 18-Ноя-24, 13:53
	> А можно пруфцов? Просто я уже насмотрелся на местных раст-кекспертов, которые даже > не могли выключить debug при сборке. Дебиановские кексперты устроят? https://packages.debian.org/buster/librsvg2-2 https://en.wikipedia.org/wiki/Librsvg Версии библиотеки после 2.40.21 — уже с добавлением растишки. После 2.45.6 — 100% только «безопасный» биокефирчик. https://download.gnome.org/sources/librsvg/2.40/librsvg-2.40... Собранная из сырцов librsvg-2.so.2.40.21 после strip — у меня получилось 234176 байт. Потому что там, блин, нечему весить — это фронтенд к cairo, а не полноценный движок. Ответственному за это растолюбцу можно даже в глаза посмотреть: https://viruta.org/pages/about.html Причём да, это не халтура, это реально работа от упёртого фанатика, чтобы было как можно более «безопасно». Методичное выкидывание всего плохого, грязного, некошерного сишного кода и методичное впиливание растишки. > И? Деревянная телега весит думаю 250—300 кг. Только речь не про дереявянную телегу. Речь об отказе от спортбайка (который да, без шуток, небезопасный — если рук и мозгов нет, разложиться легче лёгкого) в пользу задушенной эконормированной евростандартной пробкотошнилки, до кучи ещё и требующей подышать в трубочку чтобы завести двигатель. Но при этом почему–то занимающей три ряда и жрущей топливо как полноценный рейсовый автобус. > Сам придумал? Либо мы делаем проверки в рантайме и теряем в производительности, либо не делаем, просто говорим что «от сих до сих код безопасный, потому что весь целиком на растишке» — тогда будет быстро. Внезапно, реальный кремниевый процессор, исполняющий команды, от использования растишки быстрее работать не начинает и в розового пони не превращается. Физика, беспощадная ты…
	Ответить | Правка | Наверх | Cообщить модератору

	303. Скрыто модератором	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 16:38
	А... это те самые дебиановцы, которые так "подправили" SSH либу, что все нафиг сломали? (CVE-2008-0166) Да, это просто супер эксперты! > Версии библиотеки после 2.40.21 — уже с добавлением растишки. После 2.45.6 — 100% только «безопасный» биокефирчик. Ух, как тебя корежит, аж просто приятно наблюдать) А новых функций там не добавилось? > Собранная из сырцов librsvg-2.so.2.40.21 после strip — у меня получилось 234176 байт. А без stripʼа? > Причём да, это не халтура, это реально работа от упёртого фанатика, чтобы было как можно более «безопасно». Методичное выкидывание всего плохого, грязного, некошерного сишного кода и методичное впиливание растишки. Да, чел молодец. Выкидывает отстойный небезопасный си. > Только речь не про дереявянную телегу. Речь об отказе от спортбайка (который да, без шуток, небезопасный — если рук и мозгов нет, разложиться легче лёгкого) Так если бы они сами дохли - без проблем, так оно ж еще и на встречку выезжает. Но мне нравится твое сравнение СИшки с 🐓-ми байкерами-саркерами. Прямо 100% в яблочко. > в пользу задушенной эконормированной евростандартной пробкотошнилки, до кучи ещё и требующей подышать в трубочку чтобы завести двигатель. > Но при этом почему–то занимающей три ряда и жрущей топливо как полноценный рейсовый автобус Ты сравнивал производительность? Или опять прдеж в лужу? На сколько процентов код на расте медленнее чем на СИ? Пока я вижу что у тебя прдак порвало только от того, что пакетик стал немного больше. Причем я подозреваю, что код раста ты не собирал ручками А для раста есть strip --strip-debug. Если автор пакета его не использует - это его право. Можешь переделать как тебе нравится.
	Ответить | Правка | Наверх | Cообщить модератору

	321. Скрыто модератором	+/–
	Сообщение от Аноним (268), 18-Ноя-24, 19:32
	Ну, то есть код ты не в состоянии самостоятельно посмотреть и истерично–попугайские вскрики про «дыряшку», «пердёж», «как вас корёжит, ахаха», «отстойный–небезопасный» — это максимум твоей технической экспертизы. Оке–ей… > На сколько процентов код на расте медленнее чем на СИ? Так мы не определились, код с рантайм проверками или код который условились считать безопасным потому что «ну раст же, камон, это волшебный язык, он не позволяет глупых ошибок», но с отключёнными проверками? Или вообще код, у которого под капотом сплошной _unchecked? > А для раста есть strip --strip-debug. Это флаг, который говорит strip удалять меньше чем просто strip без параметров (удалить только отладочные символы) — смысл про него вообще специально упоминать? > Если автор пакета его не использует… Растовый бинарник в пакете, естественно, тоже пострипан. Прикол там в другом. Но ты его не выкупаешь, поэтому дадим знатокам дополнительную минуту. > Причем я подозреваю, что код раста ты не собирал ручками Вот именно потому что я собирал ручками и раст и карго — к самопровозглашённым евангелистам растишки отношусь с брезгливым предубеждением. А вот у мэйнтейнеров дебиана да, случился нешуточный афедронный кризис, когда выяснилось что ради крошечной утилитки теперь нужен llvm, шланг, карго и куча пакетов из инторнетов. И всё это теперь нужно поддерживать в актуальном состоянии. Во имя Великой БезопасТности™. Ну или потому что Федерико красиво почесал ЧСВ. Рассылка целую неделю полыхала, или две…
	Ответить | Правка | Наверх | Cообщить модератору

	327. Скрыто модератором	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 20:15
	> Ну, то есть код ты не в состоянии самостоятельно посмотреть Мне просто лениво. Зато ты весело дергаешься. >> На сколько процентов код на расте медленнее чем на СИ? > Так мы не определились, код с рантайм проверками или код который условились считать безопасным потому что «ну раст же, камон, это волшебный язык, он не позволяет глупых ошибок», но с отключёнными проверками? Или вообще код, у которого под капотом сплошной _unchecked? Э... Ты вообще растбук читал? От того что бы не ленишься расставлять все эти bold/italic твои вопли не станут более ценными. У тебя бомбит от того, что либа стала больше. Я это уже понял. Вопрос, а стала ли она медленнее, ведь ты вбрасываешь "Но при этом почему–то занимающей три ряда и жрущей топливо как полноценный рейсовый автобус". > смысл про него вообще специально упоминать? У меня были сомнения, что ты вообще про него слышал. > Растовый бинарник в пакете, естественно, тоже пострипан. С учетом того что это дебианцы, я бы не был настолько уверен. > Прикол там в другом. Но ты его не выкупаешь, поэтому дадим знатокам дополнительную минуту. Да я, если честно, вообще не понимаю чего ты сказать хочешь ¯\_(ツ)_/¯ Развел истерику на кучу сообщений. > Вот именно потому что я собирал ручками и раст и карго — к самопровозглашённым евангелистам растишки отношусь с брезгливым предубеждением. Может твои ручки, как у Фредерико. > А вот у мэйнтейнеров дебиана да, случился нешуточный афедронный кризис, когда выяснилось что ради крошечной утилитки теперь нужен llvm, шланг, карго и куча пакетов из инторнетов. Добро пожаловать в реальный мир. > И всё это теперь нужно поддерживать в актуальном состоянии. Но.. но зачем? Дебиан это же про протухшие полуразложившиеся пакеты. Могли бы зафиксировать версию и вернуться к этому вопросу лет через пять.. или вообще не возвращаться. > Во имя Великой БезопасТности™. Ну или потому что Федерико красиво почесал ЧСВ. Рассылка целую неделю полыхала, или две… Луддиты должны страдать) А как история закончилась? Они откатили изменения и вернулись на старую либу? Или привычно утерлись тк кроме Фредерико никто не собирается заниматься этой штукой?
	Ответить | Правка | Наверх | Cообщить модератору

	293. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:13
	>Либо деплоить пользователям бинарь, собранный в дебаг режиме и огребать по полной с просадками производительности, либо собираеть без рантайм-проверок и молиться Емнип рантайм проверки в расте только для размеров массивов. В си нет никакого способа убедится, что указатель не null во время компиляции, в rust - есть, часть сишных проверок уже не нужна. В си нет никакой возможности убедится, что нет double free, в rust для большого количества ситуаций - есть, опять же минус проверки. Вы бы в теме начали разбираться, прежде чем троллить.
	Ответить | Правка | К родителю #177 | Наверх | Cообщить модератору

	322. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от laindono (ok), 18-Ноя-24, 19:41
	Там сейчас порядка 40 тысяч строк кода и почти 250 зависимостей в древе, при чём некоторые из них жирные прям на кодеген вроде serde или nalgebra. Я ради интереса посмотрел, сколько по итогу получается. Где-то 300-400 кб вышло до strip (285 после полной оптимизации на размер). Ну тоесть да, туда запихнули дебажную инфу в полном объёме. На производительность это не влияет. Страдают только те, кто не может купить себе хотяб какое-то минимальное количество памяти (если меньше 8 гигов, то это у тебя какое-то железо для embedded или раритет). Зато мейнтейнер теперь будет читать читабельные issue при поломках.
	Ответить | Правка | К родителю #177 | Наверх | Cообщить модератору

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

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

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

	283. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от _kp (ok), 18-Ноя-24, 15:49
	> Ну, ехал ты на гироскутере, и фирмварь державшая тебя на неустойчивой хрени > - в рантайме поймала ловушку... а круто, да?! Вы на Питоне не пишете? А то там, что не перехват ошибок, то только для того чтобы точно так же грохнуться, но с красивым длинным некрологом. А перехват ошибок делают что бы обработать ситуацию и продолжить работу. ;)
	Ответить | Правка | Наверх | Cообщить модератору

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

	295. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:15
	>Ну, так поставил ловушку, перехватывай и обрабатывай, кто ж запретит.. У вас произошло разыменновывание нулевого указателя/повторное освобождение памяти. Что вы тут обрабатывать собрались?
	Ответить | Правка | К родителю #53 | Наверх | Cообщить модератору

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

	309. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:54
	>Если речь о ПО гироскутера О по гироскутера речь в соседней ветке >а единичные надо обрабатывать Где проходит разница между постоянными и единичными? >а не резко прекращать работу Образовался у вас висячий/нулевой указатель. Как вы собираетесь обрабатывать эту ситуацию? Только не заговаривайте зубы, а по шагам распишите, что тут нужно делать. Для полноты картины, представьте, что этот висячий/нулевой указатель лежит в самом начале пользовательских данных, и попытка сохранить результаты работы приведёт к его разыменовыванию.
	Ответить | Правка | Наверх | Cообщить модератору

	317. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от _kp (ok), 18-Ноя-24, 17:48
	> Только не заговаривайте зубы, Возникло, как минимум, событие "недоверия к работающему экземпляру ПО". Тут его путь только в топку, или весь процесс или отдельные объекты. Только не сброс или останов, а контролируемый перезапуск, или о откат состояния, с последующим восстановлеиием состояния близком к тому, что было до сбоя.
	Ответить | Правка | Наверх | Cообщить модератору

	318. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 18:06
	>Возникло, как минимум, событие "недоверия к работающему экземпляру ПО". В чём событие возникло? Опять же, давайте конкретики >а контролируемый перезапуск Это как? >или о откат состояния Откат состояния крайне плохо уживается с изменяемостью, которая в c/c++ буквально везде. Кроме того, это состояние нужно где-то хранить, а с учётом количества операций, нужных для банальных вещей, у вас на одно действие будут миллионы промежуточных переходов - у вас просто памяти не хватит
	Ответить | Правка | Наверх | Cообщить модератору

	332. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 21:00
	> Если речь о ПО гироскутера, то немедленно запустить аварийный вариант контроля устойчивости, Это как? И чем от основного отличается? И что значит - немедленно? Любая операция требует времени. И тут нельзя попросить подождать. И любая потеря состояния - грабель пачка. > перезапустить ПО, или часть ПО, и попытаться установить предыдущий режим движения, Режим движения. Ха. Там контроллер обмотки мотора переключает. В реальном времени подгоняя параметры чтобы юзер не навернулся, парируя продвинутым управлением все поползновения навернуться. А если это пытаться перезапустить и потерять состояние - вот тут юзерь с приличной вероятностью пойдет отзывы постить, приложив фоту, с аргументом почему это покупать не надо. > чтоб тушка на гироскутере вообще ничего не заметила. Агаблин, там времени для этого может быть не так уж и дофига, чтобы что-то перезапускать так всерьез. И если кто поймал обработчик типа паники - участь пользака будет довольно незавидна, имхо. > Если речь о заводском ПО, то постоянные баги все же не уместны, > а единичные надо обрабатывать, а не резко прекращать работу. Тут как бы варианты возможны. Скажем - уход в failsafe вполне себе опция. На то и failsafe, чтобы отвалиться по крайней мере в безопасное состояния. В серьезных случаях - рассматривают и возможности сбоев железа, например. Так чтобы ничего фатально не выгорало, контроль не терялся насовсем, даже если что-то сдуреет - или даже даст дуба.
	Ответить | Правка | К родителю #299 | Наверх | 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++, гарантирующий безопас..."	+1 +/–
	Сообщение от Анонимусс (-), 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 +/–
	Сообщение от Аноним (335), 17-Ноя-24, 17:31
	Это хороший инструмент отлавливать ошибки. Знаешь, что есть проблемное место. Собираешь - тестируешь. Ловишь - исправляешь. Возвращаешь назад обычную Си. Просто еще один способ отловить ошибку.
	Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

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

	223. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 10:13
	>Это хороший инструмент отлавливать ошибки. Вообще, не очень хороший для сколь-либо крупного проекта. >Знаешь, что есть проблемное место. Программа на Си - это часто везде одни сплошные проблемы, что и показывает многолетняя практика. >Просто еще один способ отловить ошибку. Ошибки гораздо эффективней ловить на этапе компиляции.
	Ответить | Правка | К родителю #115 | Наверх | 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++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 14:53
	Ахаха, какое молниеносное переобувание. От "сишка быстрее раста на 5 процентов" до "замедление в 5 раз это норм" и "GC рулит".
	Ответить | Правка | К родителю #1 | Наверх | Cообщить модератору

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

	83. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (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++, гарантирующий безопас..."	+3 +/–
	Сообщение от Анонимусс (-), 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++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 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ообщить модератору

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

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

	334. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 21:19
	> Удачи тебе перекомпилять древних хлам без переписывания) А в чем проблема, собссно? Я скажу -std=чего там (C89 какой?). Компилеры его как умели так и умеют. Лемпелзив 1990, или какого там года - взял и просто скомпилился. Более древние сорцы чем это? K&R C чтоли? Если что на нем написано - может, бобик, таки, сдох и с него надо слезать? Но такой сорц найти реально разве что в музее, в реальном софте окружающем меня я вообще этот синтаксис ни разу не встречал. > Особенно если оно приклолочено гвоздями к хакам конкретного компилятора. Не сказать что какая-то массовая проблема в случае сишки. Это ж не питон где каждую версию новые приколы.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

	267. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 13:31
	Зачем нужен зиг, если он не вбирает в себя развитие типизации, аналогичное ocaml/haskell/rust/ats?
	Ответить | Правка | К родителю #6 | Наверх | Cообщить модератору

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

	45. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (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ообщить модератору

	276. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 14:50
	> А поможет? > Тут на форуме кидали ссылку на "очередную сишную дырень" в проекте обмазанному санитайзерами. Ну если вы готовы скорость в N раз продолбать - то таки asan неплохо факапы работы с памятью просекает. Но это нифига не бесплатно, как и у того сэра. > Искать лениво, но там оно не помогло. А на моей памяти - ряд проектов таки под sanitizer'ами и выловили ряд багов и вулнов. Просто не все готовы платить такую цену чтобы постоянно в режиме условной "явы" работать, с инструментацией кода и кучей проверок.
	Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

	279. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (278), 18-Ноя-24, 15:06
	> А на моей памяти - ряд проектов таки под sanitizer'ами и выловили ряд багов и вулнов. Например тот же CLANG, судя по их аудиту opennet.ru/opennews/art.shtml?num=60707 > Просто не все готовы платить такую цену чтобы постоянно в режиме условной "явы" работать, с инструментацией кода и кучей проверок. А ядро, на котором крутится и финасовая инфраструктура, и миллионы серваков, и даже пользоватльские девайсы, это достаточно критично чтобы уплати цену или еще нет?
	Ответить | Правка | Наверх | Cообщить модератору

	28. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Фнон (-), 17-Ноя-24, 14:17
	Не поможет. Вот хрестоматийный пример из такой "ненужной" SSL либы: Целая куча дыреней в OpenSSL/LibreSSL - https://www.opennet.me/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ообщить модератору

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

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

	277. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 14:52
	> Не поможет. > Вот хрестоматийный пример из такой "ненужной" SSL либы: > Целая куча дыреней в OpenSSL/LibreSSL - https://www.opennet.me/opennews/art.shtml?num=58622 Так ты ее с asan/ubsan собери - и при попытке выйти за буфер процесс будет просто прибит нафиг, на манер паники в хрусте. А то что скорость просела и RAM больше жрет - так, блин, даже хруст например integer математику только в дебагбилдах санитизирует, по тем же причинам! А в рантайме таки упс :)
	Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

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

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

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

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

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

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

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

51. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
Сообщение от Аноним (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 +/–
	Сообщение от Аноним (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ообщить модератору

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

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

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

	237. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:39
	> Вроде, только организационно. Технически уже вполне годный язык, в том числе для критической инфраструктуры. Да, организационно. Но зная как всякие организации любят бюрократию, это тоже важный момент. Вон сишники как гордятся своим ISO стандартом, просто неистово) Хотя стандарт на половину состоит из "а ХЗ как тут сделать - пусть компилятор разбирается. Даже если это 2 числа сложить".
	Ответить | Правка | Наверх | 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++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 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++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 17-Ноя-24, 22:05
	> А, т.е у тебя эти все ifdef просто завернуты в другую либу? > Ну тогда програмы на электроне это круто, а JS - тоже полностью переносимый язык) Попробуй сказать что JS непереносим. Посмеёмся. Он для этого и создавался. Вот только он интерпретируемый. У компилируемых языков есть один способ переносимости - в общем случае для каждой архитектуры своя реализация. У rust с этим проблемы. Потому что надо много кода дублировать. Меньше чем у любого другого языка проблем у C и C++, ибо они изначально заточены на переносимость - получение своей реализации программы для каждой целевой платформы из одного кода (на это работает система типов и условной компиляции).
	Ответить | Правка | Наверх | Cообщить модератору

	238. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 10:41
	>У rust с этим проблемы. Нет никаких проблем, на самом деле, потому что за переносимость LLVM по большей части отвечает. >Потому что надо много кода дублировать. Где и зачем?
	Ответить | Правка | Наверх | 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ообщить модератору

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

	270. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от фф (?), 18-Ноя-24, 14:06
	дык, если в программе есть ub, то компилятор вправе выдавать любой результат. Тут зависимость от компилятора очевидна. но ок, давайте свой пример, пусть там будет 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++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (77), 17-Ноя-24, 16:04
	Phyton уступает C по скорости в 60 тысяч раз. Он никаким образом ему не конкурент.
	Ответить | Правка | К родителю #51 | Наверх | Cообщить модератору

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

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

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

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

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

	243. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Прохожий (??), 18-Ноя-24, 11:02
	>1. В системах с общей памятью для всех процессов я бы хотел гарантию невозможности получить доступ к памяти соседнего процесса при использования только безопасного режима. Это, вообще, как? Вот есть общая память, вот есть процессы, которые её сообща используют (из условия задачи). Но вам нужно, чтобы один процесс не залез в память другого процесса. Так память общая или уже не совсем? У Раст, если что, есть такие типы, как RC, RefCell.
	Ответить | Правка | К родителю #166 | Наверх | Cообщить модератору

	296. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (296), 18-Ноя-24, 16:16
	Очень просто. На уровне ядра сделать функцию для доступа к памяти с аргументом is_safe_call_from_rust_i_swear_to_god и все запросы к памяти из данного языка проводить через неё. Если true, то позволять доступ к памяти, если нет, то kernel panic.
	Ответить | Правка | Наверх | 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++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 17-Ноя-24, 17:58
	> А я и на Си программирую и на Руст Верим, верим. Но лучше уж на JS.
	Ответить | Правка | Наверх | Cообщить модератору

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

	286. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Вы забыли заполнить поле Name (?), 18-Ноя-24, 15:56
	> вот его в Си не хватает Conan
	Ответить | Правка | К родителю #124 | Наверх | 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ообщить модератору

	230. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:25
	> https://foundation.rust-lang.org/about/ > Гугл, майкрософт, амазон, мета. > Раньше еще нагляднее было из каких организаций, но достаточно погуглить резюме этих членов. Т.е это компании которые делают программы и сервисы которыми пользуются миллионы людей (или даже миллиарды)? Например - винда и хром. > Самое эпичное из того что видел "я не кодю на расте и вообще не кодер, но работала с парламентами и правительствами и такими организациями как гугл и мета" (немного вырвал из контекста, но общий смысл думаю понятен). И? Неужели мнение какого-то васяна из интернета так сильно влияет на твое мнение? Ты смотри "по делам". Вон клоудфаря пропускает через раст кучу трафика и ничего, не жалуются.
	Ответить | Правка | Наверх | 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ообщить модератору

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

	242. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 10:55
	Я добавлю к тому, что выше написано. Строгая типизация означает невозможность кривого приведения типов. Паттерн-матчинг проверяет все возможные варианты. Индексы в масивах всегда неотрицательные числа. Выход за пределы массива проверяется. Нет UB.
	Ответить | Правка | К родителю #180 | Наверх | Cообщить модератору

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

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

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

	298. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:21
	>Получается, что Руст не нужен А вы готовы к тому, что для выполнения тех же задач потребуется в разы больше железа? И для запуска условной xp потребуется последний райзен?
	Ответить | Правка | К родителю #90 | Наверх | Cообщить модератору

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

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

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

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

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

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

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

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

	220. Скрыто модератором	+1 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:00
	> С т.зр. ПО которому критична производительность переписать на расте тоже не вариант. А ПО которое должно быть хотя бы более-менее надежным? Ну типа чтобы не давать рут после нажатия backspace 28 раз? > Раст не нужен и никогда не был нужен. Это заранее устаревший язык раздутый маркетологами. Твое мнение очень важно для нас (с) Можешь писать письмо Торвальдсу "Товарищь Линус, вы совершаете невероятную ошибку!"
	Ответить | Правка | К родителю #181 | Наверх | 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++, гарантирующий безопас..."	+4 +/–
Сообщение от Филипп Филиппович (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ообщить модератору

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

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

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

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

	256. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Прохожий (??), 18-Ноя-24, 11:48
	>заключается в криворукости программистов В неизлечимой, заложеннной природой криворукости, я бы сказал. >При этом они сами, их ядро, рантайм или бутстрап написаны на том же C/C++ ... Компилятор Rust написан на Rust. А до того, как это стало возможным, использовался OCaml.
	Ответить | Правка | Наверх | Cообщить модератору

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

	236. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 10:38
	> Я нубик. Объясните в чем была проблема добавить в Си/++ "безопасные функции"работы с памятью, а не создавать новый язык? 1. Диды Представь что ты 20 лет назад выучил С99, а теперь придется напрячь мозг и выучить что-то новое! Это просто какое-то хамство заставлять уважаемого деда напрягаться! 2. Совместимость Вот сабж из статьи - не совместим с ABI. Т.е тебе придется менять компилятор. А у тебя зарыто 100500 хаков для старого компилятора. И те кто их писали уже давно померли или в деменции. В такой ситуации "взять новый безопасный С/C++" может быть равносильно "посмотреть на старый код и написать заново". А тут уже можно и более современный язык выбрать.
	Ответить | Правка | К родителю #192 | Наверх | Cообщить модератору

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

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

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

	271. Скрыто модератором	+/–
	Сообщение от Аноним (296), 18-Ноя-24, 14:10
	В зеркало глячнь, может там бревно торчит. Ты сам до сих пор не выучил то что знают деды, а с них требуешь.
	Ответить | Правка | К родителю #236 | Наверх | Cообщить модератору

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

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

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

	297. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 16:21
	> Я больше скажу, даже в процессорах совершают ошибки!  И в безопасных > компиляторах тоже. Смешно читать про "безопасные" компиляторы для компов на неймановской  архитектуре. Горит сарай, гори и хата? Типа если у нас в процессоре может быть ошибка, то будем дружно выходить за пределы буфера и портить чужую память? Пока рак не вылечим, то переломы пусть сами как-то зарастут? Отличный подход!
	Ответить | Правка | Наверх | Cообщить модератору

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

	306. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 16:42
	> А это нигде и не предлагается. Слава богу. > Никто не заставляет делать ошибки неосиляторов. А чего они их постоянно делают, то в ядре, то в криптолибах? Покажи мне хотя бы одно осилятора? > Имелось ввиду, что безопасность безопасных компиляторов достаточно иллюзорна в реальности, Ваше мнение очень ценно для нас, особенно без единого пруфа. А вот у гугла почему-то кол-во ошибок уменьшилось. > всё тоже самое можно реализовать и без разработки очередного языка. Да, мы как раз читаем чего стоит реализовать это в дырявых-dy-design языках. Замедление в 1,5-5 раз, сборщик мусора... Предыдущие попытки типа MiraclePtr тоже не взлетели.
	Ответить | Правка | Наверх | Cообщить модератору

	307. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:44
	>всё тоже самое можно реализовать и без разработки очередного языка. Идите и реализуйте это в браузерах, потом когда справитесь в ядре почините. Потом, за оставшийся софт, типа libarchive приступайте, и только потом, может быть, если у вас останется свободное время, говорите об этом. А то надоело, каждый мажорный релиз, и сообщение "устранён X критических багов, всязаных с некоректной работой с памятью".
	Ответить | Правка | К родителю #300 | Наверх | Cообщить модератору

	290. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от BorichL (ok), 18-Ноя-24, 16:10
	> Ответ очень прост: Тем, кто осилил Си, это не нужно, ну а > неосиляторы пилят языки для неосиляторов.
	Ответить | Правка | К родителю #285 | Наверх | Cообщить модератору

	301. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:27
	В том, что у этих двух языков нет выразительной возможности описывать требуемые вещи. Это всё равно, что дать вам простой карандаш и попросить нарисовать цветную картину. А если к этим языкам добавть "цвета", то это уже будет новый язык - cyclone/ats/rust. По научному это называется типобезопасность - выражение дополнительной информации через типы.
	Ответить | Правка | К родителю #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ообщить модератору

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

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

	250. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
	Сообщение от Аноним (225), 18-Ноя-24, 11:32
	Если бы раст был привлекательным все бы на него перешли. Но такого и близко нет. То что в больших корпах фанатики пытаются что-то ковырять так это ничего не значит. В корпах что-то постоянно ковыряют, а потом выкидывают в мусорку и никогда больше не вспоминают. Менеджер отчитался и забыл и перешёл в следующую компанию.
	Ответить | Правка | Наверх | Cообщить модератору

	253. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (-), 18-Ноя-24, 11:37
	> Если бы раст был привлекательным все бы на него перешли. > Но такого и близко нет. Если бы автомобили были привлекательны, то на них бы все перешли, но такого и близко нет - на улицах сплошные лошади (Аноним из 185х годов). > То что в больших корпах фанатики пытаются что-то ковырять так это ничего не значит. Правильно! Надо ориентироваться только на васянов которые пилят свои поделки на том что знают и на легаси проектах которые сидят на стандартах 20 летней давности. (С99 было заменено в ведре только в 2022 году.. на С11) > В корпах что-то постоянно ковыряют, а потом выкидывают в мусорку и никогда больше не вспоминают. Менеджер отчитался и забыл и перешёл в следующую компанию. Было бы правда, если бы код выкинули. Но нет - он уже работает у пользователей.
	Ответить | Правка | Наверх | Cообщить модератору

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

	341. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (335), 18-Ноя-24, 22:13
	> Только раст это паровой автомобиль. Который не прижился и научил нормальных людей что так делать не надо. Вот тут полностью согласен. Задумка хорошая реализация на двойку с минусом. У меня были на него большие надежды, но, очевидно, сама система его разработки кривая.
	Ответить | Правка | Наверх | Cообщить модератору

	251. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+4 +/–
	Сообщение от Аноним (-), 18-Ноя-24, 11:33
	> Я так понимаю, что Rust привлекателен для тех, кто предпочитает не углубляться в управление памятью. Возможно. А может они достаточно углубились и понимают, что лучше автоматизовать проверки. > Существует множество ресурсов, посвященных работе с памятью в C, включая темы переполнения буфера и неопределенного поведения. Но к сожалению даже программисты из ядра их не читают. Поэтому ошибки по памяти в С/С++ коде одни и те же десятки лет. > Тем не менее, некоторые программисты про это всё забывают, потому им легче перейти на Rust не напрягая свой мозг. Странная мысль. Ты наверное противник скриптов и любишь ручками делать одно и то же десятки раз? Настоящие программисты всегда старались сбросить рутину на железку - пусть она думает.
	Ответить | Правка | К родителю #232 | Наверх | Cообщить модератору

	302. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:33
	>Существует множество ресурсов, посвященных работе с памятью в C, включая темы переполнения буфера и неопределенного поведения. Тем не менее, некоторые программисты про это всё забывают И что там эти множество ресурсов делают? У сишников было несколько десятилетий, чтобы взять любую систему доказательств, хоть coq, хоть нечто проще, как систему типов ocaml или haskell и внедрить в си. Но тем не менее, даже сейчас, когда уже есть rust, сишники так и не собираются даже начать это делать.
	Ответить | Правка | К родителю #232 | Наверх | Cообщить модератору

	305. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:40
	Зато вместо этого, сишники, с опозданием лет на 50 наконец-то изобрели basic.
	Ответить | Правка | Наверх | Cообщить модератору

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

263. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
Сообщение от fuggy (ok), 18-Ноя-24, 12:31
Проект полностью доведён до готовности. Только нужно использовать кастомную libc. И ещё чтобы сбилдить основные проекты нужно их доработать напильником. А так да полностью готов. Только нужно использовать 128-битные указатели и добавить GC. И ещё ограничивает каламбур типов, которое не то чтобы редко используется для оптимизации.
Ответить | Правка | Наверх | Cообщить модератору

284. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+1 +/–
Сообщение от Аноним (284), 18-Ноя-24, 15:51
Я вот одного не пойму. У многих "одобренных" языков типа Pascal, Swift, Rust (с unsafe) - те же самые проблемы. А наезжают почему-то только на C++. Умные указатели вполне позволяют работать с памятью безопасно. Просто думать надо головой, соблюдать дисциплину, кодировать качественно. А то сначала понабирают модных вкатунов, и потом визжат про "плохой" C++, и как надо всем побежать за "большевиками" срочно переписывать на расте.
Ответить | Правка | Наверх | Cообщить модератору

	304. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	–1 +/–
	Сообщение от Аноним (287), 18-Ноя-24, 16:39
	>У многих "одобренных" языков типа Pascal, Swift, Rust (с unsafe) - те же самые проблемы. Первый язык из этого списка почти никому не нужен, второй - нужен только яблочникам, и то не всем, у третьего такой проблемы нет, как минимум без unsafe. >Умные указатели вполне позволяют работать с памятью безопасно Вы давно видели умные указатели в си? >Просто думать надо головой, соблюдать дисциплину, кодировать качественно И как вам умные указатели помогут против npe, а если точнее против ub, ибо разыменовывание nullptr - это ub? Много вам умные указатели помогут против утечек памяти в двусвязных списках? А в многопоточных программах? >А то сначала понабирают модных вкатунов, и потом визжат про "плохой" C++ В первую очередь как раз таки эти вкатуны, а то и даже не вкатуны, видившие C++ только на картинках и рассказывают о том, как умные указатели всё решат.
	Ответить | Правка | Наверх | Cообщить модератору

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

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

	312. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (312), 18-Ноя-24, 17:14
	OpenSSL написан на C, Assembly, Perl. А я здесь писал про C++. Чтобы безопасно программировать на Си - нужен как минимум актуальный работающий транспайлер (типа как CFront только с учётом накопившихся требований по безопасности за предыдущие десятилетия). Или же использовать исключительно хорошо отлаженные библиотеки. Лично мне в Си не хватает синтаксического сахара для продуктивной работы.
	Ответить | Правка | Наверх | Cообщить модератору

	315. "Fil-C - компилятор для языков C и C++, гарантирующий безопас..."	+/–
	Сообщение от Аноним (287), 18-Ноя-24, 17:32
	>Выберите безопасное подмножество C++ и строго придерживайтесь, не выходя за рамки И где он? Первый же nullptr - и сразу же появляется UB. >Проблема UB сильно преувеличена и раздута любителями поспекулировать на пустом месте. Сколько мажорных релизов браузеров выходит без исправления очередной дырки? >и сгенерировать непредусмотренную ситуацию и на других языках Давайте, сгененрируйте прочу памяти через nullptr в ocaml, haskell, idris, и прочих языках.
	Ответить | Правка | К родителю #308 | Наверх | Cообщить модератору

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

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

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