CVE-2026-23267

En el kernel de Linux, la siguiente vulnerabilidad ha sido resuelta: f2fs: corrige el problema de inconsistencia del flag IS_CHECKPOINTED causado por escrituras concurrentes de commit atómico y checkpoint Durante las pruebas SPO, al montar F2FS, se devolvió un error -EINVAL desde
f2fs_recover_inode_page. El problema ocurrió bajo el siguiente escenario Hilo A Hilo B
f2fs_ioc_commit_atomic_write - f2fs_do_sync_file // atómico = true - f2fs_fsync_node_pages : last_folio = inode folio : schedule before folio_lock(last_folio) f2fs_write_checkpoint - block_operations// writeback last_folio - schedule before f2fs_flush_nat_entries : set_fsync_mark(last_folio, 1) : set_dentry_mark(last_folio, 1) : folio_mark_dirty(last_folio) - __write_node_folio(last_folio) : f2fs_down_read(&sbi->node_write)//bloquea - f2fs_flush_nat_entries : {struct nat_entry}->flag |= BIT(IS_CHECKPOINTED) - unblock_operations : f2fs_up_write(&sbi->node_write) f2fs_write_checkpoint//retorna : f2fs_do_write_node_page()
f2fs_ioc_commit_atomic_write//retorna SPO El Hilo A llama a f2fs_need_dentry_mark(sbi, ino), y el last_folio ya ha
sido escrito una vez. Sin embargo, el {struct nat_entry}->flag no tenía
el IS_CHECKPOINTED establecido, causando que set_dentry_mark(last_folio, 1) y
se escriba last_folio de nuevo después de que el Hilo B termine f2fs_write_checkpoint. Después de SPO y el reinicio, se detectó que {struct node_info}->blk_addr
no era NULL_ADDR porque el Hilo B escribió exitosamente el checkpoint. Este problema solo ocurre en escenarios de escritura atómica. Para operaciones
fsync de archivos regulares, el folio debe estar sucio. Si
block_operations->f2fs_sync_node_pages envía exitosamente la escritura del folio,
esta ruta no se ejecutará. De lo contrario, f2fs_write_checkpoint deberá esperar
a que se complete el envío de la escritura del folio, ya que
sbi->nr_pages[F2FS_DIRTY_NODES] > 0. Por lo tanto, la situación en la que
f2fs_need_dentry_mark verifica que el {struct nat_entry}->flag sin el flag
IS_CHECKPOINTED, pero la escritura del folio ya ha sido enviada, no ocurrirá. Por lo tanto, para fsync de archivos atómicos, sbi->node_write debe adquirirse
a través de __write_node_folio para asegurar que el flag IS_CHECKPOINTED
indique correctamente que la escritura del checkpoint ha sido completada.