>
> The docs [1] [2] explain that in Windows 8.1 Preview, Driver Verifier should
be able to
> catch a recursive spinlock acquisition as a violation of DDI compliance rules.Why do you think you need a Verifier here, in the first place???
Verifier is good for catching random bugs like page faults at elevated IRQL,
i.e.the ones that may or may not
result in BSOD on any particular occasion, depending on the situation. Verifier
ensures that bugs like that
result in BSOD unconditionally (in this particular example, by paging out
pageable memory).However, recursive spinlock acquisition is not a random bug and will result in
a deadlock unconditionally.
Therefore, you don’t seem to need any tools to detect it, right…
Isn’t the outcome of a recursive spinlock acquire on machine not running the verifier a frozen machine? A BSoD + crash dump seems a much better outcome to me.
James