タイトルのドライバーは、PCIe カードと連携して、外界から PC にデータを取得します。
ドライバは起動時に数十 MB のメモリを割り当て、ユーザー プログラムはこれらのメモリを独自のアドレス空間にマップできます。その後、データはカードによってそこに配置され、ユーザー プログラムがアクセスできるようになります。
私の質問：
- ユーザー プログラムがメモリをマップした後にクラッシュした場合、または終了する前にメモリをマップ解除するのを忘れた場合、リソース リークが発生しますか?
- 最初の質問の答えが正しい場合、リークを回避するためにドライバーでできることはありますか?
任意の提案をいただければ幸いです。