The program disk
A measure of the block service (contract/block), on a disk of its own: the disk of the measures, that holds no data of a program.
The program reads and writes blocks for one second in each measure: one block in each request, with one request in flight and then with 32. It counts the blocks and the kernel entries of the two programs for each request: its own entries (the system library counts them) and those of the block service (the command Statistics). Then it writes a pattern, flushes, reads it back and compares.
| Fact | Value |
|---|---|
| Source | programs/disk |
| Boot image | in the boot image; the image is not built, so its size is not known |
| Imports | none |
| Imported by | none |
Exports
| Export | What it does |
|---|---|
| entry() |
Read from the source of the module, as the build reads it to describe the exports (tools/kerneltool/describe.odin).
What the root service gives it
| What | Value | As the root service says |
|---|---|---|
| Grants | {.Scratch_Disk} | |
| Budget: pages, programs, threads | {pages = 2048, programs = 1, threads = 1} |
Read from grants_of and things_of in programs/root/main.odin; budget_of in the same file adds the limits of processor time and of log records.