Title: Analysis of optimistic window-based synchronization