Build History for branch/main

Update ocamlformat version. (#181) Update ocamlformat version.

Fix links in doc. (#180)

Automate odoc deploy (#179)

Prepare for release 1.0 (#176)

Fix deps and update deps for OCaml, backoff and qcheck-stm libs (#175) * Change deps oo backoff and qcheck-stm. * Change deps on OCaml version to avoid ocaml >= 5.0.0 and < 5.2.0 * Remove github action related to ocalm 5.0.0 and 5.1.0

Improve documentation. (#177)

Minor fixes in documentation. (#174) Minor fixes in documentation and test names.

Lockfree bag based on the hash table (#173) Lockfree bag based on the hash table

Skiplist : doc improvement (#172) * Doc improvement. * Add find_exn.

Update README file (#169) * Add missing data structures to README. * Move motivation part and examples into different files with links. * Improve test/README.md and bench/README.md

Mpsc update (#162) * Update mpsc queue from Eio: simplify the implementation. * Add bench * Improve documentation and add of_list and push_all functions

Uniformization of Michael Scott queue with other queues (#167) Improve documentation, add of_list and drop_exn to Michael-Scott queue.

Add useful warnings. (#170) Add missing and useful warnings in documentation.

Ws deque update : documentation improvement and drop functions (#168) Improve documentation, add of_list, drop_exn and steal_drop.

Uniformize spcs documentation and functions (#165) * Improve documentation. * Add of_list_exn and drop_exn functions and dscheck tests for these functions * Rename Spsc_queue.size to length for uniformization. * Add examples in documentation * Add bench for spsc_unsafe.

Add test for of_list_exn. (#166)

Optimize work-stealing deque (#124) * Optimize work-stealing deque - Add padding to avoid false sharing - Use a GADT to express desired result type - Use various tweaks to improve performance - Remove negative test that uses the WS deque in an invalid unsafe way - Implement caching of the thief side index * Remove M module and rename pop to pop_exn, steal to steal_exn and exception Exit to Empty. --------- Co-authored-by: Carine Morel <carine@tarides.com>

Bounded queue (#160) * Bounded queue from PR #83 : remove blocking part * Add tests * Add drop_exn, is_full and of_list_exn function. * Add benches * Add examples in doc.

Change bench for safe/unsafe htbl and ms_queue from first class module to functor (more readable). (#161)

Rename Bounded_stack.of_list -> of_list_exn and change a dscheck test to use it. (#164)

Bounded stack (#156) * Add bound_stack. * Add tests

Fix treiber minor issues (#163) * Fix stack overflow in test, due to List.@ not being not tail rec. * Run mdx on the .mli.

Add new functions and improve documentations of Treiber stack. (#158) Add new functions and improve documentations of Treiber stack

Remove Saturn_lockfree package. (#159)

Remove relaxed_queue and M module in ws_deque (#157) * Remove relaxed queue. * Remove module M in ws_deque.

Hash table from picos (#154) Add a lockfree hashtable (safe and unsafe version).

Fix ms queue stm tests. (#153)

Add time limit for stm tests. (#152) * Add time limit for stm tests. * No need to skip STM tests on 32-bit --------- Co-authored-by: Vesa Karvonen <vesa.a.j.k@gmail.com>

Regroup MS_queue and spsc_queue under their own subdirectory. (#151)

Fix peek -> peek_exn in doc. (#148)

Prepare for release 0.5.0 (#147)

Michael-Scott queue : safe - unsafe versions (#146) Optimized safe and (more optimized) unsafe MS queue with tests running for both.

Using multicore-magic-dscheck for dscheck tests (#143) Add multicore-magic-dscheck to write dscheck tests on a data structure using Multicore-magic.

Merge pull request #142 from lyrm/skiplist-bench Add back an accidentally dropped line.

Tests on 5.2.0 on Windows (#141)

Optimize spsc queue : unsafe optimizations (#135) Applied optimizations: - Add padding with Multicore_magic.copy_as_padded to avoid false sharing - Use `Atomic = Transparent_atomic`, `fenceless_get`, and `incr` - Avoid indirection in array - Avoid float array pessimization - Add a simple `float` test and prevent inlining

Merge pull request #140 from lyrm/skiplist_test_dune Fix cycle dependency in skiplist tests

Require `sherlodoc` for search bar This requires `dune` 3.14, `odoc` 2.4.1, and `sherlodoc` 0.2 so that generated documentation should include the new search bar.

Link to benchmark results on `pascal` The results on the `pascal` machine are likely to be more representative of relative performance than on the older Opteron based `fermat` machine.

Fix some typos, English idioms, and reformat the doc comments As a stylistic thing, I would recommend using an extra space after a period. Like this. And this. This makes it easier to see where sentences begin and end when using monospaced fonts and makes the text easier to read. The convention of an extra space after a period is also recognized by the `fill-paragraph` command of Emacs.

Merge pull request #133 from lyrm/optimize-spsc-queue-safe Optimize spsc queue : optimizations without `Obj.magic`

Bench on 5.2.x

Prepare for `summer`

Add a benchmark using work-stealing deque as a SPMC queue This is a technically possible use case of a work-stealing deque and also a possible, although non-ideal, pattern for some programs running on a work-stealing scheduler.

Upgrade to multicore-bench 0.1.2 The Stdlib benchmarks now live in multicore-bench.

Fix MS queue test loop loop without safe point

Upgrade dscheck to allow testing on OCaml 4 with ocaml-ci

Avoid code duplication in Treiber's stack using a GADT

Minor optimization to `Size` There is no need to mask the counters outside of snapshotting.

Rewrite or refactor benchmarks using multicore-bench

Lock free skiplist with size (#99) Add skiplist with generalized size computation --------- Co-authored-by: Carine Morel <carine@tarides.com>, Sooraj Srinivasan <cs20b075@smail.iitm.ac.in>