Efficient Reordering of Multiple Memory Operations in a Multithreaded Program

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

Saved in:
Bibliographic Details
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
Series:Современные информационные технологии и IT-образование
Subjects:
multithreading
reordering of operations
memory models
linear order
litmus tests
Online Access:https://sitito.cs.msu.ru/index.php/SITITO/article/view/1068
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items