Просто везде написано по-разному. И никак не могу понять, что по сути обозначает каждое из этих понятий. Например, у того же Эккеля есть такие строчки про это:
Для решения проблемы соперничества потоков фактически все многопоточные схемы синхронизируют доступ к разделяемым ресурсам. Это означает, что доступ к разделяемому ресурсу в один момент времени может получить только один поток. Чаще всего это выполняется помещением фрагмента кода в секцию блокировки так, что одновременно пройти по этому фрагменту кода может только один поток. Поскольку такое предложение блокировки дает эффект взаимного исключения, этот механизм часто называют мьютексом (MUTual Exclusion).
В Java есть встроенная поддержка для предотвращения конфликтов в виде ключевого слова synchronized. Когда поток желает выполнить фрагмент кода, охраняемый словом synchronized, он проверяет, доступен ли семафор, получает доступ к семафору, выполняет код и освобождает семафор.
Сам я читал в одной статье (и пока придерживаюсь этого понимания), что мьютекс - это некий объект, который связан с каждым объектом в Джава, и который может принимать два состояния: занят и свободен. А про монитор в той же статей было написано, что это некий специальный механизм (по сути - кусок кода), который, используя мьютекс, регулирует доступ нитей к некоторому блоку кода (то есть он отвечает за захват нити ресурса, и позволяет только одной данной нити (которая захватила мьютекс) идти по данному, охраняемому монитором, блоку кода; соответственно, другим нитям монитор не даёт занять этот ресурс и этот блок кода; а когда нить выходит из этого блока кода, то монитор освобождает мьютекс и позволяет другим нитям войти в этот блок кода). Это правильное понимание?
А что конкретно обозначают эти понятия в Джаве?