マッハで使用される遅延コピーの最適化。コピーするオブジェクトは一時的に読み取り専用にマークされます。スレッドは、そのオブジェクト内の任意のページに書き込みを試みると、トラップが発生し、カーネルのコピーのみ、ページを実際に変更されます。スレッドを参照してください。