[cpp-threads] infinite loops

[Herb Sutter]

> Infinite loops are actually quite common in concurrent systems used
> in real-time control systems. For instance, avionic control systems
> must run without any detectable termination other than system
> shut-down.
> 
> I believe it is valuable to consider both true infinite loops and
> loops for which the compiler cannot prove termination.

All good points, just a small refinement: I think the
(potentially-)infinite loops of interest are those that a) that contain
no synchronization (incl. atomic/volatile) and b) the compiler cannot
prove terminate. Does that capture the loops of interest correctly?

Herb