ПК
Ты ждёшь на Join-ах выполнение этой гарантии а потом проверяешь
Size: a a a
2020 August 19
LA
Дак если есть такая гарантия, то откуда вопросы?
Так а почему потоки должны начать выполняться до загрузки
z, а если выполнить join() после assertion-a, то оно всегда проваливается?LA
Ты ждёшь на Join-ах выполнение этой гарантии а потом проверяешь
join() ведь о скоупе а не точке его вызоваПК
Так а почему потоки должны начать выполняться до загрузки
z, а если выполнить join() после assertion-a, то оно всегда проваливается?Потоки выполняются до загрузки z, потому что join до загрузки z
ПК
join вроде делает happens before гарантию
ПК
То есть ты гарантированно дождёшься окончания потока (в которм как ты сказал есть гарантия ++z)
m
Так а почему потоки должны начать выполняться до загрузки
z, а если выполнить join() после assertion-a, то оно всегда проваливается?Трэды не мгновенно стартуют. Добавив sleep перед асертом наверняка можно добиться флаков.
LA
Потоки выполняются до загрузки z, потому что join до загрузки z
Не логично.
join() говорит, что мы не выйдем из скоупа, пока потоки не выполнятся. Всё. Он не говорит, что потоки выполнятся в точке вызова. Или я неправ?ПК
Не логично.
join() говорит, что мы не выйдем из скоупа, пока потоки не выполнятся. Всё. Он не говорит, что потоки выполнятся в точке вызова. Или я неправ?Он говорит что поток будет завершён сразу после вызова join
LA
Трэды не мгновенно стартуют. Добавив sleep перед асертом наверняка можно добиться флаков.
В общем, просто пример некорректный, да? Автор поставил на то, что функции в потоках почти ничего не делают и гарантировано выполнятся до assertion-a
ПК
t.join();
// <-- тут есть гарантия что функция внутри t выполнена
ПК
В общем, просто пример некорректный, да? Автор поставил на то, что функции в потоках почти ничего не делают и гарантировано выполнятся до assertion-a
Они гарантированно выполнятся благодаря join
ПК
Если перставить join то гарантии выполнения не будет, но может сработать
LA
t.join();
// <-- тут есть гарантия что функция внутри t выполнена
Хорошо, где это написано?
ПК
Хорошо, где это написано?
m
В общем, просто пример некорректный, да? Автор поставил на то, что функции в потоках почти ничего не делают и гарантировано выполнятся до assertion-a
Он корректный. Это гонка. Просто в большинстве случаев она завершается в определенном порядке.
ПК
Blocks the current thread until the thread identified by *this finishes its execution.Из этого следует гарантия
ПК
The completion of the thread identified by *this synchronizes with the corresponding successful return from join().Там же
LA
Blocks the current thread until the thread identified by *this finishes its execution.Из этого следует гарантия
Хорошо, тогда, с учётом sequential consistency и того, что a и b джойнятся До c и d, значение z всегда должно быть 2. Это не так