原文

Linuxカーネルにおいて、以下の脆弱性が修正されました。f2fs: nat_entryフラグの誤った使用によって引き起こされるfsckの不整合を修正しました。f2fs_need_dentry_mark()はチェックポイント経路との排他制御なしにnat_entryフラグを読み取るため、不正なinodeブロックのマーク状態を引き起こす可能性があります。シナリオは以下の通りです。ファイルAの作成・書き込み・fsync → チェックポイント書き込み - f2fs_do_sync_file // インラインinode - f2fs_write_inode // inodeフォリオがダーティ - f2fs_write_checkpoint - f2fs_flush_merged_writes - f2fs_sync_node_pages - f2fs_fsync_node_pages // ダーティなノードなし - f2fs_need_inode_block_update // trueを返す - f2fs_fsync_node_pages // inodeがダーティ化される - f2fs_need_dentry_mark // trueを返す - f2fs_flush_nat_entries - f2fs_write_checkpoint終了 - __write_node_folio // DENT_BIT_SHIFTが設定されたinode。SPOは「fsck --dry-run」で、inodeがすでにチェックポイントされているにもかかわらずDENT_BIT_SHIFTがセットされたままであるという状態を検出します。f2fs_need_dentry_mark()が観測する状態は、sbi-＞node_writeの取得後に__write_node_folio()で観測される状態と異なる場合があります。根本原因は、IS_CHECKPOINTEDおよびHAS_FSYNCED_INODEの意味論がチェックポイント書き込みが完全に完了して初めて保証されることにあります。このパッチでは、set_dentry_mark()を__write_node_folio()に移動し、sbi-＞node_writeロックで保護しています。