search

microsoft / AMBROSIA

Robust Distributed Programming Made Easy and Efficient
https://microsoft.github.io/AMBROSIA/
Other
419 stars 49 forks source link

Fix Trim and SendAsync race condition. #118

Closed jmfaleiro closed 3 years ago

jmfaleiro commented 3 years ago

Pull request that fixes race condition between Trim and SendAsync moving an output connections BuffersCursor.