T>Разве после проверки условия и до возвращения из метода в стек не могут положить новый объект?
могут
T>Понимаю, что пример учебный, но хочется разобраться. Есть ли ошибка в данном листинге?
нет
T>Где можно почитать про этот алгоритм (алгоритм Трайбера)?
ну, в гугле. или в The Art of Multiprocessor Programming.
оригинал трейберовского алгоритма считается,что здесь :24-25 страница (20-21 в скане)