forum.opennet.ru

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

Оглавление

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

Интересно, причина в OCaml или в прямых руках разработчиков , proninyaroslav (ok), 11:24 , 08-Мрт-19, (1) –1 //

Развитая система типов плюс статическая типизация позволяют создавать API, котор, Ordu (ok), 11:58 , 08-Мрт-19, (3) +9 //

В Хаскелях не хватает скорости , Vkni (ok), 15:35 , 08-Мрт-19, (12) –2
Вообще-то стэк OCaml-а аллоцирован в куче , Аноним (25), 13:59 , 09-Мрт-19, (25) //

Какая разница где он аллоцирован, если аллокация со стека сводится к одной арифм, Ordu (ok), 14:14 , 09-Мрт-19, (27) +1

Во-первых, говоря о стеке процессора, ты забыл про пересылку данных Во-вторых, д, Аноним (25), 14:24 , 09-Мрт-19, (29) +1

стеке процессора Что за странное словосочетание Ты хочешь сказать, что ocaml, Ordu (ok), 15:35 , 09-Мрт-19, (30)

Хотя я так подумал про ocaml пишут, что у него generational gc, а выделение п, Ordu (ok), 15:41 , 09-Мрт-19, (31)
Обычное название для стека, который адресуется регистром процессора RSP в случа, Аноним (25), 18:11 , 09-Мрт-19, (32) +1

На оба стека , Ordu (ok), 18:49 , 09-Мрт-19, (33)

Контролем стека процессора занимается ОС см man limits conf , ставит сторожеву, Аноним (25), 13:22 , 10-Мрт-19, (39)

Только за счёт того, что компиляция программ занимает минуты или даже десятки ми, Vkni (ok), 21:11 , 09-Мрт-19, (35)

Почему В Clean, например, 3 стека - ABC atomic boxed control по типу того, что, Vkni (ok), 21:14 , 09-Мрт-19, (36)

Потому что cache-locality Стек хорош в этом функции работают преимущественно с, Ordu (ok), 12:15 , 10-Мрт-19, (37)

Я думаю, что раза в полтора - всё-таки, рабочая глубина этих стеков будет меньше, Vkni (ok), 13:11 , 10-Мрт-19, (38)

Тут сложно навскидку рассуждать, но если с каждого из тех стеков надо всего одну, Ordu (ok), 14:06 , 10-Мрт-19, (40)

142 многовато, вот 128 CODE cat hello asm fasm demonstration of writing simp, Аноним (25), 14:23 , 10-Мрт-19, (42)

ЖЫрнота, особенно по зависимостям code cat real_hello_world asmBASE equ 07c00, Аноним84701 (ok), 22:05 , 10-Мрт-19, (46)
Это же MBR размером 512 байт на некотором железе не запустится , а было Smalle, Аноним (47), 16:05 , 11-Мрт-19, (47)
Неа, см Специально считерил, срезав см последние три строчки - в интел-с, Аноним84701 (ok), 17:07 , 11-Мрт-19, (48)
Сами по себе эти 56 байт разве запустятся Всё одно, требуется некий аналог exe, Аноним (47), 06:51 , 12-Мрт-19, (49)

популярен во франкоязычных странах Сам по себе вполне не плох, но вот только в , Cradle (?), 12:31 , 08-Мрт-19, (5) –1 //

Зависит от задачи Вычислительный код писать, например, очень неудобно, если не , Vkni (ok), 15:34 , 08-Мрт-19, (11)
Ну почему же В фейсбуке используют см reasonml Docker for Mac тоже на нем н, KonstantinB (ok), 00:41 , 09-Мрт-19, (23)

И то, и другое Ocaml - это в девичестве Caml Light, который был создан Ксавье Л, Vkni (ok), 15:34 , 08-Мрт-19, (10) –1 //

