package eio_linux

v0.6

Changes:

• Update to OCaml 5.0.0~beta1 (@anmonteiro @talex5 #346).

• Add API for seekable read/writes (@nojb #307).

• Add Flow.write (@haesbaert #318).
  This provides an optimised alternative to copy in the case where you are writing from a buffer.

• Add Net.with_tcp_connect (@bikallem #302).
  Convenience function for opening a TCP connection.

• Add Eio.Time.Timeout (@talex5 #320).
  Makes it easier to pass timeouts around.

• Add Eio_mock.Clock (@talex5 #328).
  Control time in tests.

• Add Buf_read.take_while1 and skip_while1 (@bikallem #309).
  These fail if no characters match.

• Make the type parameter for Promise.t covariant (@anmonteiro #300).

• Move list functions into a dedicated submodule (@raphael-proust #315).

• Direct implementation of Flow.source_string (@c-cube #317).
  Slightly faster.

Bug fixes:

• Condition.broadcast must interlock as well (@haesbaert #324).

• Split the reads into no more than 2^32-1 for luv (@haesbaert @talex5 @EduardoRFS #343).
  Luv uses a 32 bit int for buffer sizes and wraps if the value passed is too big.

• eio_luv: allow Net.connect to be cancelled (@talex5 @nojb #311).

• eio_main: Use dedicated log source (@anmonteiro #326).

• linux_eio: fix kernel version number in log message (@talex5 @nojb #314).

• Account for stack differences in the socketpair test (issue #312) (@haesbaert #313).

Documentation:

• Add Best Practices section to README (@talex5 #299).

• Documentation improvements (@talex5 #295 #337).

v0.5

New features:

• Add Eio.Condition (@TheLortex @talex5 #277).
  Allows a fiber to wait for some condition to become true.

• Add Eio.Net.getaddrinfo and getnameinfo (@bikallem @talex5 #278 #288 #291).
  Convert between host names and addresses.

• Add Eio.Debug (@talex5 #276).
  Currently, this allows overriding the traceln function.

• Buf_write.create: make switch optional (@talex5 #283).
  This makes things easier for people porting code from Faraday.

Bug fixes:

• Allow sharing of libuv poll handles (@patricoferris @talex5 #279).
  Luv doesn't allow two callers to watch the same file handle, so we need to handle that in Eio.

Other changes:

• Upgrade to uring 0.4 (@talex5 #290).

• Mention Mutex, Semaphore and Condition in the README (@talex5 #281).

v0.4

Note: Eio 0.4 drops compatibility with OCaml 4.12+domains. Use OCaml 5.0.0~alpha1 instead.

API changes:

• Eio.Dir has gone. Use Eio.Path instead (@talex5 #266 #270).

• Eio_unix.FD.{take,peek} were renamed to take_opt/peek_opt to make way for non-optional versions.

New features:

• Fiber-local storage (@SquidDev #256).
  Attach key/value bindings to fibers. These are inherited across forks.

• Eio.Path.{unlink,rmdir,rename} (@talex5 #264 #265).

• Eio_main.run can now return a value (@talex5 #263).
  This is useful for e.g. cmdliner.

• Eio_unix.socketpair (@talex5 #260).

• Fiber.fork_daemon (@talex5 #252).
  Create a helper fiber that does not prevent the switch from exiting.

• Add Fiber.{iter,map,filter,fiter_map} (@talex5 #248 #250).
  These are concurrent versions of the corresponding operations in List.

Bug fixes:

• Fix scheduling fairness in luv backend (@talex5 #269).

• Implement remaining shutdown commands for luv (@talex5 #268).

• Fix IPv6 support with uring backend (@haesbaert #261 #262).

• Use Eio.Net.Connection_reset exception in more places (@talex5 #257).

• Report use of closed FDs better (@talex5 #255).
  Using a closed FD could previously cause the whole event loop to exit.

• Some fixes for cancellation (@talex5 #254).

• Ensure Buf_write still flushes if an exception is raised (@talex5 #246).

• Do not allow close on accept_fork socket (@talex5 #245).

Documentation:

• Document integrations with Unix, Lwt and Async (@talex5 #247).

• Add a Dockerfile for easy testing (@talex5 #224).

v0.3

API changes:

• Net.accept_sub is deprecated in favour of accept_fork (@talex5 #240).
  Fiber.fork_on_accept, which it used internally, has been removed.

• Allow short writes in Read_source_buffer (@talex5 #239).
  The reader is no longer required to consume all the data in one go. Also, add Linux_eio.Low_level.writev_single to expose this behaviour directly.

• Eio.Unix_perm is now Eio.Dir.Unix_perm.

New features:

• Add Eio.Mutex (@TheLortex @talex5 #223).

• Add Eio.Buf_write (@talex5 #235).
  This is a buffered writer for Eio sinks, based on Faraday.

• Add Eio_mock library for testing (@talex5 #228).
  At the moment it has mock flows and networks.

• Add Eio_mock.Backend (@talex5 #237 #238).
  Allows running tests without needing a dependency on eio_main. Also, as it is single-threaded, it can detect deadlocks in test code instead of just hanging.

• Add Buf_read.{of_buffer, of_string, parse_string{,_exn}, return} (@talex5 #225).

• Add <*> combinator to Buf_read.Syntax (@talex5 #227).

• Add Eio.Dir.read_dir (@patricoferris @talex5 #207 #218 #219)

Performance:

• Add Buf_read benchmark and optimise it a bit (@talex5 #230).

• Inline Buf_read.consume to improve performance (@talex5 #232).

Bug fixes / minor changes:

• Allow IO to happen even if a fiber keeps yielding (@TheLortex @talex5 #213).

• Fallback for traceln without an effect handler (@talex5 #226).
  traceln now works outside of an event loop too.

• Check for cancellation when creating a non-protected child context (@talex5 #222).

• eio_linux: handle EINTR when calling getrandom (@bikallem #212).

• Update to cmdliner.1.1.0 (@talex5 #190).

v0.2

• Add support for UDP (@patricoferris #171).

• Rename Fibre to Fiber (@talex5 #195). This is to match the compiler's spelling.

• Switch to luv backend if uring can't be used (@talex5 #203). Useful on Windows with WSL, and also in Docker containers on older systems.

• Eio_linux: cope with lack of fixed chunks (@talex5 #200).

  • If we run out of fixed memory, just use regular memory instead of waiting (which might deadlock).

  • If we try to allocate a fixed buffer and fail, we now just log a warning and continue without one.

• Add support for FD passing with Eio_linux (@talex5 #199).

• Add Eio_unix.FD.as_socket (@talex5 #193). Useful for working with existing libraries that provide a Unix.file_descr, or for receiving FDs from elsewhere (e.g. socket activation). Also, the Luv.{File,Handle}.of_luv functions now allow controlling whether to close the wrapped FD.

• Add Eio_unix.sleep (@talex5 #188). Based on feedback that some people don't want to treat time as a capability. Possibly also useful for debugging race conditions.

• Tidy up forking API (@talex5 #192). Moves some common code out the the individual backends.

• Improve documentation (@talex5 #197 #194 #186 #185). In particular, explain more low-level details about how cancellation works.

• Add an example Eio_null backend (@talex5 #189). This supports creating fibers, promises and cancellation, but provides no IO operations.

• Effect.eff is now Effect.t in OCaml trunk (@talex5 #201).

v0.1

• Initial release.