🚀 go-pugleaf

Jeśli by to kogoś interesowało, to dziś "wymyśliłem" prosty sposób na implementację "coroutines" w C.

Pomysł opiera się na rozszerzeniu kompilatora GCC pozwalającym na przechowywanie etykiet dla goto w zmiennych, i możliwości skakania do tych zmiennych:

https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html

Interfejs jest taki, że na początku funkcji musimy wywołać makro

COROUTINE_START()

i dalej możemy użyć

COROUTINE_RETURN(wartość)

co zadziała jak normalne wyjście z funkcji, albo

COROUTINE_YIELD(wartość)

co spowoduje przerwanie egzekucji funkcji, przy czym kolejne wywołanie
funkcji spowoduje jej kontynuowanie za ostatnio wykonanym wyrażeniem COROUTINE_YIELD.

Na przykład kod może wyglądać tak:

int coroutine() {
  COROUTINE_START();

  printf("started\n");
  COROUTINE_YIELD(1);

  printf("stage 1\n");
  COROUTINE_YIELD(2);

  printf("stage 2"\n");
  COROUTINE_YIELD(3);

  printf("finishing\n");
  COROUTINE_RETURN(4);
}

Drobny problem jest z przekazywaniem parametrów: jeżeli chcemy, żeby wartości argumentów były przechowywane między wywołaniami, to musimy je zapisywać w zmiennych statycznych.

Implementacja składa się z nieco ponad 20 linii kodu:

#define COROUTINE_START()                               \
    static void *coroutine_continuation =               \
        &&coroutine_start;                              \
    goto *coroutine_continuation;                       \
coroutine_start:                                        \
 do {} while(0)
    
#define COROUTINE_RESTART                       \
    coroutine_continuation = &&coroutine_start

#define COROUTINE_RETURN(...)                   \
    COROUTINE_RESTART; return __VA_ARGS__

#define _COROUTINE_LABEL(line) coroutine_##line
#define COROUTINE_LABEL(line) _COROUTINE_LABEL(line)

#define COROUTINE_YIELD(...)                            \
    coroutine_continuation =                            \
        &&COROUTINE_LABEL(__LINE__);                    \
    return __VA_ARGS__;                                 \
COROUTINE_LABEL(__LINE__):                              \
 do {} while(0)