Index of types

The allocinfo records contains information about selected blocks of a file.

Common representation of blocklists: This maps datanode identities to range sets as represented by BlockRM

Buffer states: an `Invalid buffer is reserved for a certain block but it is not yet filled with any meaningful data, a `Clean buffer contains valid data of a file which is unmodified, a `Dirty buffer contains modified data of a file (which still needs to be written), a `Reading buffer is being filled with data. For the user this is very much like `Invalid (data are unusable), but the argument engine terminates when the buffer changes state again., a `Writing buffer is being written out. For the user this is very much like `Clean (data can be read but not modified again). The argument engine terminates when the buffer changes state again., the `Written state is used after `Writing as long as it is still unclear whether the write is successful or not. On success, the buffer can be set to `Clean again. On error, it will go back to `Dirty. , a `Dropped buffer is reused for a different purpose

Buffer descriptor.

see copy_in

see copy_out

see errno_code for documentation

Filename, start block pos, length in blocks.

inodes are int64 numbers

A journal is a queue of database modifications.

Database modification operations that are covered by the 2-phase commit protocol.

A plan contains: tasks, dependencies between tasks, whether a task is done or not done

an open Plasma cluster

plasma transaction

the mode that is conventionally used for read-only connections

the mode that is conventionally used for read-write connections

Optional information for block reservations

abbrev

abbrev

Shuffling means to rearrange the output of the map/sort tasks into a set of partitions.

The buffer for read and write can be given as string or as bigarray (memory).

- `Ok files: Task is successful.

This is almost the same as Nn_alloc_types.transacted_datastores

see copy_in

(startblock, number)