Boost.Coroutine предоставляет две реализации - асимметричные и симметричные корутины.

Симметричные корутины обычно возникают в контексте параллельного программирования для представления независимых единиц исполнения. Реализации, которые производят последовательности значений, обычно используют асимметричные корутины. ^[5]

stackful

Каждый экземпляр корутина имеет свой собственный стек.

В отличие от корутин без стека, стековые корутины позволяют вызывать операцию приостановки из произвольных подстеков, что позволяет проводить рекурсивные операции побега и повторного входа.

move-only

Корутина только подвижна.

Если бы он был копируемым, то его стек со всеми объектами, выделенными на нем, тоже был бы скопирован. Это привело бы к неопределенному поведению, если бы некоторые из этих объектов были классами RAII (управление ресурсом по шаблону RAII). Когда первая из рутинных копий завершится (раскручивает свой стек), деструкторы класса RAII выпустят свои управляемые ресурсы. Когда вторая копия заканчивается, те же деструкторы пытаются вдвойне высвободить те же ресурсы, что приводит к неопределенному поведению.

clean-up

При корутинном разрушении ассоциированный стек будет развёрнут.

Конструктор корутина позволяет пройти кастомизированный стек-аллокатор. stack-allocator может свободно распределять стек или кэшировать его для будущего использования (для корутин, созданных позже).

segmented stack

symmetric_coroutine<>::call_type, asymmetric_coroutine<>::push_type и asymmetric_coroutine<>::pull_type поддержка сегментированных стеков (рост по требованию).

Не всегда можно точно оценить необходимый размер стека - в большинстве случаев выделяется слишком много памяти (отходы виртуального адресного пространства).

При строительстве корутин начинается с минимального (по умолчанию) размера стека. Этот минимальный размер стека является максимальным размером страницы и каноническим размером для стека сигналов (макро-SIGSTKSZ на POSIX).

На данный момент известно, что только GCC (4.7) ^[6] поддерживает сегментированные стека. С версией 1.54 Boost.Coroutine обеспечивает поддержку сегментированных стеков.

Деструктор высвобождает связанный с ним стек. Реализатор может свободно распределять стек или кэшировать его для последующего использования.

context switch

Корутин сохраняет и восстанавливает регистры в соответствии с базовым ABI на каждом переключателе контекста (используя Boost.Context).

Некоторые приложения не используют регистры с плавающей запятой и могут отключить сохранение регистров FPU по причинам производительности.

	Note
	Согласно конвенции вызова, регистры FPU сохраняются по умолчанию.

В системах POSIX коммутатор контекста не сохраняет маски сигналов по причинам производительности.

Переключатель контекста выполняется через symmetric_coroutine<>::call_type::operator(), asymmetric_coroutine<>::push_type::operator() и asymmetric_coroutine<>::pull_type::operator().

	Warning
	Вызов symmetric_coroutine<>::call_type::operator(), asymmetric_coroutine<>::push_type::operator() и asymmetric_coroutine<>::pull_type::operator() изнутри same приводит к неопределенному поведению.

Например, приведенный ниже код приведет к неопределенному поведению:

boost::coroutines::symmetric_coroutine<void>::call_type coro(
    [&](boost::coroutines::symmetric_coroutine<void>::yield_type& yield){
        yield(coro); // yield to same symmetric_coroutine
});
coro();