Forcing the completion of abnormal tasks
D. Papay · ACM SIGAda Ada Letters · 1989
The abort statement is used to bring about the unconditional completion of one or more tasks. However, some tasks are not required to become complete immediately upon execution of the abort statement and can continue to execute, perhaps indefinitely. While the use of forced synchronization points will bring about the completion of such tasks, they can produce undesirable run-time behavior in "normal" tasks. This paper presents an alternative to unconditional forced synchronization that allows abnormal tasks to become complete, but does not interfere with normal tasks.