win32k system crash bug

this bug is in win32k.sys

you can see an interesting race condition in the win32k driver causing the system to crash.
The bug is in the locking mechanism of in the DirectComposition object.

If you call NtDCompositionDiscardFrame in a loop while calling NtDCompositionDestroyConnection and DiscardAllCompositionFrames in a loop it will cause a crash in the operating system.

How to Fix Blue Screen Of Death (BSOD) on Windows 10 - Easytutorial