{"evidence_level":"功能执行","scope":"finite Sv32 page-table/TLB and tiny data-cache model; no real trap entry, no kernel, no hardware TLB","page_size":4096,"superpage_size":4194304,"events":[{"event":"tlb_miss_page_walk","hart":"hart0","va":"0x401234","vpn":"0x401","pte_addresses":["root + 1 * 4","0x200004"],"pte":"0xc00c7","pa":"0x300234","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"data_cache_miss","label":"first_load_after_tlb_miss","pa":"0x300234","line_bytes":64,"tag":"0xc008"},{"event":"tlb_hit","hart":"hart0","va":"0x401234","pa":"0x300234","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"data_cache_hit","label":"second_load_after_tlb_hit","pa":"0x300234","line_bytes":64,"tag":"0xc008"},{"event":"page_fault","hart":"hart0","scause":"load_page_fault","stval":"0x401234","reason":"user_to_supervisor_page","pte_address":"tlb_cached_pte"},{"event":"page_fault","hart":"hart0","scause":"fetch_page_fault","stval":"0x401234","reason":"fetch_without_execute","pte_address":"tlb_cached_pte"},{"event":"page_fault","hart":"hart0","scause":"store_page_fault","stval":"0x401234","reason":"user_to_supervisor_page","pte_address":"tlb_cached_pte"},{"event":"page_fault","hart":"hart0","scause":"store_page_fault","stval":"0x800004","reason":"store_without_write","pte_address":"0x210000"},{"event":"page_fault","hart":"hart0","scause":"load_page_fault","stval":"0x1400010","reason":"supervisor_user_page_sum_clear","pte_address":"0x240000"},{"event":"tlb_miss_page_walk","hart":"hart0","va":"0x1400010","vpn":"0x1400","pte_addresses":["root + 5 * 4","0x240000"],"pte":"0xd00df","pa":"0x340010","access":"load","mode":"S","sum":true,"page_bytes":4096},{"event":"tlb_hit","hart":"hart0","va":"0x1400010","pa":"0x340010","access":"store","mode":"S","sum":true,"page_bytes":4096},{"event":"page_fault","hart":"hart0","scause":"fetch_page_fault","stval":"0x1400010","reason":"supervisor_fetch_user_page","pte_address":"tlb_cached_pte"},{"event":"tlb_miss_superpage_walk","hart":"hart0","va":"0x1800040","vpn1":"0x6","pte_addresses":["root + 6 * 4"],"pte":"0xe000cf","pa":"0x3800040","access":"load","mode":"S","sum":false,"page_bytes":4194304},{"event":"tlb_hit","hart":"hart0","va":"0x1802040","pa":"0x3802040","access":"load","mode":"S","sum":false,"page_bytes":4194304},{"event":"page_fault","hart":"hart0","scause":"load_page_fault","stval":"0xc00008","reason":"level0_invalid_or_nonleaf","pte_address":"0x220000"},{"event":"sfence_vma_local","hart":"hart0","before":3,"after":3,"va":"0xc00008"},{"event":"tlb_miss_page_walk","hart":"hart0","va":"0xc00008","vpn":"0xc00","pte_addresses":["root + 3 * 4","0x220000"],"pte":"0xc80c7","pa":"0x320008","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"tlb_miss_page_walk","hart":"hart0","va":"0x1000000","vpn":"0x1000","pte_addresses":["root + 4 * 4","0x230000"],"pte":"0xcc0c7","pa":"0x330000","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"tlb_miss_page_walk","hart":"hart1","va":"0x1000000","vpn":"0x1000","pte_addresses":["root + 4 * 4","0x230000"],"pte":"0xcc0c7","pa":"0x330000","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"sfence_vma_local","hart":"hart0","before":5,"after":4,"va":"0x1000000"},{"event":"tlb_miss_page_walk","hart":"hart0","va":"0x1000000","vpn":"0x1000","pte_addresses":["root + 4 * 4","0x230000"],"pte":"0xcc4c7","pa":"0x331000","access":"load","mode":"S","sum":false,"page_bytes":4096},{"event":"tlb_hit","hart":"hart1","va":"0x1000000","pa":"0x330000","access":"load","mode":"S","sum":false,"page_bytes":4096}],"trap_count":7,"remote_stale_translation":{"va":"0x1000000","hart0_after_local_sfence":"0x331000","hart1_without_remote_sfence":"0x330000"},"unsupported_features":["MXR full matrix","ASID/global entries","PMP","hardware A/D update","concurrent page-table walk races"],"environment":{"python":"3.14.4","platform":"macOS-27.0-arm64-arm-64bit-Mach-O"}}