5sphinx.addnodesdocument)}( rawsourcechildren]( translations LanguagesNode)}(hhh](h pending_xref)}(hhh]docutils.nodesTextEnglish}parenthsba attributes}(ids]classes]names]dupnames]backrefs] refdomainstdreftypedoc reftarget/mm/mmu_notifiermodnameN classnameN refexplicitutagnamehhh ubh)}(hhh]hChinese (Traditional)}hh2sbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget#/translations/zh_TW/mm/mmu_notifiermodnameN classnameN refexplicituh1hhh ubh)}(hhh]hItalian}hhFsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget#/translations/it_IT/mm/mmu_notifiermodnameN classnameN refexplicituh1hhh ubh)}(hhh]hJapanese}hhZsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget#/translations/ja_JP/mm/mmu_notifiermodnameN classnameN refexplicituh1hhh ubh)}(hhh]hKorean}hhnsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget#/translations/ko_KR/mm/mmu_notifiermodnameN classnameN refexplicituh1hhh ubh)}(hhh]hSpanish}hhsbah}(h]h ]h"]h$]h&] refdomainh)reftypeh+ reftarget#/translations/sp_SP/mm/mmu_notifiermodnameN classnameN refexplicituh1hhh ubeh}(h]h ]h"]h$]h&]current_languageChinese (Simplified)uh1h hh _documenthsourceNlineNubhsection)}(hhh](htitle)}(h'什么时候需要页表锁内通知？h]h'什么时候需要页表锁内通知？}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhhhP/var/lib/git/docbuild/linux/Documentation/translations/zh_CN/mm/mmu_notifier.rsthK ubh paragraph)}(h当清除一个pte/pmd时，我们可以选择通过在页表锁下（通知版的\*_clear_flush调用 mmu_notifier_invalidate_range）通知事件。但这种通知并不是在所有情况下都需要的。h]h当清除一个pte/pmd时，我们可以选择通过在页表锁下（通知版的*_clear_flush调用 mmu_notifier_invalidate_range）通知事件。但这种通知并不是在所有情况下都需要的。}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hX对于二级TLB（非CPU TLB），如IOMMU TLB或设备TLB（当设备使用类似ATS/PASID的东西让 IOMMU走CPU页表来访问进程的虚拟地址空间）。只有两种情况需要在清除pte/pmd时在持有页 表锁的同时通知这些二级TLB：h]hX对于二级TLB（非CPU TLB），如IOMMU TLB或设备TLB（当设备使用类似ATS/PASID的东西让 IOMMU走CPU页表来访问进程的虚拟地址空间）。只有两种情况需要在清除pte/pmd时在持有页 表锁的同时通知这些二级TLB：}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh block_quote)}(hA) 在mmu_notifier_invalidate_range_end()之前，支持页的地址被释放。 B) 一个页表项被更新以指向一个新的页面（COW，零页上的写异常，__replace_page()，...）。 h]henumerated_list)}(hhh](h list_item)}(hM在mmu_notifier_invalidate_range_end()之前，支持页的地址被释放。h]h)}(hhh]hM在mmu_notifier_invalidate_range_end()之前，支持页的地址被释放。}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhubah}(h]h ]h"]h$]h&]uh1hhhubh)}(hq一个页表项被更新以指向一个新的页面（COW，零页上的写异常，__replace_page()，...）。 h]h)}(hp一个页表项被更新以指向一个新的页面（COW，零页上的写异常，__replace_page()，...）。h]hp一个页表项被更新以指向一个新的页面（COW，零页上的写异常，__replace_page()，...）。}(hhhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhubah}(h]h ]h"]h$]h&]uh1hhhubeh}(h]h ]h"]h$]h&]enumtype upperalphaprefixhsuffix)uh1hhhubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hv情况A很明显，你不想冒风险让设备写到一个现在可能被一些完全不同的任务使用的页面。h]hv情况A很明显，你不想冒风险让设备写到一个现在可能被一些完全不同的任务使用的页面。}(hj"hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hM情况B更加微妙。为了正确起见，它需要按照以下序列发生:h]hM情况B更加微妙。为了正确起见，它需要按照以下序列发生:}(hj0hhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(hr- 上页表锁 - 清除页表项并通知 ([pmd/pte]p_huge_clear_flush_notify()) - 设置页表项以指向新页 h]h bullet_list)}(hhh](h)}(h 上页表锁h]h)}(hjIh]h 上页表锁}(hjKhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjGubah}(h]h ]h"]h$]h&]uh1hhjDubh)}(h?清除页表项并通知 ([pmd/pte]p_huge_clear_flush_notify())h]h)}(hj`h]h?清除页表项并通知 ([pmd/pte]p_huge_clear_flush_notify())}(hjbhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhj^ubah}(h]h ]h"]h$]h&]uh1hhjDubh)}(h设置页表项以指向新页 h]h)}(h设置页表项以指向新页h]h设置页表项以指向新页}(hjyhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhKhjuubah}(h]h ]h"]h$]h&]uh1hhjDubeh}(h]h ]h"]h$]h&]bullet-uh1jBhhhKhj>ubah}(h]h ]h"]h$]h&]uh1hhhhKhhhhubh)}(h如果在设置新的pte/pmd值之前，清除页表项之后没有进行通知，那么你就会破坏设备的C11或 C++11等内存模型。h]h如果在设置新的pte/pmd值之前，清除页表项之后没有进行通知，那么你就会破坏设备的C11或 C++11等内存模型。}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK hhhhubh)}(hB考虑以下情况（设备使用类似于ATS/PASID的功能）。h]hB考虑以下情况（设备使用类似于ATS/PASID的功能）。}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK#hhhhubh)}(h两个地址addrA和addrB，这样|addrA - addrB| >= PAGE_SIZE，我们假设它们是COW的 写保护（B的其他情况也适用）。h]h两个地址addrA和addrB，这样|addrA - addrB| >= PAGE_SIZE，我们假设它们是COW的 写保护（B的其他情况也适用）。}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK%hhhhubh literal_block)}(hX[Time N] -------------------------------------------------------------------- CPU-thread-0 {尝试写到addrA} CPU-thread-1 {尝试写到addrB} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {读取addrA并填充设备TLB} DEV-thread-2 {读取addrB并填充设备TLB} [Time N+1] ------------------------------------------------------------------ CPU-thread-0 {COW_step0: {mmu_notifier_invalidate_range_start(addrA)}} CPU-thread-1 {COW_step0: {mmu_notifier_invalidate_range_start(addrB)}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+2] ------------------------------------------------------------------ CPU-thread-0 {COW_step1: {更新页表以指向addrA的新页}} CPU-thread-1 {COW_step1: {更新页表以指向addrB的新页}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+3] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {preempted} CPU-thread-2 {写入addrA，这是对新页面的写入} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+3] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {preempted} CPU-thread-2 {} CPU-thread-3 {写入addrB，这是一个写入新页的过程} DEV-thread-0 {} DEV-thread-2 {} [Time N+4] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {COW_step3: {mmu_notifier_invalidate_range_end(addrB)}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+5] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {从旧页中读取addrA} DEV-thread-2 {从新页面读取addrB}h]hX[Time N] -------------------------------------------------------------------- CPU-thread-0 {尝试写到addrA} CPU-thread-1 {尝试写到addrB} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {读取addrA并填充设备TLB} DEV-thread-2 {读取addrB并填充设备TLB} [Time N+1] ------------------------------------------------------------------ CPU-thread-0 {COW_step0: {mmu_notifier_invalidate_range_start(addrA)}} CPU-thread-1 {COW_step0: {mmu_notifier_invalidate_range_start(addrB)}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+2] ------------------------------------------------------------------ CPU-thread-0 {COW_step1: {更新页表以指向addrA的新页}} CPU-thread-1 {COW_step1: {更新页表以指向addrB的新页}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+3] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {preempted} CPU-thread-2 {写入addrA，这是对新页面的写入} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+3] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {preempted} CPU-thread-2 {} CPU-thread-3 {写入addrB，这是一个写入新页的过程} DEV-thread-0 {} DEV-thread-2 {} [Time N+4] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {COW_step3: {mmu_notifier_invalidate_range_end(addrB)}} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {} DEV-thread-2 {} [Time N+5] ------------------------------------------------------------------ CPU-thread-0 {preempted} CPU-thread-1 {} CPU-thread-2 {} CPU-thread-3 {} DEV-thread-0 {从旧页中读取addrA} DEV-thread-2 {从新页面读取addrB}}hjsbah}(h]h ]h"]h$]h&] xml:spacepreserveuh1jhhhK*hhhhubh)}(h所以在这里，因为在N+2的时候，清空页表项没有和通知一起作废二级TLB，设备在看到addrA的新值之前 就看到了addrB的新值。这就破坏了设备的总内存序。h]h所以在这里，因为在N+2的时候，清空页表项没有和通知一起作废二级TLB，设备在看到addrA的新值之前 就看到了addrB的新值。这就破坏了设备的总内存序。}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK\hhhhubh)}(hXU当改变一个pte的写保护或指向一个新的具有相同内容的写保护页（KSM）时，将mmu_notifier_invalidate_range 调用延迟到页表锁外的mmu_notifier_invalidate_range_end()是可以的。即使做页表更新的线程 在释放页表锁后但在调用mmu_notifier_invalidate_range_end()前被抢占，也是如此。h]hXU当改变一个pte的写保护或指向一个新的具有相同内容的写保护页（KSM）时，将mmu_notifier_invalidate_range 调用延迟到页表锁外的mmu_notifier_invalidate_range_end()是可以的。即使做页表更新的线程 在释放页表锁后但在调用mmu_notifier_invalidate_range_end()前被抢占，也是如此。}(hjhhhNhNubah}(h]h ]h"]h$]h&]uh1hhhhK_hhhhubeh}(h]id1ah ]h"]'什么时候需要页表锁内通知？ah$]h&]uh1hhhhhhhhK ubeh}(h]h ]h"]h$]h&]sourcehuh1hcurrent_sourceN current_lineNsettingsdocutils.frontendValues)}(hN generatorN datestampN source_linkN source_urlN toc_backlinksentryfootnote_backlinksK sectnum_xformKstrip_commentsNstrip_elements_with_classesN strip_classesN report_levelK halt_levelKexit_status_levelKdebugNwarning_streamN tracebackinput_encoding utf-8-siginput_encoding_error_handlerstrictoutput_encodingutf-8output_encoding_error_handlerjerror_encodingutf-8error_encoding_error_handlerbackslashreplace language_codeenrecord_dependenciesNconfigN id_prefixhauto_id_prefixid dump_settingsNdump_internalsNdump_transformsNdump_pseudo_xmlNexpose_internalsNstrict_visitorN_disable_configN_sourceh _destinationN _config_files]7/var/lib/git/docbuild/linux/Documentation/docutils.confafile_insertion_enabled raw_enabledKline_length_limitM'pep_referencesN pep_base_urlhttps://peps.python.org/pep_file_url_templatepep-%04drfc_referencesN rfc_base_url&https://datatracker.ietf.org/doc/html/ tab_widthKtrim_footnote_reference_spacesyntax_highlightlong smart_quotessmartquotes_locales]character_level_inline_markupdoctitle_xform docinfo_xformKsectsubtitle_xform image_loadinglinkembed_stylesheetcloak_email_addressessection_self_linkenvNubreporterNindirect_targets]substitution_defs}substitution_names}refnames}refids}nameids}jjs nametypes}jsh}jhs footnote_refs} citation_refs} autofootnotes]autofootnote_refs]symbol_footnotes]symbol_footnote_refs] footnotes] citations]autofootnote_startKsymbol_footnote_startK id_counter collectionsCounter}j,KsRparse_messages]transform_messages] transformerN include_log] decorationNhhub.