В ядре Linux устранена следующая уязвимость:
ata: libata: отменить ожидающую работу после очистки deferred_qc
Syzbot сообщил о WARN_ON() в ata_scsi_deferred_qc_work(), вызванном
ap->ops->qc_defer() возвращает ненулевое значение перед выдачей отложенного qc.
ata_scsi_schedule_deferred_qc() вызывается при каждом завершении команды. Эта функция проверит, есть ли отложенный контроль качества, и есть ли
ap->ops->qc_defer() возвращает ноль, что означает, что можно поставить в очередь
отложенный контроль качества в это время (без отсрочки), затем он поставит в очередь
работа, которая выдаст отложенный контроль качества. Как только работа начнется, что потенциально может занять очень много времени после
работа была запланирована, есть WARN_ON(), если ap->ops->qc_defer() возвращает результат
ненулевой.
Пока мы удерживаем ap->lock как при назначении, так и при очистке deferred_qc,
а сама работа держит ap->lock, код на данный момент не отменяет
работа после очистки отложенного контроля качества. Это означает, что может произойти следующий сценарий:
1) Одна или несколько команд NCQ поставлены в очередь.
2) Команда, отличная от NCQ, ставится в очередь и сохраняется в ap->deferred_qc.
3) Последняя команда NCQ завершена, работа ставится в очередь для выдачи отложенной
КК.
4) Возникает тайм-аут или ошибка, ap->deferred_qc очищается. Работа в очереди
на данный момент НЕ отменено.
5) Порт сброшен.
6) Одна или несколько команд NCQ поставлены в очередь.
7) Команда, отличная от NCQ, ставится в очередь и сохраняется в ap->deferred_qc.
8) Работа наконец-то запущена.
Тем не менее, в настоящее время в системе все еще есть команды NCQ. полет. Работа в 8) действительно принадлежит не-NCQ команде в 2), а не команде команда, отличная от NCQ, в 7). Причина, по которой работа выполняется, когда она не выполняется предполагалось, потому что он никогда не отменялся при использовании ap->deferred_qc. очищено в 4).
Таким образом, убедитесь, что мы всегда отменяем работу после очистки
ap->deferred_qc. Другим потенциальным решением было бы позволить ata_scsi_deferred_qc_work() выполнять
ничего, если ap->ops->qc_defer() возвращает ненулевое значение. Однако отмена
работа при очистке ap->deferred_qc кажется немного более логичной, поскольку мы держим
блокировка ap-> при очистке ap->deferred_qc, поэтому мы знаем, что работа не может
держать замок. (Функция может ожидать блокировки, но это
это нормально, поскольку он ничего не сделает, если ap->deferred_qc не установлен.)
Показать оригинальное описание (EN)
In the Linux kernel, the following vulnerability has been resolved: ata: libata: cancel pending work after clearing deferred_qc Syzbot reported a WARN_ON() in ata_scsi_deferred_qc_work(), caused by ap->ops->qc_defer() returning non-zero before issuing the deferred qc. ata_scsi_schedule_deferred_qc() is called during each command completion. This function will check if there is a deferred QC, and if ap->ops->qc_defer() returns zero, meaning that it is possible to queue the deferred qc at this time (without being deferred), then it will queue the work which will issue the deferred qc. Once the work get to run, which can potentially be a very long time after the work was scheduled, there is a WARN_ON() if ap->ops->qc_defer() returns non-zero. While we hold the ap->lock both when assigning and clearing deferred_qc, and the work itself holds the ap->lock, the code currently does not cancel the work after clearing the deferred qc. This means that the following scenario can happen: 1) One or several NCQ commands are queued. 2) A non-NCQ command is queued, gets stored in ap->deferred_qc. 3) Last NCQ command gets completed, work is queued to issue the deferred qc. 4) Timeout or error happens, ap->deferred_qc is cleared. The queued work is currently NOT canceled. 5) Port is reset. 6) One or several NCQ commands are queued. 7) A non-NCQ command is queued, gets stored in ap->deferred_qc. 8) Work is finally run. Yet at this time, there is still NCQ commands in flight. The work in 8) really belongs to the non-NCQ command in 2), not to the non-NCQ command in 7). The reason why the work is executed when it is not supposed to, is because it was never canceled when ap->deferred_qc was cleared in 4). Thus, ensure that we always cancel the work after clearing ap->deferred_qc. Another potential fix would have been to let ata_scsi_deferred_qc_work() do nothing if ap->ops->qc_defer() returns non-zero. However, canceling the work when clearing ap->deferred_qc seems slightly more logical, as we hold the ap->lock when clearing ap->deferred_qc, so we know that the work cannot be holding the lock. (The function could be waiting for the lock, but that is okay since it will do nothing if ap->deferred_qc is not set.)