The program net
The first layer of the network, shown case by case: the link and the address, an ARP answer of the gateway, an echo of the gateway, a UDP datagram to an echo server and its answer, the refusals of the grant, the frames from the wire that the network service refused, and the measures.
The program holds one endpoint (contract/datagram): the root service granted it the remote 10.0.2.2, port 7, and nothing else. It has no address to choose and no port to open. The window shows each case, the answer, and whether it is the expected answer.
| Fact | Value |
|---|---|
| Source | programs/net |
| 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 | {.Inspect, .Network} | It measures with the cycle counter. |
| 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.