GitHub topics: fine-grained-concurrency
bhavanajain/concurrent-priority-queues
Implemented Concurrent Priority Queues using fine grained locking over sequential heap and lockfree skiplist-based
Language: C++ - Size: 313 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 1
viperproject/voila
Voila is proof outline checker for fine-grained concurrency verification
Language: Scala - Size: 87.7 MB - Last synced at: 3 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 2
