Skip to content

Commit 529a86e

Browse files
committed
[new release] kcas_test, 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 ae1fd22 commit 529a86e

File tree

3 files changed

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

3 files changed

+110
-0
lines changed

packages/kcas/kcas.0.2.4/opam

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
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+
"odoc" {with-doc}
12+
]
13+
build: [
14+
["dune" "subst"] {dev}
15+
[
16+
"dune"
17+
"build"
18+
"-p"
19+
name
20+
"-j"
21+
jobs
22+
"@install"
23+
"@runtest" {with-test}
24+
"@doc" {with-doc}
25+
]
26+
]
27+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
28+
url {
29+
src:
30+
"https://github.com/ocaml-multicore/kcas/releases/download/0.2.4/kcas-0.2.4.tbz"
31+
checksum: [
32+
"sha256=451781d7488c3824f504bd457592b987d9c7179be19c4039e217f3617615eba7"
33+
"sha512=25b05bdfdc6b87856581a271be96281ed8b4e4849f235bfb81df9e28905591094798355b461efa0e1666217211cc7c720ba2dd49086c43803a2adc79331d1aa8"
34+
]
35+
}
36+
x-commit-hash: "790267cccda48391f5e02a8e55522c55f8e6ad8f"
Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
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+
"odoc" {with-doc}
12+
]
13+
build: [
14+
["dune" "subst"] {dev}
15+
[
16+
"dune"
17+
"build"
18+
"-p"
19+
name
20+
"-j"
21+
jobs
22+
"@install"
23+
"@runtest" {with-test}
24+
"@doc" {with-doc}
25+
]
26+
]
27+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
28+
url {
29+
src:
30+
"https://github.com/ocaml-multicore/kcas/releases/download/0.2.4/kcas-0.2.4.tbz"
31+
checksum: [
32+
"sha256=451781d7488c3824f504bd457592b987d9c7179be19c4039e217f3617615eba7"
33+
"sha512=25b05bdfdc6b87856581a271be96281ed8b4e4849f235bfb81df9e28905591094798355b461efa0e1666217211cc7c720ba2dd49086c43803a2adc79331d1aa8"
34+
]
35+
}
36+
x-commit-hash: "790267cccda48391f5e02a8e55522c55f8e6ad8f"
Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
opam-version: "2.0"
2+
synopsis: "Test suite for the kcas packages"
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+
"kcas_data" {= version}
12+
"mdx" {>= "1.10.0" & with-test}
13+
"odoc" {with-doc}
14+
]
15+
build: [
16+
["dune" "subst"] {dev}
17+
[
18+
"dune"
19+
"build"
20+
"-p"
21+
name
22+
"-j"
23+
jobs
24+
"@install"
25+
"@runtest" {with-test}
26+
"@doc" {with-doc}
27+
]
28+
]
29+
dev-repo: "git+https://github.com/ocaml-multicore/kcas.git"
30+
url {
31+
src:
32+
"https://github.com/ocaml-multicore/kcas/releases/download/0.2.4/kcas-0.2.4.tbz"
33+
checksum: [
34+
"sha256=451781d7488c3824f504bd457592b987d9c7179be19c4039e217f3617615eba7"
35+
"sha512=25b05bdfdc6b87856581a271be96281ed8b4e4849f235bfb81df9e28905591094798355b461efa0e1666217211cc7c720ba2dd49086c43803a2adc79331d1aa8"
36+
]
37+
}
38+
x-commit-hash: "790267cccda48391f5e02a8e55522c55f8e6ad8f"

0 commit comments

Comments
 (0)