It's a conceptual and implementation issue; the conditions must also be met in a multithreaded environment, which means they have a synchronization effect (and

It's a conceptual and implementation issue; the conditions must also be met in a multithreaded environment, which means they have a synchronization effect (and corresponding thread synchronication code must be added by the compiler); this synchronisation must be considered when doing multithreaded design, and this can become pretty complex.