Співпрограма

Співпрограма або співпроцедура (англ. Coroutine) — компонент програми, що узагальнює поняття підпрограми, додатковою підтримкою безлічі точок входу (а не однієї, як підпрограма) і зупинку та продовження виконання із збереженням певного положення. Співпрограми є гнучкішими і узагальненішими, ніж підпрограми, але рідше використовуються на практиці. Застосування співпрограм, будучи методикою ще асемблера, практикувалося лише деякими високорівневими мовами, наприклад Simula і . Співпрограми добре придатні для реалізації багатьох схожих компонентів програм (ітераторів, нескінченних списків, каналів, волокон).

Співпрограма має початкову точку входу і розташовані всередині послідовності повернень і наступних точок входу. Підпрограмма може повертати керування лише одного разу, співпрограма може повертати керування багаторазово. Час роботи підпрограми відзначається принципом LIFO (остання викликана підпрограма завершується першою), час роботи співпрограми визначається її використанням і необхідністю.

Наведемо простий приклад використання співпрограми. Нехай необхідно реалізувати зв'язок між споживачем і виробником, де одна частина програми створює елементи й поміщає їх у чергу, а інша видаляє їх та використовує. Наступний код реалізує це:

var q := new queue coroutine produce loop while q is not full create some new items add the items to q yield to consume coroutine consume loop while q is not empty remove some items from q use the items yield to produce 

Реалізації

C++

Підтримка співпрограм існувала в ранніх версіях , але через низку різних причин у стандарт співпрограми не увійшли.

В 2012 році комітет отримав формальну пропозицію з включення підтримки співпрограм. Головним чином, вони були потрібні для створення серверних застосунків з підтримкою тисяч або навіть мільйонів одночасних клієнтів. В 2013 році була запропонована альтернативна реалізація. Відтоді тривали дискусії, дослідження, спроби узгодити остаточну версію.

Нарешті, підтримка безстекових сівпрограм увійшла в стандарт мови . Зокрема, були додані нові ключові слова co_return, co_await та co_yield, але підтримка співпрограм у стандартній бібліотеці була мінімальна.

До того можливість роботи зі співпрограмами була реалізована на рівні бібліотек, зокрема Boost.Coroutine, Boost.Coroutine2 та іншими, стандарт радше визначив каркас для роботи зі співпрограмами. Тому, для зручності розробників, були створені бібліотеки класів для поширених видів співпрограм: cppcoro, libcoro, QCoro, та інші.

Стандартом передбачено, що співпрограма може віддати управління в одному потоці виконання, а бути відновлена — в іншому.

В стандарті був доданий тип generator, який полегшує створення (генераторів послідовностей) на основі співпрограм сумісних з доданими в стандарті C++20 діапазонами.

Таким чином, генератор послідовності Фібоначчі мовою стандарту C++23 може мати такий вигляд:

#include <generator> #include <ranges> #include <iostream>   std::generator<int> fib() {  co_yield 0;  auto a = 0;  auto b = 1;  for (auto n : std::views::iota(0)) {   auto next = a + b;  a = b;  b = next;  co_yield next;  } } int main() {  for (auto f : fib() | std::views::take(10)) {  std::cout << f << " ";  } } 

Див. також

• Волокно (програмування) та Кооперативна багатозадачність
• Підпрограма

Примітки

1. Stroustrup, Bjarne (12 червня 2020). Thriving in a crowded and changing world: C++ 2006–2020. Proceedings of the ACM on Programming Languages. Association for Computing Machinery (ACM). 4 (HOPL): 1—168. doi:10.1145/3386320. ISSN 2475-1421. S2CID 219603741.
2. Valentyn Korniienko (25 квітня 2023). С++20 Сoroutines та огляд бібліотек, які реалізують підтримку со-програм. DOU.
3. Rainer Grimm (23 жовтня 2019). C++20: The Big Four.
4. Coroutines (C++20). CPP Reference. 27 жовтня 2023. Процитовано 4 листопада 2023.
5. Rainer Grimm (18 вересня 2023). C++23: Ranges Improvements and std::generator.

Джерела

• Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973.
• Дональд Кнут. Fundamental Algorithms // The Art of Computer Programming. — 3rd. — Massachusetts : Addison–Wesley, 1997. — Т. 1. — 650 с. — .(англ.)