Конкурентность: Кооперативность

[Rastler]

Как раз прочитал первую часть, подписался на ваши публикации, а тут вторая часть. Спасибо за серию статей, для новичков очень полезное обозрение темы.

[Rulexec]

Совсем для новичков я ещё когда-то писал Code Hardcorius, но то было довольно давно и мне там уже много чего не нравится (про полиморфизм вообще дичь какая-то несуразная).

[greatkir]

Спасибо за статьи! В качестве неплохого наглядного примера реализации сопрограмм на PHP вспомнилась эта статья https://habrahabr.ru/post/164173/

[aso]

Я, конечно, дико извиняюсь — но у Вас речь идёт про потоки или про многозадачность?
Поскольку между ними существует некоторые различия — и далеко не всегда шедулингом потоков занимается ОС, насколько мне помнится.

[Gryphon88]

Недопонял про корутины. Посоветуйте, какую-нибудь низкоуровневую реализацию (С/С++/Rust), чтобы осознать, как оно работает, а то yield воспринимается просто как магическое слово.

[mayorovp]

Для C++ оно еще не вошло в стандарт...

https://isocpp.org/files/papers/N4402.pdf

[monah_tuk]

Можно пощупать в Boost: http://www.boost.org/doc/libs/1_63_0/libs/coroutine/doc/html/index.html

а вообще, вручную можно реализовать на чём-то вроде setjmp/longjmp

[Deosis]

Можно посмотреть на Горутины. Там они встроены в сам язык, и их реализация написана на го.

[gorodnev]

Я так понимаю, что реализация Posix threads в userspace GNU pth — это и есть корутины в С.

[Gryphon88]

Спасибо большое всем за ответы.
Насколько я понял, сопрограммы получаются аналогом пайпов в никсах, управление передаётся туда-сюда, «истинной параллельности» нет. Можно реализовать в лоб по Кнуту, но получается фигня какая-то, мне больше понравилось вот это объяснение и код. Вроде за счёт разворачивания макросов и оптимизации компилятора мы в итоге получаем линейную программу, где в соответствующие места инлайнится соответствующая часть (метка, состояние) сопрограммы.

У меня лёгкий микроконтроллерный С головного мозга, отсюда и привычка лезть в кишки абстракциям.