JP5129860B2 - 食い違い取り消しプロトコル - Google Patents
食い違い取り消しプロトコル Download PDFInfo
- Publication number
- JP5129860B2 JP5129860B2 JP2010525864A JP2010525864A JP5129860B2 JP 5129860 B2 JP5129860 B2 JP 5129860B2 JP 2010525864 A JP2010525864 A JP 2010525864A JP 2010525864 A JP2010525864 A JP 2010525864A JP 5129860 B2 JP5129860 B2 JP 5129860B2
- Authority
- JP
- Japan
- Prior art keywords
- message
- discrepancy
- protocol module
- cancellation
- remote
- 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.)
- Expired - Fee Related
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L65/00—Network arrangements, protocols or services for supporting real-time applications in data packet communication
- H04L65/1066—Session management
- H04L65/1101—Session protocols
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/14—Session management
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/10—Active monitoring, e.g. heartbeat, ping or trace-route
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L67/00—Network arrangements or protocols for supporting network services or applications
- H04L67/14—Session management
- H04L67/142—Managing session states for stateless protocols; Signalling session states; State transitions; Keeping-state mechanisms
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Health & Medical Sciences (AREA)
- Cardiology (AREA)
- General Health & Medical Sciences (AREA)
- Business, Economics & Management (AREA)
- General Business, Economics & Management (AREA)
- Multimedia (AREA)
- Mobile Radio Communication Systems (AREA)
- Computer And Data Communications (AREA)
Description
ノードBが、メッセージXを送出する前にメッセージ3を受信したならば、これらのノード間に正常な状態が維持される。しかし、メッセージ3とメッセージXとが食い違ったならば、又は、ノードBがメッセージ3を正常に受信してはいなかったならば、これらのノード間の状態は不正になる。こうした不正状態を回避する技術、システム及び方法が提供される。
こうした状況は、メッセージの食い違い状態又はメッセージ競争状態を生じる。この状況については、図8に関連して一層詳細に記述される。
Claims (18)
- 食い違い取り消しシステムであって、
デバイスと、
トランスポートに結合され、前記デバイス上で動作する第1の食い違い取り消しプロトコル・モジュールと
を備え、
前記第1の食い違い取り消しプロトコル・モジュールが、前記トランスポートを介して遠隔の第2の食い違い取り消しプロトコル・モジュールとの間でメッセージを送受信すると共に、アプリケーションと結合され、前記メッセージからのメッセージ・データを前記アプリケーションと交換するよう動作し、
前記第1の食い違い取り消しプロトコル・モジュールは、送出されるメッセージを形成する際及び受信されるメッセージを確認する際に使用される1組の状態変数であって、前記第1の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するよう構成されたナンス変数と、前記第2の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するよう構成されたリモート・ナンス変数と、前記第1の食い違い取り消しプロトコル・モジュールから前記第2の食い違い取り消しプロトコル・モジュールへ送出された最後のメッセージを一義的に識別するよう構成されたカウンター変数と、前記第2の食い違い取り消しプロトコル・モジュールから送出されて前記第1の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するよう構成されたリモート・カウンター変数とを含む状態変数を記憶し且つ維持し、
前記第1の食い違い取り消しプロトコル・モジュールが前記第2の食い違い取り消しプロトコル・モジュールから、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含む入力メッセージを受信したとき、前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数と前記第2の食い違い取り消しプロトコル・モジュールの前記状態変数とが一致しないことを検出すると、前記第1の食い違い取り消しプロトコル・モジュールは出力ピング・メッセージを前記第2の食い違い取り消しモジュールへ送出し、
前記出力ピング・メッセージが、前記食い違い取り消しプロトコル・モジュールの前記状態変数を表すフィールドを備えているが、アプリケーション・メッセージを備えておらず、
前記第1の食い違い取り消しプロトコル・モジュールは、前記出力ピング・メッセージの受信に応答して前記第2の食い違い取り消しプロトコル・モジュールから送出された、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含むメッセージを受信し、前記第2の食い違い取り消しプロトコル・モジュールの状態変数に基づいて前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数を更新して前記第1の食い違い取り消しプロトコル・モジュールを正常状態へ遷移させる
食い違い取り消しシステム。 - 前記第1の食い違い取り消しプロトコル・モジュールが前記第2の食い違い取り消しプロトコル・モジュールへ、前記第1の食い違い取り消しプロトコル・モジュールの状態変数を含む第1のメッセージを送出し、前記第1の食い違い取り消しプロトコル・モジュールが前記第2の食い違い取り消しプロトコル・モジュールから、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含む第2のメッセージを受信したとき、前記第1の食い違い取り消しプロトコル・モジュールの状態変数が前記第2のメッセージに含まれる状態変数と一致しないことが検出されたならば、前記第1のメッセージと前記第2のメッセージの間の食い違いが生じたものと判断し、前記第1のメッセージと前記第2のメッセージを削除する、請求項1に記載のシステム。
- 前記1組の状態変数のうちの前記ナンス変数が、それぞれの送出メッセージのヘッダーのナンス・フィールドにコピーされる、請求項1に記載のシステム。
- 前記1組の状態変数のうちの前記カウンター変数が、それぞれの送出メッセージのヘッダーのカウンター・フィールドにコピーされる、請求項1に記載のシステム。
- 前記第2の食い違い取り消しプロトコル・モジュールから受信されたメッセージのヘッダーのフィールドからの値が、前記1組の状態変数のうちの前記リモート・ナンス変数として記憶される、請求項1に記載のシステム。
- 前記第2の食い違い取り消しプロトコル・モジュールから受信されたメッセージのヘッダーのフィールドからの値が、前記1組の状態変数のうちの前記リモート・カウンター変数として記憶される、請求項1に記載のシステム。
- 前記第1の食い違い取り消しプロトコル・モジュールが、前記2つのメッセージの食い違いを検出したときに競争処理状態に入る、請求項2に記載のシステム。
- 前記第1の食い違い取り消しプロトコル・モジュールが、前記競争処理状態にあるときに、前記第2の食い違い取り消しプロトコル・モジュールに前記出力ピング・メッセージを送出し、
前記出力ピング・メッセージが、ナンス・フィールド、カウンター・フィールド、リモート・ナンス・フィールド及びリモート・カウンター・フィールドを含むヘッダーを備えているが、アプリケーション・メッセージを備えておらず、
前記ナンス・フィールドが前記ナンス変数のコピーを含み、
前記リモート・ナンス・フィールドが前記リモート・ナンス変数のコピーを含み、
前記カウンター・フィールドが前記カウンター変数のコピーを含み、
前記リモート・カウンター・フィールドが前記リモート・カウンター変数のコピーを含む、
請求項7に記載のシステム。 - 前記第1の食い違い取り消しプロトコル・モジュールが、正常状態にあるときにメッセージを送出し、
前記メッセージが、ナンス・フィールド、カウンター・フィールド、リモート・ナンス・フィールド、リモート・カウンター・フィールド及びアプリケーション・メッセージ・フィールドを含むヘッダーを備え、
前記ナンス・フィールドが前記ナンス変数のコピーを含み、
前記リモート・ナンス・フィールドが前記リモート・ナンス変数のコピーを含み、
前記カウンター・フィールドが前記カウンター変数のコピーを含み、
前記リモート・カウンター・フィールドが前記リモート・カウンター変数のコピーを含む、
請求項1に記載のシステム。 - デバイス上で動作する第1の食い違い取り消しプロトコル・モジュールを備える食い違い取り消しシステムにおいて入力メッセージを処理する方法であって、
前記第1の食い違い取り消しプロトコル・モジュールにより、ナンス値とリモート・ナンス値とカウンター値とリモート・カウンター値とを含むヘッダーを備える入力メッセージであって、別のデバイス上で動作する遠隔の第2の食い違い取り消しプロトコル・モジュールから送信される入力メッセージを受信するステップと、
前記入力メッセージの前記ヘッダーの前記ナンス値を、前記第1の食い違い取り消しプロトコル・モジュールによって記憶され且つ維持される複数の状態変数のうちのリモート・ナンス状態変数と比較するステップであって、前記ナンス値により前記第2の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別し、前記ナンス状態変数により前記第1の食い違い取り消しプロトコル・モジュールの現在のセッションを識別するステップと、
前記入力メッセージの前記ヘッダーの前記カウンター値を前記複数の状態変数のうちのリモート・カウンター状態変数と比較するステップであって、前記カウンター値により前記入力メッセージを一義的に識別し、前記リモート・カウンター状態変数により、前記第2の食い違い取り消しプロトコル・モジュールから送出されて前記第1の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するステップと、
前記入力メッセージの前記ヘッダーの前記リモート・カウンター値を前記複数の状態変数のうちのカウンター状態変数と比較するステップであって、前記リモート・カウンター値により、前記第1の食い違い取り消しプロトコル・モジュールから送出されて前記第2の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別し、前記カウンター状態変数により、前記第1の食い違い取り消しプロトコル・モジュールから前記第2の食い違い取り消しプロトコル・モジュールへ送出された最後の有効なメッセージを一義的に識別するステップと、
前記入力メッセージの受信時に、前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数と前記第2の食い違い取り消しプロトコル・モジュールの前記状態変数とが一致しないことを検出したとき、出力ピング・メッセージを前記第2の食い違い取り消しプロトコル・モジュールへ送出するステップであって、前記出力ピング・メッセージが、前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数を表すフィールドを備えているが、アプリケーション・メッセージを備えていないステップと、
前記出力ピング・メッセージの受信に応答して前記第2の食い違い取り消しプロトコル・モジュールから送出された、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含むメッセージを受信して、前記第2の食い違い取り消しプロトコル・モジュールの状態変数に基づいて前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数を更新し、前記第1の食い違い取り消しプロトコル・モジュールを正常状態へ遷移させるステップと、
を備える方法。 - 前記入力メッセージの前記ヘッダーの前記ナンス値をリモート・ナンス状態変数と比較する前記ステップが不一致を示すならば、前記複数の状態変数を無効にして前記リモート・ナンス状態変数を前記ナンス値にセットするステップを更に備える、請求項10に記載の方法。
- 前記入力メッセージの前記ヘッダーの前記カウンター値をリモート・カウンター状態変数と比較する前記ステップが、前記カウンター値が前記リモート・カウンター状態変数よりも大きくないことを示すならば、前記入力メッセージを削除するステップを更に備える、請求項10に記載の方法。
- 前記入力メッセージの前記ヘッダーの前記リモート・カウンター値をカウンター状態変数と比較する前記ステップが不一致を示すならば、前記入力メッセージを削除して競争処理状態へ遷移するステップを更に備える、請求項10に記載の方法。
- 前記入力メッセージの前記ヘッダーの前記ナンス値をリモート・ナンス状態変数と比較する前記ステップが一致を示し、前記入力メッセージの前記ヘッダーの前記カウンター値をリモート・カウンター状態変数と比較する前記ステップが、前記カウンター値の方が前記リモート・カウンター状態変数よりも大きいことを示し、前記入力メッセージの前記ヘッダーの前記リモート・ナンス値をナンス状態変数と比較する前記ステップが一致を示し、且つ、前記入力メッセージの前記ヘッダーの前記リモート・カウンター値をカウンター状態変数と比較する前記ステップが一致を示すならば、前記入力メッセージの少なくとも一部をアプリケーションへ渡すステップを更に備える、請求項10に記載の方法。
- 第1の食い違い取り消しモジュールを第2の食い違い取り消しモジュールと再同期させるために前記第1の食い違い取り消しプロトコル・モジュールにおいて実行される方法であって、
前記第1の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するナンス変数と、前記第2の食い違い取り消しプロトコル・モジュールの現在のセッションを一義的に識別するリモート・ナンス変数と、前記第1の食い違い取り消しプロトコル・モジュールから前記第2の食い違い取り消しプロトコル・モジュールへ送出された最後のメッセージを一義的に識別するカウンター変数と、前記第2の食い違い取り消しプロトコル・モジュールから送出されて前記第1の食い違い取り消しプロトコル・モジュールによって受信された最後の有効なメッセージを一義的に識別するよう構成されたリモート・カウンター変数とを含む1組の状態変数を記憶するステップと、
前記第2の食い違い取り消しモジュールから、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含む入力メッセージを受信するステップと、
前記入力メッセージの受信時に、前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数と前記第2の食い違い取り消しプロトコル・モジュールの前記状態変数とが一致しないことを検出したとき、出力ピング・メッセージを前記第2の食い違い取り消しプロトコル・モジュールへ送出するステップであって、前記出力ピング・メッセージが、前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数を表すフィールドを備えているが、アプリケーション・メッセージを備えていないステップと、
前記出力ピング・メッセージの受信に応答して前記第2の食い違い取り消しプロトコル・モジュールから送出された、前記第2の食い違い取り消しプロトコル・モジュールの状態変数を含むメッセージを受信して、前記第2の食い違い取り消しプロトコル・モジュールの状態変数に基づいて前記第1の食い違い取り消しプロトコル・モジュールの前記状態変数を更新し、前記第1の食い違い取り消しプロトコル・モジュールを正常状態へ遷移させるステップと、
を備える方法。 - バックオフ・アルゴリズムに基づいて、前記出力ピング・メッセージを送出する次の区間を決定するステップを更に備える、請求項15に記載の方法。
- 前記第1の食い違い取り消しプロトコル・モジュールにおける状態変数と前記第2の食い違い取り消しプロトコル・モジュールにおける状態変数との比較によって前記入力メッセージが有効であるかどうかを決定し、前記入力メッセージが有効でないならば前記入力メッセージを削除するステップを更に備える、請求項15に記載の方法。
- 請求項10〜17のうちのいずれか1つに記載の方法をコンピューターに実行させるためのコンピューター実行可能命令を記憶したコンピューター読み取り可能記憶媒体。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US11/858,140 | 2007-09-20 | ||
US11/858,140 US7774490B2 (en) | 2007-09-20 | 2007-09-20 | Crisscross cancellation protocol |
PCT/US2008/072467 WO2009038896A1 (en) | 2007-09-20 | 2008-08-07 | Crisscross cancellation protocol |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2010541042A JP2010541042A (ja) | 2010-12-24 |
JP2010541042A5 JP2010541042A5 (ja) | 2011-09-22 |
JP5129860B2 true JP5129860B2 (ja) | 2013-01-30 |
Family
ID=40468256
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2010525864A Expired - Fee Related JP5129860B2 (ja) | 2007-09-20 | 2008-08-07 | 食い違い取り消しプロトコル |
Country Status (5)
Country | Link |
---|---|
US (6) | US7774490B2 (ja) |
EP (1) | EP2191626A1 (ja) |
JP (1) | JP5129860B2 (ja) |
CN (1) | CN101803339B (ja) |
WO (1) | WO2009038896A1 (ja) |
Families Citing this family (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7774490B2 (en) | 2007-09-20 | 2010-08-10 | Microsoft Corporation | Crisscross cancellation protocol |
US9031210B2 (en) * | 2013-07-31 | 2015-05-12 | C21 Patents, Llc | Device for non-intrusive screening of telephone calls and method thereof |
US11917086B2 (en) * | 2021-12-16 | 2024-02-27 | Gm Cruise Holdings Llc | Short-lived symmetric keys for autonomous vehicles |
Family Cites Families (61)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US738340A (en) * | 1902-11-18 | 1903-09-08 | Oscar W Mapes | Heating system. |
US4823122A (en) * | 1984-06-01 | 1989-04-18 | Digital Equipment Corporation | Local area network for digital data processing system |
US5258908A (en) * | 1990-11-02 | 1993-11-02 | Foreign Exchange Transaction Services, Inc. | Detection and prevention of duplicate trading transactions over a communications network |
US5260933A (en) * | 1992-05-15 | 1993-11-09 | International Business Machines Corporation | Acknowledgement protocol for serial data network with out-of-order delivery |
JP2637918B2 (ja) * | 1993-10-15 | 1997-08-06 | インターナショナル・ビジネス・マシーンズ・コーポレイション | カスケード・スイッチの競合解消方法及びその装置 |
US5754764A (en) * | 1994-02-22 | 1998-05-19 | National Semiconductor Corp. | Combination of input output circuitry and local area network systems |
US6188675B1 (en) * | 1996-08-23 | 2001-02-13 | International Business Machines Corporation | System and method for self-identifying and configuring the nodes of a network |
US5901291A (en) * | 1996-10-21 | 1999-05-04 | International Business Machines Corporation | Method and apparatus for maintaining message order in multi-user FIFO stacks |
US5999286A (en) * | 1997-01-09 | 1999-12-07 | Alcatel | Method and system for restoring a distributed telecommunications network |
US5951706A (en) * | 1997-06-30 | 1999-09-14 | International Business Machines Corporation | Method of independent simultaneous queueing of message descriptors |
US6078970A (en) * | 1997-10-15 | 2000-06-20 | International Business Machines Corporation | System for determining adapter interrupt status where interrupt is sent to host after operating status stored in register is shadowed to host memory |
US6412006B2 (en) * | 1998-02-10 | 2002-06-25 | 3Com Corporation | Method and apparatus for sending delay sensitive information assisted by packet switched networks |
US6405326B1 (en) * | 1999-06-08 | 2002-06-11 | International Business Machines Corporation Limited | Timing related bug detector method for detecting data races |
AU5728500A (en) * | 1999-06-11 | 2001-01-02 | Microsoft Corporation | Data driven remote device control model with general programming interface-to-network messaging adapter |
GB2350984B (en) * | 1999-06-11 | 2003-10-15 | Mitel Corp | Synchronisation method and system |
US6768720B1 (en) | 1999-09-30 | 2004-07-27 | Conexant Systems, Inc. | Verification of link integrity of a home local area network |
CN1322681C (zh) | 2000-02-23 | 2007-06-20 | Ipr特许公司 | 反向链路初始功率的设定 |
US6536019B1 (en) * | 2000-09-28 | 2003-03-18 | Verisity Design, Inc. | Race condition detection and expression |
US6725343B2 (en) * | 2000-10-05 | 2004-04-20 | Hewlett-Packard Development Company, L.P. | System and method for generating cache coherence directory entries and error correction codes in a multiprocessor system |
US7171475B2 (en) * | 2000-12-01 | 2007-01-30 | Microsoft Corporation | Peer networking host framework and hosting API |
US7747764B2 (en) * | 2001-04-20 | 2010-06-29 | Rockwell Automation Technologies, Inc. | Web access for non-TCP/IP control devices of an industrial control system |
US7418515B2 (en) * | 2001-04-27 | 2008-08-26 | International Business Machines Corporation | Data communication method, data communication system and program |
US7287070B2 (en) | 2001-05-25 | 2007-10-23 | Interdigital Technology Corporation | Determining control of an internet communication between a sender and receiver |
US7856660B2 (en) * | 2001-08-21 | 2010-12-21 | Telecommunication Systems, Inc. | System for efficiently handling cryptographic messages containing nonce values |
US6735645B1 (en) * | 2001-09-04 | 2004-05-11 | Lsi Logic Corporation | System and method to eliminate race conditions in input/output operations for high bandwidth architectures |
GB0129672D0 (en) * | 2001-12-12 | 2002-01-30 | Ibm | Method and system for preserving message order when parallel processing messages |
US6851075B2 (en) * | 2002-01-04 | 2005-02-01 | International Business Machines Corporation | Race detection for parallel software |
US7065549B2 (en) * | 2002-03-29 | 2006-06-20 | Illinois Institute Of Technology | Communication and process migration protocols for distributed heterogeneous computing |
US7039851B2 (en) * | 2002-06-08 | 2006-05-02 | Axiowave Networks, Inc. | Method of and apparatus for correcting errors in data packet flow streams as in closed ring sequential address generators and the like without data flow stream interruption |
US6895476B2 (en) * | 2002-10-03 | 2005-05-17 | Hewlett-Packard Development Company, L.P. | Retry-based late race resolution mechanism for a computer system |
US6892290B2 (en) | 2002-10-03 | 2005-05-10 | Hewlett-Packard Development Company, L.P. | Linked-list early race resolution mechanism |
US7350077B2 (en) * | 2002-11-26 | 2008-03-25 | Cisco Technology, Inc. | 802.11 using a compressed reassociation exchange to facilitate fast handoff |
US7254687B1 (en) * | 2002-12-16 | 2007-08-07 | Cisco Technology, Inc. | Memory controller that tracks queue operations to detect race conditions |
US7509378B2 (en) * | 2003-03-11 | 2009-03-24 | Bea Systems, Inc. | System and method for message ordering in a message oriented network |
US7383440B1 (en) * | 2003-05-01 | 2008-06-03 | Lockheed Martin Corporation | Private user control of a shared remote process |
US20050038806A1 (en) * | 2003-08-12 | 2005-02-17 | Zhiqiang Ma | Methods and apparatus for detecting data race conditions in message-based multi-threaded programs |
US7761878B2 (en) * | 2003-11-19 | 2010-07-20 | Nexaweb Technologies, Inc | System and method for stateful web-based computing |
KR101005265B1 (ko) * | 2004-01-28 | 2011-01-04 | 삼성전자주식회사 | 레이스 컨디션 문제를 묵인하는 디지털 회로 |
US20050229250A1 (en) * | 2004-02-26 | 2005-10-13 | Ring Sandra E | Methodology, system, computer readable medium, and product providing a security software suite for handling operating system exploitations |
US7571181B2 (en) * | 2004-04-05 | 2009-08-04 | Hewlett-Packard Development Company, L.P. | Network usage analysis system and method for detecting network congestion |
US7870200B2 (en) * | 2004-05-29 | 2011-01-11 | Ironport Systems, Inc. | Monitoring the flow of messages received at a server |
JP2005346448A (ja) * | 2004-06-03 | 2005-12-15 | Sharp Corp | 通信システム、そのシステムに含まれる通信装置、およびコンピュータを通信装置として機能させるためのプログラム |
US7366956B2 (en) * | 2004-06-16 | 2008-04-29 | Hewlett-Packard Development Company, L.P. | Detecting data races in multithreaded computer programs |
US7813263B2 (en) * | 2004-06-30 | 2010-10-12 | Conexant Systems, Inc. | Method and apparatus providing rapid end-to-end failover in a packet switched communications network |
JP4313266B2 (ja) * | 2004-07-29 | 2009-08-12 | 株式会社エヌ・ティ・ティ・ドコモ | サーバ装置、その制御方法およびコネクション確立方法 |
US7343454B2 (en) * | 2004-11-16 | 2008-03-11 | International Business Machines Corporation | Methods to maintain triangle ordering of coherence messages |
US8392668B2 (en) * | 2005-04-04 | 2013-03-05 | Hewlett-Packard Development Company, L.P. | Distributed-state-information-based distributed computing systems and methods and protocols for managing distributed state information |
WO2006111182A1 (en) * | 2005-04-18 | 2006-10-26 | Telefonaktiebolaget Lm Ericsson (Publ) | Method and system for solving race conditions in a communications network |
US7085614B1 (en) | 2005-07-06 | 2006-08-01 | International Business Machines Corporation | Method, system, and computer program product for optimizing throughput of lots |
GB0524021D0 (en) * | 2005-11-25 | 2006-01-04 | Ibm | A system for preserving message order |
US8364840B2 (en) * | 2005-12-02 | 2013-01-29 | Sap Ag | Dynamic message routing |
US7543440B2 (en) | 2005-12-19 | 2009-06-09 | Caterpillar Inc. | Multiple turbine system with a single recuperator |
US7526634B1 (en) * | 2005-12-19 | 2009-04-28 | Nvidia Corporation | Counter-based delay of dependent thread group execution |
US7844862B1 (en) * | 2006-03-23 | 2010-11-30 | Azul Systems, Inc. | Detecting software race conditions |
US7752605B2 (en) * | 2006-04-12 | 2010-07-06 | Microsoft Corporation | Precise data-race detection using locksets |
US7673181B1 (en) * | 2006-06-07 | 2010-03-02 | Replay Solutions, Inc. | Detecting race conditions in computer programs |
US7992146B2 (en) * | 2006-11-22 | 2011-08-02 | International Business Machines Corporation | Method for detecting race conditions involving heap memory access |
US8429405B2 (en) * | 2007-02-14 | 2013-04-23 | Fuji Xerox Co., Ltd. | System and method for human assisted secure information exchange |
US7823013B1 (en) * | 2007-03-13 | 2010-10-26 | Oracle America, Inc. | Hardware data race detection in HPCS codes |
US7861118B2 (en) * | 2007-03-30 | 2010-12-28 | Microsoft Corporation | Machine instruction level race condition detection |
US7774490B2 (en) * | 2007-09-20 | 2010-08-10 | Microsoft Corporation | Crisscross cancellation protocol |
-
2007
- 2007-09-20 US US11/858,140 patent/US7774490B2/en not_active Expired - Fee Related
-
2008
- 2008-08-07 CN CN2008801081812A patent/CN101803339B/zh not_active Expired - Fee Related
- 2008-08-07 WO PCT/US2008/072467 patent/WO2009038896A1/en active Application Filing
- 2008-08-07 EP EP08797375A patent/EP2191626A1/en not_active Withdrawn
- 2008-08-07 JP JP2010525864A patent/JP5129860B2/ja not_active Expired - Fee Related
-
2010
- 2010-06-25 US US12/824,084 patent/US8346973B2/en not_active Expired - Fee Related
- 2010-06-25 US US12/824,092 patent/US8327030B2/en not_active Expired - Fee Related
-
2012
- 2012-11-22 US US13/684,156 patent/US9015349B2/en not_active Expired - Fee Related
-
2015
- 2015-04-17 US US14/690,350 patent/US9219673B2/en not_active Expired - Fee Related
- 2015-12-16 US US14/971,940 patent/US9686320B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US8346973B2 (en) | 2013-01-01 |
US20160105464A1 (en) | 2016-04-14 |
CN101803339B (zh) | 2013-05-08 |
CN101803339A (zh) | 2010-08-11 |
US9015349B2 (en) | 2015-04-21 |
WO2009038896A1 (en) | 2009-03-26 |
EP2191626A1 (en) | 2010-06-02 |
JP2010541042A (ja) | 2010-12-24 |
US8327030B2 (en) | 2012-12-04 |
US20100287300A1 (en) | 2010-11-11 |
US7774490B2 (en) | 2010-08-10 |
US9219673B2 (en) | 2015-12-22 |
US9686320B2 (en) | 2017-06-20 |
US20090083407A1 (en) | 2009-03-26 |
US20150222518A1 (en) | 2015-08-06 |
US20130080632A1 (en) | 2013-03-28 |
US20100287299A1 (en) | 2010-11-11 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
TWI737977B (zh) | 基於區塊鏈的交易處理方法及裝置、電子設備 | |
TWI706278B (zh) | 基於區塊鏈的交易處理方法及裝置、電子設備 | |
WO2020082892A1 (zh) | 基于区块链的交易处理方法及装置、电子设备 | |
US7788475B2 (en) | Booting utilizing electronic mail | |
TWI462017B (zh) | 伺服器部署系統及資料更新的方法 | |
JP2013131240A (ja) | アクセサリを認証するための方法及びシステム | |
WO2020082898A1 (zh) | 基于区块链的交易处理方法及装置、电子设备 | |
JP5129860B2 (ja) | 食い違い取り消しプロトコル | |
US9043283B2 (en) | Opportunistic database duplex operations | |
CN111459524A (zh) | 软件的升级方法、装置、*** | |
US9621551B2 (en) | Systems and methods for providing secure pre-boot and root authentication to an information handling system | |
US11715092B2 (en) | Transferring ownership of physical objects and digital counterparts using a distributed ledger and digital tokens on physical objects | |
US20050228979A1 (en) | Stored-program device | |
JP4192416B2 (ja) | 計算機システムおよびそのデータ転送方法 | |
US20210279046A1 (en) | Intelligent device updating | |
US8620991B2 (en) | Technologies for detecting erroneous resumptions in a continuation based runtime | |
JP6639754B2 (ja) | 通信装置、動作手順管理方法及び動作手順管理プログラム | |
CN111007753B (zh) | 一种双控制器的主备仲裁方法与装置 | |
JP2020046802A (ja) | 電子機器システム及びシステム起動方法 | |
JP2003162338A (ja) | ソフトウェア不正使用防止装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110802 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110802 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20120329 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20120423 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20120723 |
|
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: 20121005 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20121102 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20151109 Year of fee payment: 3 |
|
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 |
|
LAPS | Cancellation because of no payment of annual fees |