It seems that a better solution is to guarantee that each step of such an unbounded loop is bounded, and clearly distinguish these types of processes. For exam

It seems that a better solution is to guarantee that each step of such an unbounded loop is bounded, and clearly distinguish these types of processes. For example, a kernel's scheduler should run indefinitely, but each scheduling step should be bounded. Ideally we would specify the scheduler loop as a non-terminating yet "productive" process.