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

Showing 1 - 16
  1. domain-local-await
    Documentation
    A scheduler independent blocking mechanism
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.1
    ISC
    Used by 6 other packages
    06 Feb 2024
  2. domain-local-timeout
    Documentation
    A scheduler independent timeout mechanism
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.1
    ISC
    Used by 1 other packages
    06 Feb 2024
  3. kcas
    Documentation
    Software transactional memory based on lock-free multi-word compare-and-set
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 4 other packages
    27 Feb 2024
  4. kcas_data
    Documentation
    Compositional lock-free data structures and primitives for communication and synchronization
    KC Sivaramakrishnan <kc@tarides.com> Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.7.0
    ISC
    Used by 0 other packages
    27 Feb 2024
  5. multicore-bench
    Documentation
    Framework for writing multicore benchmark executables to run on current-bench
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.1.5
    ISC
    Used by 4 other packages
    16 Sep 2024
  6. multicore-magic
    Documentation
    Low-level multicore utilities for OCaml
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    2.3.0
    ISC
    Used by 11 other packages
    10 Jul 2024
  7. multicore-magic-dscheck
    Documentation
    An implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    2.3.0
    ISC
    Used by 3 other packages
    10 Jul 2024
  8. picos
    Documentation
    Pico scheduler interface
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 4 other packages
    05 Sep 2024
  9. picos_aux
    Documentation
    Auxiliary libraries for Picos
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 5 other packages
    05 Sep 2024
  10. picos_io
    Documentation
    Asynchronous IO system for Picos
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 3 other packages
    05 Sep 2024
  11. picos_io_cohttp
    Documentation
    Cohttp running on Picos IO
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  12. picos_lwt
    Documentation
    Lwt interface for Picos
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 1 other packages
    05 Sep 2024
  13. picos_meta
    Documentation
    Integration tests for Picos packages
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 0 other packages
    05 Sep 2024
  14. picos_mux
    Documentation
    Sample schedulers for Picos
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 2 other packages
    05 Sep 2024
  15. picos_std
    Documentation
    Sample libraries for Picos
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    0.5.0
    ISC
    Used by 6 other packages
    05 Sep 2024
  16. thread-table
    Documentation
    A lock-free thread-safe integer keyed hash table
    Vesa Karvonen <vesa.a.j.k@gmail.com>
    1.0.0
    ISC
    Used by 2 other packages
    15 Aug 2023