しばらく実行した後に Cuda のメモリ不足例外をスローするスクリプトがいくつかあります。それらの内部では、事前に割り当てられた配列を使用しているため、これが問題になるとは思っていませんでした。それにもかかわらず、スクリプトを .fs ファイルに変換してコンパイルした後、プロファイラーはこのタスクには特に役に立たず、cuda-memcheck ツール 6.5 (36) を使用すると CudaInterOp 例外がスローされました。cuda-memcheck 7.0 (40) は、GPU が故障したため、実際に PC を強制的にリセットさせました。
私は現時点で何をすべきかについて少し確信が持てません。Aleaでリークを修正するにはどうすればよいですか?