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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Programming and computer software Jg. 51; H. 5; S. 305 - 313
Hauptverfasser:	Andrianov, P. S., Zelenov, S. V., Mutilin, V. S., Petrenko, A. K.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.10.2025 Springer Nature B.V
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!