forum.opennet.ru

"Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."

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

Исходное сообщение

[ Отслеживать ]

Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.

. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+1 +/–
Сообщение от Vkni (ok), 09-Мрт-19, 21:05
> А за счёт чего "делать все вычисления "справа налево" может дать прирост скорости при выполнении? Чтобы выражение (f a b c d), которое обязано быть равным ((((f a) b) c) d), можно было заменять на прямой вызов функции f с вычисленными параметрами a b c d. Это изложено в книжке https://xavierleroy.org/bibrefs/Leroy-ZINC.html (ссылка local copy), на странице 14. Они ребята последовательные, поэтому это вычисление справа налево у них везде - я проверял. Делается структура, массив, кортеж, что угодно - везде справа налево. Ну кроме блока последовательных процедур, конечно.
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Выпуск MirageOS 3.5, платформы для запуска приложений поверх..., opennews, 08-Мрт-19, 11:24 [смотреть все]

Интересно, причина в OCaml или в прямых руках разработчиков , proninyaroslav, 08-Мрт-19, 11:24 (1) //
- Развитая система типов плюс статическая типизация позволяют создавать API, котор, Ordu, 08-Мрт-19, 11:58 (3) //
  - В Хаскелях не хватает скорости , Vkni, 08-Мрт-19, 15:35 (12)
  - Вообще-то стэк OCaml-а аллоцирован в куче , Аноним, 09-Мрт-19, 13:59 (25) //
    - Какая разница где он аллоцирован, если аллокация со стека сводится к одной арифм, Ordu, 09-Мрт-19, 14:14 (27)
      - Во-первых, говоря о стеке процессора, ты забыл про пересылку данных Во-вторых, д, Аноним, 09-Мрт-19, 14:24 (29)
        
        стеке процессора Что за странное словосочетание Ты хочешь сказать, что ocaml, Ordu, 09-Мрт-19, 15:35 (30)
        
        Хотя я так подумал про ocaml пишут, что у него generational gc, а выделение п, Ordu, 09-Мрт-19, 15:41 (31)
        Обычное название для стека, который адресуется регистром процессора RSP в случа, Аноним, 09-Мрт-19, 18:11 (32)
        
        На оба стека , Ordu, 09-Мрт-19, 18:49 (33)
        
        Контролем стека процессора занимается ОС см man limits conf , ставит сторожеву, Аноним, 10-Мрт-19, 13:22 (39)
        
        Только за счёт того, что компиляция программ занимает минуты или даже десятки ми, Vkni, 09-Мрт-19, 21:11 (35)
        
        Почему В Clean, например, 3 стека - ABC atomic boxed control по типу того, что, Vkni, 09-Мрт-19, 21:14 (36)
        
        Потому что cache-locality Стек хорош в этом функции работают преимущественно с, Ordu, 10-Мрт-19, 12:15 (37)
        
        Я думаю, что раза в полтора - всё-таки, рабочая глубина этих стеков будет меньше, Vkni, 10-Мрт-19, 13:11 (38)
        
        Тут сложно навскидку рассуждать, но если с каждого из тех стеков надо всего одну, Ordu, 10-Мрт-19, 14:06 (40)
        
        142 многовато, вот 128 CODE cat hello asm fasm demonstration of writing simp, Аноним, 10-Мрт-19, 14:23 (42)
        
        ЖЫрнота, особенно по зависимостям code cat real_hello_world asmBASE equ 07c00, Аноним84701, 10-Мрт-19, 22:05 (46)
        Это же MBR размером 512 байт на некотором железе не запустится , а было Smalle, Аноним, 11-Мрт-19, 16:05 (47)
        Неа, см Специально считерил, срезав см последние три строчки - в интел-с, Аноним84701, 11-Мрт-19, 17:07 (48)
        Сами по себе эти 56 байт разве запустятся Всё одно, требуется некий аналог exe, Аноним, 12-Мрт-19, 06:51 (49)
- популярен во франкоязычных странах Сам по себе вполне не плох, но вот только в , Cradle, 08-Мрт-19, 12:31 (5) //
  - Зависит от задачи Вычислительный код писать, например, очень неудобно, если не , Vkni, 08-Мрт-19, 15:34 (11)
  - Ну почему же В фейсбуке используют см reasonml Docker for Mac тоже на нем н, KonstantinB, 09-Мрт-19, 00:41 (23)
- И то, и другое Ocaml - это в девичестве Caml Light, который был создан Ксавье Л, Vkni, 08-Мрт-19, 15:34 (10) //
  - Упомянутая выше dune, кстати, тоже отрабатывает мгновенно за счёт умного кеширов, Vkni, 08-Мрт-19, 15:37 (13)
  - MLton для оптимизации выполняет unboxing, в аналогичных местах OCaml будет прове, Аноним, 09-Мрт-19, 14:18 (28) //
    - Чтобы выражение f a b c d , которое обязано быть равным f a b c d , можн , Vkni, 09-Мрт-19, 21:05 (34)
      - Благодарю Однако, там же сказано со ссылкой на Драгонбук , что преимущество мо, Аноним, 10-Мрт-19, 14:12 (41)
        
        Ну там лажа написана - надо поменять Простейшая проверка показывает, что right , Vkni, 10-Мрт-19, 14:47 (43)
        
        Если там перепутали порядок вычисления аргументов в существующих имплементациях,, Аноним, 10-Мрт-19, 16:23 (44)
        
        Ну я бы не стал рассчитывать на такие тонкости, с учётом тех серьёзных изменений, Vkni, 10-Мрт-19, 19:26 (45)
- print_endline Hello World компилируется в 355944 байт ocamlopt либо в 17793, Аноним, 09-Мрт-19, 14:08 (26)
TL DR чуваки написали ядро ОС без поддержки userspace-процессов , Твоя мама, 08-Мрт-19, 11:52 (2) //
- да, это для эмбедовки, Cradle, 08-Мрт-19, 12:46 (6) //
  - MirageOS в первую очередь применяется в докере , Аноним, 08-Мрт-19, 14:16 (8) //
    - ок, спасибо, не знал Сам на нее смотрел пару лет назад как на альтернативу free, Cradle, 08-Мрт-19, 14:56 (9)
- Это ОС в виде библиотеки статически линкуемой, разумеется В эмбедовке такой п, KonstantinB, 09-Мрт-19, 00:45 (24)
Гайс, обоснуйте в ней можно будет полноценно установить запустить например брайз, Аноним, 08-Мрт-19, 12:17 (4) //
- ne, Аноним, 08-Мрт-19, 13:19 (7)
- Тебе как минимум для гуя нужно взаимодействие с системой , Аноним, 08-Мрт-19, 16:27 (14)
- Это для краснoглазиков любящих сервера и консоли, гуй не нужен , Аноним, 08-Мрт-19, 16:56 (15)
- Это хромопроблемы В файрфокс метрики нет от слова вообще , его хоть из-под рут, Аноним, 08-Мрт-19, 18:43 (19)
О mirage-kv написано совершенно не верно Это не библиотека, а набор сигнатур OC, erthink, 08-Мрт-19, 17:21 (18) //
- Вижу что уже поправили Теперь норм , erthink, 08-Мрт-19, 22:39 (22)
Это для тех, кто скучает по DOSу , Аноним, 08-Мрт-19, 21:51 (20) //
- да, кстати, сам только сейчас понял что действительно скучаю по такой юнности в , Cradle, 08-Мрт-19, 22:34 (21)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру