Index of types

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 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

abbrev

- `Balanced factor: Blocks are allocated on all datanodes, so that the nodes fill up similarly.

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).

see copy_in