https://www.opennet.me/openforum/vsluhforumID3/136868.html В день празднования десятилетия с момента выпуска языка программирования Rust 1.0 (проект Rust был основан в 2006 году, выпуск 0.1 был сформирован в 2012 году, а первая стабильная версия предложена в 2015 году) опубликован релиз Rust 1.87. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки)...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=63242<br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#581 Tue, 20 May 2025 19:49:30 GMT &gt; То есть там мало того, что есть сборщик мусора, так ещё и счётчик ссылок зачем-то воткнули?<br><br>В Аде есть много разных сборщиков мусора. Но использовать их не обязательно. Мало того, один проект может использовать один тип сборщика мусора, а другой проект - другой, а третий - вообще его не использовать. Мало того, какой аллокатор хотите, такой и используйте.<br>Есть даже такая экзотика: какой либо конвертер выделяет память для работы по мере необходимости, а потом всё скопом освобождается, когда конвертация закончена. Просто потому, что во время работы освобождать нечего. Такой процесс не использует ни сборщик мусора, ни умные указатели. Не нужно это ему.<br><br>Большинство модулей использует блочное выделение и освобождение памяти. Это просто быстрее, не возникает фрагментации кучи, и отлично подходит к специфике предметной области.<br><br>По моему какие-то варианты сборщика мусора используют модули, заточенные под всякий Web. Но я ими не занимаюсь, и, если честно, в них не разбирался.<br><br>И да, в .NET, например, если https://www.opennet.me/openforum/vsluhforumID3/136868.html#580 Tue, 20 May 2025 19:14:11 GMT &gt;&gt; [B]компилятора в ассемблер[/B] и своего ассемблера<br>&gt; Я как один из авторов бекенда LLVM-RISCV наверно все-таки знаю как работает <br>&gt; LLVM и уж точно знают побольше тебя. <br><br>Т.е. как "один из авторов бэкэнда" - ты даже не задумывался, почему это llvm-as и прочие llc - вынесены в tools (т.е. опциональны и не задействованны в компиляторе расте[1], как впрочем AFAIK нет и "компилирования в ассемблер" в том же GCC)?<br>Но ты продолжай, продолжай ...<br><br>&gt; что если (как ты говоришь) кресты дырявые, то дырявый и твой <br>&gt; раст потому что раст не имеет ни компилятора, ни ассемблера. Все <br>&gt; что он умеет это преобразовывать код на расте в LLVM-IR, а <br>&gt; дальше это всё уже компилируется "дырявым" софтором на С++ в ассемблер <br>&gt; -&gt; бинарный код. [B]Дак вот если в этом софте бага с <br>&gt; переполнением, use-after-free и т.п., то и твой код на расте получится <br>&gt; дырявым.[/B]<br><br>А не, лучше б не продолжал. *рукалицо.жпг* <br><br>Так вот, дорогой "автор" - если в "этом софте" (т.е. LLVM) бага с переполнением, то она так и останетс https://www.opennet.me/openforum/vsluhforumID3/136868.html#579 Tue, 20 May 2025 18:40:41 GMT Программисты тоже любят шутить<br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#578 Tue, 20 May 2025 18:38:18 GMT В языке Ада нет интеллектуальных указателей, но для GNAT они реализуются в библиотеке.<br>Делать сборщик мусора или нет - спецификация Ады про это ничего не говорит, это зависит от разработчика компилятора.<br><br>Парсеры стандартных форматов есть готовые в виде библиотек. А если какой-то свой - видимо резервируют память в пуле с запасом. <br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#577 Tue, 20 May 2025 18:24:00 GMT Если говорить про Free Pascal, то в нём можно так же удобно работать с низкоуровневыми данными как в Си, и в то же время в нём есть средства для надёжной работы с высокоуровневыми данными (чего нет в Си). Во Free Pascal'е три вида указателей:<br>1. Небезопасные ( вида var x: ^T1 ). Они эквивалентны Си-шным указателям и предназначены для работы с низкоуровневой информацией (байты, маш. слова) и системными вызовами, для них нет проверки типизации и разрешена арифметика.<br>2. Безопасные указатели ( вида var x: T1 , где T1 - класс ). Для них компилятор проверяет типизацию, наличие инициализации, для них запрещены арифметика и приведение типа. Эти указатели используют для работы с объектами и построения динамических структур данных типа списков.<br>3. Интеллектуальные указатели (вида var x: T1 , где T1 - интерфейс). Это контролируемые указатели на подсчёте ссылок на объект. Они автоматически уничтожают объект когда его никто не использует).<br><br>Это только маленькая часть отличий Free Pascal'я от Си.<br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#576 Tue, 20 May 2025 13:32:12 GMT &gt; Я как один из авторов бекенда LLVM-RISCV<br><br>Я тебе конечно верю<br>Разве могут быть сомненья<br>В интернете Анонимы<br>Только правду говорят!<br><br>&gt; что если (как ты говоришь) кресты дырявые, <br><br>Ага, а они дырявые.<br><br>&gt; то дырявый и твой раст <br><br>Д - Логика (с)<br><br>&gt; Дак вот если в этом софте бага с переполнением, use-after-free и т.п., то и твой код на расте получится дырявым.<br><br>С чего вдруг?<br>Может просто процесс компиляции крашнеся, или для уязвимости нужно самому заниматься компиляцией.<br>Раст выступает в роли дополнительного слоя защиты от врожденных багов недоязычков.<br>Но раз ты спец в llvm, то для тебя будет легко найти пример уязвимости, которая просочилась в получаемый бинарник.<br><br>ps и да, к сожалению llvm таки дырявый.<br>"В итоге в кодовой базе LLVM удалось выявить 12 новых проблем, из которых 8 были вызваны ошибками, приводящими к повреждению памяти. 6 выявленных уязвимостей приводили к переполнению буфера, 2 к обращению к уже освобождённой памяти, 3 - к разыменованию нулевых уязазателей и 1 к чтению из обл https://www.opennet.me/openforum/vsluhforumID3/136868.html#575 Tue, 20 May 2025 13:17:22 GMT Я как один из авторов бекенда LLVM-RISCV наверно все-таки знаю как работает LLVM и уж точно знают побольше тебя. А сказать я хотел, что если (как ты говоришь) кресты дырявые, то дырявый и твой раст потому что раст не имеет ни компилятора, ни ассемблера. Все что он умеет это преобразовывать код на расте в LLVM-IR, а дальше это всё уже компилируется "дырявым" софтором на С++ в ассемблер -&gt; бинарный код. Дак вот если в этом софте бага с переполнением, use-after-free и т.п., то и твой код на расте получится дырявым.<br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#574 Tue, 20 May 2025 11:28:03 GMT Я имел ввиду систему ограничений на доступные средства языка.<br><br>Например декларировал, что в конкретной функции нельзя работать с кучей. И компилятор проходя по этой функции и всему древу вызовов проверяет что нигде куча не трогается никаким образом.<br><br>Думаю, знаете, где это может пригодиться.<br> https://www.opennet.me/openforum/vsluhforumID3/136868.html#573 Mon, 19 May 2025 19:59:25 GMT &gt; Почитать документацию и убедиться, что unsafe не означает вседозволенность.<br><br>Хе-хе, этот unsafe, чей надо unsafe! Это другое!! Ничё вы не понимаете!!!<br>