The program randomness
The randomness of the system, shown (docs/RANDOMNESS.md).
The root service gathers the seed of the system at its start, from the sources of the processor, and gives this program the facts of that gathering (the values 0 to 7 of its context): which sources were there, how many values each one gave, how many it refused, and the strength that the seed can claim. Like each program, this one has its own generator, seeded by its starter (the values 9 to 12). The window shows both, a live draw of the stream, the counts of each byte value in 1 MiB, and the speed of the generator.
| Fact | Value |
|---|---|
| Source | programs/randomness |
| 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 | {} | Not named in grants_of: the grants of each other program. |
| Budget: pages, programs, threads | {pages = 2048, programs = 1, threads = 1} | Not named in things_of: the budget of each other program. |
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.