Don’t sit on the fence: A static analysis approach to automatic fence insertion
Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems code. We choose to trade som...
Үндсэн зохиолчид: | Kroening, D, Alglave, J, Nimal, V, Poetzl, D |
---|---|
Формат: | Journal article |
Хэвлэсэн: |
Association for Computing Machinery
2017
|
Ижил төстэй зүйлс
Ижил төстэй зүйлс
-
Don't Sit on the Fence − A Static Analysis Approach to Automatic Fence Insertion
-н: Alglave, J, зэрэг
Хэвлэсэн: (2014) -
Don't sit on the fence: A static analysis approach to automatic fence insertion
Хэвлэсэн: (2014) -
Don't Fence Me In: Barricade Sociality and Political Struggles in Mexico and Latvia
-н: Dzenovska, D, зэрэг
Хэвлэсэн: (2012) -
Property-driven fence insertion using reorder bounded model checking
-н: Joshi, S, зэрэг
Хэвлэсэн: (2015) -
Property-Driven Fence Insertion using Reorder Bounded Model Checking
-н: Joshi, S, зэрэг
Хэвлэсэн: (2015)