search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

[WIP] Read-Write quorum algorithm #35

Closed sridhargopinath closed 1 year ago

sridhargopinath commented 3 years ago

Hi,

I am new to TLA+ and am learning the PlusCal language. I found this repository very useful and wanted to contribute simple distributed algorithms to the repository that I am learning. I implemented the read-write quorum algorithm for operations on a shared variable. It is inspired by the below lecture. https://www.youtube.com/watch?v=uNxl3BFcKSA

Please review and let me know of any changes I need to make.

Thanks!

sridhargopinath commented 3 years ago

Thank you for the detailed list of changes. I will incorporate these changes and will update the PR.

lemmy commented 1 year ago

@sridhargopinath Feel free to re-open.