Getting StartedDocumentation
Organisationsocaml-multicorekcas

kcas

https://github.com/ocaml-multicore/kcas
Default Branch
main
Bench and test with OCaml 5.3
e859db
Branches (6)
add-optional-capacity-to-queue
Add optional `capacity` argument to `Queue.create` and `Stack.create`
184cb3
add-xt-leftist-heap-benchmark
Add a transaction benchmark using a naïve unscalable leftist heap
b95f89
expose-dllist-to-allow-matchable-cursors
Expose `Dllist` type to allow matchable cursors Being able to freely point to locations in a double-linked list allows more uses for a double-linked list.
cc4ac0
port-to-picos
Tweak
efb766
simplified-core-algo-for-verification
Dependencies
342843
sleeping-barbers-example
Sleeping barbers
b8cb2c
Refs Branches (6)
Expose `Dllist` type to allow matchable cursors
Expose `Dllist` type to allow matchable cursors Being able to freely point to locations in a double-linked list allows more uses for a double-linked list.
cc4ac0
#183
Add a transaction benchmark using a naïve unscalable leftist heap
Add a transaction benchmark using a naïve unscalable leftist heap
b95f89
#196
Change to use Picos instead of DLA and DLT
Tweak
efb766
#204
Simplified core algo for verification
Dependencies
342843
#209
Add optional capacity to queue
Add optional `capacity` argument to `Queue.create` and `Stack.create`
184cb3
#74
Sleeping barbers example
Sleeping barbers
b8cb2c
#84