Ну я предполагал, что в программе всего 3 потока. То есть, когда поток А вызывает lock, то он первый и единственный, кто претендует на вход в критический участок, почему он тогда вообще должен ждать? К тому же ранее в книге обсуждались first-come-first-served, то есть по идее опять таки раньше кто пришел раньше, того и тапки.

Хотя для этой конкретной очереди свойство first-come-first-served не указано, хм. Тогда схема вообще по сути не понятно зачем нарисована.

В любом случае, спасибо)

Про тапки - такое работает, если замок свободный

Да, действительно, разобрался. Используемый лок не гарантирует порядок без опции fairness. Но автор книжки об этом, конечно, решил не рассказывать. Пришлось топать в документацию.

Есть хорошая книга от Брайана Гетца. Java concurrency in practice. Но я ее всю не смог осилить. Мало опыта. Часто не понимал о чем он пишет. Но основы заложил неплохие + курс от hyperskills

Вообще сложно понять что вы имеете ввиду. Но если вы кидаете исключение, то ключевое слово new создает новый инстанс, то есть не ясно что имеется ввиду под "подменять в одном вызове".

А как эта функция применяется? Нельзя вместо ее вызова кидать нужный эксепшен?

If (s = "moon") {
  throw new IllegalArgumentException("this is sun");
}