Исходное сообщение
"Выпуск MirageOS 3.5, платформы для запуска приложений поверх..." Отправлено Ordu, 09-Мрт-19 15:35
> Во-первых, говоря о стеке процессора, ты забыл про пересылку данных. "стеке процессора"? Что за странное словосочетание? Ты хочешь сказать, что ocaml использует два стека? Один для нужд рантайма и параллельный стек для собственно программы? Да ладно, не может быть. И да, о какой пересылке речь? > Во-вторых, для своего стека OCaml по очевидным причинам не может использовать стековые > инструкции; кроме того, проверяет выход за пределы выделенного блока, при необходимости > переаллоцируя весь "стек". Большую часть этих проверок можно делать статически. Или даже все эти проверки можно выполнять статически. Но тут уже от языка зависит, скажем от того, позволяет ли он выделять со стека куски памяти динамического размера, и используется ли при этом рекурсия, глубину которой компилятор просчитать не в состоянии. > переаллоцируя весь "стек". Ну, вообще, на мой взгляд, переаллокация стека -- это в любом случае плохо, и если на это идёт заточка, то переаллокации должны происходить только в сторону увеличения, чтобы их было бы немного за всё время выполнения программы. А вообще, я бы просто выкидывал исключение -- за стеком надо следить, и если его мало, то надо заранее заказать побольше. Вообще мне странны твои слова, в том смысле, что я в Common Lisp'е постоянно выделял на стеке, и я был уверен в том, что стоимость этого выделения в большинстве ситуаций O(1) -- то есть проверка на переполнение и сложение. Что там sbcl делал в случае переполнения, я не задумывался никогда.