Nextロックとアンロック並行プログラミングでは、共有リソースに対する安全なロックとアンロックは本質的で意欲的な課題です。この章では、線形型がこの課題を解決するのに有効であることを具体的に説明します。リソースとなんらかのロックを含んだボックス化レコードです。それ自身が線形であることに注意してください。実装では、スピンロックで保護された線形共有リソースにはリファレンスカウントが内在しています。呼び出しはそれらの表現で使われていたメモリを解放し、その共有リソースに保存されていたリソースを返します。線形証明として導入されていることに注意してください。この線形証明は共有リソースは獲得の後に解放しなければならないことを、プログラマに気付かせます。線形スピンロックを表わすことに注意してください。[shared_ref]この実装が安全でないキャストをいくつか使っていることは明白です。そのようなキャストを使わない実装は可能だとしてもとても複雑になるでしょう。保管された整数の間に束縛を作る前にスピンロックを獲得しなければなりません。なければレースコーンディションの原因になります。ある場合、共有リソースが解放され、その中のスピンロックが破棄され、そして共有リソースの中にあったリソースが返ります。中身はスピンロック獲得後に読み出されていることに注目してください。これは重要な点で、さもなくばレースコンディションを引き起こします。中身を更新しています。ファイルはオンラインから入手できます。いうように動く3つのスレッドの実装も含んでいます。