/
Locking discipline inference and checking Locking discipline inference and checking

Locking discipline inference and checking - PowerPoint Presentation

alida-meadow
alida-meadow . @alida-meadow
Follow
348 views
Uploaded On 2018-10-21

Locking discipline inference and checking - PPT Presentation

Michael D Ernst Alberto Lovato Damiano Macedonio Fausto Spoto Javier Thaine University of Washington USA Università di Verona Italy Julia Srl Italy ICSE 2016 Concurrency essential but errorprone ID: 691209

int guardedby balance lock guardedby int lock balance data locking expression shared type oldbal newbal inference semantics alias side

Share:

Link:

Embed:

Download Presentation from below link

Download Presentation The PPT/PDF document "Locking discipline inference and checkin..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.


Presentation Transcript