{ "schema": "nodefusion.education-recording/1", "course": "2026A", "chapter": 4, "variant": "observed", "run": "ucore-2026A-ch4-observed", "html": "ucore-2026A-ch4-observed.html", "source": { "kernel_commit": "51f02268653c68f169f5599055da3b0391995ee6", "kernel_patch": "diff --git a/Makefile b/Makefile\nindex de426d5..9446f05 100644\n--- a/Makefile\n+++ b/Makefile\n@@ -14,7 +14,7 @@ GDB = $(TOOLPREFIX)gdb\n CP = cp\n BUILDDIR = build\n C_SRCS = $(wildcard $K/*.c)\n-AS_SRCS = $(wildcard $K/*.S)\n+AS_SRCS := $(wildcard $K/*.S)\n C_OBJS = $(addprefix $(BUILDDIR)/, $(addsuffix .o, $(basename $(C_SRCS))))\n AS_OBJS = $(addprefix $(BUILDDIR)/, $(addsuffix .o, $(basename $(AS_SRCS))))\n OBJS = $(C_OBJS) $(AS_OBJS)\ndiff --git a/os/kalloc.c b/os/kalloc.c\nindex 6f7012d..a78a0e0 100644\n--- a/os/kalloc.c\n+++ b/os/kalloc.c\n@@ -1,6 +1,7 @@\n #include \"kalloc.h\"\n #include \"defs.h\"\n #include \"riscv.h\"\n+#include \"nftrace.h\"\n \n extern char ekernel[];\n \n@@ -12,6 +13,10 @@ struct {\n \tstruct linklist *freelist;\n } kmem;\n \n+static uint64 nf_free_pages;\n+static uint64 nf_used_pages;\n+static int nftrace_ready;\n+\n void freerange(void *pa_start, void *pa_end)\n {\n \tchar *p;\n@@ -23,6 +28,8 @@ void freerange(void *pa_start, void *pa_end)\n void kinit()\n {\n \tfreerange(ekernel, (void *)PHYSTOP);\n+\tnftrace_ready = 1;\n+\tnftrace_allocator_state(nf_free_pages, nf_used_pages);\n }\n \n // Free the page of physical memory pointed at by v,\n@@ -40,6 +47,12 @@ void kfree(void *pa)\n \tl = (struct linklist *)pa;\n \tl->next = kmem.freelist;\n \tkmem.freelist = l;\n+\tnf_free_pages++;\n+\tif (nftrace_ready) {\n+\t\tif (nf_used_pages > 0)\n+\t\t\tnf_used_pages--;\n+\t\tnftrace_page_free((uint64)pa, 1, nf_free_pages, nf_used_pages);\n+\t}\n }\n \n // Allocate one 4096-byte page of physical memory.\n@@ -51,7 +64,11 @@ void *kalloc(void)\n \tl = kmem.freelist;\n \tif (l) {\n \t\tkmem.freelist = l->next;\n+\t\tnf_free_pages--;\n+\t\tnf_used_pages++;\n \t\tmemset((char *)l, 5, PGSIZE); // fill with junk\n \t}\n+\tif (nftrace_ready)\n+\t\tnftrace_page_alloc((uint64)l, 1, nf_free_pages, nf_used_pages);\n \treturn (void *)l;\n-}\n\\ No newline at end of file\n+}\ndiff --git a/os/nftrace.c b/os/nftrace.c\nnew file mode 100644\nindex 0000000..15df745\n--- /dev/null\n+++ b/os/nftrace.c\n@@ -0,0 +1,29 @@\n+#include \"nftrace.h\"\n+\n+__attribute__((noinline))\n+void nftrace_commit_point(const struct nftrace_record *record)\n+{\n+\tif (record != 0)\n+\t\t__asm__ volatile(\"\" : : \"r\"(*(volatile const uint64 *)record) : \"memory\");\n+}\n+\n+static inline void emit(uint64 type, uint64 a0, uint64 a1, uint64 a2, uint64 a3)\n+{\n+\tconst struct nftrace_record record = { type, { a0, a1, a2, a3 } };\n+\tnftrace_commit_point(&record);\n+}\n+\n+void nftrace_page_alloc(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_KALLOC, pa, pages, free_pages, used_pages);\n+}\n+\n+void nftrace_page_free(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_KFREE, pa, pages, free_pages, used_pages);\n+}\n+\n+void nftrace_allocator_state(uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_ALLOCATOR_STATE, free_pages, used_pages, 0, 0);\n+}\ndiff --git a/os/nftrace.h b/os/nftrace.h\nnew file mode 100644\nindex 0000000..911e355\n--- /dev/null\n+++ b/os/nftrace.h\n@@ -0,0 +1,22 @@\n+#ifndef NFTRACE_H\n+#define NFTRACE_H\n+\n+#include \"types.h\"\n+\n+enum {\n+\tNFT_KALLOC = 1,\n+\tNFT_KFREE = 5,\n+\tNFT_ALLOCATOR_STATE = 6,\n+};\n+\n+struct nftrace_record {\n+\tuint64 type;\n+\tuint64 a[4];\n+};\n+\n+void nftrace_commit_point(const struct nftrace_record *record);\n+void nftrace_page_alloc(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages);\n+void nftrace_page_free(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages);\n+void nftrace_allocator_state(uint64 free_pages, uint64 used_pages);\n+\n+#endif\ndiff --git a/os/vm.c b/os/vm.c\nindex 59eec39..4f49ab2 100644\n--- a/os/vm.c\n+++ b/os/vm.c\n@@ -2,6 +2,12 @@\n #include \"defs.h\"\n #include \"riscv.h\"\n \n+__attribute__((noinline))\n+void nodefusion_pagetable_map(uint64 va, uint64 pa, uint64 flags)\n+{\n+\t__asm__ volatile(\"\" : : \"r\"(va), \"r\"(pa), \"r\"(flags) : \"memory\");\n+}\n+\n pagetable_t kernel_pagetable;\n \n extern char e_text[]; // kernel.ld sets this to end of kernel code.\n@@ -124,6 +130,7 @@ int mappages(pagetable_t pagetable, uint64 va, uint64 size, uint64 pa, int perm)\n \t\t\treturn -1;\n \t\t}\n \t\t*pte = PA2PTE(pa) | perm | PTE_V;\n+\t\tnodefusion_pagetable_map(a, pa, perm | PTE_V);\n \t\tif (a == last)\n \t\t\tbreak;\n \t\ta += PGSIZE;\n@@ -339,4 +346,3 @@ uint64 uvmdealloc(pagetable_t pagetable, uint64 oldsz, uint64 newsz)\n \n return newsz;\n }\n-\n", "user_commit": "1733f460c596b013b1c509ad42afa428640783b0", "user_patch": "diff --git a/CMakeLists.txt b/CMakeLists.txt\nindex f5a9fac..ab1986d 100644\n--- a/CMakeLists.txt\n+++ b/CMakeLists.txt\n@@ -15,12 +15,12 @@ set(ASM_DIR asm)\n set(BIN_DIR bin)\n \n # Toolchain\n-set(PREFIX ${ARCH}-linux-musl-)\n+set(PREFIX ${ARCH}-linux-musl- CACHE STRING \"Cross compiler prefix\")\n \n if (${ARCH} STREQUAL riscv32)\n- set(CMAKE_C_FLAGS \"-march=rv32imac -mabi=ilp32 -mcmodel=medany\")\n+ set(CMAKE_C_FLAGS \"-march=rv32imac_zicsr_zifencei -mabi=ilp32 -mcmodel=medany\")\n elseif (${ARCH} STREQUAL riscv64)\n- set(CMAKE_C_FLAGS \"-march=rv64imac -mabi=lp64 -mcmodel=medany\")\n+ set(CMAKE_C_FLAGS \"-march=rv64imac_zicsr_zifencei -mabi=lp64 -mcmodel=medany\")\n else()\n message(\"Unsupported arch: ${ARCH}\")\n endif ()\ndiff --git a/Makefile b/Makefile\nindex be632ac..64f1ab6 100644\n--- a/Makefile\n+++ b/Makefile\n@@ -7,15 +7,16 @@ app_dir = src\n elf_dir := build/$(ARCH)\n bin_dir := build/bin\n out_dir := target\n-cmake_build_args := -DARCH=$(ARCH) -DCHAPTER=$(CHAPTER)\n+TOOLPREFIX ?= $(ARCH)-linux-musl-\n+cmake_build_args := -DARCH=$(ARCH) -DCHAPTER=$(CHAPTER) -DPREFIX=$(TOOLPREFIX)\n ifeq ($(MODE), release)\n cmake_build_args += -DCMAKE_BUILD_TYPE=Release\n else ifeq ($(MODE), debug)\n cmake_build_args += -DCMAKE_BUILD_TYPE=Debug\n endif\n \n-OBJCOPY := $(ARCH)-linux-musl-objcopy\n-OBJDUMP := $(ARCH)-linux-musl-objdump\n+OBJCOPY := $(TOOLPREFIX)objcopy\n+OBJDUMP := $(TOOLPREFIX)objdump\n CP := cp\n CH_TESTS := \n \ndiff --git a/src/ch6b_exec.c b/src/ch6b_exec.c\nindex 1a1d9c6..b67cf35 100644\n--- a/src/ch6b_exec.c\n+++ b/src/ch6b_exec.c\n@@ -5,7 +5,7 @@\n int main()\n {\n \tchar *_argv[] = {\n-\t\t\"(*o*)\", \"(>.<)\", \"(O.O)\", \"(QwQ)\", \"orz\", \"没有了呀\"\n+\t\t\"(*o*)\", \"(>.<)\", \"(O.O)\", \"(QwQ)\", \"orz\", \"没有了呀\", NULL\n \t};\n \texec(\"ch6b_args\", _argv);\n \treturn 0;\ndiff --git a/src/ch6b_filetest_simple.c b/src/ch6b_filetest_simple.c\nindex 062cecf..a27e982 100644\n--- a/src/ch6b_filetest_simple.c\n+++ b/src/ch6b_filetest_simple.c\n@@ -15,7 +15,9 @@ int main()\n \tfd = open(filea, O_RDONLY);\n \tassert(fd > 0);\n \tchar buf[16];\n-\tread(fd, buf, 16);\n+\tint nread = read(fd, buf, sizeof(buf) - 1);\n+\tassert_eq(nread, strlen(s));\n+\tbuf[nread] = '\\0';\n \tclose(fd);\n \tassert(strcmp(s, buf) == 0);\n \tputs(\"file_test passed!\");\ndiff --git a/src/ch6b_usertest.c b/src/ch6b_usertest.c\nindex cdd9fc8..1cb5f3a 100644\n--- a/src/ch6b_usertest.c\n+++ b/src/ch6b_usertest.c\n@@ -11,7 +11,7 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\",\t \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_getpid\\0\",\t \"ch5b_forktest0\\0\",\n \t\"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\", \"ch5b_exit\\0\",\n-\t\"ch6b_filetest\\0\", \"ch6b_exec\\0\",\n+\t\"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\",\n };\n \n int main()\ndiff --git a/src/ch7b_usertest.c b/src/ch7b_usertest.c\nindex 1f634d4..8bfc7c8 100644\n--- a/src/ch7b_usertest.c\n+++ b/src/ch7b_usertest.c\n@@ -10,7 +10,7 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\",\t \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_exit\\0\",\t \"ch5b_getpid\\0\",\n \t\"ch5b_forktest0\\0\", \"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\",\n-\t\"ch5b_exit\\0\",\t \"ch6b_filetest\\0\", \"ch6b_exec\\0\",\n+\t\"ch5b_exit\\0\",\t \"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\",\n \t\"ch7b_pipetest\\0\",\n };\n \ndiff --git a/src/ch8b_usertest.c b/src/ch8b_usertest.c\nindex 1cce5ce..f088c38 100644\n--- a/src/ch8b_usertest.c\n+++ b/src/ch8b_usertest.c\n@@ -10,9 +10,9 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\", \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_getpid\\0\", \"ch5b_forktest0\\0\",\n \t\"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\", \"ch5b_exit\\0\",\n-\t\"ch6b_filetest\\0\", \"ch6b_exec\\0\", \"ch7b_pipetest\\0\",\n+\t\"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\", \"ch7b_pipetest\\0\",\n \t\"ch8b_mpsc_sem\\0\",\n-\t\"ch8b_mut_phi_din.c\", \"ch8b_mut_race\\0\", \"ch8b_sync_sem\\0\",\n+\t \"ch8b_mut_race\\0\", \"ch8b_sync_sem\\0\",\n \t\"ch8b_test_condvar\\0\", \"ch8b_threads_arg\\0\", \"ch8b_threads\\0\", \n \t\"ch8b_spin_mut_race\\0\", \"ch8b_mut_phi_din\\0\",\n };\n", "nodefusion_commit": "bce9de05d36d5cdd0afc71121e7c9b1016c08664", "nodefusion_runtime_overrides": [ { "path": "nodefusion/host/analyze.py", "sha256": "b1c4a595a54058841630ba7b18818688efd00b8085b03ca91767208ec3b499e8", "patch": "diff --git a/nodefusion/host/analyze.py b/nodefusion/host/analyze.py\nindex a6ca1e7..31b6599 100644\n--- a/nodefusion/host/analyze.py\n+++ b/nodefusion/host/analyze.py\n@@ -642,6 +642,12 @@ class Analysis:\n from ..model.manifest import _COMPLETENESS\n from ..model.snapshot import _completeness\n got = _completeness(res.sources)[\"completeness\"]\n+ if got == \"total\":\n+ from ..model.resolve import PRESENT\n+ contexts = [field for entity in ents.res.entities if entity.sources\n+ for field in entity.fields if field.role == \"sched_context\"]\n+ if not any(field.state == PRESENT for field in contexts):\n+ return None\n return _COMPLETENESS.get(got)\n \n def _task_by_ctx(self, state_idx: int, ctx: int):\n" }, { "path": "nodefusion/host/record.py", "sha256": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "patch": "diff --git a/nodefusion/host/record.py b/nodefusion/host/record.py\nindex ac7695e..93323e0 100644\n--- a/nodefusion/host/record.py\n+++ b/nodefusion/host/record.py\n@@ -399,6 +399,10 @@ class Recorder:\n f\"内核自己按顺序跑完所有应用，没有地方喂命令。\")\n \n \n+ @property\n+ def interactive_workload(self) -> bool:\n+ return self.profile.interactive and bool(self.cfg.program) and self.cfg.program != NO_PROGRAM\n+\n def effective_lab_stage(self) -> int | None:\n if self.cfg.lab_stage is not None:\n return self.cfg.lab_stage\n@@ -445,8 +449,7 @@ class Recorder:\n f\"--no-build：这次没有编译，直接用了现成的 \"\n f\"{self.kernel_elf_path}（修改时间 \"\n f\"{mt.strftime('%Y-%m-%d %H:%M UTC')}）。\"\n- \"也就是说**没人验证过这份二进制是当前源码编出来的**；\"\n- \"它可能是任何时候留下的。ELF 指纹见 kernel_elf_identity。\")\n+ \"ELF 校验和见 kernel_elf_identity。\")\n return \"(--no-build：跳过构建)\"\n \n mv = self._make_var_string()\n@@ -571,7 +574,7 @@ class Recorder:\n \n outcome = \"unknown\"\n try:\n- if not self.profile.interactive:\n+ if not self.interactive_workload:\n outcome = self._drive_headless(proc, reader)\n else:\n outcome = self._drive_shell(proc, reader)\n@@ -738,7 +741,7 @@ class Recorder:\n # An interactive shell's exec sequence cannot identify the host\n # command without a dedicated marker.\n prog_start = _program_start_from_trace(\n- tr, wl_json, interactive=self.profile.interactive)\n+ tr, wl_json, interactive=self.interactive_workload)\n tmp_trace.unlink(missing_ok=True)\n if total <= 0:\n raise RecordError(\n@@ -835,7 +838,7 @@ class Recorder:\n calibration_path, calibration_wl.to_json())\n \n focus_start = _snapshot_focus_start(\n- prog_start, calibrated_total, interactive=self.profile.interactive)\n+ prog_start, calibrated_total, interactive=self.interactive_workload)\n \n if c.snap_insns is not None:\n snap_insns = c.snap_insns\n@@ -909,7 +912,7 @@ class Recorder:\n \"snap_start_insn\": snap_start,\n \"program_start_insn\": prog_start,\n \"snapshot_focus\": (\"interactive_tail_15pct\" if\n- self.profile.interactive and not prog_start and\n+ self.interactive_workload and not prog_start and\n c.snap_start is None and calibrated_total else\n \"program_boundary\" if prog_start else \"uniform\"),\n \"calibrated_total_insns\": calibrated_total,\n" }, { "path": "nodefusion/manifests/rcore.toml", "sha256": "bdc12802c1b6ebdde2143b034950c1909c4d224f57fe527d78d2f6817a4fee4a", "patch": "diff --git a/nodefusion/manifests/rcore.toml b/nodefusion/manifests/rcore.toml\nindex 3579114..b615999 100644\n--- a/nodefusion/manifests/rcore.toml\n+++ b/nodefusion/manifests/rcore.toml\n@@ -174,12 +174,7 @@ kind = \"batch\"\n completeness = \"none\"\n when = { type_exists = \"os::batch::AppManager\" }\n reason = \"ch2 是批处理，没有任务表；只有当前应用序号\"\n-steps = [\n-\n-\n- { static = \"os::batch::APP_MANAGER\" },\n- { unwrap = [\"Lazy\", \"UPSafeCell\"] },\n-]\n+steps = []\n \n # ch1 has neither TaskControlBlock nor AppManager. This source records that\n # structural absence explicitly; it intentionally enumerates no entities.\n@@ -213,7 +208,7 @@ base = { path = \"base_size\", reader = \"usize\" }\n # address, which the page-table walk then reported as \"not in observed\n # physical memory\" -- a unit error that reads like missing memory.\n # `.__0` rather than the tuple struct itself so no field offset is assumed.\n-pgtbl = { path = \"inner.memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n+pgtbl = { path = \"memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n prio = { path = \"inner.priority\", reader = \"usize\", role = \"priority\" }\n \n \n@@ -223,7 +218,7 @@ exit = { path = \"inner.exit_code\", reader = \"i32\", role = \"exit_code\" }\n \n \n \n-trapcx = { path = \"inner.trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n+trapcx = { path = \"trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n # These relations appear only once rCore introduces a process tree (ch5).\n # They are optional fields with links, so ch3/ch4 report structural absence\n # rather than claiming that a required relation failed to decode.\n@@ -477,6 +472,12 @@ throttle = 0\n \n \n \n+\n+[[watch]]\n+subsystem = \"mm\"\n+match = { module = \"os::mm::memory_set::MemorySet\", fn = [\"remove_framed_area\"] }\n+args = 3\n+throttle = 0\n \n [[watch]]\n subsystem = \"mm\"\n@@ -656,7 +657,7 @@ throttle = 0\n \"proc.alloc\" = { why = \"feature\", when = { type_missing = \"os::task::task::TaskControlBlock\" }, evidence = \"ch1、ch2 无任务分配路径；ch2 的 loader.c 复用同一应用内存区依次装入二进制，ch3 起引入 TaskControlBlock。\" }\n \"proc.fork\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 的 os/src/task 尚无 fork 路径；ch5 起有 Processor 与 TaskControlBlock::fork。按当前 ELF 的 Processor 类型核对阶段。\" }\n \"proc.exec\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 静态装入应用，os/src/syscall 无 exec；ch5 起引入进程管理和 exec。按当前 ELF 的 Processor 类型核对阶段。\" }\n-\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch4 的 os/src/syscall/process.rs 中 sys_munmap 明确为 NOT IMPLEMENTED YET；ch5 起有进程内存回收。按当前 ELF 的 Processor 类型区分阶段。\" }\n+\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"未定义 MemorySet 的早期构建没有分页区域；定义 MemorySet 的构建按实际区域取消映射路径检查，包括 2026A 的 remove_framed_area。\" }\n \"phys.alloc\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器；ch4 起的 os/src/mm/frame_allocator.rs 定义 StackFrameAllocator。按当前 ELF 的该类型核对阶段。\" }\n \"phys.free\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器及逐页归还；ch4 起的 os/src/mm/frame_allocator.rs 实现分配与回收。按当前 ELF 的类型核对阶段。\" }\n \"vm.map\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"rCore ch1–ch3 还没有分页地址空间；ch4 起的 os/src/mm/memory_set.rs 定义 MemorySet 并建立区域映射。按当前 ELF 的类型核对阶段。\" }\n@@ -893,6 +894,7 @@ throttle = 0\n \n \"os::mm::memory_set::nodefusion_vm_unmap_region\" = { kind = \"vm.unmap\", resource = \"vm\", args = [\"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::remove_area_with_start_vpn\" = \"vm.remove_area\"\n+\"os::mm::memory_set::MemorySet::remove_framed_area\" = { kind = \"vm.remove_area\", resource = \"vm\", args = [\"self\", \"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::shrink_to\" = \"vm.shrink\"\n \"os::mm::memory_set::MemorySet::append_to\" = \"vm.grow\"\n \"os::mm::init\" = \"vm.init\"\n@@ -1550,3 +1552,35 @@ opts = [\n [syscalls]\n files = [\"os/src/syscall/mod.rs\"]\n pattern = 'const\\s+SYSCALL_(?P\\w+)\\s*:\\s*usize\\s*=\\s*(?P\\d+)'\n+\n+[[entity]]\n+name = \"batch_manager\"\n+type = \"os::batch::AppManager\"\n+label = \"应用批次\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { type_exists = \"os::batch::AppManager\" }\n+steps = [{ static = \"os::batch::APP_MANAGER\" }, { unwrap = [\"Lazy\", \"UPSafeCell\"] }]\n+\n+[entity.fields]\n+num_app = { path = \"num_app\", reader = \"u64\" }\n+current_app = { path = \"current_app\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"当前没有应用批次。\"\n+ [[entity.table.column]]\n+ key = \"num_app\"\n+ label = \"应用数\"\n+ [[entity.table.column]]\n+ key = \"current_app\"\n+ label = \"下一应用序号\"\n+\n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"os::trap::trap_handler\"] }\n+when = { type_exists = \"os::batch::AppManager\" }\n+snapshot = \"always\"\n+args = 1\n+throttle = 0\n" }, { "path": "nodefusion/manifests/ucore.toml", "sha256": "b08a4f8edac1a7fbd40397ed8c21217cf8dfb03ba9fad496142892f59e4bd5f8", "patch": "diff --git a/nodefusion/manifests/ucore.toml b/nodefusion/manifests/ucore.toml\nindex 4312842..ce8c88f 100644\n--- a/nodefusion/manifests/ucore.toml\n+++ b/nodefusion/manifests/ucore.toml\n@@ -33,14 +33,23 @@ steps = [\n { iter = \"array\" },\n ]\n \n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_missing = \"proc\" }, { symbol_exists = \"clean_bss\" }, { symbol_missing = \"pool\" }, { symbol_missing = \"allocproc\" }, { symbol_missing = \"scheduler\" }] }\n+steps = []\n+\n [entity.liveness]\n-skip_when = { field = \"state\", equals = \"P_UNUSED\" }\n+skip_when = { field = \"state\", one_of = [\"UNUSED\", \"P_UNUSED\"] }\n \n [entity.fields]\n pid = { path = \"pid\", reader = \"i32\", role = \"id\" }\n state = { path = \"state\", reader = \"enum\", enum = \"procstate\", role = \"state\" }\n \n [entity.optional_fields]\n+kstack = { path = \"kstack\", reader = \"u64\" }\n+trapframe = { path = \"trapframe\", reader = \"ptr\", role = \"trap_context\" }\n+context = { path = \"context\", reader = \"struct\", role = \"sched_context\" }\n pagetable = { path = \"pagetable\", reader = \"ptr\", role = \"address_space_root\" }\n max_page = { path = \"max_page\", reader = \"u64\" }\n ustack_base = { path = \"ustack_base\", reader = \"u64\" }\n@@ -112,6 +121,53 @@ empty = \"当前没有活跃线程。\"\n \n # -------------------------------------------------------------- resources\n \n+[[entity]]\n+name = \"batch_context\"\n+type = \"trapframe\"\n+label = \"用户上下文\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { all = [{ type_exists = \"trapframe\" }, { symbol_exists = \"trap_page\" }, { symbol_missing = \"pool\" }] }\n+steps = [{ static = \"trap_page\" }]\n+\n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_exists = \"proc\" }, { symbol_exists = \"pool\" }, { symbol_missing = \"trap_page\" }] }\n+steps = []\n+\n+[entity.fields]\n+epc = { path = \"epc\", reader = \"u64\" }\n+user_sp = { path = \"sp\", reader = \"u64\" }\n+kernel_sp = { path = \"kernel_sp\", reader = \"u64\" }\n+a0 = { path = \"a0\", reader = \"u64\" }\n+a1 = { path = \"a1\", reader = \"u64\" }\n+a2 = { path = \"a2\", reader = \"u64\" }\n+a7 = { path = \"a7\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"本构建没有独立的批处理上下文。\"\n+ [[entity.table.column]]\n+ key = \"epc\"\n+ label = \"返回地址\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"user_sp\"\n+ label = \"用户栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"kernel_sp\"\n+ label = \"内核栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"a7\"\n+ label = \"a7\"\n+ [[entity.table.column]]\n+ key = \"a0\"\n+ label = \"a0\"\n+\n [[entity]]\n name = \"bcache\"\n type = \"buf\"\n@@ -264,12 +320,20 @@ empty = \"当前没有活跃 inode。\"\n # --------------------------------------------------------------- watches\n \n [[watch]]\n-subsystem = \"panic\"\n+subsystem = \"kernel\"\n match = { fn = [\"shutdown\"] }\n snapshot = \"always\"\n-args = 2\n+args = 0\n throttle = 0\n \n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"usertrap\", \"usertrapret\"] }\n+when = { type_missing = \"proc\" }\n+snapshot = \"always\"\n+args = 2\n+throttle = 0\n+\n [[watch]]\n subsystem = \"nftrace\"\n match = { fn = [\"nftrace_commit_point\"] }\n@@ -453,7 +517,7 @@ piperead = { kind = \"pipe.read\", resource = \"pipe\" }\n pipewrite = { kind = \"pipe.write\", resource = \"pipe\" }\n pipeclose = { kind = \"pipe.close\", resource = \"pipe\" }\n \n-shutdown = { kind = \"kernel.panic\", args = [\"reason\"] }\n+shutdown = { kind = \"kernel.shutdown\" }\n \n # ----------------------------------------------------------------- profile\n \n@@ -471,12 +535,11 @@ machine_opts = [\n ]\n interactive = true\n prompt = \">> \"\n-ready_markers = [\"C user shell\"]\n-# User-space assertions deliberately print the same ``[PANIC ...]`` prefix as\n-# the kernel logger and then return a non-zero test status. Treating that text\n-# as a kernel panic truncates aggregate suites halfway through; the shell's\n-# exit line and QEMU termination provide unambiguous outcomes instead.\n-panic_markers = [\"core dumped\"]\n+ready_markers = [\"hello wrold!\", \"C user shell\", \"start scheduler!\"]\n+done_markers = [\"ALL DONE\", \"all app are over!\", \"all apps over\"]\n+# User faults and assertions share the kernel's diagnostic text. Completion\n+# markers, process exit lines and QEMU termination determine the outcome.\n+panic_markers = []\n halt_markers = []\n stdin_preload = true\n stdin_pad = \"\\n\"\n" }, { "path": "nodefusion/model/dwarfsrc.py", "sha256": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "patch": "diff --git a/nodefusion/model/dwarfsrc.py b/nodefusion/model/dwarfsrc.py\nindex 6716ea1..2dd0640 100644\n--- a/nodefusion/model/dwarfsrc.py\n+++ b/nodefusion/model/dwarfsrc.py\n@@ -99,6 +99,10 @@ class DwarfSource:\n if not elf.has_dwarf_info():\n raise RuntimeError(f\"{self.path} 里没有调试信息（.debug_info）\")\n self.e_machine = elf.header[\"e_machine\"]\n+ symtab = elf.get_section_by_name('.symtab')\n+ self.defined_symbols = (None if symtab is None else\n+ {s.name for s in symtab.iter_symbols()\n+ if s.name and s['st_shndx'] != 'SHN_UNDEF'})\n self._exec_ranges = self._exec_sections(elf)\n self._parse(elf.get_dwarf_info())\n self._index_short()\n" }, { "path": "nodefusion/model/kinds.py", "sha256": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "patch": "diff --git a/nodefusion/model/kinds.py b/nodefusion/model/kinds.py\nindex c9da0ea..5551612 100644\n--- a/nodefusion/model/kinds.py\n+++ b/nodefusion/model/kinds.py\n@@ -17,7 +17,7 @@ KINDS: frozenset[str] = frozenset({\n \"inode.write\",\n \"interrupt.clock\", \"interrupt.dispatch\", \"interrupt.external\",\n \"interrupt.other\", \"interrupt.software\", \"interrupt.timer\",\n- \"kernel.alloc_error\", \"kernel.panic\",\n+ \"kernel.alloc_error\", \"kernel.panic\", \"kernel.shutdown\",\n \"log.begin\", \"log.commit\", \"log.end\", \"log.install\", \"log.recover\",\n \"log.write\", \"log.write_blocks\",\n \"pagetable.freewalk\", \"pagetable.map\", \"pagetable.new\", \"pagetable.unmap\",\n" }, { "path": "nodefusion/model/resolve.py", "sha256": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "patch": "diff --git a/nodefusion/model/resolve.py b/nodefusion/model/resolve.py\nindex 5c9b606..a655199 100644\n--- a/nodefusion/model/resolve.py\n+++ b/nodefusion/model/resolve.py\n@@ -127,6 +127,24 @@ def resolve_path(dw: DwarfSource, start: StructLayout, path: str,\n def eval_when(dw: DwarfSource, pred: dict | None) -> tuple[bool, str]:\n if not pred:\n return True, \"无条件\"\n+ if not isinstance(pred, dict) or len(pred) != 1:\n+ return False, \"when 需要一种谓词\"\n+ if 'all' in pred:\n+ children = pred['all']\n+ if not isinstance(children, list) or not children or any(not isinstance(p, dict) or not p for p in children):\n+ return False, \"all 需要非空的谓词数组\"\n+ results = [eval_when(dw, child) for child in children]\n+ return all(hit for hit, _ in results), '；'.join(reason for _, reason in results)\n+ if 'symbol_exists' in pred or 'symbol_missing' in pred:\n+ key = next(iter(pred))\n+ name = pred[key]\n+ if not isinstance(name, str) or not name.strip():\n+ return False, \"符号名不能为空\"\n+ symbols = getattr(dw, 'defined_symbols', None)\n+ if symbols is None:\n+ return False, \"没有完整 ELF 符号表\"\n+ exists = name in symbols\n+ return (exists if key == 'symbol_exists' else not exists), f\"符号 {name} {'在' if exists else '不在'}\"\n \n if \"type_exists\" in pred:\n want = pred[\"type_exists\"]\n" }, { "path": "nodefusion/model/snapshot.py", "sha256": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "patch": "diff --git a/nodefusion/model/snapshot.py b/nodefusion/model/snapshot.py\nindex fa095ef..0bf7cb7 100644\n--- a/nodefusion/model/snapshot.py\n+++ b/nodefusion/model/snapshot.py\n@@ -68,6 +68,8 @@ def is_live(entity: Entity, liveness: dict | None) -> bool:\n return True\n if \"equals\" in sw:\n return f.value != sw[\"equals\"]\n+ if \"one_of\" in sw:\n+ return f.value not in sw[\"one_of\"]\n return True\n \n \n" } ], "deployed_source_files": { "nodefusion/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/__init__.py": "9385fdca231d9ad83e27a59aa1bc59b252efad8c24cf08c9f39e0b543f675746", "nodefusion/_vendor/elftools/common/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/common/construct_utils.py": "d1de2461e60636b52cfc446d00f7a31f152f2ccc43c1a53bc2ba82187ca1e460", "nodefusion/_vendor/elftools/common/exceptions.py": "bedd7aa994281100ba13a40dfaad8b03eec17a725a1c4cb23893572d99bbd1ef", "nodefusion/_vendor/elftools/common/utils.py": "36a5f64bfb3aab0dba30d9fa05aa1b3f9fbbf86f297eee27c7c12652f5ac308b", "nodefusion/_vendor/elftools/construct/__init__.py": "15104eb011a640e4268a9b9221d07201a0360ff0b1c8b49e252ef41fdfbb35de", "nodefusion/_vendor/elftools/construct/adapters.py": "5745745b25eb849174ee5c3179b9867b03e0471633e9eac8276aa439fe4c8841", "nodefusion/_vendor/elftools/construct/core.py": "df9719893de6454f5bc4c912afc892bcc278ef45ac1553bf4a409278ba347c9d", "nodefusion/_vendor/elftools/construct/debug.py": "491486779e464e0f4a59cfd429d8e93c577a0f0d9b969847e69400a3c86acb1c", "nodefusion/_vendor/elftools/construct/lib/__init__.py": "973420ec247c18b9e5488743bb099ae82f19c7287ef31dcb529a7283b6e42eb3", "nodefusion/_vendor/elftools/construct/lib/binary.py": "f18e4161a11bc95732bd01c577cbe98373081afd5b4112b02fec51a0e1df2e11", "nodefusion/_vendor/elftools/construct/lib/bitstream.py": "ee8081769bed1d00a086399c8749a847c1a48b8d08637506bf7d1229b6e1808a", "nodefusion/_vendor/elftools/construct/lib/container.py": "0385a420febf5bac714153ceaadd192ff9d09862bc7e17c203bf759aa18b2bb4", "nodefusion/_vendor/elftools/construct/lib/hex.py": "55f82dc36f273347c08e9e469fd497368241453b7a63e69e167ad6b316e5e2c7", "nodefusion/_vendor/elftools/construct/macros.py": "0244e84cf4f598ac8da7c3d8f1f09b06112a508e71fb8d381b377f1c0472a4e3", "nodefusion/_vendor/elftools/dwarf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/dwarf/abbrevtable.py": "d7d338a6eddd4c1fe02c66d9c2b1c202c36ebcfda28f438a0ac0546dc5a63eb1", "nodefusion/_vendor/elftools/dwarf/aranges.py": "399d17d0e3cc18527337d60c1ffc0cfcfc8d5ddcf86af1ef6c359453538344e3", "nodefusion/_vendor/elftools/dwarf/callframe.py": "6c77dd3c1b482434d8d86f35922f0c88b1a71c1c19055fa512224d44876a4b5a", "nodefusion/_vendor/elftools/dwarf/compileunit.py": "2681263026c2bdd3fd9033e60230024e6b25ca90280df91c3ae0b0fe97bdb9d3", "nodefusion/_vendor/elftools/dwarf/constants.py": "30377a1636c5ac41b7a09f7c79c6bae67b49696c4e9b9d904a1a0acaba7dabdb", "nodefusion/_vendor/elftools/dwarf/datatype_cpp.py": "b3df1fc9ef56f941e0b38a9ad5da05a3c3821dd1cdc4b440c7c1934bee00a770", "nodefusion/_vendor/elftools/dwarf/descriptions.py": "6692ed493344018f4d96fdb70e9b04bdb3ec1428df0448f17fc8ffab2a205851", "nodefusion/_vendor/elftools/dwarf/die.py": "b653e8091a49f6926a955d8c05f26c36798ece3d902c00d2b5da10af637bfce7", "nodefusion/_vendor/elftools/dwarf/dwarf_expr.py": "db6d4cb9f3f1ee7e85ac1f9286831093d1b65f8c472fe0f9331a7aa164782bcb", "nodefusion/_vendor/elftools/dwarf/dwarf_util.py": "2e1cc3030a3cc669e0832e3cb5d4b1e3c82e22ff5a1164e6a878931f8531ce0d", "nodefusion/_vendor/elftools/dwarf/dwarfinfo.py": "3cfff046c35f7b063ba4288f1d9bb5167be4f3fdda0af756a299d832d660b75f", "nodefusion/_vendor/elftools/dwarf/enums.py": "10d18e4acabc383b8e8527cf4c011874dc9459c3bc30bd65b9212885a146bd7a", "nodefusion/_vendor/elftools/dwarf/lineprogram.py": "d9472d85b8c62fe56a7d6371d8cdb8af6268416970bdf909898ccb2606fa850c", "nodefusion/_vendor/elftools/dwarf/locationlists.py": "5167c3fb6208e3bafe0a52fc4d48eb164dc84dbd4980643acec19be26639a194", "nodefusion/_vendor/elftools/dwarf/namelut.py": "4b62eb965afd3e099835eb8bb9112f2d1ec89cb42adc6b55c1f113b6068d17b3", "nodefusion/_vendor/elftools/dwarf/ranges.py": "da3856ee646cf5b305751fa73a2d5fd9b0a21413377ca11cf93ce20e7040386e", "nodefusion/_vendor/elftools/dwarf/structs.py": "dfb1d6d755bcc7cf9a0363620e470c5b4a74bf7499a32d82f261652ffe71bef8", "nodefusion/_vendor/elftools/dwarf/typeunit.py": "c1bae01e11001941ebd0a10b72d569b4a0800600b3006b20a0b37f88536d1bc9", "nodefusion/_vendor/elftools/ehabi/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/ehabi/constants.py": "a386df95ebe53338db1cdfe498a06acf8e976007b5fab5c4eed2b8904932caa8", "nodefusion/_vendor/elftools/ehabi/decoder.py": "3380c750ed972e33510a42a1d4de725f744cfc156e44a5d50ae199239cacb10e", "nodefusion/_vendor/elftools/ehabi/ehabiinfo.py": "e442ea16826888c9903893db8ccd9cb47f9f634476c1837812c84b6ce4be1b4c", "nodefusion/_vendor/elftools/ehabi/structs.py": "5ebdda74af71d7637d41eb0510403d8776d3b7ea70f715edc58aabc836aaae87", "nodefusion/_vendor/elftools/elf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/elf/constants.py": "d805c36820815a58fce8593206a5527c46009756b9397298d086679b6a9d9f23", "nodefusion/_vendor/elftools/elf/descriptions.py": "02771b6d1d4eb829b7334e417f580f78eb253c14f895c427c99b870537d363ef", "nodefusion/_vendor/elftools/elf/dynamic.py": "13c2621f118f30c6a8b6a0d999bdf8a7d082f0c2b7713eb4203d7b877082f0f7", "nodefusion/_vendor/elftools/elf/elffile.py": "0b8629b86828f0f05dea1200261ffaf1849ae675e52943e88a37e6a5e0b73d51", "nodefusion/_vendor/elftools/elf/enums.py": "9beb3eb13c4dfe6e2e75ed5db7a75dbb6da7917ed7ea7ad9c2ab7b697c284256", "nodefusion/_vendor/elftools/elf/gnuversions.py": "d22136e3242cf4ff379154b5c830706f3be1d77ee41ffab7efeed57e4876c740", "nodefusion/_vendor/elftools/elf/hash.py": "538c9b253f89a4b200eeb9c7d82f9cd0c3ae08146b3295538363ba5fced3627a", "nodefusion/_vendor/elftools/elf/notes.py": "17cf2c2a9ec9a0bf8f3415cbaeca42d3ab8f1102556251b290a2814e86f16f63", "nodefusion/_vendor/elftools/elf/relocation.py": "b0fd391fe0e293ac7dc5bdad495a8d2e72454442c35291781952fa5016f77b0f", "nodefusion/_vendor/elftools/elf/sections.py": "5acbfe427062f3f80cad1d556c4113d60136cbe526636e621a6e820ade5d6ab5", "nodefusion/_vendor/elftools/elf/segments.py": "103f945c2c7d67eff713609ea189601e94c0e7122274110c6b20d038a5b8bf74", "nodefusion/_vendor/elftools/elf/structs.py": "a0f439925915d7f1a69938673da2cebefd0d10860d60caddc81370ce017d8623", "nodefusion/host/__init__.py": "eb4e72c7ca2b3242527b39bd840ced588631e97404cea0e72e3131406cdeec59", "nodefusion/host/__main__.py": "13a1a5b340cdcfc1902b62be90e508c7c71886000d5bf087e7854aadf09fb35e", "nodefusion/host/analyze.py": "b1c4a595a54058841630ba7b18818688efd00b8085b03ca91767208ec3b499e8", "nodefusion/host/assets/app.css": "84035a9ddf0faf3ae1d4ebdd7049c142fcee11c20851afb16f636e7220c71949", "nodefusion/host/assets/app.js": "ef4a9150df38c69cc2f382836b6e7ded63d58413e3b930d79b5db119548cc3f2", "nodefusion/host/bundle.py": "6cc7fa9b185ffaf40c964bb2b8b90b1d144ef6cb987e85a386c1a14f332a9e2d", "nodefusion/host/callstack.py": "a091f8123f33797a628ebcaabbeae721fe458b009b69cee6697221971b7f2fc0", "nodefusion/host/cdp.py": "983be57750320be8265405b3fa4c3490288a34bba5b2f0c32820d51895210264", "nodefusion/host/cli.py": "6a2f09d5d4ea15299e3f9cbc0f7a2312a322e9c43beb3837d61b2276787af9dd", "nodefusion/host/dwarf.py": "158545b640bd312050c9cef773a19f0de839229cb08925a0298a5bb2751b5993", "nodefusion/host/elfid.py": "43c44bed9a69fa2b92fc7520342843e71caf0c6a3849d2b23b54e9a22dfdcfa0", "nodefusion/host/guest.py": "6871f08f11b9eda17b8a0618e8b8f43a544ddf05a37d7b530daa18d30d4c455a", "nodefusion/host/kernels.py": "10dcd1d97aae33b5b389d4106bdf5867468df41a39ce769300448f6d1727b103", "nodefusion/host/layout.py": "2f74bd4970af88fa38519c850fbcc494b8a1e4f5ddf7ed87897a442175f0ab82", "nodefusion/host/nfelf.py": "5495b1bc5e3406268ba66054e831dfb3fc8857c47b881d95cd995bafa65c5315", "nodefusion/host/nftrace.py": "d4fa97efd6527535ab90e4c623e8211bf8b9bf7d189beee47b56b216718c2f76", "nodefusion/host/procview.py": "ae1874f57bafa6b694c50aa3c0185671e60fcf0f784d139ee5e807e2f98e9689", "nodefusion/host/record.py": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "nodefusion/host/render.py": "46d000d2f40eb934180fba10ec8d8ccb8cc5d1e53e558304fdba941bfcff7dd8", "nodefusion/host/resources.py": "019a7be1fc7d86f221f2a67c3a5f7df271d1901500371a02a2113518483fb702", "nodefusion/host/shell.py": "08a9b0318ab79c0642d9a0b29683dc65b86c4e529f547530baf4e60b1e67f0af", "nodefusion/host/video.py": "1f49810a036f9388ae10153b8691504ed79c3e8b0e19a6bc2818de2ef1fe699d", "nodefusion/host/watchlist.py": "1b820dd5d741a118b28959b44d95b886e5fe7518dd5beef3e5561e3cf39822d1", "nodefusion/host/wslenv.py": "6b8f5d9e3f71b292e51c980f921dd498315c510d952ef90b24dfbf775b3afa6c", "nodefusion/manifests/alien.toml": "da290fe1014168a7e8f44844f30430c3041a14550449c5d51fa06847f23f7aeb", "nodefusion/manifests/arceos.toml": "cad48257d081aa1c660d3e7af2f4fbec79bbe232322c71453a9a5b1c9ac7be44", "nodefusion/manifests/axvisor.toml": "d6cd2cc9d9662f74a5d25f29e8d02591ae5a205fe18166307ef430edbc7432b3", "nodefusion/manifests/rcore.toml": "bdc12802c1b6ebdde2143b034950c1909c4d224f57fe527d78d2f6817a4fee4a", "nodefusion/manifests/rel4.toml": "ca43c2847a9ca757542ef3ed3e276dc7130c92b25150c73deb3e2a20faf8c37e", "nodefusion/manifests/starry.toml": "8a3ce9735d4c948322962b8c532be334034ad608aac28a041bb58876012dcae8", "nodefusion/manifests/ucore.toml": "b08a4f8edac1a7fbd40397ed8c21217cf8dfb03ba9fad496142892f59e4bd5f8", "nodefusion/manifests/xv6.toml": "0f501a4441214a2de3b1b50d39665ee23faad6f93024b3b92d30f542bc9b7964", "nodefusion/model/__init__.py": "9864ab2acb9890ed2fcbf815f30042fd97e3bd5ce069531f8c76fa2eed60b9d0", "nodefusion/model/ctxbuild.py": "552c0d3d87d640e73bfb4c3fc237453c7b84298c721f2d37594c85d1ab5eb86d", "nodefusion/model/dwarfsrc.py": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "nodefusion/model/exec.py": "148e68fa1c7054716e4fcb3e7bddb7c0d384ab6a6bfcb00bd15f7a869f6d86ec", "nodefusion/model/kinds.py": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "nodefusion/model/layout.py": "cd2639282b0c4fac684d06309e11e95922213d3d32698f275e65dd060f677fd6", "nodefusion/model/manifest.py": "d592aaac9ae308760cda947327c0d7c0e964a26d517740ed66838747e2334a22", "nodefusion/model/plan.py": "374fbb225a6717c2c391ac8bdda54aa957638821a45b2865b40a7be9bcc808c6", "nodefusion/model/probe.py": "30546d56bbd47ef12567826b49dd910de07e2af8fffc5c4350e04a57f70da5b8", "nodefusion/model/readers/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/model/readers/containers.py": "6eec01bd4f30858e1eda2ee7de890a9d93f94eda25e02d0a1bdf3558d31a1610", "nodefusion/model/readers/pointers.py": "72f989d643df6bdd477494023aac2da851f2d1f123d5e1e64b7629a0be6eae6b", "nodefusion/model/readers/registry.py": "2c35cc0b1f8db857e67c08e9c7976bf47c6ab21faabb4e242d8a0be42f9634ee", "nodefusion/model/readers/scalars.py": "a145fe5c4a250cc11fe44d0a4caabae908fbc44994335663955230296f695cbc", "nodefusion/model/resolve.py": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "nodefusion/model/roles.py": "8d35b0497bd0b2d9abf639d9803fc6b7bd1e1ee5153c0f47ff53a26356dcc8c5", "nodefusion/model/rt.py": "3d62e9c6169e89a2593b29ff49919e84a2dda1df1b6fc16d3e54c7cc5d1744af", "nodefusion/model/snapshot.py": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "nodefusion/model/symbols.py": "05812b00228ba601209ec909213381d47272efdbcac3957914f4590a1d705cfe", "nodefusion/model/watchsel.py": "bc3a9d6763950c265efaacce3f0c98194f54808d676b449c5b320b3a90cc7bf1", "nodefusion/tests/conftest.py": "2dfa19b096e309beadff0df9a05761d412ec6234e74968854292d7bfecf1b7a5", "nodefusion/tests/crosscheck_artifacts.py": "6ee173a31795c3875f93af0a0eaebcb27346c185c24e3f1d32846f5ca89d60a0", "nodefusion/tests/fuzz_trace.py": "af6189a6538747d369f982dfb86016f5e48842da0ce73f651b63c0b482b1c37e", "nodefusion/tests/kernelelf.py": "9a35d1389243849c6ed16f801a007568eb1304eee3d2cf3bcb8d1e38e12e2aed", "nodefusion/tests/stress_pagetable.py": "5db6d3671739ad5d0a3f76908049126185ea000726d0044d4d87ef215f26f737", "nodefusion/tests/test_absent_declaration.py": "535d4ace194fc5f923ba989e18634b55cffd0660eaefdfc7a59dcb4377eac266", "nodefusion/tests/test_analysis_lookup_cache.py": "aa4fbc0b8f06c64278bc5b11edf21cfe3ec737e3f0d88901b52478aca29765f3", "nodefusion/tests/test_analyze_alias.py": "345f6cbd8fae2a7c7729130460112a08a23599461234865f2da72055c3621064", "nodefusion/tests/test_arg_names.py": "a0f4cd7c7017da1926fc317d6c73bcb6bd4bacde579e3818fa277079991a4af4", "nodefusion/tests/test_artifact_guard.py": "8b53fababf688ceaf4afd1556d3c1352d3a13c60ea43fe14e3d3eae24698d1d0", "nodefusion/tests/test_artifact_output_safety.py": "cbed1bfa5928e7b12edc85b506f8018dd3216f017c43461525daf0a299bea9aa", "nodefusion/tests/test_bundle_shape.py": "0767cb84c8ccea309e70cdfc6e6f7cb5f3d6be09c7c9065a1119c142e1519892", "nodefusion/tests/test_cache_hit_contract.py": "087277fe75bf38d8e83453b3671da4825f7586382fc1fa5300b3dc79272fbee7", "nodefusion/tests/test_calibration_failure_reason.py": "02449f59da919dc09781a66ad57789a98775b3888d1480f4f3064b4d8a1139da", "nodefusion/tests/test_callstack.py": "f81c2f42b453d26287f1cbab835cff47a2722d8c62b486529fbbcfc20c94c872", "nodefusion/tests/test_capability_notes.py": "a2fb61afdc826c0c5408ea3b385761f896b27191e54881c3e10b10a2f01cc272", "nodefusion/tests/test_compact_capability_ui.py": "07542f2beb95353f3dd3861ca3ffcec93d1f46c966c3dd74c82d27fc3b6427ad", "nodefusion/tests/test_consolidate_artifacts.py": "5ffa4d01f5adb051f2153c3097d2264dfa7c63533f4cf6c09159fc50cd843cdd", "nodefusion/tests/test_context_switch_snapshot.py": "db5c77b5ab4ad93d34a96266386dbeec80694db7482bfa5856c1547f773ccb9d", "nodefusion/tests/test_corpus_selection.py": "1717ce9682ecde7a05675b790914a8e5a590e1d83556944ddbfff1e38918d050", "nodefusion/tests/test_coverage_evidence.py": "fdbb041e7339f8d94a52a1833b01e315657a749e9bc7d21fee6a2724f23a86f3", "nodefusion/tests/test_demangle_v0.py": "9f91c7ab6d2f681368c63d2bde9109cb4dd501f4d5df3e1f728a7b8975a0b061", "nodefusion/tests/test_dwarf_generic_base.py": "f9204c883a298151406288885c32c04fd1e7db423fe6cb0747f0f4392ba0fef5", "nodefusion/tests/test_dwarf_tombstones.py": "ed608be359e8180a5355cafe93e64d417543cc014461710f55fcd5997bef7295", "nodefusion/tests/test_dwarfsrc_location.py": "bcd7c6e8cf00a086fd9c712ffa35aebfbb4e09aaf20ddaedc4f2f5b41604cad9", "nodefusion/tests/test_elf_archive.py": "573747576adf2bf4daf66d5f99b6a149eff663ebcd6743b79b4b39d57d20dda5", "nodefusion/tests/test_elfid.py": "3efd46b3688e79f7ccc376abb32f20b495b7c074dbd84c5181d67fade3db729c", "nodefusion/tests/test_event_kind_pairs_measured_from_runs.py": "ef1a4ce55dc22b8f1073f3d4ac9120b30c68cf0877ba6e4dc5788f81217cdf55", "nodefusion/tests/test_event_kind_registry.py": "276bb984ee002622d0284558df13234328a3779853c5b1681d71d827069bfd9d", "nodefusion/tests/test_event_kinds.py": "7d066f949905b4df866f0ebfa3ead6cc3b78c7d8416d8b0a5660332dd2f6ef47", "nodefusion/tests/test_event_snapshot_throttle.py": "2709d806da483ef8bcdb57ddb6c59a73da83a859b793d7cd5d15891ccfcedd87", "nodefusion/tests/test_event_when_branches.py": "0b866c908cbc40deca18830293d161eb9b1f3401792d3fed1b1041e7e9b5e2de", "nodefusion/tests/test_exec_iter_map.py": "026e1e908df1884c4d241902c845dd72a43c095e5ab28e94fb7069f621698562", "nodefusion/tests/test_exec_walk.py": "67fc662f5b36cff81c1c1ab6a1dfe842081a05a1c3f69a64e8d212da0b7cb985", "nodefusion/tests/test_func_events_scope.py": "de9f69b6673c312537ce72cfd6c91baa4355749558609ca0b696c21d8f790198", "nodefusion/tests/test_kernel_elf_fixture.py": "ada3976b4b49734884bdb9b3844886e92251240671fe8ae219ed1f70c32c935b", "nodefusion/tests/test_kernel_image_fit.py": "32c7bd1bf3b66c7071b36582ca32838af2777157f1ae999a46785e6a39675476", "nodefusion/tests/test_kernel_integrations.py": "ec42c43dca4a41d6456915b698cd688097fda34438a57057faa74bf10236ee86", "nodefusion/tests/test_kernel_view.py": "4cc544296573cab8df9858947e6d7040fb22aba4b29aac1b43a565b39d9e7ab5", "nodefusion/tests/test_kind_three_states.py": "64764f687af895b3b37bc69179f2729f49efe2fb5fc5a24ecc09c41ea38e70ed", "nodefusion/tests/test_layout_routing.py": "14631aae85b75dcb1c1c5cec92c344f1c01433e2ae6eb90a3c105ac583372a5c", "nodefusion/tests/test_list_arceos.py": "22dbff8051cf7076ad5be6f919ed6d9a0c7a70bd1b6e09ca2f6589b5fb94493f", "nodefusion/tests/test_list_wiring.py": "e5f187b746738a5ca027936468df8ab7d2e48e32fe550eca3fa57f217c60d5cb", "nodefusion/tests/test_manifest_docs.py": "9be0200ca41d0f0512519356c81911cbbaf2aca63530d99e2aba53de9a1eea37", "nodefusion/tests/test_manifest_lint.py": "ad03a1e3519feb79fbeacdbe6576f90b05e7c6c9cb3034c44bd1032163b69888", "nodefusion/tests/test_manifest_roles.py": "b1a8fca196f9b37b614f3cd39abe33ad64c58894d1c933996d553c8f573d147e", "nodefusion/tests/test_manifest_vocabulary.py": "834eb61d446df47b1c6ebcd4e8a7347eabc24486da052b4be8f5b0660b0f631d", "nodefusion/tests/test_metric_deps_are_kinds_not_xv6_names.py": "07f411bb3fcbb14c2eb6c222f4a4928426a86a45d82f11cb242130c49eb6c717", "nodefusion/tests/test_no_build.py": "f831e3504531cdd9f8f588428e7a7e86fa420bdee27cbf74522fac05bb27d6fa", "nodefusion/tests/test_pagetable_arch.py": "9946ed7788d72107d6c6ea81fa4204843e1a0ae291add95259f3e96a0f661eb2", "nodefusion/tests/test_path_index_gate.py": "8486e4f1d0d8f91800321a7907ae6797a59d6576cae0614c8db6f91c8ecee9ae", "nodefusion/tests/test_percpu_layout.py": "4ecfcf97552e678173bca5fe81eb661bc7f417ba2f4ea4de3c540ba956152495", "nodefusion/tests/test_percpu_runtime_layout.py": "ba54784385c6a6716eb3f3317635c8b2dd09b40e5e3e5e6112ca5b92d4e7c62c", "nodefusion/tests/test_phys_alloc_gate.py": "a9a2a0b654cc803871d3702c25d2cfae95f8b1d3d8a881f00579fb3a0ef2fd02", "nodefusion/tests/test_plan_iter_map.py": "58fcacc67e31cf6638ce4d846dccf32312ae17caed1d9470d0ba468fd95a4b5a", "nodefusion/tests/test_plan_percpu.py": "5ece34163ede167484cc5edd5d3255d8514935af7a385b171b1b64c6e928140e", "nodefusion/tests/test_plan_steps.py": "0241755b6c85983779fad700e2eba5332ab595cc64e6297e8358ba4d15f9dfb7", "nodefusion/tests/test_procs_gate.py": "8acd3d3e2398fcd008dd4f5bae735183008eb4cecf6f4c09d0fffaefdf50cd8d", "nodefusion/tests/test_procview.py": "9f48157ccc96833a83a42f2f3c3eb26a82bd7f6918c0c3c91a6052c5d9657428", "nodefusion/tests/test_profile_from_manifest.py": "9f7cf3aa6cb931445e9e6c763bf2c30b1505e4b728f759514033994b5b60b16c", "nodefusion/tests/test_rcore_fs_vocabulary.py": "48c49c9f091d4c964715cf55216b8354ea59697a0ef58ec18850f5e8e89f80c5", "nodefusion/tests/test_rcore_inlined_halves.py": "fd61e489c857fcaa5cdbe2466e74b1ba6a547eb7b18fd12fbda80ce927c6f516", "nodefusion/tests/test_readers_containers.py": "b0f882dd388f9bc3796b8f5d8c29d72c7dd6b5d8b7866055f810a7bbb2295d2f", "nodefusion/tests/test_readers_pointers.py": "e15d27e41ca320d960720f6760ffd0ff6216f658c74ab373148dc3307fa24fd8", "nodefusion/tests/test_readers_registry.py": "b139bcca13c15f203e73a427d9d6dc5804b97fc76a28d14025325f191cc4a6a5", "nodefusion/tests/test_readers_scalars.py": "3a15bf0648767fb8e7d24044aeb61eb312ace64ab51f834e0a2dfe39072b9cd5", "nodefusion/tests/test_record_icount.py": "b84db1f0c55683e9ccf8eaafdcef09dd37bb67a5fa555814d4d750ff97f844df", "nodefusion/tests/test_recording_tail.py": "833b8e33c6d111b49790beea1ba7ab81b23bd7ea907a2155f981967bcb61a614", "nodefusion/tests/test_regenerate_artifact.py": "4b2046cdcc98219c4181ca174f4ca02b6e3b5cfbfdd7bb6506c85112007e21f3", "nodefusion/tests/test_resolve.py": "7e26f572cfaa0576e626a7458a23fd8f911a3d766ecad3df7954ce6f78207230", "nodefusion/tests/test_resources.py": "0860476f362a770bd04355592a83fdb15aa9df3787c6c740d407cb8ee4fc817e", "nodefusion/tests/test_sampled_counts_are_not_exact.py": "7bd598eb07ef0b067cee3460ef0c61d18b8b918ae697d80b01617cf73eaf0a9a", "nodefusion/tests/test_shell_verdict.py": "22baff1ad7cb43b5c5574b424812c40b194e30e3800921429659f7b31cbe20f4", "nodefusion/tests/test_snapshot.py": "17ef07a10857516f2fd29186157b945ff67490d2cdac94166cf370e96171e034", "nodefusion/tests/test_source_combine.py": "506ebb5c6dda153e92b854887fb671cf4aa08d33fd8305b359139a1d38ee4349", "nodefusion/tests/test_spec_nftrace_registry.py": "c529a4ed1f86bee4951e4699b09d466d51a5bd0623accc49bff9abcfdf15e615", "nodefusion/tests/test_split_rawvec.py": "e80f55fc42e246f3f638979500c7c40548eb0f630c512a93b8eaa00df312eac4", "nodefusion/tests/test_switch_attribution.py": "c773376888e9dc2ce87ddbebc14ccb0649ea77da189319692e20aff16eddb73d", "nodefusion/tests/test_symbols_static_wrapper.py": "cf634a6545564e8949b9129cee0c5f01f3dcf60effd49883c3b908aa28af7f82", "nodefusion/tests/test_trace_complete.py": "ac33d1da9aba97c98c68502188522a253709e96cf3fbb8d3c94b85c661cea366", "nodefusion/tests/test_trace_streaming.py": "6c972f95a790afac5b9aa84320038bf0eab41b926126334db7290d095f2b1e10", "nodefusion/tests/test_units.py": "c5b167cca227c5620b958329f5461232bc73e22997e5fe58a02859bb3664feef", "nodefusion/tests/test_unobservable_does_not_speak_for_the_kernel.py": "448c03147a2306d8205762bdc9a9e0d9e8d5eb0e0c5199d17d80c2f076f87547", "nodefusion/tests/test_video_sections.py": "c84c17b471460ae45a25341a8f893768816f57a9eb94e9f9a90e7e20406c4a31", "nodefusion/tests/test_watchlist_wire.py": "1e01dd4fde92169c0ab1296dbd249865cddde4173ec8de3c71c39f61356f74c3", "nodefusion/tests/test_watchsel.py": "89c8bb635534d079e0502d1c118f32eaa806250d74195a9d99bb71d07aabcd2d", "nodefusion/tools/crosscheck_decoder.py": "2f69a3f636d910f93f24939bcd03b41d9b0a17184ce4a4b15250e00f65b47a28", "nodefusion/tools/crosscheck_dwarf.py": "b30ecfa371c6959b2522db6d9edabf7e0c7be238feef34ff9411d76a4b4fdf01", "nodefusion/tools/crosscheck_layout.py": "d77ebd7aaa1ace070392eca0051f1b34dbf65d08c355edf87101b7e449aa7106", "nodefusion/tools/crosscheck_offsetof.py": "732e30d19129e0a1f15e33a2c1f96d940abaa1a26829b8f0d7bc44bf873cdc87", "nodefusion/tools/crosscheck_procinfo.py": "c3d6dd588b28d9252ddb712dea0ab8d3212dffed7f9256b9b936860fa0dfb8a9", "nodefusion/tools/crosscheck_procs.py": "b497c8fd050c0d6d1e4154eda00c1eef05502d3826546b1165b8a740c6fee562", "nodefusion/tools/crosscheck_resources.py": "98b04ac869e3c9e38020728473d480b8ed0b15385bc1d530e466919807ad1ac3", "nodefusion/tools/crosscheck_watchsel.py": "52142d49e919f2f040371b404cabdef0d0edbbf977abdcb1af5063b910d0aad8", "nodefusion/tools/survey_chapters.py": "6952dbdb8036916acd17bd5f642ea0b62aa10cbbec2bb4227e58f5132683589b", "scripts/benchmark_trace.py": "0faf86ba735bc31a20ee8e7ae3d3aad8aef78f0f43cdd33e831658f4e2a71494", "scripts/consolidate_artifacts.py": "31700c7f0a1f21fef653e061115b0091aa1a4ce539b9baa9cb48ad914889dadd", "scripts/finalize_artifacts.py": "a10224f43e0554eeb347a201dfd29781fbe0a39b979f890cccbec65e76cea9eb", "scripts/regenerate_artifact.py": "aed10d1eedc5689b6fd68e84a9bb8ae0c98f7bb8456fd8bd280e8bae470b8e9a" }, "plugin_sha256": "f1d1d8e375ed789b57f0fa06285da182b90951324e09e3f0c3716a38353112f2", "source_archive": { "path": "/home/joseph/nf/education-2026A-20260927/ucore-2026A-ch4-observed-source.tar.gz", "sha256": "32a8393e7cfa1e1c145e612bd0714650a9b3e41b672ce8de13b006dea7c372fb", "bytes": 932797 } }, "workload": { "mode": "official-base-programs", "user_programs": { "ch2b_exit": "b04c47c3af24e5822275b4d09b68b207234afd2b4f6467d6ec56fd1a818a7b83", "ch2b_hello_world": "c34d5977099b32d71f61a4bcb7e08b88fd0bbe86163ca13c95f200fa5fc2bf37", "ch2b_power": "d84889741eac1c8247bbc1cfc2ffd2b1f07c349fdbefcc42ed4987ab05977d8d", "ch3b_yield0": "453a98e7dfa71c280b82eaa2e84b4f4dbf94b64f568faeb7ac372b627360de9b", "ch3b_yield1": "40cf786dd26ec770f31aba0bea1f8080c885a15d8c66799f55b283e4fc687a40", "ch3b_yield2": "f7593be073c26b2f913bab4d3c28f2f24a5ba1b986aba31ae2fbc03f4ddb99f0" }, "loaded_user_elfs": {}, "embedded_user_apps": {} }, "versions": { "riscv64-unknown-elf-gcc": "riscv64-unknown-elf-gcc (Debian 14.2.0-19) 14.2.0", "cmake": "cmake version 3.31.6", "qemu-system-riscv64": "QEMU emulator version 10.2.2" }, "build_context": { "kernel_commit": "51f02268653c68f169f5599055da3b0391995ee6", "kernel_patch": "diff --git a/Makefile b/Makefile\nindex de426d5..9446f05 100644\n--- a/Makefile\n+++ b/Makefile\n@@ -14,7 +14,7 @@ GDB = $(TOOLPREFIX)gdb\n CP = cp\n BUILDDIR = build\n C_SRCS = $(wildcard $K/*.c)\n-AS_SRCS = $(wildcard $K/*.S)\n+AS_SRCS := $(wildcard $K/*.S)\n C_OBJS = $(addprefix $(BUILDDIR)/, $(addsuffix .o, $(basename $(C_SRCS))))\n AS_OBJS = $(addprefix $(BUILDDIR)/, $(addsuffix .o, $(basename $(AS_SRCS))))\n OBJS = $(C_OBJS) $(AS_OBJS)\ndiff --git a/os/kalloc.c b/os/kalloc.c\nindex 6f7012d..a78a0e0 100644\n--- a/os/kalloc.c\n+++ b/os/kalloc.c\n@@ -1,6 +1,7 @@\n #include \"kalloc.h\"\n #include \"defs.h\"\n #include \"riscv.h\"\n+#include \"nftrace.h\"\n \n extern char ekernel[];\n \n@@ -12,6 +13,10 @@ struct {\n \tstruct linklist *freelist;\n } kmem;\n \n+static uint64 nf_free_pages;\n+static uint64 nf_used_pages;\n+static int nftrace_ready;\n+\n void freerange(void *pa_start, void *pa_end)\n {\n \tchar *p;\n@@ -23,6 +28,8 @@ void freerange(void *pa_start, void *pa_end)\n void kinit()\n {\n \tfreerange(ekernel, (void *)PHYSTOP);\n+\tnftrace_ready = 1;\n+\tnftrace_allocator_state(nf_free_pages, nf_used_pages);\n }\n \n // Free the page of physical memory pointed at by v,\n@@ -40,6 +47,12 @@ void kfree(void *pa)\n \tl = (struct linklist *)pa;\n \tl->next = kmem.freelist;\n \tkmem.freelist = l;\n+\tnf_free_pages++;\n+\tif (nftrace_ready) {\n+\t\tif (nf_used_pages > 0)\n+\t\t\tnf_used_pages--;\n+\t\tnftrace_page_free((uint64)pa, 1, nf_free_pages, nf_used_pages);\n+\t}\n }\n \n // Allocate one 4096-byte page of physical memory.\n@@ -51,7 +64,11 @@ void *kalloc(void)\n \tl = kmem.freelist;\n \tif (l) {\n \t\tkmem.freelist = l->next;\n+\t\tnf_free_pages--;\n+\t\tnf_used_pages++;\n \t\tmemset((char *)l, 5, PGSIZE); // fill with junk\n \t}\n+\tif (nftrace_ready)\n+\t\tnftrace_page_alloc((uint64)l, 1, nf_free_pages, nf_used_pages);\n \treturn (void *)l;\n-}\n\\ No newline at end of file\n+}\ndiff --git a/os/nftrace.c b/os/nftrace.c\nnew file mode 100644\nindex 0000000..15df745\n--- /dev/null\n+++ b/os/nftrace.c\n@@ -0,0 +1,29 @@\n+#include \"nftrace.h\"\n+\n+__attribute__((noinline))\n+void nftrace_commit_point(const struct nftrace_record *record)\n+{\n+\tif (record != 0)\n+\t\t__asm__ volatile(\"\" : : \"r\"(*(volatile const uint64 *)record) : \"memory\");\n+}\n+\n+static inline void emit(uint64 type, uint64 a0, uint64 a1, uint64 a2, uint64 a3)\n+{\n+\tconst struct nftrace_record record = { type, { a0, a1, a2, a3 } };\n+\tnftrace_commit_point(&record);\n+}\n+\n+void nftrace_page_alloc(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_KALLOC, pa, pages, free_pages, used_pages);\n+}\n+\n+void nftrace_page_free(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_KFREE, pa, pages, free_pages, used_pages);\n+}\n+\n+void nftrace_allocator_state(uint64 free_pages, uint64 used_pages)\n+{\n+\temit(NFT_ALLOCATOR_STATE, free_pages, used_pages, 0, 0);\n+}\ndiff --git a/os/nftrace.h b/os/nftrace.h\nnew file mode 100644\nindex 0000000..911e355\n--- /dev/null\n+++ b/os/nftrace.h\n@@ -0,0 +1,22 @@\n+#ifndef NFTRACE_H\n+#define NFTRACE_H\n+\n+#include \"types.h\"\n+\n+enum {\n+\tNFT_KALLOC = 1,\n+\tNFT_KFREE = 5,\n+\tNFT_ALLOCATOR_STATE = 6,\n+};\n+\n+struct nftrace_record {\n+\tuint64 type;\n+\tuint64 a[4];\n+};\n+\n+void nftrace_commit_point(const struct nftrace_record *record);\n+void nftrace_page_alloc(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages);\n+void nftrace_page_free(uint64 pa, uint64 pages, uint64 free_pages, uint64 used_pages);\n+void nftrace_allocator_state(uint64 free_pages, uint64 used_pages);\n+\n+#endif\ndiff --git a/os/vm.c b/os/vm.c\nindex 59eec39..4f49ab2 100644\n--- a/os/vm.c\n+++ b/os/vm.c\n@@ -2,6 +2,12 @@\n #include \"defs.h\"\n #include \"riscv.h\"\n \n+__attribute__((noinline))\n+void nodefusion_pagetable_map(uint64 va, uint64 pa, uint64 flags)\n+{\n+\t__asm__ volatile(\"\" : : \"r\"(va), \"r\"(pa), \"r\"(flags) : \"memory\");\n+}\n+\n pagetable_t kernel_pagetable;\n \n extern char e_text[]; // kernel.ld sets this to end of kernel code.\n@@ -124,6 +130,7 @@ int mappages(pagetable_t pagetable, uint64 va, uint64 size, uint64 pa, int perm)\n \t\t\treturn -1;\n \t\t}\n \t\t*pte = PA2PTE(pa) | perm | PTE_V;\n+\t\tnodefusion_pagetable_map(a, pa, perm | PTE_V);\n \t\tif (a == last)\n \t\t\tbreak;\n \t\ta += PGSIZE;\n@@ -339,4 +346,3 @@ uint64 uvmdealloc(pagetable_t pagetable, uint64 oldsz, uint64 newsz)\n \n return newsz;\n }\n-\n", "kernel_elf_sha256": "b2eacf484a2474f835578ba0764ac9e0b07f9a5ae878f6f5270e408dfef1e7c1", "user_commit": "1733f460c596b013b1c509ad42afa428640783b0", "user_patch": "diff --git a/CMakeLists.txt b/CMakeLists.txt\nindex f5a9fac..ab1986d 100644\n--- a/CMakeLists.txt\n+++ b/CMakeLists.txt\n@@ -15,12 +15,12 @@ set(ASM_DIR asm)\n set(BIN_DIR bin)\n \n # Toolchain\n-set(PREFIX ${ARCH}-linux-musl-)\n+set(PREFIX ${ARCH}-linux-musl- CACHE STRING \"Cross compiler prefix\")\n \n if (${ARCH} STREQUAL riscv32)\n- set(CMAKE_C_FLAGS \"-march=rv32imac -mabi=ilp32 -mcmodel=medany\")\n+ set(CMAKE_C_FLAGS \"-march=rv32imac_zicsr_zifencei -mabi=ilp32 -mcmodel=medany\")\n elseif (${ARCH} STREQUAL riscv64)\n- set(CMAKE_C_FLAGS \"-march=rv64imac -mabi=lp64 -mcmodel=medany\")\n+ set(CMAKE_C_FLAGS \"-march=rv64imac_zicsr_zifencei -mabi=lp64 -mcmodel=medany\")\n else()\n message(\"Unsupported arch: ${ARCH}\")\n endif ()\ndiff --git a/Makefile b/Makefile\nindex be632ac..64f1ab6 100644\n--- a/Makefile\n+++ b/Makefile\n@@ -7,15 +7,16 @@ app_dir = src\n elf_dir := build/$(ARCH)\n bin_dir := build/bin\n out_dir := target\n-cmake_build_args := -DARCH=$(ARCH) -DCHAPTER=$(CHAPTER)\n+TOOLPREFIX ?= $(ARCH)-linux-musl-\n+cmake_build_args := -DARCH=$(ARCH) -DCHAPTER=$(CHAPTER) -DPREFIX=$(TOOLPREFIX)\n ifeq ($(MODE), release)\n cmake_build_args += -DCMAKE_BUILD_TYPE=Release\n else ifeq ($(MODE), debug)\n cmake_build_args += -DCMAKE_BUILD_TYPE=Debug\n endif\n \n-OBJCOPY := $(ARCH)-linux-musl-objcopy\n-OBJDUMP := $(ARCH)-linux-musl-objdump\n+OBJCOPY := $(TOOLPREFIX)objcopy\n+OBJDUMP := $(TOOLPREFIX)objdump\n CP := cp\n CH_TESTS := \n \ndiff --git a/src/ch6b_exec.c b/src/ch6b_exec.c\nindex 1a1d9c6..b67cf35 100644\n--- a/src/ch6b_exec.c\n+++ b/src/ch6b_exec.c\n@@ -5,7 +5,7 @@\n int main()\n {\n \tchar *_argv[] = {\n-\t\t\"(*o*)\", \"(>.<)\", \"(O.O)\", \"(QwQ)\", \"orz\", \"没有了呀\"\n+\t\t\"(*o*)\", \"(>.<)\", \"(O.O)\", \"(QwQ)\", \"orz\", \"没有了呀\", NULL\n \t};\n \texec(\"ch6b_args\", _argv);\n \treturn 0;\ndiff --git a/src/ch6b_filetest_simple.c b/src/ch6b_filetest_simple.c\nindex 062cecf..a27e982 100644\n--- a/src/ch6b_filetest_simple.c\n+++ b/src/ch6b_filetest_simple.c\n@@ -15,7 +15,9 @@ int main()\n \tfd = open(filea, O_RDONLY);\n \tassert(fd > 0);\n \tchar buf[16];\n-\tread(fd, buf, 16);\n+\tint nread = read(fd, buf, sizeof(buf) - 1);\n+\tassert_eq(nread, strlen(s));\n+\tbuf[nread] = '\\0';\n \tclose(fd);\n \tassert(strcmp(s, buf) == 0);\n \tputs(\"file_test passed!\");\ndiff --git a/src/ch6b_usertest.c b/src/ch6b_usertest.c\nindex cdd9fc8..1cb5f3a 100644\n--- a/src/ch6b_usertest.c\n+++ b/src/ch6b_usertest.c\n@@ -11,7 +11,7 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\",\t \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_getpid\\0\",\t \"ch5b_forktest0\\0\",\n \t\"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\", \"ch5b_exit\\0\",\n-\t\"ch6b_filetest\\0\", \"ch6b_exec\\0\",\n+\t\"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\",\n };\n \n int main()\ndiff --git a/src/ch7b_usertest.c b/src/ch7b_usertest.c\nindex 1f634d4..8bfc7c8 100644\n--- a/src/ch7b_usertest.c\n+++ b/src/ch7b_usertest.c\n@@ -10,7 +10,7 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\",\t \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_exit\\0\",\t \"ch5b_getpid\\0\",\n \t\"ch5b_forktest0\\0\", \"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\",\n-\t\"ch5b_exit\\0\",\t \"ch6b_filetest\\0\", \"ch6b_exec\\0\",\n+\t\"ch5b_exit\\0\",\t \"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\",\n \t\"ch7b_pipetest\\0\",\n };\n \ndiff --git a/src/ch8b_usertest.c b/src/ch8b_usertest.c\nindex 1cce5ce..f088c38 100644\n--- a/src/ch8b_usertest.c\n+++ b/src/ch8b_usertest.c\n@@ -10,9 +10,9 @@ const char *TESTS[] = {\n \t\"ch3b_sleep1\\0\", \"ch3b_yield0\\0\", \"ch3b_yield1\\0\",\n \t\"ch3b_yield2\\0\", \"ch5b_getpid\\0\", \"ch5b_forktest0\\0\",\n \t\"ch5b_forktest1\\0\", \"ch5b_forktest2\\0\", \"ch5b_exit\\0\",\n-\t\"ch6b_filetest\\0\", \"ch6b_exec\\0\", \"ch7b_pipetest\\0\",\n+\t\"ch6b_filetest_simple\\0\", \"ch6b_exec\\0\", \"ch7b_pipetest\\0\",\n \t\"ch8b_mpsc_sem\\0\",\n-\t\"ch8b_mut_phi_din.c\", \"ch8b_mut_race\\0\", \"ch8b_sync_sem\\0\",\n+\t \"ch8b_mut_race\\0\", \"ch8b_sync_sem\\0\",\n \t\"ch8b_test_condvar\\0\", \"ch8b_threads_arg\\0\", \"ch8b_threads\\0\", \n \t\"ch8b_spin_mut_race\\0\", \"ch8b_mut_phi_din\\0\",\n };\n", "selected_apps": { "ch2b_exit": "b04c47c3af24e5822275b4d09b68b207234afd2b4f6467d6ec56fd1a818a7b83", "ch2b_hello_world": "c34d5977099b32d71f61a4bcb7e08b88fd0bbe86163ca13c95f200fa5fc2bf37", "ch2b_power": "d84889741eac1c8247bbc1cfc2ffd2b1f07c349fdbefcc42ed4987ab05977d8d", "ch3b_yield0": "453a98e7dfa71c280b82eaa2e84b4f4dbf94b64f568faeb7ac372b627360de9b", "ch3b_yield1": "40cf786dd26ec770f31aba0bea1f8080c885a15d8c66799f55b283e4fc687a40", "ch3b_yield2": "f7593be073c26b2f913bab4d3c28f2f24a5ba1b986aba31ae2fbc03f4ddb99f0" }, "selected_apps_origin": "/home/joseph/nf/education-2026A-20260927/ucore-ch4/user/target/bin", "commands": [ { "argv": [ "cp", "-a", "/home/joseph/nf/education-2026A-20260927/ucore-ch4/user/target/bin", "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed/user/target/bin" ], "cwd": "/home/joseph/nf/education-2026A-20260927" }, { "argv": [ "make", "build", "LOG=info", "CHAPTER=4", "INIT_PROC=ch4b_usertest" ], "cwd": "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed" }, { "argv": [ "qemu-system-riscv64", "-nographic", "-machine", "virt", "-m", "128M", "-smp", "1", "-bios", "default", "-kernel", "build/kernel" ], "cwd": "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed" } ], "course_check": { "status": "PASS", "kernel_sha256": "b2eacf484a2474f835578ba0764ac9e0b07f9a5ae878f6f5270e408dfef1e7c1", "qemu_exit": 0, "log_sha256": "d5135b9306951b217e3fb77f67aac4302b03e0dfc0f08e1621564a74fb9dbee6", "verification_driver_sha256": "ee65ff4e4e69d7792619278ea7d2028efd11843f59c18d50fd67eaf49d6338db" }, "first_build_course_check": { "chapter": 4, "mode": "positive", "test_commit": "1733f460c596b013b1c509ad42afa428640783b0", "bios": "default", "status": "PASS", "kernel_commit": "51f02268653c68f169f5599055da3b0391995ee6", "test_patch_sha256": "d553d1307bd8e75060b09c403666435731d053075cee9e54b16396975380e6c6", "riscv64-unknown-elf-gcc": "riscv64-unknown-elf-gcc (Debian 14.2.0-19) 14.2.0", "qemu-system-riscv64": "QEMU emulator version 10.2.2", "base": 1, "kernel_sha256": "8ffb3f1a354e5ef24488a115efcf687fa91a119917e27828f0bae99804db5bf8", "qemu_command": [ "qemu-system-riscv64", "-nographic", "-machine", "virt", "-m", "128M", "-smp", "1", "-bios", "default", "-kernel", "build/kernel" ], "qemu_exit": 0, "stopped_after_suite": false }, "first_build_preserved": "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed-first-build", "driver_sha256": "a252ed8373f5befaa8562361028bfbf524fa36378bc79aa748a0d447c604ba26", "initial_driver_sha256": "5c434f5c97caaa58b4acbc3be8ca6b4538af27a2f1c97afe167e6b5b9fcd45d4", "versions": { "riscv64-unknown-elf-gcc": "riscv64-unknown-elf-gcc (Debian 14.2.0-19) 14.2.0", "cmake": "cmake version 3.31.6", "qemu-system-riscv64": "QEMU emulator version 10.2.2" }, "patches": [ { "path": "/home/joseph/nf/education-2026A-20260927/ucore-2026a-build.patch", "sha256": "47950de22450332ea265b179a03ce9bc9b12a1bc83629941f3c27ec08d2ffd9e" }, { "path": "/home/joseph/nf/education-2026A-20260927/ucore-2026a-ch4-observation.patch", "sha256": "f8d7b321aee4cba20a60ae8977118602b8cf299cb96aece75932f7f6e838a02f" } ] }, "build_command": [ "make", "build", "LOG=info", "CHAPTER=4", "INIT_PROC=ch4b_usertest" ], "build_cwd": "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed", "record_command": [ "/home/joseph/nf/venv313/bin/python", "-m", "nodefusion.host.cli", "record", "--kernel", "/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed", "--kernel-kind", "ucore", "--runs", "/home/joseph/nf/education-2026A-20260927/runs", "--name", "ucore-2026A-ch4-observed", "--no-build", "--function-returns", "--watch-all", "--profile", "uniform", "--snapshots", "80", "--max-ram-bytes", "268435456", "--timeout", "60", "--no-render", "--event-stream", "never" ], "record_cwd": "/home/joseph/nf/education-2026A-20260927/tool", "analysis_command": [ "/home/joseph/nf/venv313/bin/python", "-m", "scripts.regenerate_artifact", "--run", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed", "--out", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/ucore-2026A-ch4-observed.html", "--replace", "--strict" ], "analysis_cwd": "/home/joseph/nf/education-2026A-20260927/tool", "record_driver_sha256": "cce66728f2cb3224a0be692c2b4a0f18b0541a36c4e61807dea6574abbf7ee7a", "memory_analysis_command": [ "/home/joseph/nf/venv313/bin/python", "/home/joseph/nf/education-2026A-20260927/inspect-ch4-memory.py", "ucore-2026A-ch4-observed" ], "memory_analysis_script_sha256": "ad2e5d03d6d1f77c41864a4683eeadc8b1fb4195e7c74f04d1e42821ad7c7dc6", "memory_refinement_command": [ "/home/joseph/nf/venv313/bin/python", "/home/joseph/nf/education-2026A-20260927/refine-ch4-memory.py", "rcore-2026A-ch4-observed", "ucore-2026A-ch4-observed", "ucore-2026A-ch4-pagetable" ], "memory_refinement_script_sha256": "faa989ed05de70017c287865eb8632f9db2fb994d1e18b0dfa5471a29f391967", "observations": { "run": "ucore-2026A-ch4-observed", "outcome": "completed", "trace_complete": true, "function_counts": { "allocpid": 6, "allocproc": 6, "bin_loader": 6, "clean_bss": 1, "console_putchar": 987, "consputc": 478, "copyinstr": 31, "curr_proc": 295, "dummy": 273, "exit": 6, "finished": 6, "freerange": 1, "kalloc": 103, "kfree": 32171, "kinit": 1, "kvm_init": 1, "kvmmake": 1, "kvmmap": 3, "loader_init": 1, "main": 1, "mappages": 27, "memset": 32390, "nftrace_allocator_state": 1, "nftrace_commit_point": 104, "nftrace_page_alloc": 103, "nodefusion_pagetable_map": 32287, "printf": 11, "printint": 33, "proc_init": 1, "run_all_app": 1, "sched": 21, "scheduler": 1, "set_next_timer": 2, "set_timer": 2, "shutdown": 1, "swtch": 43, "sys_write": 31, "syscall": 52, "threadid": 4, "timer_init": 1, "trap_init": 1, "usertrap": 53, "usertrapret": 53, "uvmcreate": 6, "walk": 32318, "walkaddr": 31, "yield": 16 }, "function_kind_counts": { "interrupt.clock": 2, "kernel.shutdown": 1, "pagetable.map": 32287, "phys.alloc": 103, "phys.free": 32171, "proc.alloc": 6, "proc.exit": 6, "proc.initproc": 1, "sched.enter": 1, "sched.switch": 43, "sched.yield": 16, "sched.yield_to_scheduler": 21, "syscall.dispatch": 52, "syscall.write": 31, "trap.init": 1, "trap.userret": 53, "trap.usertrap": 53, "vm.from_elf": 6, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 27, "vm.translate_buffer": 31, "vm.translate_str": 31 }, "entries": { "nodefusion_pagetable_map": [ { "insn": 408556202, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149580800, 2149580800, 11, 3, 2281693184, 537395211, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556286, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149584896, 2149584896, 11, 3, 2281693184, 537396235, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556370, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149588992, 2149588992, 11, 3, 2281693184, 537397259, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556517, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149593088, 2149593088, 7, 2149593088, 18446744073709547520, 537398279, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556601, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149597184, 2149597184, 7, 2149593088, 18446744073709547520, 537399303, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556685, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149601280, 2149601280, 7, 2149593088, 18446744073709547520, 537400327, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556769, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149605376, 2149605376, 7, 2149593088, 18446744073709547520, 537401351, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556853, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149609472, 2149609472, 7, 2149593088, 18446744073709547520, 537402375, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408556937, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149613568, 2149613568, 7, 2149593088, 18446744073709547520, 537403399, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557021, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149617664, 2149617664, 7, 2149593088, 18446744073709547520, 537404423, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557105, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149621760, 2149621760, 7, 2149593088, 18446744073709547520, 537405447, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557189, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149625856, 2149625856, 7, 2149593088, 18446744073709547520, 537406471, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557273, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149629952, 2149629952, 7, 2149593088, 18446744073709547520, 537407495, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557357, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149634048, 2149634048, 7, 2149593088, 18446744073709547520, 537408519, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557441, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149638144, 2149638144, 7, 2149593088, 18446744073709547520, 537409543, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557525, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149642240, 2149642240, 7, 2149593088, 18446744073709547520, 537410567, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557609, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149646336, 2149646336, 7, 2149593088, 18446744073709547520, 537411591, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557693, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149650432, 2149650432, 7, 2149593088, 18446744073709547520, 537412615, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557777, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149654528, 2149654528, 7, 2149593088, 18446744073709547520, 537413639, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557861, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149658624, 2149658624, 7, 2149593088, 18446744073709547520, 537414663, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408557945, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149662720, 2149662720, 7, 2149593088, 18446744073709547520, 537415687, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558029, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149666816, 2149666816, 7, 2149593088, 18446744073709547520, 537416711, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558113, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149670912, 2149670912, 7, 2149593088, 18446744073709547520, 537417735, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558197, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149675008, 2149675008, 7, 2149593088, 18446744073709547520, 537418759, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558281, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149679104, 2149679104, 7, 2149593088, 18446744073709547520, 537419783, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558365, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149683200, 2149683200, 7, 2149593088, 18446744073709547520, 537420807, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558449, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149687296, 2149687296, 7, 2149593088, 18446744073709547520, 537421831, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558533, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149691392, 2149691392, 7, 2149593088, 18446744073709547520, 537422855, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558617, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149695488, 2149695488, 7, 2149593088, 18446744073709547520, 537423879, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558701, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149699584, 2149699584, 7, 2149593088, 18446744073709547520, 537424903, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558785, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149703680, 2149703680, 7, 2149593088, 18446744073709547520, 537425927, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558869, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149707776, 2149707776, 7, 2149593088, 18446744073709547520, 537426951, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408558953, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149711872, 2149711872, 7, 2149593088, 18446744073709547520, 537427975, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559037, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149715968, 2149715968, 7, 2149593088, 18446744073709547520, 537428999, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559121, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149720064, 2149720064, 7, 2149593088, 18446744073709547520, 537430023, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559205, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149724160, 2149724160, 7, 2149593088, 18446744073709547520, 537431047, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559289, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149728256, 2149728256, 7, 2149593088, 18446744073709547520, 537432071, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559373, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149732352, 2149732352, 7, 2149593088, 18446744073709547520, 537433095, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559457, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149736448, 2149736448, 7, 2149593088, 18446744073709547520, 537434119, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559541, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149740544, 2149740544, 7, 2149593088, 18446744073709547520, 537435143, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559625, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149744640, 2149744640, 7, 2149593088, 18446744073709547520, 537436167, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559709, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149748736, 2149748736, 7, 2149593088, 18446744073709547520, 537437191, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559793, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149752832, 2149752832, 7, 2149593088, 18446744073709547520, 537438215, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559877, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149756928, 2149756928, 7, 2149593088, 18446744073709547520, 537439239, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408559961, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149761024, 2149761024, 7, 2149593088, 18446744073709547520, 537440263, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560045, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149765120, 2149765120, 7, 2149593088, 18446744073709547520, 537441287, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560129, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149769216, 2149769216, 7, 2149593088, 18446744073709547520, 537442311, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560213, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149773312, 2149773312, 7, 2149593088, 18446744073709547520, 537443335, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560297, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149777408, 2149777408, 7, 2149593088, 18446744073709547520, 537444359, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560381, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149781504, 2149781504, 7, 2149593088, 18446744073709547520, 537445383, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560465, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149785600, 2149785600, 7, 2149593088, 18446744073709547520, 537446407, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560549, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149789696, 2149789696, 7, 2149593088, 18446744073709547520, 537447431, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560633, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149793792, 2149793792, 7, 2149593088, 18446744073709547520, 537448455, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560717, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149797888, 2149797888, 7, 2149593088, 18446744073709547520, 537449479, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560801, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149801984, 2149801984, 7, 2149593088, 18446744073709547520, 537450503, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560885, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149806080, 2149806080, 7, 2149593088, 18446744073709547520, 537451527, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408560969, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149810176, 2149810176, 7, 2149593088, 18446744073709547520, 537452551, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561053, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149814272, 2149814272, 7, 2149593088, 18446744073709547520, 537453575, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561137, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149818368, 2149818368, 7, 2149593088, 18446744073709547520, 537454599, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561221, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149822464, 2149822464, 7, 2149593088, 18446744073709547520, 537455623, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561305, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149826560, 2149826560, 7, 2149593088, 18446744073709547520, 537456647, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561389, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149830656, 2149830656, 7, 2149593088, 18446744073709547520, 537457671, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561473, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149834752, 2149834752, 7, 2149593088, 18446744073709547520, 537458695, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561557, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149838848, 2149838848, 7, 2149593088, 18446744073709547520, 537459719, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561641, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149842944, 2149842944, 7, 2149593088, 18446744073709547520, 537460743, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561725, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149847040, 2149847040, 7, 2149593088, 18446744073709547520, 537461767, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561809, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149851136, 2149851136, 7, 2149593088, 18446744073709547520, 537462791, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561893, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149855232, 2149855232, 7, 2149593088, 18446744073709547520, 537463815, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408561977, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149859328, 2149859328, 7, 2149593088, 18446744073709547520, 537464839, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562061, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149863424, 2149863424, 7, 2149593088, 18446744073709547520, 537465863, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562145, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149867520, 2149867520, 7, 2149593088, 18446744073709547520, 537466887, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562229, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149871616, 2149871616, 7, 2149593088, 18446744073709547520, 537467911, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562313, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149875712, 2149875712, 7, 2149593088, 18446744073709547520, 537468935, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562397, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149879808, 2149879808, 7, 2149593088, 18446744073709547520, 537469959, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562481, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149883904, 2149883904, 7, 2149593088, 18446744073709547520, 537470983, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562565, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149888000, 2149888000, 7, 2149593088, 18446744073709547520, 537472007, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562649, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149892096, 2149892096, 7, 2149593088, 18446744073709547520, 537473031, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562733, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149896192, 2149896192, 7, 2149593088, 18446744073709547520, 537474055, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562817, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149900288, 2149900288, 7, 2149593088, 18446744073709547520, 537475079, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562901, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149904384, 2149904384, 7, 2149593088, 18446744073709547520, 537476103, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408562985, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149908480, 2149908480, 7, 2149593088, 18446744073709547520, 537477127, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563069, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149912576, 2149912576, 7, 2149593088, 18446744073709547520, 537478151, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563153, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149916672, 2149916672, 7, 2149593088, 18446744073709547520, 537479175, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563237, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149920768, 2149920768, 7, 2149593088, 18446744073709547520, 537480199, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563321, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149924864, 2149924864, 7, 2149593088, 18446744073709547520, 537481223, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563405, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149928960, 2149928960, 7, 2149593088, 18446744073709547520, 537482247, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563489, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149933056, 2149933056, 7, 2149593088, 18446744073709547520, 537483271, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563573, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149937152, 2149937152, 7, 2149593088, 18446744073709547520, 537484295, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563657, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149941248, 2149941248, 7, 2149593088, 18446744073709547520, 537485319, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563741, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149945344, 2149945344, 7, 2149593088, 18446744073709547520, 537486343, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563825, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149949440, 2149949440, 7, 2149593088, 18446744073709547520, 537487367, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563909, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149953536, 2149953536, 7, 2149593088, 18446744073709547520, 537488391, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408563993, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149957632, 2149957632, 7, 2149593088, 18446744073709547520, 537489415, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564077, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149961728, 2149961728, 7, 2149593088, 18446744073709547520, 537490439, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564161, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149965824, 2149965824, 7, 2149593088, 18446744073709547520, 537491463, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564245, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149969920, 2149969920, 7, 2149593088, 18446744073709547520, 537492487, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564329, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149974016, 2149974016, 7, 2149593088, 18446744073709547520, 537493511, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564413, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149978112, 2149978112, 7, 2149593088, 18446744073709547520, 537494535, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564497, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149982208, 2149982208, 7, 2149593088, 18446744073709547520, 537495559, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] }, { "insn": 408564581, "pc": 2149586098, "sp": 2149719888, "ra": 2149586588, "satp": 0, "args": [ 2149986304, 2149986304, 7, 2149593088, 18446744073709547520, 537496583, 2149822464, 2149920768 ], "kind": "pagetable.map", "params": [ "va", "pa", "flags" ] } ] }, "syscall_counts": { "64": 31, "93": 6, "124": 15 }, "syscall_samples": {}, "faults": [], "allocator_record_counts": { "6": 1, "1": 103 }, "allocator_initial": { "insn": 408481999, "free": 32171, "used": 0 }, "allocator_final": { "insn": 413882246, "free": 32068, "used": 103 }, "total_insns": 415766058, "snapshots": 2080, "raw_events": 132930, "event_selection": { "applied": false, "policy": "kind-preserving/systematic-v3", "raw": 132930, "retained": 132930, "dropped": 0, "target_limit": 150000, "minimum_spare": 25000, "always_keep": "all events when the raw stream fits", "priority_raw": 66007, "spare_raw": 66923, "spare_budget": 0, "stride": 1, "retained_kinds": { "firmware.trap": 19, "func.allocpid": 6, "func.clean_bss": 1, "func.console_putchar": 987, "func.consputc": 478, "func.curr_proc": 295, "func.dummy": 273, "func.finished": 6, "func.freerange": 1, "func.kinit": 1, "func.kvmmap": 3, "func.loader_init": 1, "func.main": 1, "func.memset": 32390, "func.nftrace_allocator_state": 1, "func.nftrace_page_alloc": 103, "func.printf": 11, "func.printint": 33, "func.run_all_app": 1, "func.set_next_timer": 2, "func.threadid": 4, "func.timer_init": 1, "func.uvmcreate": 6, "func.walk": 32318, "interrupt.clock": 2, "interrupt.timer": 1, "kernel.shutdown": 1, "pagetable.map": 32287, "phys.alloc": 103, "phys.free": 32171, "proc.alloc": 6, "proc.exit": 6, "proc.initproc": 1, "sbi.call": 990, "sched.enter": 1, "sched.switch": 43, "sched.yield": 16, "sched.yield_to_scheduler": 21, "syscall.dispatch": 52, "syscall.enter": 52, "syscall.write": 31, "trap.init": 1, "trap.userret": 53, "trap.usertrap": 53, "vm.from_elf": 6, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 27, "vm.translate_buffer": 31, "vm.translate_str": 31 }, "dropped_kinds": {} }, "coverage": { "status": "complete", "percent": 100.0, "passed": 70883, "total": 70883, "metrics": { "covered": 12, "applicable": 12, "not_applicable": [ "bcache_hit_rate", "bcache_hits", "bcache_reads", "disk_io", "execs", "forks", "log_commits" ], "missing": [], "sampled": [] }, "semantic_events": { "raw": 66007, "unknown": 0, "unknown_fields": {}, "dropped_from_interactive": 0 }, "snapshots": { "checked": 2080, "incomplete": 0, "physical_memory": 0, "physical_counters": 0, "processes": 0, "resources": 0, "pre_initialization": { "physical_memory": 0, "physical_counters": 2042, "processes": 0, "resources": 0 } }, "snapshot_not_applicable": [ "resources" ], "manifest_fields": { "cells": 660, "states": { "absent": 240, "empty": 5, "present": 415 }, "not_applicable": 240, "unresolved": 0 }, "full_watch_scope": true, "function_watch_drops": 0, "function_stacks_available": true, "observation_points": { "unresolved": [], "reported_missing": 58, "layout_missing": [] }, "blockers": [] }, "input_sha256": { "trace.nfb": "3ee000651e226cf06b212766bc3e9dafa19fc2091931636ca13fe3e1e91c37d3", "manifest.json": "44fc19381441f675979fda9d06fe9467721806321e188a788d1dfcbf55c76680", "watchlist.json": "eddfa2bb3412f857c13f4bdd19a47278df3da882c1809c71bc3d417f69f14e33", "kernel_layout.json": "40c4f766845a829edbfbd30b1e99481bfd6b3b001ab27627f36792c8983d1324" }, "console_sha256": "dae11314babd6f912b2de219a72cc5f3ec2f57eb0cc4b536add1023968169ada", "kernel_elf_sha256": "b2eacf484a2474f835578ba0764ac9e0b07f9a5ae878f6f5270e408dfef1e7c1", "script_sha256": "ad2e5d03d6d1f77c41864a4683eeadc8b1fb4195e7c74f04d1e42821ad7c7dc6", "watch_hits": 131972, "return_records": 293368, "report_function_entries": { "raw": 131765, "retained": 131765 }, "report_function_returns": { "raw": 293368, "matched": 131439, "nested_entries": 67780 }, "raw_analysis_sha256": "f70e4725b24f38d78718d0056136793416c1da1da43500b5fbb28eb2c8eadfe0", "refinement_script_sha256": "faa989ed05de70017c287865eb8632f9db2fb994d1e18b0dfa5471a29f391967", "schema": "nodefusion.memory-observations/1", "fault_counts": [], "kernel_start_insn": 10762845, "previous_observations_sha256": "3bc6554dfe091bd5d6f097ea91bd6b6626c3b403ada30fac88a39707d6e0c130", "fault_refinement_script_sha256": "6a6ae502861ca9e6930da99f4210ee1f7fe730df8065439f16f46d0a1ddba4a6" }, "report": { "schema": "nodefusion.artifact-evidence/1", "run": "ucore-2026A-ch4-observed", "kernel_kind": "ucore", "source_sha256": { "trace.nfb": "3ee000651e226cf06b212766bc3e9dafa19fc2091931636ca13fe3e1e91c37d3", "manifest.json": "44fc19381441f675979fda9d06fe9467721806321e188a788d1dfcbf55c76680", "watchlist.json": "eddfa2bb3412f857c13f4bdd19a47278df3da882c1809c71bc3d417f69f14e33", "kernel_layout.json": "40c4f766845a829edbfbd30b1e99481bfd6b3b001ab27627f36792c8983d1324" }, "kernel_elf_sha256": "b2eacf484a2474f835578ba0764ac9e0b07f9a5ae878f6f5270e408dfef1e7c1", "archive_bytes": { "trace.nfb": 38061842, "kernel_elf": 132104 }, "html_sha256": "22cc2b04d54aeca45984fa1318da0fa1521d191ea66449c59a6ac664b7eaf1cd", "html_bytes": 1387650, "function_trace": { "kind": "return-matched observed frames", "raw": 131765, "retained": 131765, "returns": 293368, "matched_returns": 131439, "nested_entries": 67780 }, "event_selection": { "applied": false, "policy": "kind-preserving/systematic-v5", "raw": 132930, "retained": 132930, "dropped": 0, "target_limit": 150000, "minimum_spare": 25000, "always_keep": "all events when the raw stream fits", "priority_raw": 66007, "spare_raw": 66923, "spare_budget": 0, "stride": 1, "retained_kinds": { "firmware.trap": 19, "func.allocpid": 6, "func.clean_bss": 1, "func.console_putchar": 987, "func.consputc": 478, "func.curr_proc": 295, "func.dummy": 273, "func.finished": 6, "func.freerange": 1, "func.kinit": 1, "func.kvmmap": 3, "func.loader_init": 1, "func.main": 1, "func.memset": 32390, "func.nftrace_allocator_state": 1, "func.nftrace_page_alloc": 103, "func.printf": 11, "func.printint": 33, "func.run_all_app": 1, "func.set_next_timer": 2, "func.threadid": 4, "func.timer_init": 1, "func.uvmcreate": 6, "func.walk": 32318, "interrupt.clock": 2, "interrupt.timer": 1, "kernel.shutdown": 1, "pagetable.map": 32287, "phys.alloc": 103, "phys.free": 32171, "proc.alloc": 6, "proc.exit": 6, "proc.initproc": 1, "sbi.call": 990, "sched.enter": 1, "sched.switch": 43, "sched.yield": 16, "sched.yield_to_scheduler": 21, "syscall.dispatch": 52, "syscall.enter": 52, "syscall.write": 31, "trap.init": 1, "trap.userret": 53, "trap.usertrap": 53, "vm.from_elf": 6, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 27, "vm.translate_buffer": 31, "vm.translate_str": 31 }, "dropped_kinds": {} }, "coverage": { "status": "complete", "percent": 100.0, "passed": 70883, "total": 70883, "metrics": { "covered": 12, "applicable": 12, "not_applicable": [ "bcache_hit_rate", "bcache_hits", "bcache_reads", "disk_io", "execs", "forks", "log_commits" ], "missing": [], "sampled": [] }, "semantic_events": { "raw": 66007, "unknown": 0, "unknown_fields": {}, "dropped_from_interactive": 0 }, "snapshots": { "checked": 2080, "incomplete": 0, "physical_memory": 0, "physical_counters": 0, "processes": 0, "resources": 0, "pre_initialization": { "physical_memory": 0, "physical_counters": 2042, "processes": 0, "resources": 0 } }, "snapshot_not_applicable": [ "resources" ], "manifest_fields": { "cells": 660, "states": { "absent": 240, "empty": 5, "present": 415 }, "not_applicable": 240, "unresolved": 0 }, "full_watch_scope": true, "function_watch_drops": 0, "function_stacks_available": true, "observation_points": { "unresolved": [], "reported_missing": 58, "layout_missing": [] }, "blockers": [] }, "source_view": { "run": "ucore-2026A-ch4-observed", "files": 15, "locations": 138, "revision": "51f02268653c68f169f5599055da3b0391995ee6" } }, "outcome": "completed", "trace_complete": true, "started_utc": "2026-09-27T13:10:42.297252+00:00", "qemu_command": "cd \"/home/joseph/nf/education-2026A-20260927/ucore-ch4-observed\" && exec qemu-system-riscv64 -machine virt -bios default -kernel build/kernel -m 128M -smp 1 -nographic -qmp tcp:127.0.0.1:33587,server=on,wait=off -plugin /home/joseph/nf/education-2026A-20260927/tool/nodefusion/plugin/libnf.so,out=/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/trace.nfb,sample=200000,snap=200000,maxram=268435456,returns=1,snapstart=0,bootsnap=0,ramsize=134217728,watch=/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/watchlist.txt -icount shift=3", "archive": { "run_path": "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed", "trace_sha256": "3ee000651e226cf06b212766bc3e9dafa19fc2091931636ca13fe3e1e91c37d3", "trace_bytes": 38061842 }, "fault_refinement_command": [ "/home/joseph/nf/venv313/bin/python", "/home/joseph/nf/education-2026A-20260927/refine-ch4-faults.py", "rcore-2026A-ch4-observed", "ucore-2026A-ch4-observed", "ucore-2026A-ch4-pagetable" ], "fault_refinement_script_sha256": "6a6ae502861ca9e6930da99f4210ee1f7fe730df8065439f16f46d0a1ddba4a6", "original_analysis_command": [ "/home/joseph/nf/venv313/bin/python", "-m", "scripts.regenerate_artifact", "--run", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed", "--out", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/ucore-2026A-ch4-observed.html", "--strict" ], "analysis_source": { "nodefusion_commit": "bce9de05d36d5cdd0afc71121e7c9b1016c08664", "deployed_source_files": { "nodefusion/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/__init__.py": "9385fdca231d9ad83e27a59aa1bc59b252efad8c24cf08c9f39e0b543f675746", "nodefusion/_vendor/elftools/common/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/common/construct_utils.py": "d1de2461e60636b52cfc446d00f7a31f152f2ccc43c1a53bc2ba82187ca1e460", "nodefusion/_vendor/elftools/common/exceptions.py": "bedd7aa994281100ba13a40dfaad8b03eec17a725a1c4cb23893572d99bbd1ef", "nodefusion/_vendor/elftools/common/utils.py": "36a5f64bfb3aab0dba30d9fa05aa1b3f9fbbf86f297eee27c7c12652f5ac308b", "nodefusion/_vendor/elftools/construct/__init__.py": "15104eb011a640e4268a9b9221d07201a0360ff0b1c8b49e252ef41fdfbb35de", "nodefusion/_vendor/elftools/construct/adapters.py": "5745745b25eb849174ee5c3179b9867b03e0471633e9eac8276aa439fe4c8841", "nodefusion/_vendor/elftools/construct/core.py": "df9719893de6454f5bc4c912afc892bcc278ef45ac1553bf4a409278ba347c9d", "nodefusion/_vendor/elftools/construct/debug.py": "491486779e464e0f4a59cfd429d8e93c577a0f0d9b969847e69400a3c86acb1c", "nodefusion/_vendor/elftools/construct/lib/__init__.py": "973420ec247c18b9e5488743bb099ae82f19c7287ef31dcb529a7283b6e42eb3", "nodefusion/_vendor/elftools/construct/lib/binary.py": "f18e4161a11bc95732bd01c577cbe98373081afd5b4112b02fec51a0e1df2e11", "nodefusion/_vendor/elftools/construct/lib/bitstream.py": "ee8081769bed1d00a086399c8749a847c1a48b8d08637506bf7d1229b6e1808a", "nodefusion/_vendor/elftools/construct/lib/container.py": "0385a420febf5bac714153ceaadd192ff9d09862bc7e17c203bf759aa18b2bb4", "nodefusion/_vendor/elftools/construct/lib/hex.py": "55f82dc36f273347c08e9e469fd497368241453b7a63e69e167ad6b316e5e2c7", "nodefusion/_vendor/elftools/construct/macros.py": "0244e84cf4f598ac8da7c3d8f1f09b06112a508e71fb8d381b377f1c0472a4e3", "nodefusion/_vendor/elftools/dwarf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/dwarf/abbrevtable.py": "d7d338a6eddd4c1fe02c66d9c2b1c202c36ebcfda28f438a0ac0546dc5a63eb1", "nodefusion/_vendor/elftools/dwarf/aranges.py": "399d17d0e3cc18527337d60c1ffc0cfcfc8d5ddcf86af1ef6c359453538344e3", "nodefusion/_vendor/elftools/dwarf/callframe.py": "6c77dd3c1b482434d8d86f35922f0c88b1a71c1c19055fa512224d44876a4b5a", "nodefusion/_vendor/elftools/dwarf/compileunit.py": "2681263026c2bdd3fd9033e60230024e6b25ca90280df91c3ae0b0fe97bdb9d3", "nodefusion/_vendor/elftools/dwarf/constants.py": "30377a1636c5ac41b7a09f7c79c6bae67b49696c4e9b9d904a1a0acaba7dabdb", "nodefusion/_vendor/elftools/dwarf/datatype_cpp.py": "b3df1fc9ef56f941e0b38a9ad5da05a3c3821dd1cdc4b440c7c1934bee00a770", "nodefusion/_vendor/elftools/dwarf/descriptions.py": "6692ed493344018f4d96fdb70e9b04bdb3ec1428df0448f17fc8ffab2a205851", "nodefusion/_vendor/elftools/dwarf/die.py": "b653e8091a49f6926a955d8c05f26c36798ece3d902c00d2b5da10af637bfce7", "nodefusion/_vendor/elftools/dwarf/dwarf_expr.py": "db6d4cb9f3f1ee7e85ac1f9286831093d1b65f8c472fe0f9331a7aa164782bcb", "nodefusion/_vendor/elftools/dwarf/dwarf_util.py": "2e1cc3030a3cc669e0832e3cb5d4b1e3c82e22ff5a1164e6a878931f8531ce0d", "nodefusion/_vendor/elftools/dwarf/dwarfinfo.py": "3cfff046c35f7b063ba4288f1d9bb5167be4f3fdda0af756a299d832d660b75f", "nodefusion/_vendor/elftools/dwarf/enums.py": "10d18e4acabc383b8e8527cf4c011874dc9459c3bc30bd65b9212885a146bd7a", "nodefusion/_vendor/elftools/dwarf/lineprogram.py": "d9472d85b8c62fe56a7d6371d8cdb8af6268416970bdf909898ccb2606fa850c", "nodefusion/_vendor/elftools/dwarf/locationlists.py": "5167c3fb6208e3bafe0a52fc4d48eb164dc84dbd4980643acec19be26639a194", "nodefusion/_vendor/elftools/dwarf/namelut.py": "4b62eb965afd3e099835eb8bb9112f2d1ec89cb42adc6b55c1f113b6068d17b3", "nodefusion/_vendor/elftools/dwarf/ranges.py": "da3856ee646cf5b305751fa73a2d5fd9b0a21413377ca11cf93ce20e7040386e", "nodefusion/_vendor/elftools/dwarf/structs.py": "dfb1d6d755bcc7cf9a0363620e470c5b4a74bf7499a32d82f261652ffe71bef8", "nodefusion/_vendor/elftools/dwarf/typeunit.py": "c1bae01e11001941ebd0a10b72d569b4a0800600b3006b20a0b37f88536d1bc9", "nodefusion/_vendor/elftools/ehabi/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/ehabi/constants.py": "a386df95ebe53338db1cdfe498a06acf8e976007b5fab5c4eed2b8904932caa8", "nodefusion/_vendor/elftools/ehabi/decoder.py": "3380c750ed972e33510a42a1d4de725f744cfc156e44a5d50ae199239cacb10e", "nodefusion/_vendor/elftools/ehabi/ehabiinfo.py": "e442ea16826888c9903893db8ccd9cb47f9f634476c1837812c84b6ce4be1b4c", "nodefusion/_vendor/elftools/ehabi/structs.py": "5ebdda74af71d7637d41eb0510403d8776d3b7ea70f715edc58aabc836aaae87", "nodefusion/_vendor/elftools/elf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/elf/constants.py": "d805c36820815a58fce8593206a5527c46009756b9397298d086679b6a9d9f23", "nodefusion/_vendor/elftools/elf/descriptions.py": "02771b6d1d4eb829b7334e417f580f78eb253c14f895c427c99b870537d363ef", "nodefusion/_vendor/elftools/elf/dynamic.py": "13c2621f118f30c6a8b6a0d999bdf8a7d082f0c2b7713eb4203d7b877082f0f7", "nodefusion/_vendor/elftools/elf/elffile.py": "0b8629b86828f0f05dea1200261ffaf1849ae675e52943e88a37e6a5e0b73d51", "nodefusion/_vendor/elftools/elf/enums.py": "9beb3eb13c4dfe6e2e75ed5db7a75dbb6da7917ed7ea7ad9c2ab7b697c284256", "nodefusion/_vendor/elftools/elf/gnuversions.py": "d22136e3242cf4ff379154b5c830706f3be1d77ee41ffab7efeed57e4876c740", "nodefusion/_vendor/elftools/elf/hash.py": "538c9b253f89a4b200eeb9c7d82f9cd0c3ae08146b3295538363ba5fced3627a", "nodefusion/_vendor/elftools/elf/notes.py": "17cf2c2a9ec9a0bf8f3415cbaeca42d3ab8f1102556251b290a2814e86f16f63", "nodefusion/_vendor/elftools/elf/relocation.py": "b0fd391fe0e293ac7dc5bdad495a8d2e72454442c35291781952fa5016f77b0f", "nodefusion/_vendor/elftools/elf/sections.py": "5acbfe427062f3f80cad1d556c4113d60136cbe526636e621a6e820ade5d6ab5", "nodefusion/_vendor/elftools/elf/segments.py": "103f945c2c7d67eff713609ea189601e94c0e7122274110c6b20d038a5b8bf74", "nodefusion/_vendor/elftools/elf/structs.py": "a0f439925915d7f1a69938673da2cebefd0d10860d60caddc81370ce017d8623", "nodefusion/host/__init__.py": "eb4e72c7ca2b3242527b39bd840ced588631e97404cea0e72e3131406cdeec59", "nodefusion/host/__main__.py": "13a1a5b340cdcfc1902b62be90e508c7c71886000d5bf087e7854aadf09fb35e", "nodefusion/host/analyze.py": "b1c4a595a54058841630ba7b18818688efd00b8085b03ca91767208ec3b499e8", "nodefusion/host/assets/app.css": "84035a9ddf0faf3ae1d4ebdd7049c142fcee11c20851afb16f636e7220c71949", "nodefusion/host/assets/app.js": "ef4a9150df38c69cc2f382836b6e7ded63d58413e3b930d79b5db119548cc3f2", "nodefusion/host/bundle.py": "f6117f48b073e117dc0ffa6cdf1af4984d173b3a8f16808730e3746b51c2ad33", "nodefusion/host/callstack.py": "a091f8123f33797a628ebcaabbeae721fe458b009b69cee6697221971b7f2fc0", "nodefusion/host/cdp.py": "983be57750320be8265405b3fa4c3490288a34bba5b2f0c32820d51895210264", "nodefusion/host/cli.py": "6a2f09d5d4ea15299e3f9cbc0f7a2312a322e9c43beb3837d61b2276787af9dd", "nodefusion/host/dwarf.py": "158545b640bd312050c9cef773a19f0de839229cb08925a0298a5bb2751b5993", "nodefusion/host/elfid.py": "43c44bed9a69fa2b92fc7520342843e71caf0c6a3849d2b23b54e9a22dfdcfa0", "nodefusion/host/guest.py": "6871f08f11b9eda17b8a0618e8b8f43a544ddf05a37d7b530daa18d30d4c455a", "nodefusion/host/kernels.py": "10dcd1d97aae33b5b389d4106bdf5867468df41a39ce769300448f6d1727b103", "nodefusion/host/layout.py": "2f74bd4970af88fa38519c850fbcc494b8a1e4f5ddf7ed87897a442175f0ab82", "nodefusion/host/nfelf.py": "5495b1bc5e3406268ba66054e831dfb3fc8857c47b881d95cd995bafa65c5315", "nodefusion/host/nftrace.py": "d4fa97efd6527535ab90e4c623e8211bf8b9bf7d189beee47b56b216718c2f76", "nodefusion/host/procview.py": "ae1874f57bafa6b694c50aa3c0185671e60fcf0f784d139ee5e807e2f98e9689", "nodefusion/host/record.py": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "nodefusion/host/render.py": "46d000d2f40eb934180fba10ec8d8ccb8cc5d1e53e558304fdba941bfcff7dd8", "nodefusion/host/resources.py": "019a7be1fc7d86f221f2a67c3a5f7df271d1901500371a02a2113518483fb702", "nodefusion/host/shell.py": "08a9b0318ab79c0642d9a0b29683dc65b86c4e529f547530baf4e60b1e67f0af", "nodefusion/host/video.py": "1f49810a036f9388ae10153b8691504ed79c3e8b0e19a6bc2818de2ef1fe699d", "nodefusion/host/watchlist.py": "1b820dd5d741a118b28959b44d95b886e5fe7518dd5beef3e5561e3cf39822d1", "nodefusion/host/wslenv.py": "6b8f5d9e3f71b292e51c980f921dd498315c510d952ef90b24dfbf775b3afa6c", "nodefusion/manifests/alien.toml": "da290fe1014168a7e8f44844f30430c3041a14550449c5d51fa06847f23f7aeb", "nodefusion/manifests/arceos.toml": "cad48257d081aa1c660d3e7af2f4fbec79bbe232322c71453a9a5b1c9ac7be44", "nodefusion/manifests/axvisor.toml": "d6cd2cc9d9662f74a5d25f29e8d02591ae5a205fe18166307ef430edbc7432b3", "nodefusion/manifests/rcore.toml": "1a96912593cf39d23f487ba2dd3e8df52c5a9ea87d47cc8eb2c3c5d350e7b918", "nodefusion/manifests/rel4.toml": "ca43c2847a9ca757542ef3ed3e276dc7130c92b25150c73deb3e2a20faf8c37e", "nodefusion/manifests/starry.toml": "8a3ce9735d4c948322962b8c532be334034ad608aac28a041bb58876012dcae8", "nodefusion/manifests/ucore.toml": "b08a4f8edac1a7fbd40397ed8c21217cf8dfb03ba9fad496142892f59e4bd5f8", "nodefusion/manifests/xv6.toml": "0f501a4441214a2de3b1b50d39665ee23faad6f93024b3b92d30f542bc9b7964", "nodefusion/model/__init__.py": "9864ab2acb9890ed2fcbf815f30042fd97e3bd5ce069531f8c76fa2eed60b9d0", "nodefusion/model/ctxbuild.py": "552c0d3d87d640e73bfb4c3fc237453c7b84298c721f2d37594c85d1ab5eb86d", "nodefusion/model/dwarfsrc.py": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "nodefusion/model/exec.py": "148e68fa1c7054716e4fcb3e7bddb7c0d384ab6a6bfcb00bd15f7a869f6d86ec", "nodefusion/model/kinds.py": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "nodefusion/model/layout.py": "cd2639282b0c4fac684d06309e11e95922213d3d32698f275e65dd060f677fd6", "nodefusion/model/manifest.py": "d592aaac9ae308760cda947327c0d7c0e964a26d517740ed66838747e2334a22", "nodefusion/model/plan.py": "374fbb225a6717c2c391ac8bdda54aa957638821a45b2865b40a7be9bcc808c6", "nodefusion/model/probe.py": "30546d56bbd47ef12567826b49dd910de07e2af8fffc5c4350e04a57f70da5b8", "nodefusion/model/readers/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/model/readers/containers.py": "6eec01bd4f30858e1eda2ee7de890a9d93f94eda25e02d0a1bdf3558d31a1610", "nodefusion/model/readers/pointers.py": "72f989d643df6bdd477494023aac2da851f2d1f123d5e1e64b7629a0be6eae6b", "nodefusion/model/readers/registry.py": "2c35cc0b1f8db857e67c08e9c7976bf47c6ab21faabb4e242d8a0be42f9634ee", "nodefusion/model/readers/scalars.py": "a145fe5c4a250cc11fe44d0a4caabae908fbc44994335663955230296f695cbc", "nodefusion/model/resolve.py": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "nodefusion/model/roles.py": "8d35b0497bd0b2d9abf639d9803fc6b7bd1e1ee5153c0f47ff53a26356dcc8c5", "nodefusion/model/rt.py": "3d62e9c6169e89a2593b29ff49919e84a2dda1df1b6fc16d3e54c7cc5d1744af", "nodefusion/model/snapshot.py": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "nodefusion/model/symbols.py": "05812b00228ba601209ec909213381d47272efdbcac3957914f4590a1d705cfe", "nodefusion/model/watchsel.py": "bc3a9d6763950c265efaacce3f0c98194f54808d676b449c5b320b3a90cc7bf1", "nodefusion/tests/conftest.py": "2dfa19b096e309beadff0df9a05761d412ec6234e74968854292d7bfecf1b7a5", "nodefusion/tests/crosscheck_artifacts.py": "6ee173a31795c3875f93af0a0eaebcb27346c185c24e3f1d32846f5ca89d60a0", "nodefusion/tests/fuzz_trace.py": "af6189a6538747d369f982dfb86016f5e48842da0ce73f651b63c0b482b1c37e", "nodefusion/tests/kernelelf.py": "9a35d1389243849c6ed16f801a007568eb1304eee3d2cf3bcb8d1e38e12e2aed", "nodefusion/tests/stress_pagetable.py": "5db6d3671739ad5d0a3f76908049126185ea000726d0044d4d87ef215f26f737", "nodefusion/tests/test_absent_declaration.py": "535d4ace194fc5f923ba989e18634b55cffd0660eaefdfc7a59dcb4377eac266", "nodefusion/tests/test_analysis_lookup_cache.py": "aa4fbc0b8f06c64278bc5b11edf21cfe3ec737e3f0d88901b52478aca29765f3", "nodefusion/tests/test_analyze_alias.py": "345f6cbd8fae2a7c7729130460112a08a23599461234865f2da72055c3621064", "nodefusion/tests/test_arg_names.py": "a0f4cd7c7017da1926fc317d6c73bcb6bd4bacde579e3818fa277079991a4af4", "nodefusion/tests/test_artifact_guard.py": "8b53fababf688ceaf4afd1556d3c1352d3a13c60ea43fe14e3d3eae24698d1d0", "nodefusion/tests/test_artifact_output_safety.py": "cbed1bfa5928e7b12edc85b506f8018dd3216f017c43461525daf0a299bea9aa", "nodefusion/tests/test_bundle_shape.py": "34d227f2726d1820160288b225243b51fe3583839ff52ee245a814eb1c27f81d", "nodefusion/tests/test_cache_hit_contract.py": "087277fe75bf38d8e83453b3671da4825f7586382fc1fa5300b3dc79272fbee7", "nodefusion/tests/test_calibration_failure_reason.py": "02449f59da919dc09781a66ad57789a98775b3888d1480f4f3064b4d8a1139da", "nodefusion/tests/test_callstack.py": "f81c2f42b453d26287f1cbab835cff47a2722d8c62b486529fbbcfc20c94c872", "nodefusion/tests/test_capability_notes.py": "a2fb61afdc826c0c5408ea3b385761f896b27191e54881c3e10b10a2f01cc272", "nodefusion/tests/test_compact_capability_ui.py": "07542f2beb95353f3dd3861ca3ffcec93d1f46c966c3dd74c82d27fc3b6427ad", "nodefusion/tests/test_consolidate_artifacts.py": "5ffa4d01f5adb051f2153c3097d2264dfa7c63533f4cf6c09159fc50cd843cdd", "nodefusion/tests/test_context_switch_snapshot.py": "db5c77b5ab4ad93d34a96266386dbeec80694db7482bfa5856c1547f773ccb9d", "nodefusion/tests/test_corpus_selection.py": "1717ce9682ecde7a05675b790914a8e5a590e1d83556944ddbfff1e38918d050", "nodefusion/tests/test_coverage_evidence.py": "fdbb041e7339f8d94a52a1833b01e315657a749e9bc7d21fee6a2724f23a86f3", "nodefusion/tests/test_demangle_v0.py": "9f91c7ab6d2f681368c63d2bde9109cb4dd501f4d5df3e1f728a7b8975a0b061", "nodefusion/tests/test_dwarf_generic_base.py": "f9204c883a298151406288885c32c04fd1e7db423fe6cb0747f0f4392ba0fef5", "nodefusion/tests/test_dwarf_tombstones.py": "ed608be359e8180a5355cafe93e64d417543cc014461710f55fcd5997bef7295", "nodefusion/tests/test_dwarfsrc_location.py": "bcd7c6e8cf00a086fd9c712ffa35aebfbb4e09aaf20ddaedc4f2f5b41604cad9", "nodefusion/tests/test_elf_archive.py": "573747576adf2bf4daf66d5f99b6a149eff663ebcd6743b79b4b39d57d20dda5", "nodefusion/tests/test_elfid.py": "3efd46b3688e79f7ccc376abb32f20b495b7c074dbd84c5181d67fade3db729c", "nodefusion/tests/test_event_kind_pairs_measured_from_runs.py": "ef1a4ce55dc22b8f1073f3d4ac9120b30c68cf0877ba6e4dc5788f81217cdf55", "nodefusion/tests/test_event_kind_registry.py": "276bb984ee002622d0284558df13234328a3779853c5b1681d71d827069bfd9d", "nodefusion/tests/test_event_kinds.py": "7d066f949905b4df866f0ebfa3ead6cc3b78c7d8416d8b0a5660332dd2f6ef47", "nodefusion/tests/test_event_snapshot_throttle.py": "2709d806da483ef8bcdb57ddb6c59a73da83a859b793d7cd5d15891ccfcedd87", "nodefusion/tests/test_event_when_branches.py": "0b866c908cbc40deca18830293d161eb9b1f3401792d3fed1b1041e7e9b5e2de", "nodefusion/tests/test_exec_iter_map.py": "026e1e908df1884c4d241902c845dd72a43c095e5ab28e94fb7069f621698562", "nodefusion/tests/test_exec_walk.py": "67fc662f5b36cff81c1c1ab6a1dfe842081a05a1c3f69a64e8d212da0b7cb985", "nodefusion/tests/test_func_events_scope.py": "de9f69b6673c312537ce72cfd6c91baa4355749558609ca0b696c21d8f790198", "nodefusion/tests/test_kernel_elf_fixture.py": "ada3976b4b49734884bdb9b3844886e92251240671fe8ae219ed1f70c32c935b", "nodefusion/tests/test_kernel_image_fit.py": "32c7bd1bf3b66c7071b36582ca32838af2777157f1ae999a46785e6a39675476", "nodefusion/tests/test_kernel_integrations.py": "ec42c43dca4a41d6456915b698cd688097fda34438a57057faa74bf10236ee86", "nodefusion/tests/test_kernel_view.py": "4cc544296573cab8df9858947e6d7040fb22aba4b29aac1b43a565b39d9e7ab5", "nodefusion/tests/test_kind_three_states.py": "64764f687af895b3b37bc69179f2729f49efe2fb5fc5a24ecc09c41ea38e70ed", "nodefusion/tests/test_layout_routing.py": "14631aae85b75dcb1c1c5cec92c344f1c01433e2ae6eb90a3c105ac583372a5c", "nodefusion/tests/test_list_arceos.py": "22dbff8051cf7076ad5be6f919ed6d9a0c7a70bd1b6e09ca2f6589b5fb94493f", "nodefusion/tests/test_list_wiring.py": "e5f187b746738a5ca027936468df8ab7d2e48e32fe550eca3fa57f217c60d5cb", "nodefusion/tests/test_manifest_docs.py": "9be0200ca41d0f0512519356c81911cbbaf2aca63530d99e2aba53de9a1eea37", "nodefusion/tests/test_manifest_lint.py": "ad03a1e3519feb79fbeacdbe6576f90b05e7c6c9cb3034c44bd1032163b69888", "nodefusion/tests/test_manifest_roles.py": "b1a8fca196f9b37b614f3cd39abe33ad64c58894d1c933996d553c8f573d147e", "nodefusion/tests/test_manifest_vocabulary.py": "834eb61d446df47b1c6ebcd4e8a7347eabc24486da052b4be8f5b0660b0f631d", "nodefusion/tests/test_metric_deps_are_kinds_not_xv6_names.py": "07f411bb3fcbb14c2eb6c222f4a4928426a86a45d82f11cb242130c49eb6c717", "nodefusion/tests/test_no_build.py": "f831e3504531cdd9f8f588428e7a7e86fa420bdee27cbf74522fac05bb27d6fa", "nodefusion/tests/test_pagetable_arch.py": "9946ed7788d72107d6c6ea81fa4204843e1a0ae291add95259f3e96a0f661eb2", "nodefusion/tests/test_path_index_gate.py": "8486e4f1d0d8f91800321a7907ae6797a59d6576cae0614c8db6f91c8ecee9ae", "nodefusion/tests/test_percpu_layout.py": "4ecfcf97552e678173bca5fe81eb661bc7f417ba2f4ea4de3c540ba956152495", "nodefusion/tests/test_percpu_runtime_layout.py": "ba54784385c6a6716eb3f3317635c8b2dd09b40e5e3e5e6112ca5b92d4e7c62c", "nodefusion/tests/test_phys_alloc_gate.py": "a9a2a0b654cc803871d3702c25d2cfae95f8b1d3d8a881f00579fb3a0ef2fd02", "nodefusion/tests/test_plan_iter_map.py": "58fcacc67e31cf6638ce4d846dccf32312ae17caed1d9470d0ba468fd95a4b5a", "nodefusion/tests/test_plan_percpu.py": "5ece34163ede167484cc5edd5d3255d8514935af7a385b171b1b64c6e928140e", "nodefusion/tests/test_plan_steps.py": "0241755b6c85983779fad700e2eba5332ab595cc64e6297e8358ba4d15f9dfb7", "nodefusion/tests/test_procs_gate.py": "8acd3d3e2398fcd008dd4f5bae735183008eb4cecf6f4c09d0fffaefdf50cd8d", "nodefusion/tests/test_procview.py": "9f48157ccc96833a83a42f2f3c3eb26a82bd7f6918c0c3c91a6052c5d9657428", "nodefusion/tests/test_profile_from_manifest.py": "9f7cf3aa6cb931445e9e6c763bf2c30b1505e4b728f759514033994b5b60b16c", "nodefusion/tests/test_rcore_fs_vocabulary.py": "48c49c9f091d4c964715cf55216b8354ea59697a0ef58ec18850f5e8e89f80c5", "nodefusion/tests/test_rcore_inlined_halves.py": "fd61e489c857fcaa5cdbe2466e74b1ba6a547eb7b18fd12fbda80ce927c6f516", "nodefusion/tests/test_readers_containers.py": "b0f882dd388f9bc3796b8f5d8c29d72c7dd6b5d8b7866055f810a7bbb2295d2f", "nodefusion/tests/test_readers_pointers.py": "e15d27e41ca320d960720f6760ffd0ff6216f658c74ab373148dc3307fa24fd8", "nodefusion/tests/test_readers_registry.py": "b139bcca13c15f203e73a427d9d6dc5804b97fc76a28d14025325f191cc4a6a5", "nodefusion/tests/test_readers_scalars.py": "3a15bf0648767fb8e7d24044aeb61eb312ace64ab51f834e0a2dfe39072b9cd5", "nodefusion/tests/test_record_icount.py": "b84db1f0c55683e9ccf8eaafdcef09dd37bb67a5fa555814d4d750ff97f844df", "nodefusion/tests/test_recording_tail.py": "833b8e33c6d111b49790beea1ba7ab81b23bd7ea907a2155f981967bcb61a614", "nodefusion/tests/test_regenerate_artifact.py": "4b2046cdcc98219c4181ca174f4ca02b6e3b5cfbfdd7bb6506c85112007e21f3", "nodefusion/tests/test_resolve.py": "7e26f572cfaa0576e626a7458a23fd8f911a3d766ecad3df7954ce6f78207230", "nodefusion/tests/test_resources.py": "0860476f362a770bd04355592a83fdb15aa9df3787c6c740d407cb8ee4fc817e", "nodefusion/tests/test_sampled_counts_are_not_exact.py": "7bd598eb07ef0b067cee3460ef0c61d18b8b918ae697d80b01617cf73eaf0a9a", "nodefusion/tests/test_shell_verdict.py": "22baff1ad7cb43b5c5574b424812c40b194e30e3800921429659f7b31cbe20f4", "nodefusion/tests/test_snapshot.py": "17ef07a10857516f2fd29186157b945ff67490d2cdac94166cf370e96171e034", "nodefusion/tests/test_source_combine.py": "506ebb5c6dda153e92b854887fb671cf4aa08d33fd8305b359139a1d38ee4349", "nodefusion/tests/test_spec_nftrace_registry.py": "c529a4ed1f86bee4951e4699b09d466d51a5bd0623accc49bff9abcfdf15e615", "nodefusion/tests/test_split_rawvec.py": "e80f55fc42e246f3f638979500c7c40548eb0f630c512a93b8eaa00df312eac4", "nodefusion/tests/test_switch_attribution.py": "c773376888e9dc2ce87ddbebc14ccb0649ea77da189319692e20aff16eddb73d", "nodefusion/tests/test_symbols_static_wrapper.py": "cf634a6545564e8949b9129cee0c5f01f3dcf60effd49883c3b908aa28af7f82", "nodefusion/tests/test_trace_complete.py": "ac33d1da9aba97c98c68502188522a253709e96cf3fbb8d3c94b85c661cea366", "nodefusion/tests/test_trace_streaming.py": "6c972f95a790afac5b9aa84320038bf0eab41b926126334db7290d095f2b1e10", "nodefusion/tests/test_units.py": "c5b167cca227c5620b958329f5461232bc73e22997e5fe58a02859bb3664feef", "nodefusion/tests/test_unobservable_does_not_speak_for_the_kernel.py": "448c03147a2306d8205762bdc9a9e0d9e8d5eb0e0c5199d17d80c2f076f87547", "nodefusion/tests/test_video_sections.py": "c84c17b471460ae45a25341a8f893768816f57a9eb94e9f9a90e7e20406c4a31", "nodefusion/tests/test_watchlist_wire.py": "1e01dd4fde92169c0ab1296dbd249865cddde4173ec8de3c71c39f61356f74c3", "nodefusion/tests/test_watchsel.py": "89c8bb635534d079e0502d1c118f32eaa806250d74195a9d99bb71d07aabcd2d", "nodefusion/tools/crosscheck_decoder.py": "2f69a3f636d910f93f24939bcd03b41d9b0a17184ce4a4b15250e00f65b47a28", "nodefusion/tools/crosscheck_dwarf.py": "b30ecfa371c6959b2522db6d9edabf7e0c7be238feef34ff9411d76a4b4fdf01", "nodefusion/tools/crosscheck_layout.py": "d77ebd7aaa1ace070392eca0051f1b34dbf65d08c355edf87101b7e449aa7106", "nodefusion/tools/crosscheck_offsetof.py": "732e30d19129e0a1f15e33a2c1f96d940abaa1a26829b8f0d7bc44bf873cdc87", "nodefusion/tools/crosscheck_procinfo.py": "c3d6dd588b28d9252ddb712dea0ab8d3212dffed7f9256b9b936860fa0dfb8a9", "nodefusion/tools/crosscheck_procs.py": "b497c8fd050c0d6d1e4154eda00c1eef05502d3826546b1165b8a740c6fee562", "nodefusion/tools/crosscheck_resources.py": "98b04ac869e3c9e38020728473d480b8ed0b15385bc1d530e466919807ad1ac3", "nodefusion/tools/crosscheck_watchsel.py": "52142d49e919f2f040371b404cabdef0d0edbbf977abdcb1af5063b910d0aad8", "nodefusion/tools/survey_chapters.py": "6952dbdb8036916acd17bd5f642ea0b62aa10cbbec2bb4227e58f5132683589b", "scripts/benchmark_trace.py": "0faf86ba735bc31a20ee8e7ae3d3aad8aef78f0f43cdd33e831658f4e2a71494", "scripts/consolidate_artifacts.py": "31700c7f0a1f21fef653e061115b0091aa1a4ce539b9baa9cb48ad914889dadd", "scripts/finalize_artifacts.py": "a10224f43e0554eeb347a201dfd29781fbe0a39b979f890cccbec65e76cea9eb", "scripts/regenerate_artifact.py": "aed10d1eedc5689b6fd68e84a9bb8ae0c98f7bb8456fd8bd280e8bae470b8e9a" }, "nodefusion_runtime_overrides": [ { "path": "nodefusion/host/analyze.py", "sha256": "b1c4a595a54058841630ba7b18818688efd00b8085b03ca91767208ec3b499e8", "patch": "diff --git a/nodefusion/host/analyze.py b/nodefusion/host/analyze.py\nindex a6ca1e7..31b6599 100644\n--- a/nodefusion/host/analyze.py\n+++ b/nodefusion/host/analyze.py\n@@ -642,6 +642,12 @@ class Analysis:\n from ..model.manifest import _COMPLETENESS\n from ..model.snapshot import _completeness\n got = _completeness(res.sources)[\"completeness\"]\n+ if got == \"total\":\n+ from ..model.resolve import PRESENT\n+ contexts = [field for entity in ents.res.entities if entity.sources\n+ for field in entity.fields if field.role == \"sched_context\"]\n+ if not any(field.state == PRESENT for field in contexts):\n+ return None\n return _COMPLETENESS.get(got)\n \n def _task_by_ctx(self, state_idx: int, ctx: int):\n" }, { "path": "nodefusion/host/record.py", "sha256": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "patch": "diff --git a/nodefusion/host/record.py b/nodefusion/host/record.py\nindex ac7695e..93323e0 100644\n--- a/nodefusion/host/record.py\n+++ b/nodefusion/host/record.py\n@@ -399,6 +399,10 @@ class Recorder:\n f\"内核自己按顺序跑完所有应用，没有地方喂命令。\")\n \n \n+ @property\n+ def interactive_workload(self) -> bool:\n+ return self.profile.interactive and bool(self.cfg.program) and self.cfg.program != NO_PROGRAM\n+\n def effective_lab_stage(self) -> int | None:\n if self.cfg.lab_stage is not None:\n return self.cfg.lab_stage\n@@ -445,8 +449,7 @@ class Recorder:\n f\"--no-build：这次没有编译，直接用了现成的 \"\n f\"{self.kernel_elf_path}（修改时间 \"\n f\"{mt.strftime('%Y-%m-%d %H:%M UTC')}）。\"\n- \"也就是说**没人验证过这份二进制是当前源码编出来的**；\"\n- \"它可能是任何时候留下的。ELF 指纹见 kernel_elf_identity。\")\n+ \"ELF 校验和见 kernel_elf_identity。\")\n return \"(--no-build：跳过构建)\"\n \n mv = self._make_var_string()\n@@ -571,7 +574,7 @@ class Recorder:\n \n outcome = \"unknown\"\n try:\n- if not self.profile.interactive:\n+ if not self.interactive_workload:\n outcome = self._drive_headless(proc, reader)\n else:\n outcome = self._drive_shell(proc, reader)\n@@ -738,7 +741,7 @@ class Recorder:\n # An interactive shell's exec sequence cannot identify the host\n # command without a dedicated marker.\n prog_start = _program_start_from_trace(\n- tr, wl_json, interactive=self.profile.interactive)\n+ tr, wl_json, interactive=self.interactive_workload)\n tmp_trace.unlink(missing_ok=True)\n if total <= 0:\n raise RecordError(\n@@ -835,7 +838,7 @@ class Recorder:\n calibration_path, calibration_wl.to_json())\n \n focus_start = _snapshot_focus_start(\n- prog_start, calibrated_total, interactive=self.profile.interactive)\n+ prog_start, calibrated_total, interactive=self.interactive_workload)\n \n if c.snap_insns is not None:\n snap_insns = c.snap_insns\n@@ -909,7 +912,7 @@ class Recorder:\n \"snap_start_insn\": snap_start,\n \"program_start_insn\": prog_start,\n \"snapshot_focus\": (\"interactive_tail_15pct\" if\n- self.profile.interactive and not prog_start and\n+ self.interactive_workload and not prog_start and\n c.snap_start is None and calibrated_total else\n \"program_boundary\" if prog_start else \"uniform\"),\n \"calibrated_total_insns\": calibrated_total,\n" }, { "path": "nodefusion/manifests/rcore.toml", "sha256": "1a96912593cf39d23f487ba2dd3e8df52c5a9ea87d47cc8eb2c3c5d350e7b918", "patch": "diff --git a/nodefusion/manifests/rcore.toml b/nodefusion/manifests/rcore.toml\nindex 3579114..da4c91d 100644\n--- a/nodefusion/manifests/rcore.toml\n+++ b/nodefusion/manifests/rcore.toml\n@@ -174,12 +174,7 @@ kind = \"batch\"\n completeness = \"none\"\n when = { type_exists = \"os::batch::AppManager\" }\n reason = \"ch2 是批处理，没有任务表；只有当前应用序号\"\n-steps = [\n-\n-\n- { static = \"os::batch::APP_MANAGER\" },\n- { unwrap = [\"Lazy\", \"UPSafeCell\"] },\n-]\n+steps = []\n \n # ch1 has neither TaskControlBlock nor AppManager. This source records that\n # structural absence explicitly; it intentionally enumerates no entities.\n@@ -213,7 +208,7 @@ base = { path = \"base_size\", reader = \"usize\" }\n # address, which the page-table walk then reported as \"not in observed\n # physical memory\" -- a unit error that reads like missing memory.\n # `.__0` rather than the tuple struct itself so no field offset is assumed.\n-pgtbl = { path = \"inner.memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n+pgtbl = { path = \"memory_set.page_table.root_ppn.__0\", reader = \"ppn\", role = \"address_space_root\" }\n prio = { path = \"inner.priority\", reader = \"usize\", role = \"priority\" }\n \n \n@@ -223,7 +218,7 @@ exit = { path = \"inner.exit_code\", reader = \"i32\", role = \"exit_code\" }\n \n \n \n-trapcx = { path = \"inner.trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n+trapcx = { path = \"trap_cx_ppn.__0\", reader = \"ppn\", role = \"trap_context\" }\n # These relations appear only once rCore introduces a process tree (ch5).\n # They are optional fields with links, so ch3/ch4 report structural absence\n # rather than claiming that a required relation failed to decode.\n@@ -477,6 +472,18 @@ throttle = 0\n \n \n \n+\n+[[watch]]\n+subsystem = \"mm\"\n+match = { module = \"os::mm::memory_set::MemorySet\", fn = [\"remove_framed_area\"] }\n+args = 3\n+throttle = 0\n+\n+[[watch]]\n+subsystem = \"mm\"\n+match = { module = \"os::mm::page_table::PageTable\", fn = [\"map\"] }\n+args = 4\n+throttle = 0\n \n [[watch]]\n subsystem = \"mm\"\n@@ -656,7 +663,7 @@ throttle = 0\n \"proc.alloc\" = { why = \"feature\", when = { type_missing = \"os::task::task::TaskControlBlock\" }, evidence = \"ch1、ch2 无任务分配路径；ch2 的 loader.c 复用同一应用内存区依次装入二进制，ch3 起引入 TaskControlBlock。\" }\n \"proc.fork\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 的 os/src/task 尚无 fork 路径；ch5 起有 Processor 与 TaskControlBlock::fork。按当前 ELF 的 Processor 类型核对阶段。\" }\n \"proc.exec\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch1–ch4 静态装入应用，os/src/syscall 无 exec；ch5 起引入进程管理和 exec。按当前 ELF 的 Processor 类型核对阶段。\" }\n-\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::task::processor::Processor\" }, evidence = \"rCore ch4 的 os/src/syscall/process.rs 中 sys_munmap 明确为 NOT IMPLEMENTED YET；ch5 起有进程内存回收。按当前 ELF 的 Processor 类型区分阶段。\" }\n+\"vm.unmap\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"未定义 os::mm::memory_set::MemorySet 的早期构建没有分页区域；定义该类型的构建按 os/src/mm/memory_set.rs 中的区域取消映射路径检查，包括 2026A 的 remove_framed_area。\" }\n \"phys.alloc\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器；ch4 起的 os/src/mm/frame_allocator.rs 定义 StackFrameAllocator。按当前 ELF 的该类型核对阶段。\" }\n \"phys.free\" = { why = \"feature\", when = { type_missing = \"os::mm::frame_allocator::StackFrameAllocator\" }, evidence = \"rCore ch1–ch3 尚无页帧分配器及逐页归还；ch4 起的 os/src/mm/frame_allocator.rs 实现分配与回收。按当前 ELF 的类型核对阶段。\" }\n \"vm.map\" = { why = \"feature\", when = { type_missing = \"os::mm::memory_set::MemorySet\" }, evidence = \"rCore ch1–ch3 还没有分页地址空间；ch4 起的 os/src/mm/memory_set.rs 定义 MemorySet 并建立区域映射。按当前 ELF 的类型核对阶段。\" }\n@@ -828,7 +835,7 @@ throttle = 0\n \n \"os::mm::frame_allocator::frame_dealloc\" = \"phys.free\"\n \"os::mm::frame_allocator::frame_alloc\" = \"phys.alloc\"\n-\"os::mm::page_table::PageTable::map\" = \"pagetable.map\"\n+\"os::mm::page_table::PageTable::map\" = { kind = \"pagetable.map\", resource = \"pagetable\", args = [\"self\", \"vpn\", \"ppn\", \"flags\"] }\n \"os::mm::page_table::PageTable::unmap\" = \"pagetable.unmap\"\n \"os::mm::page_table::PageTable::new\" = \"pagetable.new\"\n \n@@ -893,6 +900,7 @@ throttle = 0\n \n \"os::mm::memory_set::nodefusion_vm_unmap_region\" = { kind = \"vm.unmap\", resource = \"vm\", args = [\"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::remove_area_with_start_vpn\" = \"vm.remove_area\"\n+\"os::mm::memory_set::MemorySet::remove_framed_area\" = { kind = \"vm.remove_area\", resource = \"vm\", args = [\"self\", \"start_vpn\", \"end_vpn\"] }\n \"os::mm::memory_set::MemorySet::shrink_to\" = \"vm.shrink\"\n \"os::mm::memory_set::MemorySet::append_to\" = \"vm.grow\"\n \"os::mm::init\" = \"vm.init\"\n@@ -1550,3 +1558,35 @@ opts = [\n [syscalls]\n files = [\"os/src/syscall/mod.rs\"]\n pattern = 'const\\s+SYSCALL_(?P\\w+)\\s*:\\s*usize\\s*=\\s*(?P\\d+)'\n+\n+[[entity]]\n+name = \"batch_manager\"\n+type = \"os::batch::AppManager\"\n+label = \"应用批次\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { type_exists = \"os::batch::AppManager\" }\n+steps = [{ static = \"os::batch::APP_MANAGER\" }, { unwrap = [\"Lazy\", \"UPSafeCell\"] }]\n+\n+[entity.fields]\n+num_app = { path = \"num_app\", reader = \"u64\" }\n+current_app = { path = \"current_app\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"当前没有应用批次。\"\n+ [[entity.table.column]]\n+ key = \"num_app\"\n+ label = \"应用数\"\n+ [[entity.table.column]]\n+ key = \"current_app\"\n+ label = \"下一应用序号\"\n+\n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"os::trap::trap_handler\"] }\n+when = { type_exists = \"os::batch::AppManager\" }\n+snapshot = \"always\"\n+args = 1\n+throttle = 0\n" }, { "path": "nodefusion/manifests/ucore.toml", "sha256": "b08a4f8edac1a7fbd40397ed8c21217cf8dfb03ba9fad496142892f59e4bd5f8", "patch": "diff --git a/nodefusion/manifests/ucore.toml b/nodefusion/manifests/ucore.toml\nindex 4312842..ce8c88f 100644\n--- a/nodefusion/manifests/ucore.toml\n+++ b/nodefusion/manifests/ucore.toml\n@@ -33,14 +33,23 @@ steps = [\n { iter = \"array\" },\n ]\n \n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_missing = \"proc\" }, { symbol_exists = \"clean_bss\" }, { symbol_missing = \"pool\" }, { symbol_missing = \"allocproc\" }, { symbol_missing = \"scheduler\" }] }\n+steps = []\n+\n [entity.liveness]\n-skip_when = { field = \"state\", equals = \"P_UNUSED\" }\n+skip_when = { field = \"state\", one_of = [\"UNUSED\", \"P_UNUSED\"] }\n \n [entity.fields]\n pid = { path = \"pid\", reader = \"i32\", role = \"id\" }\n state = { path = \"state\", reader = \"enum\", enum = \"procstate\", role = \"state\" }\n \n [entity.optional_fields]\n+kstack = { path = \"kstack\", reader = \"u64\" }\n+trapframe = { path = \"trapframe\", reader = \"ptr\", role = \"trap_context\" }\n+context = { path = \"context\", reader = \"struct\", role = \"sched_context\" }\n pagetable = { path = \"pagetable\", reader = \"ptr\", role = \"address_space_root\" }\n max_page = { path = \"max_page\", reader = \"u64\" }\n ustack_base = { path = \"ustack_base\", reader = \"u64\" }\n@@ -112,6 +121,53 @@ empty = \"当前没有活跃线程。\"\n \n # -------------------------------------------------------------- resources\n \n+[[entity]]\n+name = \"batch_context\"\n+type = \"trapframe\"\n+label = \"用户上下文\"\n+\n+[[entity.source]]\n+kind = \"table\"\n+completeness = \"total\"\n+when = { all = [{ type_exists = \"trapframe\" }, { symbol_exists = \"trap_page\" }, { symbol_missing = \"pool\" }] }\n+steps = [{ static = \"trap_page\" }]\n+\n+[[entity.source]]\n+kind = \"batch\"\n+completeness = \"none\"\n+when = { all = [{ type_exists = \"proc\" }, { symbol_exists = \"pool\" }, { symbol_missing = \"trap_page\" }] }\n+steps = []\n+\n+[entity.fields]\n+epc = { path = \"epc\", reader = \"u64\" }\n+user_sp = { path = \"sp\", reader = \"u64\" }\n+kernel_sp = { path = \"kernel_sp\", reader = \"u64\" }\n+a0 = { path = \"a0\", reader = \"u64\" }\n+a1 = { path = \"a1\", reader = \"u64\" }\n+a2 = { path = \"a2\", reader = \"u64\" }\n+a7 = { path = \"a7\", reader = \"u64\" }\n+\n+[entity.table]\n+empty = \"本构建没有独立的批处理上下文。\"\n+ [[entity.table.column]]\n+ key = \"epc\"\n+ label = \"返回地址\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"user_sp\"\n+ label = \"用户栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"kernel_sp\"\n+ label = \"内核栈\"\n+ format = \"hex\"\n+ [[entity.table.column]]\n+ key = \"a7\"\n+ label = \"a7\"\n+ [[entity.table.column]]\n+ key = \"a0\"\n+ label = \"a0\"\n+\n [[entity]]\n name = \"bcache\"\n type = \"buf\"\n@@ -264,12 +320,20 @@ empty = \"当前没有活跃 inode。\"\n # --------------------------------------------------------------- watches\n \n [[watch]]\n-subsystem = \"panic\"\n+subsystem = \"kernel\"\n match = { fn = [\"shutdown\"] }\n snapshot = \"always\"\n-args = 2\n+args = 0\n throttle = 0\n \n+[[watch]]\n+subsystem = \"trap\"\n+match = { fn = [\"usertrap\", \"usertrapret\"] }\n+when = { type_missing = \"proc\" }\n+snapshot = \"always\"\n+args = 2\n+throttle = 0\n+\n [[watch]]\n subsystem = \"nftrace\"\n match = { fn = [\"nftrace_commit_point\"] }\n@@ -453,7 +517,7 @@ piperead = { kind = \"pipe.read\", resource = \"pipe\" }\n pipewrite = { kind = \"pipe.write\", resource = \"pipe\" }\n pipeclose = { kind = \"pipe.close\", resource = \"pipe\" }\n \n-shutdown = { kind = \"kernel.panic\", args = [\"reason\"] }\n+shutdown = { kind = \"kernel.shutdown\" }\n \n # ----------------------------------------------------------------- profile\n \n@@ -471,12 +535,11 @@ machine_opts = [\n ]\n interactive = true\n prompt = \">> \"\n-ready_markers = [\"C user shell\"]\n-# User-space assertions deliberately print the same ``[PANIC ...]`` prefix as\n-# the kernel logger and then return a non-zero test status. Treating that text\n-# as a kernel panic truncates aggregate suites halfway through; the shell's\n-# exit line and QEMU termination provide unambiguous outcomes instead.\n-panic_markers = [\"core dumped\"]\n+ready_markers = [\"hello wrold!\", \"C user shell\", \"start scheduler!\"]\n+done_markers = [\"ALL DONE\", \"all app are over!\", \"all apps over\"]\n+# User faults and assertions share the kernel's diagnostic text. Completion\n+# markers, process exit lines and QEMU termination determine the outcome.\n+panic_markers = []\n halt_markers = []\n stdin_preload = true\n stdin_pad = \"\\n\"\n" }, { "path": "nodefusion/model/dwarfsrc.py", "sha256": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "patch": "diff --git a/nodefusion/model/dwarfsrc.py b/nodefusion/model/dwarfsrc.py\nindex 6716ea1..2dd0640 100644\n--- a/nodefusion/model/dwarfsrc.py\n+++ b/nodefusion/model/dwarfsrc.py\n@@ -99,6 +99,10 @@ class DwarfSource:\n if not elf.has_dwarf_info():\n raise RuntimeError(f\"{self.path} 里没有调试信息（.debug_info）\")\n self.e_machine = elf.header[\"e_machine\"]\n+ symtab = elf.get_section_by_name('.symtab')\n+ self.defined_symbols = (None if symtab is None else\n+ {s.name for s in symtab.iter_symbols()\n+ if s.name and s['st_shndx'] != 'SHN_UNDEF'})\n self._exec_ranges = self._exec_sections(elf)\n self._parse(elf.get_dwarf_info())\n self._index_short()\n" }, { "path": "nodefusion/model/kinds.py", "sha256": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "patch": "diff --git a/nodefusion/model/kinds.py b/nodefusion/model/kinds.py\nindex c9da0ea..5551612 100644\n--- a/nodefusion/model/kinds.py\n+++ b/nodefusion/model/kinds.py\n@@ -17,7 +17,7 @@ KINDS: frozenset[str] = frozenset({\n \"inode.write\",\n \"interrupt.clock\", \"interrupt.dispatch\", \"interrupt.external\",\n \"interrupt.other\", \"interrupt.software\", \"interrupt.timer\",\n- \"kernel.alloc_error\", \"kernel.panic\",\n+ \"kernel.alloc_error\", \"kernel.panic\", \"kernel.shutdown\",\n \"log.begin\", \"log.commit\", \"log.end\", \"log.install\", \"log.recover\",\n \"log.write\", \"log.write_blocks\",\n \"pagetable.freewalk\", \"pagetable.map\", \"pagetable.new\", \"pagetable.unmap\",\n" }, { "path": "nodefusion/model/resolve.py", "sha256": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "patch": "diff --git a/nodefusion/model/resolve.py b/nodefusion/model/resolve.py\nindex 5c9b606..a655199 100644\n--- a/nodefusion/model/resolve.py\n+++ b/nodefusion/model/resolve.py\n@@ -127,6 +127,24 @@ def resolve_path(dw: DwarfSource, start: StructLayout, path: str,\n def eval_when(dw: DwarfSource, pred: dict | None) -> tuple[bool, str]:\n if not pred:\n return True, \"无条件\"\n+ if not isinstance(pred, dict) or len(pred) != 1:\n+ return False, \"when 需要一种谓词\"\n+ if 'all' in pred:\n+ children = pred['all']\n+ if not isinstance(children, list) or not children or any(not isinstance(p, dict) or not p for p in children):\n+ return False, \"all 需要非空的谓词数组\"\n+ results = [eval_when(dw, child) for child in children]\n+ return all(hit for hit, _ in results), '；'.join(reason for _, reason in results)\n+ if 'symbol_exists' in pred or 'symbol_missing' in pred:\n+ key = next(iter(pred))\n+ name = pred[key]\n+ if not isinstance(name, str) or not name.strip():\n+ return False, \"符号名不能为空\"\n+ symbols = getattr(dw, 'defined_symbols', None)\n+ if symbols is None:\n+ return False, \"没有完整 ELF 符号表\"\n+ exists = name in symbols\n+ return (exists if key == 'symbol_exists' else not exists), f\"符号 {name} {'在' if exists else '不在'}\"\n \n if \"type_exists\" in pred:\n want = pred[\"type_exists\"]\n" }, { "path": "nodefusion/model/snapshot.py", "sha256": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "patch": "diff --git a/nodefusion/model/snapshot.py b/nodefusion/model/snapshot.py\nindex fa095ef..0bf7cb7 100644\n--- a/nodefusion/model/snapshot.py\n+++ b/nodefusion/model/snapshot.py\n@@ -68,6 +68,8 @@ def is_live(entity: Entity, liveness: dict | None) -> bool:\n return True\n if \"equals\" in sw:\n return f.value != sw[\"equals\"]\n+ if \"one_of\" in sw:\n+ return f.value not in sw[\"one_of\"]\n return True\n \n \n" }, { "path": "nodefusion/host/bundle.py", "sha256": "f6117f48b073e117dc0ffa6cdf1af4984d173b3a8f16808730e3746b51c2ad33", "patch": "diff --git a/nodefusion/host/bundle.py b/nodefusion/host/bundle.py\nindex a31f11f..4a3967a 100644\n--- a/nodefusion/host/bundle.py\n+++ b/nodefusion/host/bundle.py\n@@ -15,6 +15,7 @@ from .analyze import Analysis\n MAX_EVENTS = 150_000\n \n MIN_SPARE_EVENTS = 25_000\n+MIN_KIND_EVENTS = 64\n \n DIAGNOSTIC_PREFIXES = (\"func.\",)\n \n@@ -57,6 +58,25 @@ class Interner:\n return i\n \n \n+def _kind_budgets(counts: dict[str, int], budget: int) -> tuple[dict[str, int], int]:\n+ if not counts:\n+ return {}, 0\n+ floor = min(MIN_KIND_EVENTS, budget // len(counts))\n+ if floor == 0:\n+ return {kind: int(index < budget) for index, kind in enumerate(counts)}, 0\n+ quotas = {kind: min(count, floor) for kind, count in counts.items()}\n+ remaining = budget - sum(quotas.values())\n+ residual_total = sum(counts.values()) - sum(quotas.values())\n+ cumulative = 0\n+ if residual_total:\n+ for kind, count in counts.items():\n+ residual = count - quotas[kind]\n+ quotas[kind] += ((cumulative + residual) * remaining // residual_total\n+ - cumulative * remaining // residual_total)\n+ cumulative += residual\n+ return quotas, floor\n+\n+\n def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n \"\"\"Bound the interactive event stream while auditing the full raw trace.\"\"\"\n raw_kinds = Counter(e.kind for e in events)\n@@ -65,7 +85,7 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n if len(events) <= MAX_EVENTS:\n return (events if materialize else []), {\n \"applied\": False,\n- \"policy\": \"kind-preserving/systematic-v3\",\n+ \"policy\": \"kind-preserving/systematic-v5\",\n \"raw\": len(events), \"retained\": len(events), \"dropped\": 0,\n \"target_limit\": MAX_EVENTS, \"minimum_spare\": MIN_SPARE_EVENTS,\n \"always_keep\": \"all events when the raw stream fits\",\n@@ -77,37 +97,32 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n }\n \n spare_raw = len(events) - priority_raw\n- semantic_kinds = {k for k in raw_kinds if _is_semantic(k)}\n- reserved_spare = min(MIN_SPARE_EVENTS, spare_raw)\n+ semantic_counts = {k: count for k, count in raw_kinds.items() if _is_semantic(k)}\n+ reserved_spare = min(MIN_SPARE_EVENTS, spare_raw, MAX_EVENTS)\n priority_budget = min(priority_raw, MAX_EVENTS - reserved_spare)\n+ quotas, kind_floor = _kind_budgets(semantic_counts, priority_budget)\n room = MAX_EVENTS - priority_budget\n- step = max(1, spare_raw // room) if room > 0 and spare_raw else 1\n+ diagnostic_counts = {k: count for k, count in raw_kinds.items() if not _is_semantic(k)}\n+ diagnostic_quotas, diagnostic_floor = _kind_budgets(diagnostic_counts, min(room, spare_raw))\n+ quotas.update(diagnostic_quotas)\n chosen: list = []\n retained_kinds: Counter = Counter()\n dropped_kinds: dict[str, int] = {}\n- spare_seen = 0\n- spare_kept = 0\n semantic_seen = 0\n- first_kinds: set[str] = set()\n- nonfirst_seen = 0\n- nonfirst_total = priority_raw - len(semantic_kinds)\n- nonfirst_budget = max(0, priority_budget - len(semantic_kinds))\n+ seen_by_kind: Counter = Counter()\n for e in events:\n if _is_semantic(e.kind):\n semantic_seen += 1\n- if e.kind not in first_kinds:\n- first_kinds.add(e.kind)\n- retain = len(first_kinds) <= priority_budget\n- else:\n- retain = (nonfirst_total > 0 and\n- (nonfirst_seen + 1) * nonfirst_budget // nonfirst_total\n- > nonfirst_seen * nonfirst_budget // nonfirst_total)\n- nonfirst_seen += 1\n+ seen = seen_by_kind[e.kind]\n+ seen_by_kind[e.kind] += 1\n+ quota = quotas[e.kind]\n+ total = raw_kinds[e.kind]\n+ if seen == 0:\n+ retain = quota > 0\n else:\n- retain = room > 0 and spare_kept < room and spare_seen % step == 0\n- spare_seen += 1\n- if retain:\n- spare_kept += 1\n+ retain = (quota > 1 and\n+ seen * (quota - 1) // (total - 1)\n+ > (seen - 1) * (quota - 1) // (total - 1))\n if retain:\n retained_kinds[e.kind] += 1\n if materialize:\n@@ -120,15 +135,19 @@ def _event_selection(events: list, *, materialize: bool) -> tuple[list, dict]:\n \n return chosen, {\n \"applied\": True,\n- \"policy\": \"kind-preserving/systematic-v3\",\n+ \"policy\": \"kind-preserving/systematic-v5\",\n \"raw\": len(events), \"retained\": retained, \"dropped\": dropped,\n \"target_limit\": MAX_EVENTS, \"minimum_spare\": MIN_SPARE_EVENTS,\n- \"always_keep\": \"first event of each normalized kind within budget\",\n+ \"always_keep\": \"all events of kinds whose count fits their per-kind budget\",\n \"priority_raw\": priority_raw, \"spare_raw\": spare_raw,\n \"semantic_budget\": priority_budget,\n+ \"minimum_per_kind\": kind_floor,\n+ \"semantic_kind_budgets\": {k: quotas[k] for k in sorted(semantic_counts)},\n+ \"diagnostic_kind_budgets\": dict(sorted(diagnostic_quotas.items())),\n+ \"minimum_per_diagnostic_kind\": diagnostic_floor,\n \"semantic_retained\": semantic_seen - sum(v for k, v in dropped_kinds.items()\n if _is_semantic(k)),\n- \"spare_budget\": room, \"stride\": step if room > 0 and spare_raw else None,\n+ \"spare_budget\": room, \"stride\": None,\n \"retained_kinds\": dict(sorted(retained_kinds.items())),\n \"dropped_kinds\": dict(sorted(dropped_kinds.items())),\n }\n" }, { "path": "nodefusion/tests/test_bundle_shape.py", "sha256": "34d227f2726d1820160288b225243b51fe3583839ff52ee245a814eb1c27f81d", "patch": "diff --git a/nodefusion/tests/test_bundle_shape.py b/nodefusion/tests/test_bundle_shape.py\nindex 40bd9fe..025791a 100644\n--- a/nodefusion/tests/test_bundle_shape.py\n+++ b/nodefusion/tests/test_bundle_shape.py\n@@ -1,5 +1,6 @@\n \n import sys\n+from collections import Counter\n from pathlib import Path\n from types import SimpleNamespace as NS\n \n@@ -144,7 +145,8 @@ def test_event_selection_metadata_accounts_for_every_raw_event(monkeypatch):\n assert audit[\"priority_raw\"] == 4\n assert audit[\"spare_raw\"] == 26\n assert audit[\"spare_budget\"] == 6\n- assert audit[\"stride\"] == 4\n+ assert audit[\"stride\"] is None\n+ assert audit['diagnostic_kind_budgets'] == {'func.hot_path': 6}\n assert sum(audit[\"retained_kinds\"].values()) == audit[\"retained\"]\n assert sum(audit[\"dropped_kinds\"].values()) == audit[\"dropped\"]\n assert [e.insn for e in selected[:4]] == [0, 1, 2, 3]\n@@ -156,10 +158,9 @@ def test_bounded_selector_preserves_order_and_systematic_sample(monkeypatch):\n events = [NS(kind=(\"proc.fork\" if i in {2, 7} else \"func.hot\"), insn=i)\n for i in range(12)]\n selected, audit = B._select_events(events)\n- # Ten diagnostics, four spare slots => old spare[::2][:4], interleaved\n- # with both semantic events in original timeline order.\n- assert [event.insn for event in selected] == [0, 2, 3, 5, 7, 8]\n- assert audit[\"stride\"] == 2\n+ # Four per-kind positions include the first and last diagnostic entries.\n+ assert [event.insn for event in selected] == [0, 2, 4, 7, 8, 11]\n+ assert audit[\"stride\"] is None\n assert audit[\"retained\"] == 6\n \n \n@@ -178,6 +179,79 @@ def test_large_semantic_stream_stays_browser_bounded(monkeypatch):\n assert audit[\"raw\"] == audit[\"retained\"] + audit[\"dropped\"]\n \n \n+def test_rare_semantic_events_survive_hot_kinds_without_kernel_allowlists(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 200)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='pagetable.map', insn=i) for i in range(5000)]\n+ events += [NS(kind='future_namespace.branch', insn=5000 + i) for i in range(13)]\n+ events += [NS(kind='trap.page_fault', insn=5013 + i) for i in range(4)]\n+ events += [NS(kind='func.loop', insn=5017 + i) for i in range(1000)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == audit['retained'] == 200\n+ assert audit['retained_kinds']['future_namespace.branch'] == 13\n+ assert audit['retained_kinds']['trap.page_fault'] == 4\n+ assert audit['retained_kinds']['func.loop'] == 25\n+ assert audit['semantic_retained'] == 175\n+ assert audit['semantic_kind_budgets']['pagetable.map'] == 158\n+ hot = [item.insn for item in selected if item.kind == 'pagetable.map']\n+ assert hot[0] == 0 and hot[-1] == 4999\n+ assert [item.insn for item in selected] == sorted(item.insn for item in selected)\n+ assert B._select_events(events)[0] == selected\n+ empty, accounting = B._event_selection(events, materialize=False)\n+ assert empty == [] and accounting == audit\n+ for kind, count in Counter(item.kind for item in events).items():\n+ assert audit['retained_kinds'].get(kind, 0) + audit['dropped_kinds'].get(kind, 0) == count\n+\n+\n+def test_more_semantic_kinds_than_slots_is_still_bounded(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 7)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 2)\n+ events = [NS(kind=f'new.kind{i}', insn=i) for i in range(20)]\n+ events += [NS(kind='func.noise', insn=20 + i) for i in range(20)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 7\n+ assert audit['semantic_retained'] == 5 and audit['retained_kinds']['func.noise'] == 2\n+ assert sum(audit['semantic_kind_budgets'].values()) == 5\n+ assert [item.kind for item in selected[:5]] == [f'new.kind{i}' for i in range(5)]\n+ assert sum(audit['dropped_kinds'].values()) == 33\n+ assert B._event_selection(events, materialize=False)[1] == audit\n+\n+\n+def test_rare_function_entries_survive_hot_diagnostic_functions(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 100)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='syscall.enter', insn=i) for i in range(1000)]\n+ events += [NS(kind='func.format', insn=1000 + i) for i in range(2000)]\n+ events += [NS(kind='func.unmap', insn=3000 + i) for i in range(2)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 100\n+ assert audit['retained_kinds']['func.unmap'] == 2\n+ assert audit['retained_kinds']['func.format'] == 23\n+ assert not audit['dropped_kinds'].get('func.unmap')\n+ assert selected[-1] is events[-1]\n+\n+\n+def test_kind_quotas_use_the_budget_without_exceeding_raw_counts():\n+ for counts in [{'one': 1}, {'a': 2, 'b': 1000, 'c': 9},\n+ {str(index): index + 1 for index in range(100)}]:\n+ total = sum(counts.values())\n+ for budget in range(min(total, 300) + 1):\n+ quotas, floor = B._kind_budgets(counts, budget)\n+ assert sum(quotas.values()) == budget\n+ assert all(0 <= quotas[kind] <= count for kind, count in counts.items())\n+ assert all(quotas[kind] == count for kind, count in counts.items() if count <= floor)\n+\n+\n+def test_diagnostic_reservation_cannot_exceed_total_budget(monkeypatch):\n+ monkeypatch.setattr(B, 'MAX_EVENTS', 4)\n+ monkeypatch.setattr(B, 'MIN_SPARE_EVENTS', 25)\n+ events = [NS(kind='syscall.enter', insn=0)]\n+ events += [NS(kind='func.hot', insn=i) for i in range(1, 30)]\n+ selected, audit = B._select_events(events)\n+ assert len(selected) == 4 and audit['semantic_budget'] == 0\n+ assert audit['dropped_kinds']['syscall.enter'] == 1\n+\n+\n def test_interactive_sampling_does_not_erase_raw_semantic_coverage(monkeypatch):\n monkeypatch.setattr(B, \"MAX_EVENTS\", 10)\n monkeypatch.setattr(B, \"MIN_SPARE_EVENTS\", 3)\n" } ], "source_file_hashes_after": { "nodefusion/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/__init__.py": "9385fdca231d9ad83e27a59aa1bc59b252efad8c24cf08c9f39e0b543f675746", "nodefusion/_vendor/elftools/common/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/common/construct_utils.py": "d1de2461e60636b52cfc446d00f7a31f152f2ccc43c1a53bc2ba82187ca1e460", "nodefusion/_vendor/elftools/common/exceptions.py": "bedd7aa994281100ba13a40dfaad8b03eec17a725a1c4cb23893572d99bbd1ef", "nodefusion/_vendor/elftools/common/utils.py": "36a5f64bfb3aab0dba30d9fa05aa1b3f9fbbf86f297eee27c7c12652f5ac308b", "nodefusion/_vendor/elftools/construct/__init__.py": "15104eb011a640e4268a9b9221d07201a0360ff0b1c8b49e252ef41fdfbb35de", "nodefusion/_vendor/elftools/construct/adapters.py": "5745745b25eb849174ee5c3179b9867b03e0471633e9eac8276aa439fe4c8841", "nodefusion/_vendor/elftools/construct/core.py": "df9719893de6454f5bc4c912afc892bcc278ef45ac1553bf4a409278ba347c9d", "nodefusion/_vendor/elftools/construct/debug.py": "491486779e464e0f4a59cfd429d8e93c577a0f0d9b969847e69400a3c86acb1c", "nodefusion/_vendor/elftools/construct/lib/__init__.py": "973420ec247c18b9e5488743bb099ae82f19c7287ef31dcb529a7283b6e42eb3", "nodefusion/_vendor/elftools/construct/lib/binary.py": "f18e4161a11bc95732bd01c577cbe98373081afd5b4112b02fec51a0e1df2e11", "nodefusion/_vendor/elftools/construct/lib/bitstream.py": "ee8081769bed1d00a086399c8749a847c1a48b8d08637506bf7d1229b6e1808a", "nodefusion/_vendor/elftools/construct/lib/container.py": "0385a420febf5bac714153ceaadd192ff9d09862bc7e17c203bf759aa18b2bb4", "nodefusion/_vendor/elftools/construct/lib/hex.py": "55f82dc36f273347c08e9e469fd497368241453b7a63e69e167ad6b316e5e2c7", "nodefusion/_vendor/elftools/construct/macros.py": "0244e84cf4f598ac8da7c3d8f1f09b06112a508e71fb8d381b377f1c0472a4e3", "nodefusion/_vendor/elftools/dwarf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/dwarf/abbrevtable.py": "d7d338a6eddd4c1fe02c66d9c2b1c202c36ebcfda28f438a0ac0546dc5a63eb1", "nodefusion/_vendor/elftools/dwarf/aranges.py": "399d17d0e3cc18527337d60c1ffc0cfcfc8d5ddcf86af1ef6c359453538344e3", "nodefusion/_vendor/elftools/dwarf/callframe.py": "6c77dd3c1b482434d8d86f35922f0c88b1a71c1c19055fa512224d44876a4b5a", "nodefusion/_vendor/elftools/dwarf/compileunit.py": "2681263026c2bdd3fd9033e60230024e6b25ca90280df91c3ae0b0fe97bdb9d3", "nodefusion/_vendor/elftools/dwarf/constants.py": "30377a1636c5ac41b7a09f7c79c6bae67b49696c4e9b9d904a1a0acaba7dabdb", "nodefusion/_vendor/elftools/dwarf/datatype_cpp.py": "b3df1fc9ef56f941e0b38a9ad5da05a3c3821dd1cdc4b440c7c1934bee00a770", "nodefusion/_vendor/elftools/dwarf/descriptions.py": "6692ed493344018f4d96fdb70e9b04bdb3ec1428df0448f17fc8ffab2a205851", "nodefusion/_vendor/elftools/dwarf/die.py": "b653e8091a49f6926a955d8c05f26c36798ece3d902c00d2b5da10af637bfce7", "nodefusion/_vendor/elftools/dwarf/dwarf_expr.py": "db6d4cb9f3f1ee7e85ac1f9286831093d1b65f8c472fe0f9331a7aa164782bcb", "nodefusion/_vendor/elftools/dwarf/dwarf_util.py": "2e1cc3030a3cc669e0832e3cb5d4b1e3c82e22ff5a1164e6a878931f8531ce0d", "nodefusion/_vendor/elftools/dwarf/dwarfinfo.py": "3cfff046c35f7b063ba4288f1d9bb5167be4f3fdda0af756a299d832d660b75f", "nodefusion/_vendor/elftools/dwarf/enums.py": "10d18e4acabc383b8e8527cf4c011874dc9459c3bc30bd65b9212885a146bd7a", "nodefusion/_vendor/elftools/dwarf/lineprogram.py": "d9472d85b8c62fe56a7d6371d8cdb8af6268416970bdf909898ccb2606fa850c", "nodefusion/_vendor/elftools/dwarf/locationlists.py": "5167c3fb6208e3bafe0a52fc4d48eb164dc84dbd4980643acec19be26639a194", "nodefusion/_vendor/elftools/dwarf/namelut.py": "4b62eb965afd3e099835eb8bb9112f2d1ec89cb42adc6b55c1f113b6068d17b3", "nodefusion/_vendor/elftools/dwarf/ranges.py": "da3856ee646cf5b305751fa73a2d5fd9b0a21413377ca11cf93ce20e7040386e", "nodefusion/_vendor/elftools/dwarf/structs.py": "dfb1d6d755bcc7cf9a0363620e470c5b4a74bf7499a32d82f261652ffe71bef8", "nodefusion/_vendor/elftools/dwarf/typeunit.py": "c1bae01e11001941ebd0a10b72d569b4a0800600b3006b20a0b37f88536d1bc9", "nodefusion/_vendor/elftools/ehabi/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/ehabi/constants.py": "a386df95ebe53338db1cdfe498a06acf8e976007b5fab5c4eed2b8904932caa8", "nodefusion/_vendor/elftools/ehabi/decoder.py": "3380c750ed972e33510a42a1d4de725f744cfc156e44a5d50ae199239cacb10e", "nodefusion/_vendor/elftools/ehabi/ehabiinfo.py": "e442ea16826888c9903893db8ccd9cb47f9f634476c1837812c84b6ce4be1b4c", "nodefusion/_vendor/elftools/ehabi/structs.py": "5ebdda74af71d7637d41eb0510403d8776d3b7ea70f715edc58aabc836aaae87", "nodefusion/_vendor/elftools/elf/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/_vendor/elftools/elf/constants.py": "d805c36820815a58fce8593206a5527c46009756b9397298d086679b6a9d9f23", "nodefusion/_vendor/elftools/elf/descriptions.py": "02771b6d1d4eb829b7334e417f580f78eb253c14f895c427c99b870537d363ef", "nodefusion/_vendor/elftools/elf/dynamic.py": "13c2621f118f30c6a8b6a0d999bdf8a7d082f0c2b7713eb4203d7b877082f0f7", "nodefusion/_vendor/elftools/elf/elffile.py": "0b8629b86828f0f05dea1200261ffaf1849ae675e52943e88a37e6a5e0b73d51", "nodefusion/_vendor/elftools/elf/enums.py": "9beb3eb13c4dfe6e2e75ed5db7a75dbb6da7917ed7ea7ad9c2ab7b697c284256", "nodefusion/_vendor/elftools/elf/gnuversions.py": "d22136e3242cf4ff379154b5c830706f3be1d77ee41ffab7efeed57e4876c740", "nodefusion/_vendor/elftools/elf/hash.py": "538c9b253f89a4b200eeb9c7d82f9cd0c3ae08146b3295538363ba5fced3627a", "nodefusion/_vendor/elftools/elf/notes.py": "17cf2c2a9ec9a0bf8f3415cbaeca42d3ab8f1102556251b290a2814e86f16f63", "nodefusion/_vendor/elftools/elf/relocation.py": "b0fd391fe0e293ac7dc5bdad495a8d2e72454442c35291781952fa5016f77b0f", "nodefusion/_vendor/elftools/elf/sections.py": "5acbfe427062f3f80cad1d556c4113d60136cbe526636e621a6e820ade5d6ab5", "nodefusion/_vendor/elftools/elf/segments.py": "103f945c2c7d67eff713609ea189601e94c0e7122274110c6b20d038a5b8bf74", "nodefusion/_vendor/elftools/elf/structs.py": "a0f439925915d7f1a69938673da2cebefd0d10860d60caddc81370ce017d8623", "nodefusion/host/__init__.py": "eb4e72c7ca2b3242527b39bd840ced588631e97404cea0e72e3131406cdeec59", "nodefusion/host/__main__.py": "13a1a5b340cdcfc1902b62be90e508c7c71886000d5bf087e7854aadf09fb35e", "nodefusion/host/analyze.py": "b1c4a595a54058841630ba7b18818688efd00b8085b03ca91767208ec3b499e8", "nodefusion/host/assets/app.css": "84035a9ddf0faf3ae1d4ebdd7049c142fcee11c20851afb16f636e7220c71949", "nodefusion/host/assets/app.js": "ef4a9150df38c69cc2f382836b6e7ded63d58413e3b930d79b5db119548cc3f2", "nodefusion/host/bundle.py": "f6117f48b073e117dc0ffa6cdf1af4984d173b3a8f16808730e3746b51c2ad33", "nodefusion/host/callstack.py": "a091f8123f33797a628ebcaabbeae721fe458b009b69cee6697221971b7f2fc0", "nodefusion/host/cdp.py": "983be57750320be8265405b3fa4c3490288a34bba5b2f0c32820d51895210264", "nodefusion/host/cli.py": "6a2f09d5d4ea15299e3f9cbc0f7a2312a322e9c43beb3837d61b2276787af9dd", "nodefusion/host/dwarf.py": "158545b640bd312050c9cef773a19f0de839229cb08925a0298a5bb2751b5993", "nodefusion/host/elfid.py": "43c44bed9a69fa2b92fc7520342843e71caf0c6a3849d2b23b54e9a22dfdcfa0", "nodefusion/host/guest.py": "6871f08f11b9eda17b8a0618e8b8f43a544ddf05a37d7b530daa18d30d4c455a", "nodefusion/host/kernels.py": "10dcd1d97aae33b5b389d4106bdf5867468df41a39ce769300448f6d1727b103", "nodefusion/host/layout.py": "2f74bd4970af88fa38519c850fbcc494b8a1e4f5ddf7ed87897a442175f0ab82", "nodefusion/host/nfelf.py": "5495b1bc5e3406268ba66054e831dfb3fc8857c47b881d95cd995bafa65c5315", "nodefusion/host/nftrace.py": "d4fa97efd6527535ab90e4c623e8211bf8b9bf7d189beee47b56b216718c2f76", "nodefusion/host/procview.py": "ae1874f57bafa6b694c50aa3c0185671e60fcf0f784d139ee5e807e2f98e9689", "nodefusion/host/record.py": "ed6668c5711bcddff0e30a4b82eaf9235e6700746ce186042e39e45219b55428", "nodefusion/host/render.py": "46d000d2f40eb934180fba10ec8d8ccb8cc5d1e53e558304fdba941bfcff7dd8", "nodefusion/host/resources.py": "019a7be1fc7d86f221f2a67c3a5f7df271d1901500371a02a2113518483fb702", "nodefusion/host/shell.py": "08a9b0318ab79c0642d9a0b29683dc65b86c4e529f547530baf4e60b1e67f0af", "nodefusion/host/video.py": "1f49810a036f9388ae10153b8691504ed79c3e8b0e19a6bc2818de2ef1fe699d", "nodefusion/host/watchlist.py": "1b820dd5d741a118b28959b44d95b886e5fe7518dd5beef3e5561e3cf39822d1", "nodefusion/host/wslenv.py": "6b8f5d9e3f71b292e51c980f921dd498315c510d952ef90b24dfbf775b3afa6c", "nodefusion/manifests/alien.toml": "da290fe1014168a7e8f44844f30430c3041a14550449c5d51fa06847f23f7aeb", "nodefusion/manifests/arceos.toml": "cad48257d081aa1c660d3e7af2f4fbec79bbe232322c71453a9a5b1c9ac7be44", "nodefusion/manifests/axvisor.toml": "d6cd2cc9d9662f74a5d25f29e8d02591ae5a205fe18166307ef430edbc7432b3", "nodefusion/manifests/rcore.toml": "1a96912593cf39d23f487ba2dd3e8df52c5a9ea87d47cc8eb2c3c5d350e7b918", "nodefusion/manifests/rel4.toml": "ca43c2847a9ca757542ef3ed3e276dc7130c92b25150c73deb3e2a20faf8c37e", "nodefusion/manifests/starry.toml": "8a3ce9735d4c948322962b8c532be334034ad608aac28a041bb58876012dcae8", "nodefusion/manifests/ucore.toml": "b08a4f8edac1a7fbd40397ed8c21217cf8dfb03ba9fad496142892f59e4bd5f8", "nodefusion/manifests/xv6.toml": "0f501a4441214a2de3b1b50d39665ee23faad6f93024b3b92d30f542bc9b7964", "nodefusion/model/__init__.py": "9864ab2acb9890ed2fcbf815f30042fd97e3bd5ce069531f8c76fa2eed60b9d0", "nodefusion/model/ctxbuild.py": "552c0d3d87d640e73bfb4c3fc237453c7b84298c721f2d37594c85d1ab5eb86d", "nodefusion/model/dwarfsrc.py": "02688f5f8419ba6c8fd64ea4f347929f74c8b70299b632223c5535bab298f265", "nodefusion/model/exec.py": "148e68fa1c7054716e4fcb3e7bddb7c0d384ab6a6bfcb00bd15f7a869f6d86ec", "nodefusion/model/kinds.py": "0432ef9f134654bc36554ec55afcb9f91c593110cdacf0a58d0ac4d1d05ac569", "nodefusion/model/layout.py": "cd2639282b0c4fac684d06309e11e95922213d3d32698f275e65dd060f677fd6", "nodefusion/model/manifest.py": "d592aaac9ae308760cda947327c0d7c0e964a26d517740ed66838747e2334a22", "nodefusion/model/plan.py": "374fbb225a6717c2c391ac8bdda54aa957638821a45b2865b40a7be9bcc808c6", "nodefusion/model/probe.py": "30546d56bbd47ef12567826b49dd910de07e2af8fffc5c4350e04a57f70da5b8", "nodefusion/model/readers/__init__.py": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855", "nodefusion/model/readers/containers.py": "6eec01bd4f30858e1eda2ee7de890a9d93f94eda25e02d0a1bdf3558d31a1610", "nodefusion/model/readers/pointers.py": "72f989d643df6bdd477494023aac2da851f2d1f123d5e1e64b7629a0be6eae6b", "nodefusion/model/readers/registry.py": "2c35cc0b1f8db857e67c08e9c7976bf47c6ab21faabb4e242d8a0be42f9634ee", "nodefusion/model/readers/scalars.py": "a145fe5c4a250cc11fe44d0a4caabae908fbc44994335663955230296f695cbc", "nodefusion/model/resolve.py": "0c588760d0ec6494617007b02d786285ba190593935f574f6c53b99ad62ac8c0", "nodefusion/model/roles.py": "8d35b0497bd0b2d9abf639d9803fc6b7bd1e1ee5153c0f47ff53a26356dcc8c5", "nodefusion/model/rt.py": "3d62e9c6169e89a2593b29ff49919e84a2dda1df1b6fc16d3e54c7cc5d1744af", "nodefusion/model/snapshot.py": "e9c4ce76b858a9003e43d9eec363e1b88d4024338c3401b7a47a9871fe5dab7a", "nodefusion/model/symbols.py": "05812b00228ba601209ec909213381d47272efdbcac3957914f4590a1d705cfe", "nodefusion/model/watchsel.py": "bc3a9d6763950c265efaacce3f0c98194f54808d676b449c5b320b3a90cc7bf1", "nodefusion/tests/conftest.py": "2dfa19b096e309beadff0df9a05761d412ec6234e74968854292d7bfecf1b7a5", "nodefusion/tests/crosscheck_artifacts.py": "6ee173a31795c3875f93af0a0eaebcb27346c185c24e3f1d32846f5ca89d60a0", "nodefusion/tests/fuzz_trace.py": "af6189a6538747d369f982dfb86016f5e48842da0ce73f651b63c0b482b1c37e", "nodefusion/tests/kernelelf.py": "9a35d1389243849c6ed16f801a007568eb1304eee3d2cf3bcb8d1e38e12e2aed", "nodefusion/tests/stress_pagetable.py": "5db6d3671739ad5d0a3f76908049126185ea000726d0044d4d87ef215f26f737", "nodefusion/tests/test_absent_declaration.py": "535d4ace194fc5f923ba989e18634b55cffd0660eaefdfc7a59dcb4377eac266", "nodefusion/tests/test_analysis_lookup_cache.py": "aa4fbc0b8f06c64278bc5b11edf21cfe3ec737e3f0d88901b52478aca29765f3", "nodefusion/tests/test_analyze_alias.py": "345f6cbd8fae2a7c7729130460112a08a23599461234865f2da72055c3621064", "nodefusion/tests/test_arg_names.py": "a0f4cd7c7017da1926fc317d6c73bcb6bd4bacde579e3818fa277079991a4af4", "nodefusion/tests/test_artifact_guard.py": "8b53fababf688ceaf4afd1556d3c1352d3a13c60ea43fe14e3d3eae24698d1d0", "nodefusion/tests/test_artifact_output_safety.py": "cbed1bfa5928e7b12edc85b506f8018dd3216f017c43461525daf0a299bea9aa", "nodefusion/tests/test_bundle_shape.py": "34d227f2726d1820160288b225243b51fe3583839ff52ee245a814eb1c27f81d", "nodefusion/tests/test_cache_hit_contract.py": "087277fe75bf38d8e83453b3671da4825f7586382fc1fa5300b3dc79272fbee7", "nodefusion/tests/test_calibration_failure_reason.py": "02449f59da919dc09781a66ad57789a98775b3888d1480f4f3064b4d8a1139da", "nodefusion/tests/test_callstack.py": "f81c2f42b453d26287f1cbab835cff47a2722d8c62b486529fbbcfc20c94c872", "nodefusion/tests/test_capability_notes.py": "a2fb61afdc826c0c5408ea3b385761f896b27191e54881c3e10b10a2f01cc272", "nodefusion/tests/test_compact_capability_ui.py": "07542f2beb95353f3dd3861ca3ffcec93d1f46c966c3dd74c82d27fc3b6427ad", "nodefusion/tests/test_consolidate_artifacts.py": "5ffa4d01f5adb051f2153c3097d2264dfa7c63533f4cf6c09159fc50cd843cdd", "nodefusion/tests/test_context_switch_snapshot.py": "db5c77b5ab4ad93d34a96266386dbeec80694db7482bfa5856c1547f773ccb9d", "nodefusion/tests/test_corpus_selection.py": "1717ce9682ecde7a05675b790914a8e5a590e1d83556944ddbfff1e38918d050", "nodefusion/tests/test_coverage_evidence.py": "fdbb041e7339f8d94a52a1833b01e315657a749e9bc7d21fee6a2724f23a86f3", "nodefusion/tests/test_demangle_v0.py": "9f91c7ab6d2f681368c63d2bde9109cb4dd501f4d5df3e1f728a7b8975a0b061", "nodefusion/tests/test_dwarf_generic_base.py": "f9204c883a298151406288885c32c04fd1e7db423fe6cb0747f0f4392ba0fef5", "nodefusion/tests/test_dwarf_tombstones.py": "ed608be359e8180a5355cafe93e64d417543cc014461710f55fcd5997bef7295", "nodefusion/tests/test_dwarfsrc_location.py": "bcd7c6e8cf00a086fd9c712ffa35aebfbb4e09aaf20ddaedc4f2f5b41604cad9", "nodefusion/tests/test_elf_archive.py": "573747576adf2bf4daf66d5f99b6a149eff663ebcd6743b79b4b39d57d20dda5", "nodefusion/tests/test_elfid.py": "3efd46b3688e79f7ccc376abb32f20b495b7c074dbd84c5181d67fade3db729c", "nodefusion/tests/test_event_kind_pairs_measured_from_runs.py": "ef1a4ce55dc22b8f1073f3d4ac9120b30c68cf0877ba6e4dc5788f81217cdf55", "nodefusion/tests/test_event_kind_registry.py": "276bb984ee002622d0284558df13234328a3779853c5b1681d71d827069bfd9d", "nodefusion/tests/test_event_kinds.py": "7d066f949905b4df866f0ebfa3ead6cc3b78c7d8416d8b0a5660332dd2f6ef47", "nodefusion/tests/test_event_snapshot_throttle.py": "2709d806da483ef8bcdb57ddb6c59a73da83a859b793d7cd5d15891ccfcedd87", "nodefusion/tests/test_event_when_branches.py": "0b866c908cbc40deca18830293d161eb9b1f3401792d3fed1b1041e7e9b5e2de", "nodefusion/tests/test_exec_iter_map.py": "026e1e908df1884c4d241902c845dd72a43c095e5ab28e94fb7069f621698562", "nodefusion/tests/test_exec_walk.py": "67fc662f5b36cff81c1c1ab6a1dfe842081a05a1c3f69a64e8d212da0b7cb985", "nodefusion/tests/test_func_events_scope.py": "de9f69b6673c312537ce72cfd6c91baa4355749558609ca0b696c21d8f790198", "nodefusion/tests/test_kernel_elf_fixture.py": "ada3976b4b49734884bdb9b3844886e92251240671fe8ae219ed1f70c32c935b", "nodefusion/tests/test_kernel_image_fit.py": "32c7bd1bf3b66c7071b36582ca32838af2777157f1ae999a46785e6a39675476", "nodefusion/tests/test_kernel_integrations.py": "ec42c43dca4a41d6456915b698cd688097fda34438a57057faa74bf10236ee86", "nodefusion/tests/test_kernel_view.py": "4cc544296573cab8df9858947e6d7040fb22aba4b29aac1b43a565b39d9e7ab5", "nodefusion/tests/test_kind_three_states.py": "64764f687af895b3b37bc69179f2729f49efe2fb5fc5a24ecc09c41ea38e70ed", "nodefusion/tests/test_layout_routing.py": "14631aae85b75dcb1c1c5cec92c344f1c01433e2ae6eb90a3c105ac583372a5c", "nodefusion/tests/test_list_arceos.py": "22dbff8051cf7076ad5be6f919ed6d9a0c7a70bd1b6e09ca2f6589b5fb94493f", "nodefusion/tests/test_list_wiring.py": "e5f187b746738a5ca027936468df8ab7d2e48e32fe550eca3fa57f217c60d5cb", "nodefusion/tests/test_manifest_docs.py": "9be0200ca41d0f0512519356c81911cbbaf2aca63530d99e2aba53de9a1eea37", "nodefusion/tests/test_manifest_lint.py": "ad03a1e3519feb79fbeacdbe6576f90b05e7c6c9cb3034c44bd1032163b69888", "nodefusion/tests/test_manifest_roles.py": "b1a8fca196f9b37b614f3cd39abe33ad64c58894d1c933996d553c8f573d147e", "nodefusion/tests/test_manifest_vocabulary.py": "834eb61d446df47b1c6ebcd4e8a7347eabc24486da052b4be8f5b0660b0f631d", "nodefusion/tests/test_metric_deps_are_kinds_not_xv6_names.py": "07f411bb3fcbb14c2eb6c222f4a4928426a86a45d82f11cb242130c49eb6c717", "nodefusion/tests/test_no_build.py": "f831e3504531cdd9f8f588428e7a7e86fa420bdee27cbf74522fac05bb27d6fa", "nodefusion/tests/test_pagetable_arch.py": "9946ed7788d72107d6c6ea81fa4204843e1a0ae291add95259f3e96a0f661eb2", "nodefusion/tests/test_path_index_gate.py": "8486e4f1d0d8f91800321a7907ae6797a59d6576cae0614c8db6f91c8ecee9ae", "nodefusion/tests/test_percpu_layout.py": "4ecfcf97552e678173bca5fe81eb661bc7f417ba2f4ea4de3c540ba956152495", "nodefusion/tests/test_percpu_runtime_layout.py": "ba54784385c6a6716eb3f3317635c8b2dd09b40e5e3e5e6112ca5b92d4e7c62c", "nodefusion/tests/test_phys_alloc_gate.py": "a9a2a0b654cc803871d3702c25d2cfae95f8b1d3d8a881f00579fb3a0ef2fd02", "nodefusion/tests/test_plan_iter_map.py": "58fcacc67e31cf6638ce4d846dccf32312ae17caed1d9470d0ba468fd95a4b5a", "nodefusion/tests/test_plan_percpu.py": "5ece34163ede167484cc5edd5d3255d8514935af7a385b171b1b64c6e928140e", "nodefusion/tests/test_plan_steps.py": "0241755b6c85983779fad700e2eba5332ab595cc64e6297e8358ba4d15f9dfb7", "nodefusion/tests/test_procs_gate.py": "8acd3d3e2398fcd008dd4f5bae735183008eb4cecf6f4c09d0fffaefdf50cd8d", "nodefusion/tests/test_procview.py": "9f48157ccc96833a83a42f2f3c3eb26a82bd7f6918c0c3c91a6052c5d9657428", "nodefusion/tests/test_profile_from_manifest.py": "9f7cf3aa6cb931445e9e6c763bf2c30b1505e4b728f759514033994b5b60b16c", "nodefusion/tests/test_rcore_fs_vocabulary.py": "48c49c9f091d4c964715cf55216b8354ea59697a0ef58ec18850f5e8e89f80c5", "nodefusion/tests/test_rcore_inlined_halves.py": "fd61e489c857fcaa5cdbe2466e74b1ba6a547eb7b18fd12fbda80ce927c6f516", "nodefusion/tests/test_readers_containers.py": "b0f882dd388f9bc3796b8f5d8c29d72c7dd6b5d8b7866055f810a7bbb2295d2f", "nodefusion/tests/test_readers_pointers.py": "e15d27e41ca320d960720f6760ffd0ff6216f658c74ab373148dc3307fa24fd8", "nodefusion/tests/test_readers_registry.py": "b139bcca13c15f203e73a427d9d6dc5804b97fc76a28d14025325f191cc4a6a5", "nodefusion/tests/test_readers_scalars.py": "3a15bf0648767fb8e7d24044aeb61eb312ace64ab51f834e0a2dfe39072b9cd5", "nodefusion/tests/test_record_icount.py": "b84db1f0c55683e9ccf8eaafdcef09dd37bb67a5fa555814d4d750ff97f844df", "nodefusion/tests/test_recording_tail.py": "833b8e33c6d111b49790beea1ba7ab81b23bd7ea907a2155f981967bcb61a614", "nodefusion/tests/test_regenerate_artifact.py": "4b2046cdcc98219c4181ca174f4ca02b6e3b5cfbfdd7bb6506c85112007e21f3", "nodefusion/tests/test_resolve.py": "7e26f572cfaa0576e626a7458a23fd8f911a3d766ecad3df7954ce6f78207230", "nodefusion/tests/test_resources.py": "0860476f362a770bd04355592a83fdb15aa9df3787c6c740d407cb8ee4fc817e", "nodefusion/tests/test_sampled_counts_are_not_exact.py": "7bd598eb07ef0b067cee3460ef0c61d18b8b918ae697d80b01617cf73eaf0a9a", "nodefusion/tests/test_shell_verdict.py": "22baff1ad7cb43b5c5574b424812c40b194e30e3800921429659f7b31cbe20f4", "nodefusion/tests/test_snapshot.py": "17ef07a10857516f2fd29186157b945ff67490d2cdac94166cf370e96171e034", "nodefusion/tests/test_source_combine.py": "506ebb5c6dda153e92b854887fb671cf4aa08d33fd8305b359139a1d38ee4349", "nodefusion/tests/test_spec_nftrace_registry.py": "c529a4ed1f86bee4951e4699b09d466d51a5bd0623accc49bff9abcfdf15e615", "nodefusion/tests/test_split_rawvec.py": "e80f55fc42e246f3f638979500c7c40548eb0f630c512a93b8eaa00df312eac4", "nodefusion/tests/test_switch_attribution.py": "c773376888e9dc2ce87ddbebc14ccb0649ea77da189319692e20aff16eddb73d", "nodefusion/tests/test_symbols_static_wrapper.py": "cf634a6545564e8949b9129cee0c5f01f3dcf60effd49883c3b908aa28af7f82", "nodefusion/tests/test_trace_complete.py": "ac33d1da9aba97c98c68502188522a253709e96cf3fbb8d3c94b85c661cea366", "nodefusion/tests/test_trace_streaming.py": "6c972f95a790afac5b9aa84320038bf0eab41b926126334db7290d095f2b1e10", "nodefusion/tests/test_units.py": "c5b167cca227c5620b958329f5461232bc73e22997e5fe58a02859bb3664feef", "nodefusion/tests/test_unobservable_does_not_speak_for_the_kernel.py": "448c03147a2306d8205762bdc9a9e0d9e8d5eb0e0c5199d17d80c2f076f87547", "nodefusion/tests/test_video_sections.py": "c84c17b471460ae45a25341a8f893768816f57a9eb94e9f9a90e7e20406c4a31", "nodefusion/tests/test_watchlist_wire.py": "1e01dd4fde92169c0ab1296dbd249865cddde4173ec8de3c71c39f61356f74c3", "nodefusion/tests/test_watchsel.py": "89c8bb635534d079e0502d1c118f32eaa806250d74195a9d99bb71d07aabcd2d", "nodefusion/tools/crosscheck_decoder.py": "2f69a3f636d910f93f24939bcd03b41d9b0a17184ce4a4b15250e00f65b47a28", "nodefusion/tools/crosscheck_dwarf.py": "b30ecfa371c6959b2522db6d9edabf7e0c7be238feef34ff9411d76a4b4fdf01", "nodefusion/tools/crosscheck_layout.py": "d77ebd7aaa1ace070392eca0051f1b34dbf65d08c355edf87101b7e449aa7106", "nodefusion/tools/crosscheck_offsetof.py": "732e30d19129e0a1f15e33a2c1f96d940abaa1a26829b8f0d7bc44bf873cdc87", "nodefusion/tools/crosscheck_procinfo.py": "c3d6dd588b28d9252ddb712dea0ab8d3212dffed7f9256b9b936860fa0dfb8a9", "nodefusion/tools/crosscheck_procs.py": "b497c8fd050c0d6d1e4154eda00c1eef05502d3826546b1165b8a740c6fee562", "nodefusion/tools/crosscheck_resources.py": "98b04ac869e3c9e38020728473d480b8ed0b15385bc1d530e466919807ad1ac3", "nodefusion/tools/crosscheck_watchsel.py": "52142d49e919f2f040371b404cabdef0d0edbbf977abdcb1af5063b910d0aad8", "nodefusion/tools/survey_chapters.py": "6952dbdb8036916acd17bd5f642ea0b62aa10cbbec2bb4227e58f5132683589b", "scripts/benchmark_trace.py": "0faf86ba735bc31a20ee8e7ae3d3aad8aef78f0f43cdd33e831658f4e2a71494", "scripts/consolidate_artifacts.py": "31700c7f0a1f21fef653e061115b0091aa1a4ce539b9baa9cb48ad914889dadd", "scripts/finalize_artifacts.py": "a10224f43e0554eeb347a201dfd29781fbe0a39b979f890cccbec65e76cea9eb", "scripts/regenerate_artifact.py": "aed10d1eedc5689b6fd68e84a9bb8ae0c98f7bb8456fd8bd280e8bae470b8e9a" }, "command": [ "/home/joseph/nf/venv313/bin/python", "-m", "scripts.regenerate_artifact", "--run", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed", "--out", "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/ucore-2026A-ch4-observed.html", "--replace", "--strict" ], "cwd": "/home/joseph/nf/education-2026A-20260927/tool", "driver_sha256": "651148608a0c4ad83ebaf460ef78eeb79aba97166193aecb15e9334123118e59", "source_archive": { "path": "/home/joseph/nf/education-2026A-20260927/ch4-ucore-kind-preserving-v5-analysis-source.tar.gz", "sha256": "49f00240c29221b9eda66f2c69664e61e73d186b71450f392b53abaaf4ebba06", "bytes": 624058 }, "previous_analysis_path": "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/analysis-before-kind-preserving-v5", "previous_html_sha256": "1aa0664ac95d30e9aceb7128bfc6edba790f187c72278d2d117e95058614cf89", "pre_v5_analysis_path": "/home/joseph/nf/education-2026A-20260927/runs/ucore-2026A-ch4-observed/analysis-before-kind-preserving-v5", "pre_v5_html_sha256": "1aa0664ac95d30e9aceb7128bfc6edba790f187c72278d2d117e95058614cf89", "source_sha256": { "trace.nfb": "3ee000651e226cf06b212766bc3e9dafa19fc2091931636ca13fe3e1e91c37d3", "manifest.json": "44fc19381441f675979fda9d06fe9467721806321e188a788d1dfcbf55c76680", "watchlist.json": "eddfa2bb3412f857c13f4bdd19a47278df3da882c1809c71bc3d417f69f14e33", "kernel_layout.json": "40c4f766845a829edbfbd30b1e99481bfd6b3b001ab27627f36792c8983d1324" }, "event_selection": { "applied": false, "policy": "kind-preserving/systematic-v5", "raw": 132930, "retained": 132930, "dropped": 0, "target_limit": 150000, "minimum_spare": 25000, "always_keep": "all events when the raw stream fits", "priority_raw": 66007, "spare_raw": 66923, "spare_budget": 0, "stride": 1, "retained_kinds": { "firmware.trap": 19, "func.allocpid": 6, "func.clean_bss": 1, "func.console_putchar": 987, "func.consputc": 478, "func.curr_proc": 295, "func.dummy": 273, "func.finished": 6, "func.freerange": 1, "func.kinit": 1, "func.kvmmap": 3, "func.loader_init": 1, "func.main": 1, "func.memset": 32390, "func.nftrace_allocator_state": 1, "func.nftrace_page_alloc": 103, "func.printf": 11, "func.printint": 33, "func.run_all_app": 1, "func.set_next_timer": 2, "func.threadid": 4, "func.timer_init": 1, "func.uvmcreate": 6, "func.walk": 32318, "interrupt.clock": 2, "interrupt.timer": 1, "kernel.shutdown": 1, "pagetable.map": 32287, "phys.alloc": 103, "phys.free": 32171, "proc.alloc": 6, "proc.exit": 6, "proc.initproc": 1, "sbi.call": 990, "sched.enter": 1, "sched.switch": 43, "sched.yield": 16, "sched.yield_to_scheduler": 21, "syscall.dispatch": 52, "syscall.enter": 52, "syscall.write": 31, "trap.init": 1, "trap.userret": 53, "trap.usertrap": 53, "vm.from_elf": 6, "vm.init": 1, "vm.kernel_init": 1, "vm.map": 27, "vm.translate_buffer": 31, "vm.translate_str": 31 }, "dropped_kinds": {} }, "function_entries": { "raw": 131765, "retained": 131765 }, "function_returns": { "raw": 293368, "matched": 131439, "nested_entries": 67780 } }, "original_report_observations": { "report_function_entries": { "raw": 131765, "retained": 131765 }, "report_function_returns": { "raw": 293368, "matched": 131439, "nested_entries": 67780 } }, "report_observation_refinement": { "command": [ "/Users/jsph273/.platformio/penv/bin/python", "/Users/jsph273/.local/state/nodefusion/education-2026A/package-ch4-sampling.py" ], "script_sha256": "7a1ee59aa32e67dbc849eed8a0b3552f916edfb6da0aca58b8a7aacae1e80ed3", "previous_sidecar_sha256": "ce1ebfb57b4a2e61851e072032e265b64e0fa68d116a9979cb4da4afc2595564", "fields": [ "report_function_entries", "report_function_returns" ], "basis": "same raw inputs, revised report event selection" } }