Упомянутая выше dune, кстати, тоже отрабатывает мгновенно за счёт умного кеширов, Vkni (ok), 15:37 , 08-Мрт-19, (13)
MLton для оптимизации выполняет unboxing, в аналогичных местах OCaml будет прове, Аноним (25), 14:18 , 09-Мрт-19, (28) //

Чтобы выражение f a b c d , которое обязано быть равным f a b c d , можн, Vkni (ok), 21:05 , 09-Мрт-19, (34) +1

Благодарю Однако, там же сказано со ссылкой на Драгонбук , что преимущество мо, Аноним (25), 14:12 , 10-Мрт-19, (41)

Ну там лажа написана - надо поменять Простейшая проверка показывает, что right , Vkni (ok), 14:47 , 10-Мрт-19, (43)

Если там перепутали порядок вычисления аргументов в существующих имплементациях,, Аноним (25), 16:23 , 10-Мрт-19, (44)

Ну я бы не стал рассчитывать на такие тонкости, с учётом тех серьёзных изменений, Vkni (ok), 19:26 , 10-Мрт-19, (45)

print_endline Hello World компилируется в 355944 байт ocamlopt либо в 17793, Аноним (25), 14:08 , 09-Мрт-19, (26)

TL DR чуваки написали ядро ОС без поддержки userspace-процессов , Твоя мама (?), 11:52 , 08-Мрт-19, (2) +4 //

да, это для эмбедовки, Cradle (?), 12:46 , 08-Мрт-19, (6) //

MirageOS в первую очередь применяется в докере , Аноним (8), 14:16 , 08-Мрт-19, (8) –2 //

ок, спасибо, не знал Сам на нее смотрел пару лет назад как на альтернативу free, Cradle (?), 14:56 , 08-Мрт-19, (9)

Это ОС в виде библиотеки статически линкуемой, разумеется В эмбедовке такой п, KonstantinB (ok), 00:45 , 09-Мрт-19, (24) +1

Гайс, обоснуйте в ней можно будет полноценно установить запустить например брайз, Аноним (4), 12:17 , 08-Мрт-19, (4) //

ne, Аноним (7), 13:19 , 08-Мрт-19, (7) +1
Тебе как минимум для гуя нужно взаимодействие с системой , Аноним (14), 16:27 , 08-Мрт-19, (14)
Это для краснoглазиков любящих сервера и консоли, гуй не нужен , Аноним (15), 16:56 , 08-Мрт-19, (15)
Это хромопроблемы В файрфокс метрики нет от слова вообще , его хоть из-под рут, Аноним (19), 18:43 , 08-Мрт-19, (19)

О mirage-kv написано совершенно не верно Это не библиотека, а набор сигнатур OC, erthink (ok), 17:21 , 08-Мрт-19, (18) +1 //

Вижу что уже поправили Теперь норм , erthink (ok), 22:39 , 08-Мрт-19, (22)

Это для тех, кто скучает по DOSу , Аноним (20), 21:51 , 08-Мрт-19, (20) –1 //

да, кстати, сам только сейчас понял что действительно скучаю по такой юнности в , Cradle (?), 22:34 , 08-Мрт-19, (21) +4

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

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

Сообщение от Аноним (25), 09-Мрт-19, 14:18

MLton для оптимизации выполняет unboxing, в аналогичных местах OCaml будет проверять младший бит, что бы различить значения и указатели. А за счёт чего "делать все вычисления "справа налево" может дать прирост скорости при выполнении?

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

34. "Выпуск 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ообщить модератору

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

Сообщение от Аноним (25), 10-Мрт-19, 14:12

Благодарю. Однако, там же сказано (со ссылкой на Драгонбук), что преимущество может дать неопределённый порядок вычисления аргументов, принятый в C.
In Objective CAML, the order of evaluation of arguments is not specified. As it happens, today all implementations of Objective CAML evaluate arguments from left to right. All the same, making use of this implementation feature could turn out to be dangerous if future versions of the language modify the implementation.
http://caml.inria.fr/pub/docs/oreilly-book/html/book-ora029....

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

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

