CD
это можно попробовать воспроизвести так: запихиваем в очередь элемент, который в деструкторе ставит атомарный флаг без барьера, а в конце = очень аккуратно ассертит этот флаг (скажем, if (destroyed) std::terminate()
Size: a a a
2021 March 18
CD
ну и какой-нибудь странный способ генерации +- случайного таймаута длительности =
CD
Деаллокация все-таки происходит в рамках аллокатора со стеком узлов, которые не отдаются ОС...
если объект будет сильно нетривиальным, ему может не понравиться результат такого присваивания
CD
здесь вопрос - на какой структуре хранимого элемента вы находите ошибку
D
если объект будет сильно нетривиальным, ему может не понравиться результат такого присваивания
Там есть требование на trivially_destructible и trivially_copyable :)
D
здесь вопрос - на какой структуре хранимого элемента вы находите ошибку
Указатель
CD
Там есть требование на trivially_destructible и trivially_copyable :)
ладно)
CD
Там есть требование на trivially_destructible и trivially_copyable :)
а ошибка именно неверные значения на выходе, не провал аллокатора типа use-after-free?
D
а ошибка именно неверные значения на выходе, не провал аллокатора типа use-after-free?
Ошибка - пропажа элементов
CD
Ошибка - пропажа элементов
то есть множество push не совпадает с множеством pop?
D
то есть множество push не совпадает с множеством pop?
Да. Остальной код корректен (по крайней мере, не использует общих данных, кроме атомарного флага
stop и обращений к ядру ОС, и адекватно работает, если заменить текущую очередь на что-нибудь с мьютексом/спинлоком)CD
Да. Остальной код корректен (по крайней мере, не использует общих данных, кроме атомарного флага
stop и обращений к ядру ОС, и адекватно работает, если заменить текущую очередь на что-нибудь с мьютексом/спинлоком)на всякий случай - тест использует только операции push/pop?
D
на всякий случай - тест использует только операции push/pop?
Да
CD
Да
хм... но если элементы пропали, они утекли из аллокатора? можно, наверное, попробовать замаркировать судьбу каждого элемента по веткам
D
хм... но если элементы пропали, они утекли из аллокатора? можно, наверное, попробовать замаркировать судьбу каждого элемента по веткам
Из аллокатора элементы не утекли, и это выглядит хорошей идеей для проверки
Он освобождает свой стек узлов лишь в деструкторе (в текущей реализации - при выгрузке драйвера), а ОС не позволит выгрузиться до освобождения всех IRP (указатели на которые и хранятся в очереди)
Он освобождает свой стек узлов лишь в деструкторе (в текущей реализации - при выгрузке драйвера), а ОС не позволит выгрузиться до освобождения всех IRP (указатели на которые и хранятся в очереди)
CD
Из аллокатора элементы не утекли, и это выглядит хорошей идеей для проверки
Он освобождает свой стек узлов лишь в деструкторе (в текущей реализации - при выгрузке драйвера), а ОС не позволит выгрузиться до освобождения всех IRP (указатели на которые и хранятся в очереди)
Он освобождает свой стек узлов лишь в деструкторе (в текущей реализации - при выгрузке драйвера), а ОС не позволит выгрузиться до освобождения всех IRP (указатели на которые и хранятся в очереди)
Я имею в виду, что вызовов destroy_node должно быть не столько же, сколько create_data_node
D
Я имею в виду, что вызовов destroy_node должно быть не столько же, сколько create_data_node
Да, логично... Поставлю счётчик
D
Я имею в виду, что вызовов destroy_node должно быть не столько же, сколько create_data_node
Счётчики вызовов
А вот счетчик числа извлечений из очереди в единственном читателе - 0xBF
Дельта равна зафиксированному глобальным счётчиком значению IRP (инкрементится при получении запроса, декрементится при его завершении вызовом в ОС): 2шт "утекли"
destroy_node() и create_data_node() очереди оказались равны - в первом тесте 0xC1А вот счетчик числа извлечений из очереди в единственном читателе - 0xBF
Дельта равна зафиксированному глобальным счётчиком значению IRP (инкрементится при получении запроса, декрементится при его завершении вызовом в ОС): 2шт "утекли"
CD
Счётчики вызовов
А вот счетчик числа извлечений из очереди в единственном читателе - 0xBF
Дельта равна зафиксированному глобальным счётчиком значению IRP (инкрементится при получении запроса, декрементится при его завершении вызовом в ОС): 2шт "утекли"
destroy_node() и create_data_node() очереди оказались равны - в первом тесте 0xC1А вот счетчик числа извлечений из очереди в единственном читателе - 0xBF
Дельта равна зафиксированному глобальным счётчиком значению IRP (инкрементится при получении запроса, декрементится при его завершении вызовом в ОС): 2шт "утекли"
ЭЭЭ подождите, destroy_node и
create_data_node совпадают?