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žené v:

Podrobná bibliografia
Vydané v:	Programming and computer software Ročník 51; číslo 5; s. 305 - 313
Hlavní autori:	Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., Petrenko, A. K.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.10.2025 Springer Nature B.V
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!