CA2702464A1 - Loop checking mechanism in a data processing system - Google Patents

Loop checking mechanism in a data processing system Download PDF

Info

Publication number
CA2702464A1
CA2702464A1 CA2702464A CA2702464A CA2702464A1 CA 2702464 A1 CA2702464 A1 CA 2702464A1 CA 2702464 A CA2702464 A CA 2702464A CA 2702464 A CA2702464 A CA 2702464A CA 2702464 A1 CA2702464 A1 CA 2702464A1
Authority
CA
Canada
Prior art keywords
data processing
loop
processing module
data
state
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.)
Abandoned
Application number
CA2702464A
Other languages
English (en)
French (fr)
Inventor
Henrik Jarl
Magnus Rosenlund
Thomas E. Green
Johan Eriksson
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nasdaq Technology AB
Original Assignee
Individual
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Individual filed Critical Individual
Publication of CA2702464A1 publication Critical patent/CA2702464A1/en
Abandoned legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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/54—Interprogram communication
    • G06F9/542—Event management; Broadcasting; Multicasting; Notifications
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2209/00—Indexing scheme relating to G06F9/00
    • G06F2209/54—Indexing scheme relating to G06F9/54
    • G06F2209/543—Local

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Business, Economics & Management (AREA)
  • Physics & Mathematics (AREA)
  • Finance (AREA)
  • Accounting & Taxation (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Strategic Management (AREA)
  • General Business, Economics & Management (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Quality & Reliability (AREA)
  • Technology Law (AREA)
  • Multimedia (AREA)
  • Multi Processors (AREA)
  • Debugging And Monitoring (AREA)
  • Hardware Redundancy (AREA)
  • Computer And Data Communications (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Magnetic Resonance Imaging Apparatus (AREA)
CA2702464A 2007-10-18 2008-10-08 Loop checking mechanism in a data processing system Abandoned CA2702464A1 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US11/907,963 2007-10-18
US11/907,963 US20090106772A1 (en) 2007-10-18 2007-10-18 Loop checking mechanism in a data processing system
PCT/EP2008/063454 WO2009050084A2 (en) 2007-10-18 2008-10-08 Loop checking mechanism in a data processing system

Publications (1)

Publication Number Publication Date
CA2702464A1 true CA2702464A1 (en) 2009-04-23

Family

ID=40459939

Family Applications (1)

Application Number Title Priority Date Filing Date
CA2702464A Abandoned CA2702464A1 (en) 2007-10-18 2008-10-08 Loop checking mechanism in a data processing system

Country Status (9)

Country Link
US (1) US20090106772A1 (enExample)
EP (1) EP2212793B1 (enExample)
JP (1) JP5238817B2 (enExample)
CN (1) CN101828171A (enExample)
AT (1) ATE503226T1 (enExample)
AU (1) AU2008313857A1 (enExample)
CA (1) CA2702464A1 (enExample)
DE (1) DE602008005789D1 (enExample)
WO (1) WO2009050084A2 (enExample)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
TW201546397A (zh) * 2014-06-03 2015-12-16 Coretronic Corp 車用照明裝置
CN112015397B (zh) * 2020-09-07 2023-09-26 深圳职业技术学院 环路检测方法及系统

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0831085B2 (ja) * 1992-02-14 1996-03-27 株式会社日立製作所 分散処理システムの処理方法
US5758161A (en) * 1996-05-24 1998-05-26 International Business Machines Corporation Testing method for checking the completion of asynchronous distributed collective operations
US5905974A (en) * 1996-12-13 1999-05-18 Cantor Fitzgerald Securities Automated auction protocol processor
US6499062B1 (en) * 1998-12-17 2002-12-24 Koninklijke Philips Electronics N.V. Synchronizing property changes to enable multiple control options
JP2006072797A (ja) * 2004-09-03 2006-03-16 Ntt Data Corp 業務処理装置及びそのコンピュータプログラム
JP4177339B2 (ja) * 2005-02-16 2008-11-05 株式会社東芝 分散システム、コンピュータおよび分散システムの状態遷移制御方法
JP2006259863A (ja) * 2005-03-15 2006-09-28 Toshiba Corp 情報処理システム
US7536602B2 (en) * 2006-02-17 2009-05-19 Alcatel-Lucent Usa Inc. Method and apparatus for evaluating paths in a state machine

Also Published As

Publication number Publication date
WO2009050084A2 (en) 2009-04-23
US20090106772A1 (en) 2009-04-23
EP2212793A2 (en) 2010-08-04
EP2212793B1 (en) 2011-03-23
DE602008005789D1 (de) 2011-05-05
AU2008313857A1 (en) 2009-04-23
JP5238817B2 (ja) 2013-07-17
WO2009050084A3 (en) 2009-09-03
ATE503226T1 (de) 2011-04-15
JP2011501283A (ja) 2011-01-06
CN101828171A (zh) 2010-09-08

Similar Documents

Publication Publication Date Title
JP4094752B2 (ja) トランザクション処理方法及びその実施装置並びにその処理プログラムを記録した媒体
CN107766175B (zh) 一种用于银行的数据处理系统
CN112700329A (zh) 一种风控规则引擎的响应方法和风控规则引擎
CN110458709B (zh) 资源转移信息的传输方法和装置、存储介质、电子装置
AU2024200171A1 (en) Dag-awtc ledger system using bft verification consensus mechanism
US7433854B2 (en) Backward chaining with extended knowledge base network
EP2212793B1 (en) Loop checking mechanism in a data processing system
KR102092410B1 (ko) 프라이빗 블록체인 기반의 오픈마켓 플랫폼 시스템
JP3618419B2 (ja) データ駆動型情報処理装置
CN113064906A (zh) 一种Binlog日志数据适配迁移方法和系统
JP2022074072A (ja) コンピュータ実装方法、システムおよびコンピュータ・プログラム（コンテキスト・ノードに基づいた姉妹ノードの識別）
JP2005317010A (ja) トランザクション処理方法及びその実施装置並びにその処理プログラムを記録した媒体
CN110795445B (zh) 并发任务的处理方法、装置、服务器设备及介质
US10599552B2 (en) Model checker for finding distributed concurrency bugs
CN112766455A (zh) 一种学习模型训练方法和系统
HK1147242A (en) Loop checking mechanism in a data processing system
US6199192B1 (en) Method and apparatus for assigning signal routes via an interconnect-multiplexer in a PLD
CN117081929A (zh) 路由策略配置方法及装置、存储介质、计算机设备
CN113282664B (zh) 基于区块链的数据同步方法、系统及存储介质
US11165732B2 (en) System and method to detect and define activity and patterns on a large relationship data network
US20180276028A1 (en) Single-hop two-phase transaction resolution
Zemni et al. Business process fragments behavioral merge
CN112967045A (zh) 资金流转账户数据处理方法及装置
CN109901933A (zh) 业务系统的操作方法及装置、存储介质、电子装置
JP2001177549A (ja) 伝送ネットワークシステムにおける装置間通信パラメータの変更方式

Legal Events

Date Code Title Description
FZDE Discontinued

Effective date: 20141008