Проверка очереди завершения администрирования переходит в бесконечный цикл (NVMe через PCIe)

Я ожидаю увидеть очистку TLB после изменения PDE. Что еще более важно, я ожидаю увидеть там некоторые барьеры памяти, например. между заполнением команды и ее отправкой, а также между отправкой команды и проверкой статуса. Вдобавок ко всему, такие функции, как nvme_init_identify, являются безумием с точки зрения языка C, если в них нет хотя бы какой-то изменчивости (см. godbolt.org/z/5z4eqW94d, чтобы узнать, как компилятор C это исказит).

Как упомянул Андрей, каждый раз, когда вы получаете доступ к аппаратному регистру через указатель, на нем должен быть volatile. (например) val = *((volatile uint32_t *) addr); Для удобства вы можете обернуть это в макрос или встроенную функцию.

использование ключевого слова volatile не помогает ему работать на моей реальной машине. Я исправил функцию получения базового адреса nvme, и теперь она работает в qemu. Но как заставить его работать на моей реальной машине? Хотя спасибо за предложения.

@AndreyTurkin из моего последнего комментария от 27 мая, не могли бы вы рассказать мне, что еще я могу попробовать?

Уже сделал, ты просто проигнорировал. Барьеры памяти? Вы добавили volatiles... отлично, теперь ваш компилятор делает то, что вы хотите. Также есть процессор, который может свободно переупорядочивать/разделять/объединять операции чтения и записи в каком-то диком и удивительном порядке, и устройства MMIO не могут с этим жить (qemu - это эмуляция на основе процессора, поэтому он всего этого не видит). Работать с MMIO довольно сложно! Гуглите, как это сделать правильно. Вот прискорбно маленькое резюме на osdev: wiki.osdev.org/Memory_mapped_registers_in_C/C++ , а вот довольно умопомрачительная история о Linux: lwn.net/Articles/698014

Спасибо @AndreyTurkin. Раньше я не понимал, как использовать барьеры памяти. На этот раз по предоставленной вами ссылке osdev я добавил барьеры памяти GCC asm volatile ("": : :"memory"); в места, которые вы упомянули ранее. Он до сих пор не работает :(