16 search results for "author:"Vesa Karvonen <vesa.a.j.k@gmail.com>""

Showing 1 - 16
  1. A scheduler independent blocking mechanism
    1.0.1
    ISC
    Used by 6 other packages
    06 Feb 2024
  2. A scheduler independent timeout mechanism
    1.0.1
    ISC
    Used by 1 other packages
    06 Feb 2024
  3. Software transactional memory based on lock-free multi-word compare-and-set
    0.7.0
    ISC
    Used by 4 other packages
    27 Feb 2024
  4. Compositional lock-free data structures and primitives for communication and synchronization
    0.7.0
    ISC
    Used by 0 other packages
    27 Feb 2024
  5. Framework for writing multicore benchmark executables to run on current-bench
    0.1.5
    ISC
    Used by 4 other packages
    16 Sep 2024
  6. Low-level multicore utilities for OCaml
    2.3.0
    ISC
    Used by 11 other packages
    10 Jul 2024
  7. An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic
    2.3.0
    ISC
    Used by 3 other packages
    10 Jul 2024
  8. 0.5.0
    ISC
    Used by 4 other packages
    05 Sep 2024
  9. Auxiliary libraries for Picos
    0.5.0
    ISC
    Used by 5 other packages
    05 Sep 2024
  10. Asynchronous IO system for Picos
    0.5.0
    ISC
    Used by 3 other packages
    05 Sep 2024
  11. Cohttp running on Picos IO
    0.5.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  12. 0.5.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  13. Integration tests for Picos packages
    0.5.0
    ISC
    Used by 0 other packages
    05 Sep 2024
  14. Sample schedulers for Picos
    0.5.0
    ISC
    Used by 2 other packages
    05 Sep 2024
  15. Sample libraries for Picos
    0.5.0
    ISC
    Used by 6 other packages
    05 Sep 2024
  16. A lock-free thread-safe integer keyed hash table
    1.0.0
    ISC
    Used by 2 other packages
    15 Aug 2023