Что такое «последовательно согласованные выполнения без гонок данных»?

ВJLS, §17.4.5. Происходит -до Приказа, там написано, что

A program is correctly synchronized if and only if all sequentially consistent executions are free of data races.

Это только дает нам определение о «последовательно согласованных исполнениях», но не дает нам определения о «последовательно согласованных исполнениях». Только после того, как мы узнаем, что такое «последовательно согласованные исполнения», мы можем продолжить обсуждение этой темы.

Итак, что такое «последовательно согласованные выполнения» и что такое «последовательно согласованные выполнения без гонок данных»?