Deleting a Process

Terminating a process must be done very carefully; for example, if a process is deleted while a region is in use, deletion waits until the region is free.

To avoid any cleaning problems, INtime uses a model where the process itself does the deletion; to ask a process to delete itself, you must use one of the terminate functions, which sends it a termination message.

Every RT process creates a data mailbox, catalogs its handle with the name "R?EXIT_MBOX" in its own object directory and then waits for messages; all of this is done by RtNotifyEvent.