The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Уязвимость в чипсетах Intel, позволяющая извлечь корневой кл..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для слежения за появлением новых сообщений в нити, нажмите "Проследить за развитием треда".
. "E2K это Эльбрус который?" +/
Сообщение от Vkni (ok), 08-Мрт-20, 00:53 
> Понял, передал, спасибо.

Вот тут есть ссылки на статьи по оптимизации pattern-matching:

https://stackoverflow.com/questions/20233019/about-the-patte...

А кодогенератор под Itanium есть у конторы OcamlPRO -

https://github.com/OCamlPro/OCamlPro-OCaml-Branch/tree/maste...

Камл хорош тем, что он довольно простой, а понаписано под него много чего => можно относительно быстро менять кодогенерацию и замерять эффект на "типичном коде".

> На железном уровне в e2k реализованы предикаты -- т.е. можно идти по нескольким веткам, а затем отобрать нужную, если правильно помню.

Это очень полезно в тех же компиляторах - вот типичный код:

https://github.com/ocaml/ocaml/blob/trunk/lambda/translclass...

видите - там идёт match на множество случаев. А часто они бывают и вложенные.

-------------------
Второй момент - в функциональных программах редко пользуются циклами, а часто функциями на списках/векторах типа map.

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

Оглавление
Уязвимость в чипсетах Intel, позволяющая извлечь корневой кл..., opennews, 05-Мрт-20, 20:26  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру