BRPI0718463A2 - Ordem de comprometimento de transação de software e gerenciamento de conflito - Google Patents

Ordem de comprometimento de transação de software e gerenciamento de conflito Download PDF

Info

Publication number
BRPI0718463A2
BRPI0718463A2 BRPI0718463-8A BRPI0718463A BRPI0718463A2 BR PI0718463 A2 BRPI0718463 A2 BR PI0718463A2 BR PI0718463 A BRPI0718463 A BR PI0718463A BR PI0718463 A2 BRPI0718463 A2 BR PI0718463A2
Authority
BR
Brazil
Prior art keywords
commitment
transaction
transactions
order
compromise
Prior art date
Application number
BRPI0718463-8A
Other languages
English (en)
Portuguese (pt)
Inventor
Lingli Zhang
Vinod K Grover
Michael M Magruder
David Detlefs
John Joseph Duffy
Goetz Graefe
Original Assignee
Microsoft Corp
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 Microsoft Corp filed Critical Microsoft Corp
Publication of BRPI0718463A2 publication Critical patent/BRPI0718463A2/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • 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/466—Transaction 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
    • 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)
BRPI0718463-8A 2006-11-17 2007-11-17 Ordem de comprometimento de transação de software e gerenciamento de conflito BRPI0718463A2 (pt)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US11/601,541 US7711678B2 (en) 2006-11-17 2006-11-17 Software transaction commit order and conflict management
US11/601.541 2006-11-17
PCT/US2007/085035 WO2008064139A1 (en) 2006-11-17 2007-11-17 Software transaction commit order and conflict management

Publications (1)

Publication Number Publication Date
BRPI0718463A2 true BRPI0718463A2 (pt) 2013-12-10

Family

ID=39418139

Family Applications (1)

Application Number Title Priority Date Filing Date
BRPI0718463-8A BRPI0718463A2 (pt) 2006-11-17 2007-11-17 Ordem de comprometimento de transação de software e gerenciamento de conflito

Country Status (10)

Country Link
US (1) US7711678B2 (enExample)
EP (1) EP2095225B1 (enExample)
JP (1) JP4698757B2 (enExample)
KR (1) KR101443930B1 (enExample)
CN (1) CN101535950B (enExample)
BR (1) BRPI0718463A2 (enExample)
CA (1) CA2664041A1 (enExample)
RU (1) RU2439663C2 (enExample)
TW (1) TWI424313B (enExample)
WO (1) WO2008064139A1 (enExample)

