The efficient termination of Ada tasks in a multi-processor environment
Susan Flynn, Edith Schonberg, Edmond Schonberg · ACM SIGAda Ada Letters · 1987
An efficient implementation of Ada task termination for shared memory MIMD architectures is presented. The solution is highly parallel and distributed; termination is not synchronized by a centralized supervisor, and there are no critical sections. The handling of block and subprogram termination that depend on nested tasks is also included. This implementation can be easily adapted to message based systems.