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

Question

标题中的驱动程序使用PCIe卡将一些数据从外部世界传输到PC。

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

我的问题：

1. 假设用户程序在映射内存后崩溃，或者在内存退出之前忘记取消映射内存，会导致任何资源泄漏吗？
2. 如果第一个问题的答案是真的，那么驾驶员可以做些什么来避免泄漏？

任何建议都将受到赞赏。