From non-preemptive to preemptive scheduling using synchronization synthesis

We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedure inserts synchronization to ensure that the final program works even with a preemptive scheduler. The correctness spec...

Descripción completa

Detalles Bibliográficos
Autores principales: Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2016
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5399096/
https://www.ncbi.nlm.nih.gov/pubmed/28490835
http://dx.doi.org/10.1007/s10703-016-0256-5

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5399096/
https://www.ncbi.nlm.nih.gov/pubmed/28490835
http://dx.doi.org/10.1007/s10703-016-0256-5

Ejemplares similares