package picos_std

0.5.0

• Major additions, changes, bug fixes, improvements, and restructuring (@polytypic, @c-cube)

  • Additions:

    • Minimalistic Cohttp implementation
    • Implicitly propagated Flock of fibers for structured concurrency
    • Option to terminate Bundle and Flock on return
    • Event abstraction

    • Synchronization and communication primitives:

      • Incremental variable or Ivar
      • Countdown Latch
      • Semaphore
      • Stream of events
    • Multi-producer, multi-consumer lock-free queue optimized for schedulers
    • Multithreaded (work-stealing) FIFO scheduler
    • Support quota for FIFO based schedulers
    • Transactional interface for atomically completing multiple Computations

  • Changes:

    • Redesigned resource management based on ('r -> 'a) -> 'a functions
    • Redesigned spawn interface allowing FLS entries to be populated before spawn
    • Introduced concept of fatal errors, which must terminate the scheduler or the whole program
    • Simplified FLS interface

  • Improvements:

    • Signficantly reduced per fiber memory usage of various sample schedulers

  • Picos has now been split into multiple packages and libraries:

    • pkg: picos

      • lib: picos
      • lib: picos.domain
      • lib: picos.thread

    • pkg: picos_aux

      • lib: picos_aux.htbl
      • lib: picos_aux.mpmcq
      • lib: picos_aux.mpscq
      • lib: picos_aux.rc

    • pkg: picos_lwt

      • lib: picos_lwt
      • lib: picos_lwt.unix
    • pkg: picos_meta (integration tests)

    • pkg: picos_mux

      • lib: picos_mux.fifo
      • lib: picos_mux.multififo
      • lib: picos_mux.random
      • lib: picos_mux.thread

    • pkg: picos_std

      • lib: picos_std.event
      • lib: picos_std.finally
      • lib: picos_std.structured
      • lib: picos_std.sync

    • pkg: picos_io

      • lib: picos_io
      • lib: picos_io.fd
      • lib: picos_io.select

    • pkg: picos_io_cohttp

      • lib: picos_io_cohttp

0.4.0

• Renamed Picos_mpsc_queue to Picos_mpscq. (@polytypic)

• Core API changes:

  • Added Computation.returned. (@polytypic)

• Lwt interop improvements:

  • Fixed Picos_lwt handling of Cancel_after to not raise in case of cancelation. (@polytypic)
  • Redesigned Picos_lwt to take a System module, which must implement a semi thread-safe trigger mechanism to allow unblocking Lwt promises on the main thread. (@polytypic)
  • Added Picos_lwt_unix interface to Lwt, which includes an internal System module implemented using Lwt_unix. (@polytypic)
  • Dropped thunking from Picos_lwt.await. (@polytypic)
• Added a randomized multicore scheduler Picos_randos for testing. (@polytypic)
• Changed Picos_select.check_configured to always (re)configure signal handling on the current thread. (@polytypic)

• Picos_structured:

  • Added a minimalistic Promise abstraction. (@polytypic)
  • Changed to more consistently not treat Terminate as an error. (@polytypic)
• Changed schedulers to take ~forbid as an optional argument. (@polytypic)
• Various minor additions, fixes, and documentation improvements. (@polytypic)

0.3.0

• Core API changes:

  • Added Fiber.set_computation, which represents a semantic change
  • Renamed Fiber.computation to Fiber.get_computation
  • Added Computation.attach_canceler
  • Added Fiber.sleep
  • Added Fiber.create_packed
  • Removed Fiber.try_attach
  • Removed Fiber.detach

  Most of the above changes were motivated by work on and requirements of the added structured concurrency library (@polytypic)

• Added a basic user level structured concurrent programming library Picos_structured (@polytypic)
• Added a functorized Picos_lwt providing direct style effects based interface to programming with Lwt (@polytypic)
• Added missing Picos_stdio.Unix.select (@polytypic)

0.2.0

• Documentation fixes and restructuring (@polytypic)
• Scheduler friendly waitpid, wait, and system in Picos_stdio.Unix for platforms other than Windows (@polytypic)
• Added Picos_select.configure to allow, and sometimes require, configuring Picos_select for co-operation with libraries that also deal with signals (@polytypic)
• Moved Picos_tls into Picos_thread.TLS (@polytypic)
• Enhanced sleep and sleepf in Picos_stdio.Unix to block in a scheduler friendly manner (@polytypic)

0.1.0

• First experimental release of Picos.

  Core:

  • picos — A framework for interoperable effects based concurrency.

  Sample schedulers:

  • picos.fifos — Basic single-threaded effects based Picos compatible scheduler for OCaml 5.
  • picos.threaded — Basic Thread based Picos compatible scheduler for OCaml 4.

  Scheduler agnostic libraries:

  • picos.sync — Basic communication and synchronization primitives for Picos.
  • picos.stdio — Basic IO facilities based on OCaml standard libraries for Picos.
  • picos.select — Basic Unix.select based IO event loop for Picos.

  Auxiliary libraries:

  • picos.domain — Minimalistic domain API available both on OCaml 5 and on OCaml 4.
  • picos.exn_bt — Wrapper for exceptions with backtraces.
  • picos.fd — Externally reference counted file descriptors.
  • picos.htbl — Lock-free hash table.
  • picos.mpsc_queue — Multi-producer, single-consumer queue.
  • picos.rc — External reference counting tables for disposable resources.
  • picos.tls — Thread-local storage.