OCTET: Practical Concurrency Control for Dynamic Analyses and Systems

[Free GPT-4]
[DeepSeek]
[PDF] psu.edu

[PDF][PDF] EnforSCer: Hybrid Static–Dynamic Analysis for End-to-End Sequential Consistency in Software

A Sengupta, S Biswas, MD Bond, M Kulkarni - 2012 - Citeseer
Sequential consistency (SC) is the most intuitive memory model for developers, but real-
world memory models are weaker so that compilers and hardware can perform …
Salva Cita Citato da 1 Articoli correlati Versione HTML