Сообщение от Vkni (ok), 10-Мрт-19, 14:47

Ну там лажа написана - надо поменять. Простейшая проверка показывает, что right to left:
# let f x y = (x, y);;
val f : 'a -> 'b -> 'a * 'b = <fun>
# f (print_string "Left") (print_string "Right");;
RightLeft- : unit * unit = ((), ())
Понятно, что чем больше у компилятора возможностей, тем больше может быть степень оптимизации. Но сейчас всё согласовано - right to left.

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

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

Сообщение от Аноним (25), 10-Мрт-19, 16:23

Если там перепутали порядок вычисления аргументов в существующих имплементациях, это одно. Другое дело, что кроме того там написано "порядок не определён; так получилось, что аргументы вычисляются так-то, но рассчитывать на эту особенность опасно, т.к. в будущем может измениться".

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

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

Сообщение от Vkni (ok), 10-Мрт-19, 19:26

> но рассчитывать на эту особенность опасно, т.к. в будущем может измениться".
Ну я бы не стал рассчитывать на такие тонкости, с учётом тех серьёзных изменений в stdlib, которые произошли между 3 и 4. С другой стороны, то руководство вообще для дремучей версии 2.

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

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

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

Партнёры:

Хостинг:

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

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


	28. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+/–
	Сообщение от Аноним (25), 09-Мрт-19, 14:18
	MLton для оптимизации выполняет unboxing, в аналогичных местах OCaml будет проверять младший бит, что бы различить значения и указатели. А за счёт чего "делать все вычисления "справа налево" может дать прирост скорости при выполнении?
	Ответить \| Правка \| К родителю #10 \| Наверх \| Cообщить модератору


	34. "Выпуск 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ообщить модератору


	41. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+/–
	Сообщение от Аноним (25), 10-Мрт-19, 14:12
	Благодарю. Однако, там же сказано (со ссылкой на Драгонбук), что преимущество может дать неопределённый порядок вычисления аргументов, принятый в C. In Objective CAML, the order of evaluation of arguments is not specified. As it happens, today all implementations of Objective CAML evaluate arguments from left to right. All the same, making use of this implementation feature could turn out to be dangerous if future versions of the language modify the implementation. http://caml.inria.fr/pub/docs/oreilly-book/html/book-ora029....
	Ответить \| Правка \| Наверх \| Cообщить модератору


	43. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+/–
	Сообщение от Vkni (ok), 10-Мрт-19, 14:47
	Ну там лажа написана - надо поменять. Простейшая проверка показывает, что right to left: # let f x y = (x, y);; val f : 'a -> 'b -> 'a * 'b = <fun> # f (print_string "Left") (print_string "Right");; RightLeft- : unit * unit = ((), ()) Понятно, что чем больше у компилятора возможностей, тем больше может быть степень оптимизации. Но сейчас всё согласовано - right to left.
	Ответить \| Правка \| Наверх \| Cообщить модератору


	44. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+/–
	Сообщение от Аноним (25), 10-Мрт-19, 16:23
	Если там перепутали порядок вычисления аргументов в существующих имплементациях, это одно. Другое дело, что кроме того там написано "порядок не определён; так получилось, что аргументы вычисляются так-то, но рассчитывать на эту особенность опасно, т.к. в будущем может измениться".
	Ответить \| Правка \| Наверх \| Cообщить модератору


	45. "Выпуск MirageOS 3.5, платформы для запуска приложений поверх..."	+/–
	Сообщение от Vkni (ok), 10-Мрт-19, 19:26
	> но рассчитывать на эту особенность опасно, т.к. в будущем может измениться". Ну я бы не стал рассчитывать на такие тонкости, с учётом тех серьёзных изменений в stdlib, которые произошли между 3 и 4. С другой стороны, то руководство вообще для дремучей версии 2.
	Ответить \| Правка \| Наверх \| Cообщить модератору