https://www.opennet.ru/openforum/vsluhforumID3/133159.html Доступен новый выпуск языка программирования OCaml 4.14.2, поддерживающего концепции функционального, императивного и объектно-ориентированного программирования, и нацеленного на создание безопасных и надёжных программ. В языке применяются статическая типизация, сборка мусора, исключающие переполнения буферов типы, проверка и статический анализ на стадии компиляции. Код инструментария для языка OCaml распространяется под лицензией LGPL...<br><br>Подробнее: https://www.opennet.ru/opennews/art.shtml?num=60815<br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#154 Tue, 02 Apr 2024 07:26:22 GMT От BOUND отказались, когда Intel и AMD перешли к RISC ядру, исполняющему микрооперации, в которые декодировались инструкции IA32/AMD64. Эта команда оказалась на порядок медленнее аналогичного по результату набора простых инструкций. Та же участь постигла и ENTER/LEAVE.<br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#153 Mon, 01 Apr 2024 18:07:03 GMT Проверка переполнения буфера сниджает производительность более, чем на порядок. В ISA x86_64 когда-то были инструкции BOUND, от которых, слава богу, нахер отказались из-за того, что нет эффективного решения таких проверок даже с аппартной подпоркой. Проблема переполнения буфера живет исключительно в головах программистов -- она из той серии, где "sudo rm -rf /". <br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#152 Mon, 25 Mar 2024 11:19:51 GMT &gt;&gt; Ты банально не имеешь понятия, что руткит - это драйвер (намеренно пишу <br>&gt;&gt; некорректный, но всем понятный термин). Так что вот этот сарказм малость <br>&gt;&gt; мимо кассы.<br>&gt; а че не модуль ?<br><br>Потому что он - сервис режима ядра.<br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#151 Sat, 23 Mar 2024 10:43:13 GMT Юношеский максимализм очень плохая штука, и никого до добра не доведет.<br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#150 Sat, 23 Mar 2024 10:42:00 GMT Внимательный читатель страницы MirageOS на гитхабе, обязательно обнаружит ссылку на домашнюю страницу этой ОС. И именно там, от "отцов основателей" узнает о embedded, bare-metal, esp32 и вообще, кто и куда копал.<br>Как бы "MirageOS is a Xen and Linux Foundation incubator project" явно не новостная лента.<br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#149 Fri, 22 Mar 2024 21:32:47 GMT &gt; Зачем в кавычки, LLVM это software defined processor unit.<br><br>исполнить - вычислить, получить результат. Генерация кода - не процесс исполнения, и тем более не исполнительное устройство.<br><br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#148 Fri, 22 Mar 2024 20:08:37 GMT Зачем в кавычки, LLVM это software defined processor unit. <br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#147 Fri, 22 Mar 2024 14:07:51 GMT &gt; "ЦПУ для ЯП это исполнительное устройство." -&gt; "LLVM для ЯП это исполнительное устройство."<br><br>В принципе да, ток устройство в контексте ллвм надо взять в кавычки, входными данными для которого будет IR представление, а выходными - ЦПУ машинные коды.<br> <br>&gt; "А что он (ЦПУ) с ним там сделает, не важно с точки <br>&gt; зрения ЯП." -&gt; "А что он (LLVM) с ним там сделает, <br>&gt; не важно с точки зрения ЯП." <br><br>таки да, и в этом контексте говорить, что "раст не сгенерирует там код какой-то, для какого-то там ЦПУ" - ересь чистой воды.<br><br><br> https://www.opennet.ru/openforum/vsluhforumID3/133159.html#146 Fri, 22 Mar 2024 12:39:13 GMT &gt;&gt; Т.е. х86-код это тоже промежуточное представление.&#129300; <br>&gt; ну подайте на вход х86 процессора risc-код, будет он его исполнять? - <br>&gt; нет. Почему? потому-что на вход он ждет совсем другое представление. А <br>&gt; что он (ЦПУ) с ним там сделает, не важно с точки <br>&gt; зрения ЯП. ЦПУ для ЯП это исполнительное устройство. И х86-код промежуточным <br>&gt; никак нельзя назвать с точки зрения ЯП. А с точки зрения <br>&gt; ЦПУ это входные данные, как для ЯП - исходный текст на <br>&gt; языке.<br><br>Ок.<br>"ЦПУ для ЯП это исполнительное устройство." -&gt; "LLVM для ЯП это исполнительное устройство."<br>"А что он (ЦПУ) с ним там сделает, не важно с точки зрения ЯП." -&gt; "А что он (LLVM) с ним там сделает, не важно с точки зрения ЯП."<br><br>