os/verification-models.txt

配套源码，运行方法见同目录 README。返回实验总览。

test_alignment_and_illegal_pte_permissions (test_models.AddressTranslationTests.test_alignment_and_illegal_pte_permissions) ... ok
test_four_kib_page_offset_is_preserved (test_models.AddressTranslationTests.test_four_kib_page_offset_is_preserved) ... ok
test_huge_page_overlap_cannot_replace_mapping (test_models.AddressTranslationTests.test_huge_page_overlap_cannot_replace_mapping) ... ok
test_indexes_are_nine_bit_fields (test_models.AddressTranslationTests.test_indexes_are_nine_bit_fields) ... ok
test_missing_and_out_of_range_addresses (test_models.AddressTranslationTests.test_missing_and_out_of_range_addresses) ... ok
test_one_gib_leaf (test_models.AddressTranslationTests.test_one_gib_leaf) ... ok
test_permissions_and_user_bit (test_models.AddressTranslationTests.test_permissions_and_user_bit) ... ok
test_two_mib_leaf_preserves_twenty_one_bit_offset (test_models.AddressTranslationTests.test_two_mib_leaf_preserves_twenty_one_bit_offset) ... ok
test_child_write_preserves_parent_and_untouched_bytes (test_models.CopyOnWriteTests.test_child_write_preserves_parent_and_untouched_bytes) ... ok
test_exit_order_never_frees_shared_live_page (test_models.CopyOnWriteTests.test_exit_order_never_frees_shared_live_page) ... ok
test_fork_does_not_copy_data_pages (test_models.CopyOnWriteTests.test_fork_does_not_copy_data_pages) ... ok
test_fork_of_already_cow_mapping_preserves_cow_bit (test_models.CopyOnWriteTests.test_fork_of_already_cow_mapping_preserves_cow_bit) ... ok
test_kernel_copyout_resolves_cow_on_each_crossed_page (test_models.CopyOnWriteTests.test_kernel_copyout_resolves_cow_on_each_crossed_page) ... ok
test_last_reference_can_become_writable_without_copy (test_models.CopyOnWriteTests.test_last_reference_can_become_writable_without_copy) ... ok
test_oom_during_cow_preserves_mapping_and_data (test_models.CopyOnWriteTests.test_oom_during_cow_preserves_mapping_and_data) ... ok
test_original_readonly_page_remains_readonly_after_fork (test_models.CopyOnWriteTests.test_original_readonly_page_remains_readonly_after_fork) ... ok
test_parent_write_preserves_child (test_models.CopyOnWriteTests.test_parent_write_preserves_child) ... ok
test_repeated_forks_writes_and_exits_reclaim_every_page (test_models.CopyOnWriteTests.test_repeated_forks_writes_and_exits_reclaim_every_page) ... ok
test_unmapped_write_does_not_allocate (test_models.CopyOnWriteTests.test_unmapped_write_does_not_allocate) ... ok

----------------------------------------------------------------------
Ran 19 tests in 0.001s

OK