Thomas Leonard 77ff8e18f3 [eio_linux] Avoid copy in read_into ...

Now that `readv` is implemented, we can read directly into the user's
buffer. Testing this by reading from /dev/null into a 64K buffer was
about 5 times faster than the old way (which has a copy and is limited
by the chunk size).

2022-01-17 15:54:42 +00:00

..

tests

Rename Fork_ignore to Fork

2021-12-15 13:46:07 +00:00

dune

Remove unused bigstringaf dependency

2022-01-14 11:24:35 +00:00

eio_linux.ml

[eio_linux] Avoid copy in read_into

2022-01-17 15:54:42 +00:00

eio_linux.mli

Fix minor documentation errors

2022-01-17 15:09:45 +00:00

eio_stubs.c

Make enqueue thread-safe

2021-11-24 14:43:02 +00:00