Optimistic Concurrency Control for Real-world Go Programs (Extended Version with Appendix)

Zhizhou Zhang, Milind Chabbi, Adam Welc +1

We present a source-to-source transformation framework, GOCC, that consumes lock-based pessimistic concurrency programs in the Go language and transforms them into optimistic concu…