JP2010532052A5 - - Google Patents

Claims (18)

1. トランザクショナルメモリシステムにおいて、入れ子型の子の親トランザクションを不正に失敗させることを回避するための方法であって、
   複数の入れ子トランザクションがロールバックするとき、書き込みロックが解放される毎にリリースカウントを追跡するステップと、
   親トランザクションの検証中に、前記リリースカウントを使用して、検証を失敗した楽観的読み取りが実際には有効であるかどうかを決定するステップと
   を含むことを特徴とする方法。
2. バージョン番号の差が前記リリースカウントに正確に一致している場合、前記失敗した検証は、実際には有効であることを特徴とする請求項１に記載の方法。
3. 前記リリースカウントは、書き込み停止補償マップにおいて追跡されることを特徴とする請求項１に記載の方法。
4. 前記書き込み停止補償マップは、前記複数の入れ子トランザクションの各々に対して作成されることを特徴とする請求項３に記載の方法。
5. 前記書き込み停止補償マップは、前記複数の入れ子トランザクションの個々の１つの入れ子トランザクションに対して、該個々の１つの入れ子トランザクションが最初にロールバックして書き込みロックを解放するときに作成されることを特徴とする請求項４に記載の方法。
6. 前記複数の入れ子トランザクションの各々に対する前記書き込み停止補償マップは、集約書き込み停止補償マップに集約されることを特徴とする請求項４に記載の方法。
7. 前記集約書き込み停止補償マップは、前記親トランザクションのトランザクションログを処理する間に、前記失敗した楽観的読み取りが実際には有効であるかどうかを判断するのに使用されることを特徴とする請求項６に記載の方法。
8. 前記親トランザクションの前記トランザクションログは、逆の順序で処理されることを特徴とする請求項７に記載の方法。
9. 入れ子トランザクションの書き込み停止補償マップを作成するステップと、
   前記入れ子トランザクションが書き込みロックを解放する回数を、前記書き込み停止補償マップに記録するステップと、
   親トランザクションの検証中に、前記書き込み停止補償マップを使用して、失敗した楽観的読み取りが実際には有効であるかどうかを判断するステップと
   をコンピュータに実行させるためのコンピュータ実行可能な命令を記憶したことを特徴とするコンピュータ記憶媒体。
10. 前記書き込み停止補償マップは、前記入れ子トランザクションが最初にロールバックして書き込みロックを解放するときに作成されることを特徴とする請求項９に記載のコンピュータ記憶媒体。
11. 前記失敗した楽観的読み取りは、バージョン番号の差が、前記入れ子トランザクションが前記書き込みロックを解放した回数に正確に一致している場合、実際には有効であることを特徴とする請求項９に記載のコンピュータ記憶媒体。
12. 前記書き込み停止補償マップは、前記親トランザクションのトランザクションログに保持されることを特徴とする請求項９に記載のコンピュータ記憶媒体。
13. 前記書き込み停止補償マップは、前記親トランザクションによって全ての楽観的読み取りが行われた後、前記入れ子トランザクションの開始時に、順序付けされることを特徴とする請求項１２に記載のコンピュータ記憶媒体。
14. 前記書き込み停止補償マップは、前記親トランザクションのロールバック中に、他の入れ子の子について作成された他の書き込み停止補償マップとともに集約されて、集約された書き込み停止補償マップを形成することを特徴とする請求項９に記載のコンピュータ記憶媒体。
15. 前記集約された書き込み停止補償マップは、前記親トランザクションのトランザクションログ内に配置されることを特徴とする請求項１４に記載のコンピュータ記憶媒体。
16. 前記集約された書き込み停止補償マップは、前記親トランザクションの前記トランザクションログを逆の順序で処理するとき、前記親トランザクションの前記トランザクションログに配置されることを特徴とする請求項１５に記載のコンピュータ記憶媒体。
17. トランザクションの検証中に書き込み停止補償マップを使用して入れ子トランザクションの親を不正に失敗させることを回避するための方法であって、
    親のログの処理中に、複数の入れ子の子トランザクションにおいて見つかった全ての書き込み停止補償マップを、集約された書き込み停止補償マップに集約するステップと、
    楽観的読み取りが、バージョン番号の不一致のために失敗した場合、前記集約された書き込み停止補償マップを参照して、前記複数の入れ子の子トランザクションの書き込みロックリリースカウントを取り出すステップと、
    バージョン番号の差が前記複数の入れ子の子トランザクションの前記書き込みロックリリースカウントに正確に一致するとき、前記楽観的読み取りは有効であるとするステップと
    を含むことを特徴とする方法。
18. 前記バージョン番号の差が前記入れ子の子トランザクションの前記書き込みロックリリースカウントに正確に一致しないとき、前記楽観的読み取りは無効であるとすることを特徴とする請求項１７に記載の方法。