1) modified from the same threads or 2) protected by happens-before condition that is met by Executor's internal synchronization constructs
1) modified from the same threads or 2) protected by happens-before condition that is met by Executor's internal synchronization constructs