The agent event handling model based on critical region implements data driven system.

At a later point the first task is rescheduled and calls V (s) to indicate it has left the critical region.

The host can specify policy actions to be take when a rude thread abort occurs in a non-critical region of code.