
Make the third bullet of 'Pragmatic Principles'
If code with a timeout completes before the timer's expiration, the
timer needs to be automatically stopped and its resources returned to the
system.
In the last paragraph, titled, Asynchronous Thread Termination change:
Although not a real-time issue, many event-driven computer systems that
tightly
interact with external real-world noncomputer systems (e.g., humans,
machines,
control processes, etc.) may require significant changes in their computational
behavior as a result of significant changes in the non-computer real-world
system.
to
Although not a real-time issue, many event-driven computer systems that
tightly
interact with external real-world noncomputer systems (e.g., humans,
machines,
control processes, etc.) may require mode changes in their computational
behavior as a result of changes in the noncomputer real-world system.
AND
Consider the
opposite case. A thread or set of threads would have to be coded in
such a manner so
that their computational behavior anticipated all of the possible transitions
among
possible states of the external system.
to
Without this facility, a
thread or set of threads would have to be coded in such a manner so
that their computational behavior anticipated all of the possible transitions
among
possible states of the external system.