Efficient Reordering of Multiple Memory Operations in a Multithreaded Program

This paper is devoted to various methods of constructing all kinds of linear orders for partially ordered sets. The complexity of the problem lies in the fact that even for a set of small size, constructing and checking for any feature of its possible linear orders can lead to the need of enumeratio...

Full description

Bibliographic Details

Published in:	Современные информационные технологии и IT-образование
Main Authors:	Ilya Andreev, Konstantin Vladimirov
Format:	Article
Language:	Russian
Published:	The Fund for Promotion of Internet media, IT education, human development «League Internet Media» 2024-03-01
Subjects:	multithreading reordering of operations memory models linear order litmus tests
Online Access:	https://sitito.cs.msu.ru/index.php/SITITO/article/view/1068