windows - WDF驱动如何释放用户程序获取的资源？

Question

标题中的驱动程序与 PCIe 卡一起工作，以将一些数据从外部世界传输到 PC。

驱动程序在启动时会分配几十MB的内存，然后用户程序可以将这些内存映射到自己的地址空间，然后数据可以被卡放在那里，供用户程序访问。

我的问题：

1. 假设用户程序在映射内存后崩溃，或者在退出前忘记取消映射内存，这会导致任何资源泄漏吗？
2. 如果第一个问题的答案是正确的，那么驱动程序中是否可以采取任何措施来避免泄漏？

任何建议将不胜感激。