нужна помощь

Спасибо! "Если мы напишем synchronized(this), то получим в результате, что один туалет закрыли, и тут же закрылся и второй. Почему так? Потому что методы будут вызываться на объекте и вызов одного метода блокирует мьютекс объекта." Не понимаю как блокировка мьютекса одного объекта, не позволит вызвать метод другого объекта, ведь у другого объекта мьютекс не занят?

Что значит "взять от него только мютекс"?

Нестатические методы являются методами объекта и вызываются на нем. Мютекс объекту JVM дает один. Получается, что если мы вызовем

object.method();

то метод захватит мютекс этого объекта и обратиться к другому методу объекта мы уже не сможем (потому что у нас только один ключ от 2 замков на туалеты). Но если мы в методе будем замыкать мютексы разных объектов, то все будет в порядке, мы сможем обратиться к разным методам одного и того же объекта.

Мы используем пустой экземпляр класса Object в synchronized блоке, который умеет использовать только мютекс. Поэтому, упрощенно можно сказать, что мы забираем у вновь созданного объекта только ключ от двери туалета, т.е. synchronized блока.

Ясно, т.е. лочим мьютекс объекта, который больше нигде в коде не пригодится.

± так. Он пригодится в случае, если мы вызовем еще какой-то метод, синхронизированный на этот же мютекс. Например, у нас 4 этажа в здании, и на каждом есть несколько туалетов. Мы, в принципе, можем выстриоть какую-то свою логику синхронизации замков. Или, если проще представить, будто от всей кучи замков всего лишь 2 ключа.

Спасибо! Долго буду это переваривать) Вроде доступно, но хоть убей, не доходит. Я правильно понимаю, что несмотря на то, что объекты одного типа, они не могут одновременно вызывать один и тот же метод класса и один и тот же объект не может выполнять сразу два метода? Как можно увидеть наглядно, что synchronized(this) не подходит? Т.е. как вообще можно потестить задачу, чтоб было понятно?

И по п.1 - почему нити будут захватывать монитор одного и того же объекта? Ведь объектов может быть несколько и тогда каждый объект может выполнять тот же метод, что и другой объект.. Или я не понимаю чего-то фундаментального? Т.е. вопросы не в ту степь?)

У каждого объекта в джаве есть свой монитор. Блокировка типа мьютекс - то есть, захватить ее может только кто-то один. Если оба метода засинхронены по this - то один поток при начале входе в синхронизированную секцию захватит монитор этого объекта, и никто другой его уже захватить не сможет, пока первый поток его не отпустит. А если оба метода синхронизированы по одному монитору - соответственно они и выполнятся одновременно не смогут. Чтобы потестить - добавь слип в методы, например, чтобы после захвата монитора поток долгое время его не отпускал и создай два треда, которые будут разные методы дергать. Увидишь как один будет блочится и ждать пока другой освободит монитор. На разных объектах выполнять будут разные мониоры, да, у каждого свой. Основы можешь вот тут глянуть. Ну и там другие плейслисты можешь глянуть, за другие даты. Основательно объясняет. Но вообще, многопоточка - не такая уж и простая тема.

Измените немного класс, запустив вы заметите что нет никакой выгоды от двух потоков

public synchronized int getSumOfVar1AndVar2() {
        System.out.println("Thread 1 локает объект");
        try {
            Thread.sleep(5000);
        } catch (InterruptedException ignored) {
        }
        return var1 + var2;
}

public synchronized int getSumOfVar3AndVar4() {
        System.out.println("Thread 2 локает объект");
        try {
            Thread.sleep(5000);
        } catch (InterruptedException ignored) {
        }
        return var3 + var4;
}

public static void main(String[] args) {
        Solution solution = new Solution(1,2,3,4);
        Solution solution2 = new Solution(1,2,3,4);
        Thread thread1 = new Thread(() -> {
            while (true) {
                solution.getSumOfVar1AndVar2();
            }
        });
        Thread thread2 = new Thread(() -> {
            while (true) {
                solution.getSumOfVar3AndVar4();
            }
        });
        thread1.start();
        thread2.start();
}

После попробуйте заменить синхронизацию по разным объектам как вам предлагали выше Добавьте в класс 2 поля типа Object и измените методы

public int getSumOfVar1AndVar2() {
        synchronized (object1) {
            System.out.println("Thread 1 локает объект");
            try {
                Thread.sleep(5000);
            } catch (InterruptedException ignored) {
            }
        }
        return var1 + var2;
}

public synchronized int getSumOfVar3AndVar4() {
        synchronized (object2) {
            System.out.println("Thread 2 локает объект");
            try {
                Thread.sleep(5000);
            } catch (InterruptedException ignored) {
            }
        }
        return var3 + var4;
}

Да, Вам нужно почитать основы про мониторы и вникнуть. Здесь задача в том чтобы два потока могли выполнять одновременно два метода у одного и того же объекта. Объектов может быть много, действительно, и у каждого свой монитор и разные потоки смогут вызывать один и тот же метод у разных объектов. Но задача чтобы два потока работали с одним объектом одновременно. Если использовать синхронизацию по this (это происходит автоматические если при объявлении метода написать synhronyzed), то как только один поток начинает работать с объектом (выполнять какие-то методы) другие потоки ждут пока объект освоболится, т.к. блокируется монитор этого объекта. А вот если сначала создать объект (пустышку, нам от него нужен монитор например Object object = new Object ()) и сделать синхронизацию по нему у одного метода и создать другой ( тоже пустышку что-то типа Object object2 = new Object()) и сделать синхронизацию второго метода по второму объекту, то когда один поток начинает выполнять первый метод нашего объекта(не пустышки естественно) он блокирует монитор объекта object, а не свой и потому второй поток сможет выполнять второй метод этого же объекта, ведь он синхронизируется по object2, но он не сможет выполнять первый метод так как монитор по которому синхронизируется первый метод занят.

Спасибо! Понял. Только на сколько это корректно - создавать столько же объектов (которые нужны только для захвата мониторов), сколько и методов в классе? Их могут быть десятки. (вопрос оффтопом).

Ок, спасибо за объяснение и ссылку!

Спасибо!