Modeling Synchronization Primitives in P

[ankushdesai]

Discussed in https://github.com/p-org/P/discussions/450

^{Originally posted by anupgithub June 18, 2022} For larger and faster adoption of P Programming, tutorials on following topics would be very helpful.

1. Single Node : How do we convert small programs which use mutex, semaphore, condition_variables into P. Like taking an example in c++ and then converting to P.
2. Multi Node: Converting programs which use ZooKeeper Synchronization primitives to P. Or any open source distributed lock service examples.

I have been struggling to get my folks to use P because everyone is trying to map in their minds these primitives to P and we don't know if we have a good conversion documentations/videos.

 </div>