JP4698757B2 - ソフトウェアトランザクションのコミット順序および競合の管理 - Google Patents
ソフトウェアトランザクションのコミット順序および競合の管理 Download PDFInfo
- Publication number
- JP4698757B2 JP4698757B2 JP2009537403A JP2009537403A JP4698757B2 JP 4698757 B2 JP4698757 B2 JP 4698757B2 JP 2009537403 A JP2009537403 A JP 2009537403A JP 2009537403 A JP2009537403 A JP 2009537403A JP 4698757 B2 JP4698757 B2 JP 4698757B2
- Authority
- JP
- Japan
- Prior art keywords
- transaction
- commit
- transactions
- order
- predetermined
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 claims description 92
- 230000008569 process Effects 0.000 claims description 52
- 238000007726 management method Methods 0.000 description 20
- 238000010586 diagram Methods 0.000 description 13
- 230000006870 function Effects 0.000 description 8
- 230000007246 mechanism Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000003287 optical effect Effects 0.000 description 2
- 238000012545 processing Methods 0.000 description 2
- 230000009471 action Effects 0.000 description 1
- 230000004075 alteration Effects 0.000 description 1
- 238000004458 analytical method Methods 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 230000000903 blocking effect Effects 0.000 description 1
- 238000004891 communication Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 238000012913 prioritisation Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/466—Transaction processing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10—TECHNICAL SUBJECTS COVERED BY FORMER USPC
- Y10S—TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y10S707/00—Data processing: database and file management or data structures
- Y10S707/99931—Database or file accessing
- Y10S707/99933—Query processing, i.e. searching
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Advance Control (AREA)
Description
Claims (18)
- ソフトウェアトランザクショナルメモリシステム中でトランザクションに順序付けを適用する、コンピュータシステムに実装される方法であって、該方法は、前記コンピュータシステムの少なくとも1つのコンピューティングデバイスによって実施され、
複数の関連するトランザクションの実行の前の任意の時点で、所定のコミット順序を、前記複数の関連するトランザクションについて指定するステップと、
前記所定のコミット順序を使用して、コミット順序番号を前記複数の関連するトランザクションのそれぞれに提供するステップと、
共有ソフトウェアトランザクショナルメモリ中で複数のトランザクションを実行するステップであって、前記複数のトランザクションのそれぞれは、前記ソフトウェアトランザクショナルメモリ中で前記複数のトランザクションの他のトランザクションに関して原子的に実行されるステップを含み、
前記複数のトランザクションを実行するステップは、
前記複数の関連するトランザクションの第1のトランザクション、および、前記複数の関連するトランザクションの第2のトランザクションを実行するステップであって、前記第1のトランザクションの前記コミット順序番号は、前記第2のトランザクションの前記コミット順序番号とは異なるステップと、
前記ソフトウェアトランザクショナルメモリシステム中での前記複数のトランザクションの前記実行を管理するステップとを含み、
前記実行を管理ステップは、
前記第1のトランザクションと前記第2のトランザクションとの間の競合を検出するステップと、
前記競合を解決するステップとを含み、
前記競合を解決するステップは、
前記第2のトランザクションの前記コミット順序番号に基いて、前記第2のトランザクションをホールド状態にするステップと、
前記第1のトランザクションの前記コミット順序番号に基いて、前記第1のトランザクションをコミットするステップと、
前記第1のトランザクションがコミットされた後に、前記第2のトランザクションをコミットするステップと
によって、前記競合を解決するステップと
を含むことを特徴とする方法。 - 前記所定のコミット順序は、前記複数の関連するトランザクションが特定の線形順序でコミットするよう強いられる、前記複数の関連するトランザクションの所定の全体的順序付けを含むことを特徴とする請求項1に記載の方法。
- 前記所定のコミット順序は、前記複数の関連するトランザクションをコミットするための複数の許容可能な順序付けを特定する、前記複数の関連するトランザクションの所定の部分的順序付けを含むことを特徴とする請求項1に記載の方法。
- 前記所定のコミット順序を指定するステップの後に、コミットアービトレータによって、前記所定のコミット順序に関する1つまたは複数の順序付け値を追跡するステップであって、前記1つまたは複数の順序付け値は、前記複数の関連するトランザクションを互いにコミットする適切な順序付けを決定するために使用されるステップをさらに含むことを特徴とする請求項1に記載の方法。
- 前記複数の関連するトランザクションのうちの特定のトランザクションがコミットする準備ができたとき、前記1つまたは複数の順序付け値を前記特定のトランザクションに提供されたコミット順序番号と比較して、前記特定のトランザクションがコミットできるかどうか判定することを特徴とする請求項4に記載の方法。
- 前記所定のコミット順序は、動的に指定されることを特徴とする請求項1に記載の方法。
- 前記所定のコミット順序は、静的に指定されることを特徴とする請求項1に記載の方法。
- 前記所定のコミット順序を指定するステップの後に、コミットアービトレータによって、前記複数の関連するトランザクションのうちでコミットすることが許可されるべき次のトランザクションのコミット順序番号を表すnext−to−commitフィールドを追跡するステップをさらに含むことを特徴とする請求項1に記載の方法。
- 前記複数の関連するトランザクションのうちの特定のトランザクションがコミットする準備ができたとき、前記特定のトランザクションのコミット順序番号が、前記コミットアービトレータによって追跡される前記next−to−commitフィールドと同じ値を有するかどうか判定することを特徴とする請求項8に記載の方法。
- 前記特定のトランザクションの前記コミット順序番号と前記next−to−commitフィールドとが同じ値を有する場合は、前記コミットの続行を許可することを特徴とする請求項9に記載の方法。
- 前記コミットが続行して成功した後、前記コミットアービトレータは前記next−to−commitフィールドをシーケンスにおける次の数にインクリメントすることを特徴とする請求項10に記載の方法。
- 前記特定のトランザクションの前記コミット順序番号と前記next−to−commitフィールドとが同じ値を有さない場合は、前記特定のトランザクションが、先行トランザクションがコミットした後の、より後の時点でウェイクされるまで、前記特定のトランザクションをホールド状態にすることを特徴とする請求項9に記載の方法。
- 請求項1に記載の方法をコンピュータに実施させるためのコンピュータ実行可能命令を記憶していることを特徴とするコンピュータ可読媒体。
- ソフトウェアトランザクショナルメモリシステム中で順序付けによるコンテンション管理を提供する、コンピュータシステムに実装される方法であって、該方法は、前記コンピュータシステムの少なくとも1つのコンピューティングデバイスによって実施され、
複数のトランザクションの実行の前の任意の時点で、所定のコミット順序を、トランザクショングループ中で前記複数のトランザクションについて指定することと、
前記トランザクショングループの第1のトランザクションおよび第2のトランザクションを実行することであって、前記第1のトランザクションおよび前記第2のトランザクションは、ソフトウェアトランザクショナルメモリ中で他のトランザクションに関して原子的に実行されることと、
前記第1のトランザクションと前記第2のトランザクションとの間で競合が発生したときにコンテンション管理プロセスを呼び出すことと、
前記トランザクショングループ中の前記複数のトランザクションについて指定された前記所定のコミット順序にしたがって、前記第1のトランザクションと前記第2のトランザクションをコミットすることと
を含むことを特徴とする方法。 - 前記コンテンション管理プロセスを呼び出した後に、前記所定のコミット順序を使用して、前記トランザクショングループ中でそれぞれのコミット順序番号を前記複数のトランザクションに提供することと、
前記第1のトランザクションと前記第2のトランザクションとが同じトランザクショングループに含まれるかどうかを、前記コンテンション管理プロセスによって判定することと、
前記第1のトランザクションと前記第2のトランザクションとが同じトランザクショングループに含まれると判定された場合、前記第1のトランザクションに提供された前記コミット順序番号と、前記第2のトランザクションに提供された前記コミット順序番号とを比較することと、
前記第1のトランザクションと前記第2のトランザクションのうち、どちらがより低いコミット順序番号を有するかに基いて、前記第1のトランザクションと前記第2のトランザクションのうち、特定のトランザクションが続行されるのを許可することと
をさらに含むことを特徴とする請求項14に記載の方法。 - 請求項14に記載の方法をコンピュータに実施させるためのコンピュータ実行可能命令を記憶していることを特徴とするコンピュータ可読媒体。
- コンピュータ実行可能命令を記憶しているコンピュータ可読媒体であって、前記コンピュータ実行可能命令は、ソフトウェアトランザクショナルメモリシステムを有するコンピュータを制御して、
ソフトウェアトランザクショナルメモリ中で他のトランザクションに関して原子的に実行される第1のトランザクションと第2のトランザクションの実行の前の任意の時点で、所定のコミット順序を指定することと、
前記第1のトランザクションと前記第2のトランザクションとの間に競合が発生したときにコンテンション管理プロセスを呼び出すことと、
前記指定された所定のコミット順序に基いて、前記第1のトランザクションと前記第2のトランザクションとからコミットするトランザクションを決定することと、
前記決定されたトランザクションをコミットすることと
を含む方法を、前記コンピュータに実施させることを特徴とするコンピュータ可読媒体。 - 前記方法は、
前記コンテンション管理プロセスを呼び出した後に、ネストされたトランザクション内でコミット順序付けを実行することをさらに含むことを特徴とする請求項17に記載のコンピュータ可読媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/601,541 | 2006-11-17 | ||
US11/601,541 US7711678B2 (en) | 2006-11-17 | 2006-11-17 | Software transaction commit order and conflict management |
PCT/US2007/085035 WO2008064139A1 (en) | 2006-11-17 | 2007-11-17 | Software transaction commit order and conflict management |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2010510590A JP2010510590A (ja) | 2010-04-02 |
JP2010510590A5 JP2010510590A5 (ja) | 2010-12-02 |
JP4698757B2 true JP4698757B2 (ja) | 2011-06-08 |
Family
ID=39418139
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2009537403A Active JP4698757B2 (ja) | 2006-11-17 | 2007-11-17 | ソフトウェアトランザクションのコミット順序および競合の管理 |
Country Status (10)
Country | Link |
---|---|
US (1) | US7711678B2 (ja) |
EP (1) | EP2095225B1 (ja) |
JP (1) | JP4698757B2 (ja) |
KR (1) | KR101443930B1 (ja) |
CN (1) | CN101535950B (ja) |
BR (1) | BRPI0718463A2 (ja) |
CA (1) | CA2664041A1 (ja) |
RU (1) | RU2439663C2 (ja) |
TW (1) | TWI424313B (ja) |
WO (1) | WO2008064139A1 (ja) |
Families Citing this family (31)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
EP2232367A4 (en) * | 2007-12-12 | 2011-03-09 | Univ Washington | DETERMINIST MULTIPLE PROCESSING |
JP5624480B2 (ja) * | 2008-03-11 | 2014-11-12 | ユニバーシティ・オブ・ワシントン | 効率的な決定論的マルチプロセッシング(deterministicmultiprocessing) |
US9170844B2 (en) * | 2009-01-02 | 2015-10-27 | International Business Machines Corporation | Prioritization for conflict arbitration in transactional memory management |
US8266604B2 (en) * | 2009-01-26 | 2012-09-11 | Microsoft Corporation | Transactional memory compatibility management |
US8627292B2 (en) * | 2009-02-13 | 2014-01-07 | Microsoft Corporation | STM with global version overflow handling |
US9569254B2 (en) * | 2009-07-28 | 2017-02-14 | International Business Machines Corporation | Automatic checkpointing and partial rollback in software transaction memory |
US9639392B2 (en) * | 2013-12-17 | 2017-05-02 | Intel Corporation | Unbounded transactional memory with forward progress guarantees using a hardware global lock |
US8453120B2 (en) | 2010-05-11 | 2013-05-28 | F5 Networks, Inc. | Enhanced reliability using deterministic multiprocessing-based synchronized replication |
US8327185B1 (en) | 2012-03-23 | 2012-12-04 | DSSD, Inc. | Method and system for multi-dimensional raid |
US9870384B2 (en) | 2012-03-30 | 2018-01-16 | International Business Machines Corporation | Database system transaction management |
US10536458B2 (en) | 2012-11-13 | 2020-01-14 | Koninklijke Philips N.V. | Method and apparatus for managing a transaction right |
JP6021112B2 (ja) * | 2013-11-28 | 2016-11-02 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | 複数のスレッドで順序付きトランザクションを実行する方法、並びに、当該トランザクションを実行するためのコンピュータ及びそのコンピュータ・プログラム |
CN103914300B (zh) * | 2014-03-24 | 2017-04-05 | 深圳天珑无线科技有限公司 | 一种软件开发事务的实现方法及电子设备 |
US20150278123A1 (en) * | 2014-03-28 | 2015-10-01 | Alex Nayshtut | Low-overhead detection of unauthorized memory modification using transactional memory |
US10303525B2 (en) * | 2014-12-24 | 2019-05-28 | Intel Corporation | Systems, apparatuses, and methods for data speculation execution |
KR20170100643A (ko) * | 2014-12-31 | 2017-09-04 | 후아웨이 테크놀러지 컴퍼니 리미티드 | 트랜잭션 충돌 검출 방법과 장치 및 컴퓨터 시스템 |
US10540524B2 (en) | 2014-12-31 | 2020-01-21 | Mcafee, Llc | Memory access protection using processor transactional memory support |
CN105045563B (zh) * | 2015-06-19 | 2017-10-10 | 陕西科技大学 | 一种推测嵌套软件事务存储的冲突管理方法 |
US10180921B2 (en) | 2015-06-26 | 2019-01-15 | International Business Machines Corporation | Non-interfering transactions |
US10318430B2 (en) | 2015-06-26 | 2019-06-11 | International Business Machines Corporation | System operation queue for transaction |
US9792147B2 (en) * | 2015-07-02 | 2017-10-17 | International Business Machines Corporation | Transactional storage accesses supporting differing priority levels |
US9792148B2 (en) | 2016-01-07 | 2017-10-17 | International Business Machines Corporation | Prioritization of transactions based on execution progress |
JP6645348B2 (ja) | 2016-05-06 | 2020-02-14 | 富士通株式会社 | 情報処理装置、情報処理プログラム、及び情報処理方法 |
US10614019B2 (en) | 2017-04-28 | 2020-04-07 | EMC IP Holding Company LLC | Method and system for fast ordered writes with target collaboration |
US10466930B2 (en) * | 2017-04-28 | 2019-11-05 | EMC IP Holding Company LLC | Method and system for fast ordered writes with atomic multicast |
US10339062B2 (en) | 2017-04-28 | 2019-07-02 | EMC IP Holding Company LLC | Method and system for writing data to and read data from persistent storage |
US10289491B1 (en) | 2017-04-28 | 2019-05-14 | EMC IP Holding Company LLC | Method and system for implementing multi-dimensional raid in an extensible storage array to optimize performance |
US11182379B2 (en) | 2018-08-24 | 2021-11-23 | Oracle International Corporation | DAG based methods and systems of transaction processing in a distributed ledger |
JPWO2021251479A1 (ja) * | 2020-06-12 | 2021-12-16 | ||
US11822538B2 (en) | 2020-11-05 | 2023-11-21 | Oracle International Corporation | Systems and methods of transaction identification generation for transaction-based environment |
KR102567658B1 (ko) * | 2021-04-14 | 2023-08-16 | 주식회사 카카오뱅크 | 멀티 트랜잭션을 이용한 업무 컴포넌트 격리 개발 방법 및 시스템 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05197604A (ja) * | 1991-05-21 | 1993-08-06 | Digital Equip Corp <Dec> | マルチプロセッサ・コンピュータ及びその動作方法 |
JPH1049420A (ja) * | 1996-08-02 | 1998-02-20 | Fuji Xerox Co Ltd | データベース管理方法 |
JP2004532480A (ja) * | 2001-05-24 | 2004-10-21 | オラクル・インターナショナル・コーポレイション | リレーショナルデータベース内での同期式変更データキャプチャ |
JP2006501585A (ja) * | 2002-08-01 | 2006-01-12 | オラクル・インターナショナル・コーポレイション | 非同期情報共有システム |
Family Cites Families (24)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4884228A (en) * | 1986-10-14 | 1989-11-28 | Tektronix, Inc. | Flexible instrument control system |
US5701480A (en) | 1991-10-17 | 1997-12-23 | Digital Equipment Corporation | Distributed multi-version commitment ordering protocols for guaranteeing serializability during transaction processing |
US5241675A (en) | 1992-04-09 | 1993-08-31 | Bell Communications Research, Inc. | Method for enforcing the serialization of global multidatabase transactions through committing only on consistent subtransaction serialization by the local database managers |
US5335343A (en) | 1992-07-06 | 1994-08-02 | Digital Equipment Corporation | Distributed transaction processing using two-phase commit protocol with presumed-commit without log force |
JP3434405B2 (ja) * | 1996-03-19 | 2003-08-11 | 富士通株式会社 | 通信制御装置及び通信制御方法並びに中間通信制御ユニット |
CA2209549C (en) * | 1997-07-02 | 2000-05-02 | Ibm Canada Limited-Ibm Canada Limitee | Method and apparatus for loading data into a database in a multiprocessor environment |
US6456995B1 (en) | 1998-12-31 | 2002-09-24 | International Business Machines Corporation | System, method and computer program products for ordering objects corresponding to database operations that are performed on a relational database upon completion of a transaction by an object-oriented transaction system |
AU6784600A (en) * | 1999-08-17 | 2001-03-13 | Progress Software, Inc. | Concurrent commit lock |
US6557048B1 (en) * | 1999-11-01 | 2003-04-29 | Advanced Micro Devices, Inc. | Computer system implementing a system and method for ordering input/output (IO) memory operations within a coherent portion thereof |
US20040236659A1 (en) * | 1999-12-01 | 2004-11-25 | Cazalet Edward G. | Method and apparatus for an engine system supporting transactions, schedules and settlements involving fungible, ephemeral commodities including electrical power |
EP1197876A3 (en) * | 2000-10-13 | 2003-04-16 | Miosoft Corporation | Persistent data storage techniques |
GB0130399D0 (en) | 2001-12-19 | 2002-02-06 | Ibm | Message ordering in a messaging system |
US6754737B2 (en) | 2001-12-24 | 2004-06-22 | Hewlett-Packard Development Company, L.P. | Method and apparatus to allow dynamic variation of ordering enforcement between transactions in a strongly ordered computer interconnect |
US6785779B2 (en) | 2002-01-09 | 2004-08-31 | International Business Machines Company | Multi-level classification method for transaction address conflicts for ensuring efficient ordering in a two-level snoopy cache architecture |
US7685583B2 (en) | 2002-07-16 | 2010-03-23 | Sun Microsystems, Inc. | Obstruction-free mechanism for atomic update of multiple non-contiguous locations in shared memory |
US7076508B2 (en) | 2002-08-12 | 2006-07-11 | International Business Machines Corporation | Method, system, and program for merging log entries from multiple recovery log files |
US7146366B2 (en) * | 2002-09-13 | 2006-12-05 | Netezza Corporation | Distributed concurrency control using serialization ordering |
US6961821B2 (en) * | 2002-10-16 | 2005-11-01 | International Business Machines Corporation | Reconfigurable cache controller for nonuniform memory access computer systems |
US7010645B2 (en) * | 2002-12-27 | 2006-03-07 | International Business Machines Corporation | System and method for sequentially staging received data to a write cache in advance of storing the received data |
US6898685B2 (en) | 2003-03-25 | 2005-05-24 | Emc Corporation | Ordering data writes from a local storage device to a remote storage device |
US7136967B2 (en) * | 2003-12-09 | 2006-11-14 | International Business Machinces Corporation | Multi-level cache having overlapping congruence groups of associativity sets in different cache levels |
US7266571B2 (en) * | 2004-07-27 | 2007-09-04 | International Business Machines Corporation | Method and system for scheduling a partial ordered transactions for event correlation |
US7376675B2 (en) | 2005-02-18 | 2008-05-20 | International Business Machines Corporation | Simulating multi-user activity while maintaining original linear request order for asynchronous transactional events |
US7720891B2 (en) * | 2006-02-14 | 2010-05-18 | Oracle America, Inc. | Synchronized objects for software transactional memory |
-
2006
- 2006-11-17 US US11/601,541 patent/US7711678B2/en active Active
-
2007
- 2007-10-23 TW TW096139748A patent/TWI424313B/zh not_active IP Right Cessation
- 2007-11-17 JP JP2009537403A patent/JP4698757B2/ja active Active
- 2007-11-17 KR KR1020097010737A patent/KR101443930B1/ko active IP Right Grant
- 2007-11-17 EP EP07845108.5A patent/EP2095225B1/en active Active
- 2007-11-17 CA CA002664041A patent/CA2664041A1/en not_active Abandoned
- 2007-11-17 RU RU2009118454/08A patent/RU2439663C2/ru not_active IP Right Cessation
- 2007-11-17 BR BRPI0718463-8A patent/BRPI0718463A2/pt not_active IP Right Cessation
- 2007-11-17 WO PCT/US2007/085035 patent/WO2008064139A1/en active Application Filing
- 2007-11-17 CN CN2007800428099A patent/CN101535950B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05197604A (ja) * | 1991-05-21 | 1993-08-06 | Digital Equip Corp <Dec> | マルチプロセッサ・コンピュータ及びその動作方法 |
JPH1049420A (ja) * | 1996-08-02 | 1998-02-20 | Fuji Xerox Co Ltd | データベース管理方法 |
JP2004532480A (ja) * | 2001-05-24 | 2004-10-21 | オラクル・インターナショナル・コーポレイション | リレーショナルデータベース内での同期式変更データキャプチャ |
JP2006501585A (ja) * | 2002-08-01 | 2006-01-12 | オラクル・インターナショナル・コーポレイション | 非同期情報共有システム |
Also Published As
Publication number | Publication date |
---|---|
TWI424313B (zh) | 2014-01-21 |
EP2095225A4 (en) | 2010-10-20 |
KR20090082256A (ko) | 2009-07-29 |
US7711678B2 (en) | 2010-05-04 |
CN101535950B (zh) | 2012-06-20 |
CN101535950A (zh) | 2009-09-16 |
BRPI0718463A2 (pt) | 2013-12-10 |
JP2010510590A (ja) | 2010-04-02 |
EP2095225A1 (en) | 2009-09-02 |
RU2009118454A (ru) | 2010-11-20 |
TW200834303A (en) | 2008-08-16 |
US20080120484A1 (en) | 2008-05-22 |
EP2095225B1 (en) | 2017-11-01 |
KR101443930B1 (ko) | 2014-09-23 |
WO2008064139A1 (en) | 2008-05-29 |
CA2664041A1 (en) | 2008-05-29 |
RU2439663C2 (ru) | 2012-01-10 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4698757B2 (ja) | ソフトウェアトランザクションのコミット順序および競合の管理 | |
US7860847B2 (en) | Exception ordering in contention management to support speculative sequential semantics | |
TWI442233B (zh) | 使用交易以平行化循序框架之方法及用於記錄相關指令之電腦儲存媒體 | |
JP5813165B2 (ja) | トランザクションを用いるシーケンシャルフレームワークの並行化 | |
EP2176763B1 (en) | Memory transaction grouping | |
US9672077B2 (en) | Reentrant read-write lock algorithm | |
JP2010524133A (ja) | バッファリングされた書込みおよび強制的直列化順序を使用するトランザクショナルメモリ | |
Gudka | Lock Inference for Java | |
Le et al. | Combining Shared State with Speculative Parallelism in a Functional Language |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20101012 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20101012 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20101012 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20101102 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101105 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110203 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20110225 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110301 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4698757 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |