Software Model Checking for Memory Consistency Verification

Optimization transformations performed by a compiler may violate memory consistency requirements for a multithreaded program. This leads to errors, when the program behavior will differ from expected. The memory consistency requirements for a particular programming language are called the memory mod...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Programming and computer software Ročník 51; číslo 5; s. 305 - 313
Hlavní autoři:	Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., Petrenko, A. K.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.10.2025 Springer Nature B.V
Témata:	Artificial Intelligence Compilers Computer Science Errors Formal method Hardware Java Language Operating Systems Optimization Programming languages Software Software Engineering Software Engineering/Programming and Operating Systems Software upgrading Variables Verification Virtual environments multithreading memory model memory consistency compiler optimizations multithreading errors
ISSN:	0361-7688, 1608-3261
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!