Правильно ли я понимаю как работают green threads?

Question

[beduin01]

Пытаюсь понять как работают зеленые нити. Как я понимаю их умеют не все языки. Из коробки они идут только в Go и D.

Как я это дело понял:
0. Гоурутины = фаеберы = зеленые нити
1. Внутри каждого процесса может выполняться множество нитей (чем это кстати ограничено?)
2. Фаеберы могут обмениваться данными через стек.
3. Чтобы можно было обмениваться данными через стек указатель на стек искусственно смещается выше чем нужно
4. Фаеберы могут перемещаться с одного нити на другую, если нить заблокирована

Я не нашел информации:

5. Какой максимальный размер стека в ОС?
6. может ли каждый процесс иметь свой стек?

Answer 1

[Алексей Черемисин]

Еще "зеленые нити" из коробки есть в scala и erlang. Ну и во многих функциональных языках типа haskel.

Максимальный размер стека обычно ограничен размером физической памяти. Если только не наложены ограничения, которое обычно можно изменить или убрать вообще. В линуксе начинать смотреть в файло /etc/security/limits.conf и на команду ulimit

Каждый процесс имеет свой стек! А нить, любая, делит стек со всеми нитями процесса.

Comments

[Алексей Помогаев]

В скале, зеленые нити, только в кавычках и называть

[Алексей Черемисин]

А чем, собственно, скаловские зеленые нити отличаются от всех других?! На уровне системы это все равно один процесс, с кучей тредов (возможно), и с работой либо через epool, events или какой другой "прерыватель" IO. Более того, в явамашине зеленые нити с версии 1.1. Так сказать законодатели мод!

[Алексей Помогаев]

https://www.facebook.com/kachayev/posts/586347321403150

[Алексей Черемисин]

Почитал, все очень субъективно, увы. Соглашусь только с одним. В эрланге зеленые треды сделаны очень хорошо, но это и как свойство языка, так и самой VM, под это заточенной. Но и в эрланге, если подвесить тред, то все встанет. Делается легко, например из вызова внешней библиотеки, хотя сам язык это как бы и не позволяет сделать.

Answer 2

[asd111]

5. Максимальный размер стека зависит от ОС. В Linux это обычно 8 Mb, но размер можно менять через ulimit -s и дальше размер. Можно ставить unlimited тогда размер стека будет ограничен размером свободной оперативной памяти. В windows не знаю как. Ещё размер стека можно указывать через флаги компилятора(по крайней мере в gcc).

Answer 3

[Алексей Помогаев]

Вы не прояснили главного - зачем нужны грин треды. Иначе бы задали более интересный вопрос - Каким образом грин треды вытесняют друг-друга, когда происходит IO.

Comments

[beduin01]

ну я и пытаюсь тут это узнать

[Алексей Помогаев]

Фишка в том, что Go, Erlang сделано красиво, через вытесняющую многозадачность. А в Java, Scala или Node.js, всё это работает через callback.

В итоге, заместо, того, чтобы просто писать последовательно блокирующий код, приходится вешать функцию на callback или мудрить с Promise, как в Node.js. Иначе, нативный тред тупо заблокируется и все остальные грин треды будут ждать, а проц простаивать.

[Алексей Помогаев]

Вот тут интересное обсуждение https://www.facebook.com/kachayev/posts/586347321403150

[Максим]

Алексей Помогаев, зеленые треды можно сделать и на ноде. Я это сам делал и Тимур Шемсединов (популяризатор ноды в СНГ) относительно недавно выкладывал публично код по реализации аналога горутин.
Их из коробки нету просто. Наверное потому, что зеленые потоки по сути имеют очень узкую сферу применения, и применять их везде неправильно. Многие бездумно приходя в Го или Ерланг начинают всюду использовать зеленые потоки, горутины и это на самом деле их личная проблема.
Для большинства ассинхронных задач достаточно промисов и асинк/эвейтов.
Горутины и зеленые потоки нужны для изоляции контекста и для того чтобы cpu-прожорливые задачи не блокировали исполнение остальных cpu задач которые могут выполняться гораздо быстрее и не зависят от выполнения этой "прожорливой" операции.