Test generation (comprehension sweeps)
Source: examples/testgen/ — one of the domain examples that validated the language on real-world shapes (ROADMAP Phase 5).
testgen.decl
Section titled “testgen.decl”// Fixture-generation library: the test-sweep benchmark case grown to// production level (Phase 5) — generic containers, match-driven// per-protocol shaping, quantity budgets, and uniqueness constraints.
export type Proto = "http" | "grpc" | "tcp"export type PacketSize = 64 | 128 | 256 | 512 | 1024export type Batch<T, N: 1..4096> = { items: T[1..N], count = std.array.count(items) }
export func default_port(p: Proto): int = match p { (x: "http") => 8080 (x: "grpc") => 9000 (x: "tcp") => 4000}
export type Packet = { id: int size_bytes: PacketSize priority: 0..7 deadline?: quantity<Time> = 5ms label = `pkt-${id}-p${priority}` assert deadline_sane: deadline <= 1s}
export type Case = { proto: Proto size: PacketSize priority: 0..7 port = default_port(proto) name = `case_${proto}_s${size}_p${priority}` packets: Packet[1..1024] packet_count = std.array.count(packets) byte_budget = std.array.fold(packets, 0, (a, p) => a + p.size_bytes) time_budget = std.array.fold(packets, 0.0s, (a, p) => a + p.deadline) assert ids_unique: std.array.all_distinct([p.id for p in packets]) assert budget_cap: byte_budget <= 1048576}
const protos: Proto[] = ["http", "grpc", "tcp"]const sizes: PacketSize[] = [64, 256, 1024]
export output sweep: Batch<Case, 256> = { items: [ { proto: pr size: s priority: y packets: [ { id: i, size_bytes: s, priority: y } for i in 0..<8 ] } for pr in protos for s in sizes for y in 0..<4 ]}Evaluated output
Section titled “Evaluated output”What decl evaluate testgen.decl prints, one section per output.
{ "items": [ { "proto": "http", "size": 64, "priority": 0, "packets": [ { "id": 0, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 8080, "name": "case_http_s64_p0", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 64, "priority": 1, "packets": [ { "id": 0, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 8080, "name": "case_http_s64_p1", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 64, "priority": 2, "packets": [ { "id": 0, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 8080, "name": "case_http_s64_p2", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 64, "priority": 3, "packets": [ { "id": 0, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 8080, "name": "case_http_s64_p3", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 256, "priority": 0, "packets": [ { "id": 0, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 8080, "name": "case_http_s256_p0", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 256, "priority": 1, "packets": [ { "id": 0, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 8080, "name": "case_http_s256_p1", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 256, "priority": 2, "packets": [ { "id": 0, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 8080, "name": "case_http_s256_p2", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 256, "priority": 3, "packets": [ { "id": 0, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 8080, "name": "case_http_s256_p3", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 1024, "priority": 0, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 8080, "name": "case_http_s1024_p0", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 1024, "priority": 1, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 8080, "name": "case_http_s1024_p1", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 1024, "priority": 2, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 8080, "name": "case_http_s1024_p2", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "http", "size": 1024, "priority": 3, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 8080, "name": "case_http_s1024_p3", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 64, "priority": 0, "packets": [ { "id": 0, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 9000, "name": "case_grpc_s64_p0", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 64, "priority": 1, "packets": [ { "id": 0, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 9000, "name": "case_grpc_s64_p1", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 64, "priority": 2, "packets": [ { "id": 0, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 9000, "name": "case_grpc_s64_p2", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 64, "priority": 3, "packets": [ { "id": 0, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 9000, "name": "case_grpc_s64_p3", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 256, "priority": 0, "packets": [ { "id": 0, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 9000, "name": "case_grpc_s256_p0", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 256, "priority": 1, "packets": [ { "id": 0, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 9000, "name": "case_grpc_s256_p1", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 256, "priority": 2, "packets": [ { "id": 0, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 9000, "name": "case_grpc_s256_p2", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 256, "priority": 3, "packets": [ { "id": 0, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 9000, "name": "case_grpc_s256_p3", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 1024, "priority": 0, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 9000, "name": "case_grpc_s1024_p0", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 1024, "priority": 1, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 9000, "name": "case_grpc_s1024_p1", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 1024, "priority": 2, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 9000, "name": "case_grpc_s1024_p2", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "grpc", "size": 1024, "priority": 3, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 9000, "name": "case_grpc_s1024_p3", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 64, "priority": 0, "packets": [ { "id": 0, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 64, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 4000, "name": "case_tcp_s64_p0", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 64, "priority": 1, "packets": [ { "id": 0, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 64, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 4000, "name": "case_tcp_s64_p1", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 64, "priority": 2, "packets": [ { "id": 0, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 64, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 4000, "name": "case_tcp_s64_p2", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 64, "priority": 3, "packets": [ { "id": 0, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 64, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 4000, "name": "case_tcp_s64_p3", "packet_count": 8, "byte_budget": 512, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 256, "priority": 0, "packets": [ { "id": 0, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 256, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 4000, "name": "case_tcp_s256_p0", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 256, "priority": 1, "packets": [ { "id": 0, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 256, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 4000, "name": "case_tcp_s256_p1", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 256, "priority": 2, "packets": [ { "id": 0, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 256, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 4000, "name": "case_tcp_s256_p2", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 256, "priority": 3, "packets": [ { "id": 0, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 256, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 4000, "name": "case_tcp_s256_p3", "packet_count": 8, "byte_budget": 2048, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 1024, "priority": 0, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p0" }, { "id": 1, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p0" }, { "id": 2, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p0" }, { "id": 3, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p0" }, { "id": 4, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p0" }, { "id": 5, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p0" }, { "id": 6, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p0" }, { "id": 7, "size_bytes": 1024, "priority": 0, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p0" } ], "port": 4000, "name": "case_tcp_s1024_p0", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 1024, "priority": 1, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p1" }, { "id": 1, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p1" }, { "id": 2, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p1" }, { "id": 3, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p1" }, { "id": 4, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p1" }, { "id": 5, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p1" }, { "id": 6, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p1" }, { "id": 7, "size_bytes": 1024, "priority": 1, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p1" } ], "port": 4000, "name": "case_tcp_s1024_p1", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 1024, "priority": 2, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p2" }, { "id": 1, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p2" }, { "id": 2, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p2" }, { "id": 3, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p2" }, { "id": 4, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p2" }, { "id": 5, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p2" }, { "id": 6, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p2" }, { "id": 7, "size_bytes": 1024, "priority": 2, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p2" } ], "port": 4000, "name": "case_tcp_s1024_p2", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } }, { "proto": "tcp", "size": 1024, "priority": 3, "packets": [ { "id": 0, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-0-p3" }, { "id": 1, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-1-p3" }, { "id": 2, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-2-p3" }, { "id": 3, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-3-p3" }, { "id": 4, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-4-p3" }, { "id": 5, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-5-p3" }, { "id": 6, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-6-p3" }, { "id": 7, "size_bytes": 1024, "priority": 3, "deadline": { "value": 0.005, "unit": "s" }, "label": "pkt-7-p3" } ], "port": 4000, "name": "case_tcp_s1024_p3", "packet_count": 8, "byte_budget": 8192, "time_budget": { "value": 0.04, "unit": "s" } } ], "count": 36}© 2026 Luuvish. Decl is open source under the MIT License.
Type: Literata and IBM Plex, under the SIL Open Font License. Built with Astro Starlight.