Estoy probando [**libcoro**][1], una librería muy simple y de bajo nivel que proporciona **coroutines** *mas o menos portables*. Supuestamente, es válida para sistemas en producción.

Mi código es el siguiente:

    #include <stdio.h>
    #include <signal.h>
    #include <unistd.h>
    
    #include "coro.h"
    
    struct Arg {
      const char *message;
      coro_context coro;
      struct coro_stack stack;
    };
    
    struct Arg Args[4] = {
      { NULL, { NULL }, { NULL } },
      { "Mensaje 1", { NULL }, { NULL } },
      { "Mensaje 2", { NULL }, { NULL }},
      { "Mensaje 3", { NULL }, { NULL } }
    };
    
    void body( struct Arg * );
    void handler( int );
    volatile int idx;
    
    int main( void ) {
      for( idx = 1; idx < 4; ++idx ) {
        coro_stack_alloc( &( Args[idx].stack ), 0 );
        coro_create( &( Args[idx].coro ),
                     (coro_func)&body,
                     (void *)&Args[idx],
                     Args[idx].stack.sptr,
                     Args[idx].stack.ssze );
      }
    
      signal( SIGALRM, &handler );
      idx = 4;
      coro_create( &( Args[0].coro ), NULL, NULL, NULL, 0 );
    
      while( --idx ) {
        printf( "Dentro del bucle. idx = %d\n", idx );
        alarm( 1 );
        coro_transfer( &( Args[0].coro ), &( Args[idx].coro ) );
      }
    
      printf( "Fuera del bucle. idx = %d\n", idx );
      return 0;
    }
    
    void body( struct Arg *arg ) {
      printf( "%s.\n", arg->message );
      while( 1 );
      coro_transfer( &( arg->coro ), &( Args[0].coro ) );
      printf( "Saliendo de body. idx = %d", idx );
    }
    
    
    void handler( int sig ) {
      (void)sig;
      coro_transfer( &( Args[idx].coro ), &( Args[0].coro ) );
    }

La versión anterior del código, que no usa `alarm()` ni `signal( )` (es decir, sin hacer el cambio de tarea en el manejador de interrupciones), ni el `while( 1 )` en `body`, pruduce la siguiente salida:

> Dentro del bucle. idx = 3

> Mensaje 3.

> Dentro del bucle. idx = 2

> Mensaje 2.

> Dentro del bucle. idx = 1

> Mensaje 1.

> Fuera del bucle. idx = 0

La salida *esperada* del código que muestro es la misma; los mensajes mostrador por pantalla deberían ser idénticos; no obstante, se muestra la siguiente:

> Dentro del bucle. idx = 3

> Mensaje 3.

> Dentro del bucle. idx = 2

> Mensaje 2.

Ahí se detiene, y el uso de la CPU se pone al 100%; es decir, se detiene dentro de la función `body( )`; da la impresión de que no entra en la función manejadora de la interrupción.

Estoy seguro de que el fallo está en mi lógica de funcionamiento, pero no doy con la *tecla*.

**EDITO**

Efectivamente, hay un *bucle infinito* en la función `body( )`; el objetivo de esta *prueba de concepto* es *interrumpir* ese bucle, cosa que sucede **2** veces, en lugar de las **3** esperadas.<br>Es decir, comienza trabajando bien, y en algún momento, deja de acerlo.

  [1]: http://software.schmorp.de/pkg/libcoro.html