Skip to content

Commit 3a657f8

Browse files
committed
[new release] kcas_data and kcas (0.2.4)
CHANGES: All notable changes to this project will be documented in this file. ## 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)
1 parent 8940c2e commit 3a657f8

File tree

2 files changed

+74
-0
lines changed
  • packages
    • kcas_data/kcas_data.0.2.4
    • kcas/kcas.0.2.4

2 files changed

+74
-0
lines changed

packages/kcas/kcas.0.2.4/opam

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
synopsis: "Multi-word compare-and-set library"
3+
maintainer: ["KC Sivaramakrishnan <[email protected]>"]
4+
authors: ["KC Sivaramakrishnan <[email protected]>"]
5+
license: "ISC"
6+
homepage: "https://github.com/ocaml-multicore/kcas"
7+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
8+
depends: [
9+
"dune" {>= "3.3"}
10+
"ocaml" {>= "5.0"}
11+
"mdx" {>= "1.10.0" & with-test}
12+
"odoc" {with-doc}
13+
]
14+
build: [
15+
["dune" "subst"] {dev}
16+
[
17+
"dune"
18+
"build"
19+
"-p"
20+
name
21+
"-j"
22+
jobs
23+
"@install"
24+
"@runtest" {with-test}
25+
"@doc" {with-doc}
26+
]
27+
]
28+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
29+
url {
30+
src:
31+
"https://github.com/ocaml-multicore/kcas/releases/download/0.2.4/kcas-0.2.4.tbz"
32+
checksum: [
33+
"sha256=d6439e29077b578c8d1364275864fc1fdfcfac9652b6e8d6999df9bb06f8af86"
34+
"sha512=9876ad34733c902240b5007c9f951cd4dd631b8273820d24b4237389693c7333658d5a3bde40750430df252090c45412605da149a90610907ce0d538b873e682"
35+
]
36+
}
37+
x-commit-hash: "0c4b1660241be828aab9aae783d801208e12c6bb"
Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
opam-version: "2.0"
2+
synopsis: "Compositional lock-free data structures"
3+
maintainer: ["KC Sivaramakrishnan <[email protected]>"]
4+
authors: ["KC Sivaramakrishnan <[email protected]>"]
5+
license: "ISC"
6+
homepage: "https://github.com/ocaml-multicore/kcas"
7+
bug-reports: "https://github.com/ocaml-multicore/kcas/issues"
8+
depends: [
9+
"dune" {>= "3.3"}
10+
"kcas" {= version}
11+
"mdx" {>= "1.10.0" & with-test}
12+
"odoc" {with-doc}
13+
]
14+
build: [
15+
["dune" "subst"] {dev}
16+
[
17+
"dune"
18+
"build"
19+
"-p"
20+
name
21+
"-j"
22+
jobs
23+
"@install"
24+
"@runtest" {with-test}
25+
"@doc" {with-doc}
26+
]
27+
]
28+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
29+
url {
30+
src:
31+
"https://github.com/ocaml-multicore/kcas/releases/download/0.2.4/kcas-0.2.4.tbz"
32+
checksum: [
33+
"sha256=d6439e29077b578c8d1364275864fc1fdfcfac9652b6e8d6999df9bb06f8af86"
34+
"sha512=9876ad34733c902240b5007c9f951cd4dd631b8273820d24b4237389693c7333658d5a3bde40750430df252090c45412605da149a90610907ce0d538b873e682"
35+
]
36+
}
37+
x-commit-hash: "0c4b1660241be828aab9aae783d801208e12c6bb"

0 commit comments

Comments
 (0)