Сообщение Re[10]: Memory barrier не могу понять что это от 08.04.2023 9:48
Изменено 08.04.2023 9:53 Философ
Re[10]: Memory barrier не могу понять что это
Здравствуйте, 4058, Вы писали:
4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..
В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.
4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.
Так ведь продемонстировал же!
4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..
В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.
4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.
Так ведь продемонстировал же!
Re[10]: Memory barrier не могу понять что это
Здравствуйте, 4058, Вы писали:
4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..
В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.
4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.
Так ведь продемонстировал же! И демонстрашка там эта очень в тему: раз уж мы разбираемся в lock-free, то должны бы знать и о буферах переупорядочивания, и о спекулятивном исполнении и ещё много чего.
4>В данной статье автор в одном потоке пишет в глобальные переменные, а в другом из них читает без обеспечения должным образом критической секции при обращении к этим переменным (т.е. нарочито демонстрирует поведение ССЗБ):..
В данной статье автор рассказывает о lock-free алгоритмах, поэтому там никаких локов быть в принципе не может.
4>, при этом настойчиво пытается продемонстрировать побочный эффект от переупорядочивания присвоений в обоих потоках разбросанных по разным ядрам.
Так ведь продемонстировал же! И демонстрашка там эта очень в тему: раз уж мы разбираемся в lock-free, то должны бы знать и о буферах переупорядочивания, и о спекулятивном исполнении и ещё много чего.