issues
search
ocaml-multicore
/
kcas
Software Transactional Memory for OCaml
https://ocaml-multicore.github.io/kcas/
ISC License
109
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Port to OCaml 4
#107
polytypic
closed
1 year ago
0
Add docs
#106
polytypic
closed
1 year ago
0
Avoid "wide" matches binding many variables
#105
polytypic
closed
1 year ago
1
Prefer `tests` stanza as it is concise and allows sharing modules
#104
polytypic
closed
1 year ago
0
Specialize `Hashtbl` bucket representation
#103
polytypic
closed
1 year ago
1
Avoid polymorphic variants for performance
#102
polytypic
closed
1 year ago
1
Add a note on understanding performance
#101
polytypic
closed
1 year ago
0
Prefer `begin ... end` for statements and matches where needed
#100
polytypic
closed
1 year ago
0
Release notes for 0.6.0
#99
polytypic
closed
1 year ago
0
Tune dune-project metadata
#98
polytypic
closed
1 year ago
0
Fine-tune exception backtraces
#97
polytypic
closed
1 year ago
0
Test on Windows using GitHub actions
#96
polytypic
closed
1 year ago
0
Add spacing to mdx test snippets for readability
#95
polytypic
closed
1 year ago
0
Add various benchmarks and current-bench integration
#94
polytypic
closed
1 year ago
0
Use alcotest to get prettier test outputs
#93
polytypic
closed
1 year ago
0
Add explicit `~xt` parameter to `Xt.call` to make it polymorphic
#92
polytypic
closed
1 year ago
0
Release notes for 0.5.3
#91
polytypic
closed
1 year ago
0
Require domain-local-await 0.2.0
#90
polytypic
closed
1 year ago
0
Optimize to use a single counter to keep track of when to validate
#89
polytypic
closed
1 year ago
0
Change/Fix to also snapshot and rollback post commit actions
#88
polytypic
closed
1 year ago
0
Consider interaction of `Xt.post_commit` and `Xt.rollback`
#87
polytypic
closed
1 year ago
0
Timeouts
#86
polytypic
closed
1 year ago
1
Fix single location no-op updates to be strictly serializable and fix `Loc.compare_and_set` to have strong semantics
#85
polytypic
closed
1 year ago
1
Sleeping barbers example
#84
polytypic
opened
1 year ago
0
Move the Michael-Scott queue example to techniques section and...
#83
polytypic
closed
1 year ago
0
Add `Dllist.move_l node list` and `Dllist.move_r node list`
#82
polytypic
closed
1 year ago
0
Release notes for 0.5.2
#81
polytypic
closed
1 year ago
0
Avoid false sharing in `Hashtbl` benchmark
#80
polytypic
closed
1 year ago
0
Verify is only needed when a CMP is followed by a CAS
#79
polytypic
closed
1 year ago
1
Change `Hashtbl` config to be part of the transactional data
#78
polytypic
closed
1 year ago
1
Release notes for 0.5.1
#77
polytypic
closed
1 year ago
0
Fix to allow retry from within `Xt.update` and `Xt.modify`
#76
polytypic
closed
1 year ago
1
Add undocumented `Xt.unsafe_update` and `Xt.unsafe_modify`
#75
polytypic
closed
1 year ago
0
Add optional capacity to queue
#74
polytypic
opened
1 year ago
0
Add `Mvar`
#73
polytypic
closed
1 year ago
0
Dining philosophers example
#72
polytypic
closed
1 year ago
0
Release notes for 0.5.0
#71
polytypic
closed
1 year ago
0
Nested transactions
#70
polytypic
closed
1 year ago
0
Consider supporting `or_else` and proper nested transactions
#69
polytypic
closed
1 year ago
0
Document assumption that (non-)blocking tx has not made updates
#68
polytypic
closed
1 year ago
1
Add explicit validation support
#67
polytypic
closed
1 year ago
0
Retarget the documentation
#66
polytypic
opened
1 year ago
0
Clean up formatting of example snippets
#65
polytypic
closed
1 year ago
0
Use `let tx ~xt = ... in Xt.commit { tx }` style everywhere
#64
polytypic
closed
1 year ago
0
Release notes for 0.4.0
#63
polytypic
closed
1 year ago
0
Separate `kcas` and `kcas_data` to own dirs under `src` and `test`
#62
polytypic
closed
1 year ago
0
Add `Loc.fenceless_get`
#61
polytypic
closed
1 year ago
0
Add mode argument to locations
#60
polytypic
closed
1 year ago
1
Add injectivity annotations to `Dllist` type constructors
#59
polytypic
closed
1 year ago
0
[Question] Hashtable rehashing example
#58
sidkshatriya
closed
1 year ago
4
Previous
Next