this repo has no description

[new release] kcas_data and kcas (0.5.1)

CHANGES:

All notable changes to this project will be documented in this file.

## 0.5.1

- Add synchronizing variable `Mvar` to `kcas_data` (@polytypic)
- Fix to allow retry from within `Xt.update` and `Xt.modify` (@polytypic)

## 0.5.0

- Add nested conditional transaction support (@polytypic)
- Add explicit location validation support (@polytypic)

## 0.4.0

- Allocation of location ids in a transaction log friendly order (@polytypic)
- Per location operating mode selection (@Dashy-Dolphin, review: @polytypic)
- Injectivity `!'a Kcas_data.Dllist.t` annotation (@polytypic)

## 0.3.1

- Added doubly-linked list `Dllist` to `kcas_data` (@polytypic)
- Minor optimizations (@polytypic)

## 0.3.0

- Remove the `Tx` API (@polytypic)
- Add blocking support to turn kcas into a proper STM (@polytypic, review:
@lyrm)
- Add periodic validation of transactions (@polytypic)

## 0.2.4

- Introduce `kcas_data` companion package of composable lock-free data
structures (@polytypic)
- Add `is_in_log` operation to determine whether a location has been accessed by
a transaction (@polytypic)
- Add `Loc.modify` (@polytypic)
- Add transactional `swap` operation to exchange contents of two locations
(@polytypic)
- Injectivity `!'a Loc.t` and variance `+'a Tx.t` annotations (@polytypic)

## 0.2.3

- Add support for post commit actions to transactions (@polytypic)
- Bring `Xt` and `Tx` access combinators to parity and add `compare_and_swap`
(@polytypic)

## 0.2.2

- New explicit transaction log passing API based on idea by @gasche (@polytypic,
review: @samoht and @lyrm)

## 0.2.1

- New k-CAS-n-CMP algorithm extending the GKMZ algorithm (@polytypic, review:
@bartoszmodelski)

## 0.2.0

- Complete redesign adding a new transaction API (@polytypic, review:
@bartoszmodelski)

## 0.1.8

- Fix a bug in GKMZ implementation (@polytypic, review: @bartoszmodelski)

## 0.1.7

- Change to use the new GKMZ algorithm (@polytypic, review: @bartoszmodelski)

## 0.1.6

- Add preflights sorting and checks (@bartoszmodelski, review: @polytypic)

## 0.1.5

- Republish in opam (update opam, dune) (@tmcgilchrist, review: @Sudha247)

Changed files
+77
packages
kcas
kcas.0.5.1
kcas_data
kcas_data.0.5.1
+39
packages/kcas/kcas.0.5.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"Software transactional memory based on lock-free multi-word compare-and-set"
+
maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+
authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+
license: "ISC"
+
homepage: "https://github.com/ocaml-multicore/kcas"
+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+
depends: [
+
"dune" {>= "3.3"}
+
"ocaml" {>= "5.0"}
+
"domain-local-await" {>= "0.1.0"}
+
"mdx" {>= "1.10.0" & with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+
url {
+
src:
+
"https://github.com/ocaml-multicore/kcas/releases/download/0.5.1/kcas-0.5.1.tbz"
+
checksum: [
+
"sha256=741b79a4ff6d7493ddb1112c38fc2d8e136b47511e7b9c5d323b6f733c871ce6"
+
"sha512=c7ef92a36d422f997f14519bae89f2eb2229469a9864389d8386caabf740cb9c149ac00e9aedde0726920a6f63ab86ed26ae04b7fe4a933e97fba2cf24a55c81"
+
]
+
}
+
x-commit-hash: "0413e9bc3a37e328cbe119ba4df938d72332ba27"
+38
packages/kcas_data/kcas_data.0.5.1/opam
···
+
opam-version: "2.0"
+
synopsis:
+
"Compositional lock-free data structures and primitives for communication and synchronization"
+
maintainer: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+
authors: ["KC Sivaramakrishnan <sk826@cl.cam.ac.uk>"]
+
license: "ISC"
+
homepage: "https://github.com/ocaml-multicore/kcas"
+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
+
depends: [
+
"dune" {>= "3.3"}
+
"kcas" {= version}
+
"mdx" {>= "1.10.0" & with-test}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
+
url {
+
src:
+
"https://github.com/ocaml-multicore/kcas/releases/download/0.5.1/kcas-0.5.1.tbz"
+
checksum: [
+
"sha256=741b79a4ff6d7493ddb1112c38fc2d8e136b47511e7b9c5d323b6f733c871ce6"
+
"sha512=c7ef92a36d422f997f14519bae89f2eb2229469a9864389d8386caabf740cb9c149ac00e9aedde0726920a6f63ab86ed26ae04b7fe4a933e97fba2cf24a55c81"
+
]
+
}
+
x-commit-hash: "0413e9bc3a37e328cbe119ba4df938d72332ba27"