From b23239e12ed2e3b5d7028f750c0fbd4de31dec0f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 23 Aug 2023 20:54:49 -0400 Subject: [PATCH] prepare for 0.4 --- CHANGES.md | 10 ++++++++++ Makefile | 6 ++++++ dune-project | 2 +- moonpool.opam | 2 +- 4 files changed, 18 insertions(+), 2 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index 743c9e3d..86f2ca1e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,4 +1,14 @@ +# 0.4 + +- add `Fut.{reify_error,bind_reify_error}` +- full lifecycle for worker domains, where a domain + will shutdown if no thread runs on it, after a + short delay. + +- fix: generalize type of `create_arg` +- perf: in `Bb_queue`, only signal condition on push if queue was empty + # 0.3 - add `Fork_join` for parallelizing computations. This is only diff --git a/Makefile b/Makefile index 16fa5b64..35723d82 100644 --- a/Makefile +++ b/Makefile @@ -37,3 +37,9 @@ bench-pi: './_build/default/benchs/pi.exe -mode={mode} -n $(PI_NSTEPS)' .PHONY: test clean bench-fib bench-pi + +VERSION=$(shell awk '/^version:/ {print $$2}' moonpool.opam) +update_next_tag: + @echo "update version to $(VERSION)..." + sed -i "s/NEXT_VERSION/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) + sed -i "s/NEXT_RELEASE/$(VERSION)/g" $(wildcard src/**/*.ml) $(wildcard src/**/*.mli) diff --git a/dune-project b/dune-project index e57770fb..3cd1b85e 100644 --- a/dune-project +++ b/dune-project @@ -2,7 +2,7 @@ (using mdx 0.2) (name moonpool) -(version 0.3) +(version 0.4) (generate_opam_files true) (source (github c-cube/moonpool)) diff --git a/moonpool.opam b/moonpool.opam index 83d18fd6..3f411cfa 100644 --- a/moonpool.opam +++ b/moonpool.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.3" +version: "0.4" synopsis: "Pools of threads supported by a pool of domains" maintainer: ["Simon Cruanes"] authors: ["Simon Cruanes"]