Re: Signal handler blocks proteced type

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Lutz Donnerhacke wrote:
> A protected type with a signal handler is instantiated in order to catch a
> signal. If the signal is not catched, everything works fine. If the signal
> was delivered, the inner scope will not be terminated, because the protected
> type can not be finalized.
>
> Why?

Ada.Interrupts.Detach_Handler is broken. It does not return if the signal
was delivered.

Changing the example to 'pragma Interrupt_Handler' and an explicit
Attach_Handler works fine (termination of the enviroment task succeeds).

Any call to Detach_Handler after a signal delivery results in a blocking
runtime call.

 select
    delay 2.0;
 else abort
    Detach_Handler(SIGHUP);
 end select;

does not work. Even an Abort_Task call from an other task has no effect.

The runtime (Linux-Threads) seems to miss an SIGCHILD and waits forever for
the wrong clone.