Read-log-update: a lightweight synchronization mechanism for concurrent programming Published -- Download video MP4 360p