Index of types

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

A blocklist cache

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.

A codec (coder/decoder) says how to convert a record to string, and how to read it back.

The process-local part of the monitor

The shm part of the monitor

The condition variable

see copy_in

see copy_out

Performance counters: `Transactions_total: number of transaction starts, `Commits_total: number of writing commits, `RPC_filesystem: number of RPC calls of the "Filesystem" program

How to determine the files of input_dir:

Enhanced map tasks do not only map, but also prepartition the result and sort it

The engine runs in a separate thread (C level, so this thread can run in parallel with Ocaml code)

see errno_code for documentation

Filename, start block pos, length in blocks.

Tags may be attached to files.

A file is either `Regular n where n is the length, or `Directory, or `Other.

How a file is split into records.

inodes are int64 numbers

Shared part of the serializer

A journal is a queue of database modifications.

Levels of protection: `None: No protection (unauthenticated access), `Authenticated: The user needs to log in, but the messages are unprotected otherwise, `Integrity: The user needs to log in, and additionally the messages are integrity-protected (signed). This is the recommended minimum level., `Privacy: The user needs to log in, and additionally the messages are encypted (this includes integrity-protection).

For some outputs, it is possible to request where the file is placed.

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

Which phases are enabled:

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

an open Plasma cluster

plasma transaction

Flags for the reader: `Bof_block n: Assume that the first record to read is at position n of the file. The position should not be after the first block to read., `Eof_pos n: Assume that the EOF position is at n (in bytes) `Bof and `Eof can be used to read from a part of the file only.

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

The result of a distributed operation

A registered function has this type.

abbrev

abbrev

A sequence (el,mode) seq contains elements of type el, and can be accessed according to mode: mode=[`R]: the sequence is read-only, mode=[`W]: the sequence is write-only, mode=[`R|`W]: the sequence is read-write

Shared part of the serializer

The shm part of shared_state_t.

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

Specification of a command for dispatch.

A store is a container for data

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

A place for storing records of type 'a

- `Ok ok: Task is successful.

Tests: `N: the file name exists, `E: the file exists, `D: the file exists and is a directory, `F: the file exists and is regular, `H: the file exists and is a symlink (possibly to a non-existing target), `R: the file exists and is readable, `W: the file exists and is writable, `X: the file exists and is executable, `S: the file exists and is non-empty

This is almost the same as Nn_alloc_types.transacted_datastores

see copy_in

(startblock, number)

Each process that wants to wait needs a wait_entry.

A set of wait_entry, for easier management.

The intersection of write_flag and write_file_flag