Families Citing this family (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP5576798B2 (ja) * 2007-12-12 2014-08-20 ユニバーシティ・オブ・ワシントン 決定論的マルチプロセッシング（ｄｅｔｅｒｍｉｎｉｓｔｉｃｍｕｌｔｉｐｒｏｃｅｓｓｉｎｇ）
EP2266026A4 (en) * 2008-03-11 2012-01-11 Univ Washington EFFICIENT DETERMINIST MULTIPLE PROCESSING
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
EP2920727A1 (en) * 2012-11-13 2015-09-23 Koninklijke Philips N.V. Method and apparatus for managing a transaction right
JP6021112B2 (ja) * 2013-11-28 2016-11-02 インターナショナル・ビジネス・マシーンズ・コーポレーションＩｎｔｅｒｎａｔｉｏｎａｌ Ｂｕｓｉｎｅｓｓ Ｍａｃｈｉｎｅｓ Ｃｏｒｐｏｒａｔｉｏｎ 複数のスレッドで順序付きトランザクションを実行する方法、並びに、当該トランザクションを実行するためのコンピュータ及びそのコンピュータ・プログラム
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
WO2016106738A1 (zh) * 2014-12-31 2016-07-07 华为技术有限公司 事务冲突检测方法、装置及计算机系统
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 陕西科技大学 一种推测嵌套软件事务存储的冲突管理方法
US10318430B2 (en) 2015-06-26 2019-06-11 International Business Machines Corporation System operation queue for transaction
US10180921B2 (en) 2015-06-26 2019-01-15 International Business Machines Corporation Non-interfering transactions
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 富士通株式会社 情報処理装置、情報処理プログラム、及び情報処理方法
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
US10466930B2 (en) * 2017-04-28 2019-11-05 EMC IP Holding Company LLC Method and system for fast ordered writes with atomic multicast
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
US10614019B2 (en) 2017-04-28 2020-04-07 EMC IP Holding Company LLC Method and system for fast ordered writes with target collaboration
GB2570466B (en) * 2018-01-25 2020-03-04 Advanced Risc Mach Ltd Commit window move element
US11182379B2 (en) * 2018-08-24 2021-11-23 Oracle International Corporation DAG based methods and systems of transaction processing in a distributed ledger
WO2021251479A1 (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 주식회사 카카오뱅크 멀티 트랜잭션을 이용한 업무 컴포넌트 격리 개발 방법 및 시스템

Family Cites Families (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4884228A (en) * 1986-10-14 1989-11-28 Tektronix, Inc. Flexible instrument control system
DE4216871C2 (de) * 1991-05-21 2001-09-06 Digital Equipment Corp Ausführungsordnen zum Sicherstellen der Serialisierbarkeit verteilter Transaktionen
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
US5546546A (en) * 1994-05-20 1996-08-13 Intel Corporation Method and apparatus for maintaining transaction ordering and arbitrating in a bus bridge
JP3434405B2 (ja) * 1996-03-19 2003-08-11 富士通株式会社 通信制御装置及び通信制御方法並びに中間通信制御ユニット
JPH1049420A (ja) * 1996-08-02 1998-02-20 Fuji Xerox Co Ltd データベース管理方法
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
KR20030047996A (ko) * 2000-07-28 2003-06-18 자임포닉 시스템즈 아에스 내포 데이터베이스를 구현하는 방법, 시스템 및 데이터 구조
EP1197876A3 (en) * 2000-10-13 2003-04-16 Miosoft Corporation Persistent data storage techniques
US7111023B2 (en) * 2001-05-24 2006-09-19 Oracle International Corporation Synchronous change data capture in a relational database
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
US7103612B2 (en) * 2002-08-01 2006-09-05 Oracle International Corporation Instantiation of objects for information-sharing relationships
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
US7089253B2 (en) * 2002-09-13 2006-08-08 Netezza Corporation Computer method and system for concurrency control using dynamic 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

Also Published As

Publication number Publication date
WO2008064139A1 (en) 2008-05-29
TWI424313B (zh) 2014-01-21
US7711678B2 (en) 2010-05-04
CN101535950B (zh) 2012-06-20
CA2664041A1 (en) 2008-05-29
CN101535950A (zh) 2009-09-16
EP2095225A1 (en) 2009-09-02
JP2010510590A (ja) 2010-04-02
TW200834303A (en) 2008-08-16
RU2009118454A (ru) 2010-11-20
KR101443930B1 (ko) 2014-09-23
RU2439663C2 (ru) 2012-01-10
US20080120484A1 (en) 2008-05-22
EP2095225A4 (en) 2010-10-20
EP2095225B1 (en) 2017-11-01
KR20090082256A (ko) 2009-07-29
JP4698757B2 (ja) 2011-06-08

Similar Documents

Publication Publication Date Title
BRPI0718463A2 (pt) Ordem de comprometimento de transação de software e gerenciamento de conflito
Vafeiadis et al. Relaxed separation logic: A program logic for C11 concurrency
Scott et al. Shared-memory synchronization
US8191046B2 (en) Checking transactional memory implementations
US8010550B2 (en) Parallelizing sequential frameworks using transactions
Feldman et al. A wait-free multi-word compare-and-swap operation
US9672077B2 (en) Reentrant read-write lock algorithm
JP5813165B2 (ja) トランザクションを用いるシーケンシャルフレームワークの並行化
US20140281295A1 (en) Expediting RCU Grace Periods Under User Mode Control
JP2010524133A (ja) バッファリングされた書込みおよび強制的直列化順序を使用するトランザクショナルメモリ
Demange et al. Plan B: A buffered memory model for Java
Lesani et al. Decomposing opacity
de Lima Chehab et al. Clof: A compositional lock framework for multi-level numa systems
Kokologiannakis et al. Stateless model checking of the Linux kernel’s read–copy update (RCU)
Xiang et al. Composable partitioned transactions
Ebnenasir UPC-SPIN: A framework for the model checking of UPC programs
Nagarajan et al. Relaxed Memory Consistency
Sorin et al. Relaxed Memory Consistency
Gao Design and verification of lock-free parallel algorithms
Sedai Concurrent Lazy Splay Tree with Relativistic Programming Approach
ReindeRs EvolvE your codE.
ARIE et al. Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Grassi et al. Analyzing the Sensitivity to Faults of Synchronization Primitives
Friborg et al. Verification of a dynamic channel model using the SPIN model checker
Desnoyers Proving the Correctness of Nonblocking Data Structures Nonblocking synchronization can yield astonishing results in terms of scalability and real-time response, but at the expense of verification state space.

Legal Events

Date Code Title Description
B08F Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette]

Free format text: REFERENTE A 6A ANUIDADE.

B08K Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette]

Free format text: REFERENTE AO DESPACHO 8.6 PUBLICADO NA RPI 2277 DE 26/08/2014.