|
早稲田大学
山名 早人
教授
機関別共同研究
Discovery Saga
論文分野別Discovery Saga
研究テーマDiscovery Saga
協賛企業
共同研究先:IBM Research
Corporate
共同研究数 1
Conference Paper
2008
ACM:Association for Computing Machinery
Optimistic transactional active replication
(Last author)
最適化されたトランザクション型アクティブレプリケーション
Hiroshi Horii, Hayato Yamana
【抄録】
Critical database applications require 2-safe replication between at least two sites for disaster-tolerant services. At the same time, they must provide consistent and low-latency results to their clients in normal cases. In this paper, we propose Optimistic Transactional Active Replication (OTAR), which replicates the transaction logs with low latency and provides a consistent view to database applications. The latency of our replication is lower than Passive Replication, and guarantees the serializability of transaction isolation levels that cannot be supported by Active Replication. For our replication, each client sends a transaction request to all replicas and all of the replicas execute the request and optimistically return the result of the transaction to the client. Each replica generates a causality history of the transaction, sent to the client with the result. With the causality histories, the client can make sure that the requested transaction was executed in the same order at all of the replicas and eventually commit it. If the client cannot validate the order, then the client waits for the pessimistic result of the transaction from the replicas. This paper describes the algorithm and its properties. © 2008 ACM.
【抄録日本語訳】
重要なデータベースアプリケーションでは、ディザスタトレラントサービスのために、少なくとも2つのサイト間で2セーフのレプリケーションが必要です。同時に、平常時には一貫性のある低遅延の結果をクライアントに提供する必要があります。本論文では、低レイテンシでトランザクションログを複製し、データベースアプリケーションに一貫したビューを提供するOptimistic Transactional Active Replication (OTAR)を提案する。OTARはPassive Replicationよりも低レイテンシで、Active Replicationでは対応できないトランザクションの分離レベルでも直列化可能であることが保証されている。我々のレプリケーションでは、各クライアントが全レプリカにトランザクション要求を送り、全レプリカがその要求を実行し、最適化されたトランザクションの結果をクライアントに返します。各レプリカはトランザクションの因果関係履歴を生成し、結果とともにクライアントに送信します。因果関係履歴により、クライアントは要求されたトランザクションがすべてのレプリカで同じ順序で実行されたことを確認し、最終的にそれをコミットすることができます。もしクライアントが順番を確認できない場合は、レプリカからの悲観的なトランザクションの結果を待つ。本論文では、このアルゴリズムとその特性について述べる。© 2008 ACM.