В ядре Linux устранена следующая уязвимость:
ocfs2: исправлено отключение NULL h_transaction в ocfs2_assure_trans_credits.
[ОШИБКА]
Прямая запись в незаписанные экстенты может вызвать панику в ядре.
ocfs2_assure_trans_credits(), когда журнал прерывается во время DIO
завершение. Сбой — это общая ошибка защиты из-за нулевого указателя.
разыменование.
[ПРИЧИНА]
ocfs2_dio_end_io_write() циклически перебирает незаписанные экстенты прямой записи,
маркировка каждой записи под единым журнальным дескриптором. Если журнал
прерывается (например, после ошибки ввода-вывода) во время обработки дерева экстентов.
обновляется, дескриптор остается прерванным с указателем транзакции
очищено.
При слиянии экстентов этот сбой рассматривается как некритический и
сообщает об успехе, поэтому цикл продолжает использовать дескриптор.
ocfs2_assure_trans_credits() считывает оставшиеся кредиты дескриптора
без предварительной проверки, прервана ли обработка, и это читается
разыменовывает очищенный указатель транзакции.
[ИСПРАВЛЕНО]
Прерывание журнала записывается в самом дескрипторе, поэтому вызывающие
ожидается, что он будет проверять дескриптор, а не полагаться на возвращаемую ошибку. Заставьте ocfs2_assure_trans_credits() сделать это, как и другой журнал ocfs2.
помощники уже это делают и возвращают -EROFS, когда обработка дескриптора прерывается.
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: ocfs2: fix NULL h_transaction deref in ocfs2_assure_trans_credits [BUG] A direct write over unwritten extents can panic the kernel in ocfs2_assure_trans_credits() when the journal aborts during DIO completion. The crash is a general protection fault from a NULL pointer dereference. [CAUSE] ocfs2_dio_end_io_write() loops over a direct write's unwritten extents, marking each written under a single journal handle. If the journal aborts (for example after an I/O error) while the extent tree is being updated, the handle is left aborted with its transaction pointer cleared. The extent merge treats that failure as not critical and reports success, so the loop keeps using the handle. ocfs2_assure_trans_credits() reads the handle's remaining credits without first checking whether the handle is aborted, and that read dereferences the cleared transaction pointer. [FIX] A journal abort is recorded in the handle itself, so callers are expected to test the handle rather than rely on a returned error. Make ocfs2_assure_trans_credits() do that, as the other ocfs2 journal helpers already do, and return -EROFS when the handle is aborted.