Форум на Исходниках.RU

KeWaitForSingleObject()

Qraizer — Thu, 11 Apr 2024 15:29:24 +0000

Qraizer: В такой редакции можно попасть на дидлук. Если – из-за кривых поинтеров, например, или неверной последовательности деинициализации – мьютекс перестанет существовать.

KeWaitForSingleObject()

GAGARIN — Thu, 11 Apr 2024 12:58:40 +0000

GAGARIN: atomic_bool не надо, в дампе памяти ядра будет видно захвачен мьютекс или нет, но дампа пока тоже нет)
Неверную синхронизацию перепроверил - там всё гут. Если бы не было гут, то за 12 лет эта проблема бы очень часто давала бы о себе знать.

Вобщем упростил работу со списком, там она вроде и верная была, но странная. И захват мьютекса сделал так:

VOID FooLock()

{

NTSTATUS Status = STATUS_SUCCESS;

PAGED_CODE();

{

Status = KeWaitForSingleObject(&FooMutex, Executive, KernelMode, FALSE, NULL);

} while (Status != STATUS_SUCCESS);

}

Так или иначе ответ на исходный вопрос получен, спасибо.

KeWaitForSingleObject()

Qraizer — Tue, 02 Apr 2024 14:31:35 +0000

Qraizer: Если точно не IRQL, тогда остаётся только отлаживаться. Можно завести std::atomic_bool, который выставлять после захвата/освобождения и чекать его перед.

P.S. Теоретически в программе может быть баг, связанный с неверной синхронизацией. Часто встречающаяся ошибка – захват объекта только при изменении общего ресурса и неиспользование захвата при только чтении.

KeWaitForSingleObject()

GAGARIN — Mon, 01 Apr 2024 21:24:41 +0000

GAGARIN: Спасибо за ответ. Нет, IRQL <= APC_LEVEL

KeWaitForSingleObject()

Qraizer — Mon, 01 Apr 2024 19:52:53 +0000

Qraizer: Теоретически нет, судя по параметрам. Другое дело, что я бы проверил IRQL. На уровнях вне DISPATCH_LEVEL объекты синхронизации не работают.

KeWaitForSingleObject()

GAGARIN — Mon, 01 Apr 2024 17:02:58 +0000

GAGARIN: Для синхронизации доступа к списку используется вот такое:

VOID FooLock()

{

NTSTATUS Status = STATUS_SUCCESS;

PAGED_CODE();

{

Status = KeWaitForSingleObject(&FooMutex, Executive, KernelMode, FALSE, NULL);

} while (Status == STATUS_ALERTED);

}

VOID FooUnlock()

{

PAGED_CODE();

KeReleaseMutex(&FooMutex, FALSE);

}

И работало всё это уже 12 лет, но вот начались сыпаться BSODы у кастомера о том, что список испорчен. Пока есть только минидамп, в нём нельзя понять захвачен ли мьютекс. Может ли KeWaitForSingleObject() вернуть какой-то статус типа STATUS_KERNEL_APC или иной и не захватить мьютекс?