block#

Block device abstraction for OCaml 5 with Eio direct-style I/O and Bytesrw integration.

Overview#

This library provides a minimal block device interface inspired by MirageOS mirage-block but using Eio's effects-based concurrency instead of Lwt.

Features#

Eio direct-style I/O (no monads)
Bytesrw integration for streaming access
Memory, file, and flow backends
CRC32C integrity checking wrapper
Sub-device views for partitioning
Read-only wrapper

Installation#

opam install block

Usage#

Eio_main.run @@ fun env ->
Eio.Switch.run @@ fun sw ->

(* Create a file-backed block device *)
let blk = Block.of_file ~sw env#fs "disk.img" ~sector_size:512 ~create:1000L () in
let info = Block.info blk in
Printf.printf "Sectors: %Ld\n" info.sectors;

(* Write a sector *)
let data = String.make 512 'A' in
Block.write blk 0L data |> Result.get_ok;

(* Read it back *)
let read = Block.read blk 0L |> Result.get_ok in
assert (data = read);

(* Add CRC32C integrity checking *)
let safe_blk = Block.with_crc32c blk in
(* Now reads verify checksums, writes compute them *)

API#

Core Operations#

Block.info - Get device info (sector size, count, read/write)
Block.read - Read a single sector
Block.write - Write a single sector
Block.read_many - Read multiple consecutive sectors
Block.write_many - Write multiple consecutive sectors
Block.sync - Flush pending writes
Block.close - Release resources

Backends#

Block.of_memory - In-memory device (for testing)
Block.of_string - Read-only device from string
Block.of_file - File-backed device
Block.of_flow - Eio flow-backed device
Block.of_bigarray - Bigarray-backed device

Wrappers#

Block.read_only - Read-only view
Block.sub - Sub-device view (for partitions)
Block.with_crc32c - CRC32C integrity checking

Bytesrw Integration#

Block.to_reader - Create sequential reader from offset
Block.to_writer - Create sequential writer from offset

mirage-block - MirageOS block interface (Lwt-based)
mirage-block-unix - Unix backend for mirage-block

Licence#

ISC License. See LICENSE.md for details.