Implemented Concurrent Priority Queues using fine grained locking over sequential heap and lockfree skiplist-based
-
Updated
Mar 12, 2018 - C++
#
fine-grained-concurrency
Here are 2 public repositories matching this topic...
Voila is proof outline checker for fine-grained concurrency verification
concurrency verification formal-methods program-verification software-verification separation-logic fine-grained-concurrency
-
Updated
Apr 10, 2022 - Scala
Improve this page
Add a description, image, and links to the fine-grained-concurrency topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the fine-grained-concurrency topic, visit your repo's landing page and select "manage topics."