대구한의대학교 향산도서관

상세정보

부가기능

Reduced Communication for Distributed Transactions through Time-Dependent Guarantees

상세 프로파일

상세정보
자료유형학위논문
서명/저자사항Reduced Communication for Distributed Transactions through Time-Dependent Guarantees.
개인저자Magrino, Thomas Robert.
단체저자명Cornell University. Computer Science.
발행사항[S.l.]: Cornell University., 2019.
발행사항Ann Arbor: ProQuest Dissertations & Theses, 2019.
형태사항139 p.
기본자료 저록Dissertations Abstracts International 81-04B.
Dissertation Abstract International
ISBN9781088348208
학위논문주기Thesis (Ph.D.)--Cornell University, 2019.
일반주기 Source: Dissertations Abstracts International, Volume: 81-04, Section: B.
Advisor: Myers, Andrew.
이용제한사항This item must not be sold to any third party vendors.
요약Modern software is highly concurrent, with many operations contending for shared information stored across large geographic distances. The systems on which these applications are written must provide a well-defined semantics that is easy to understand so that programmers can ensure their software is correct. Strictly serializable transactions provide a particularly simple interface for writing code in a concurrent setting, but they come at a cost: implementations require commit protocols to resolve contention between potentially conflicting transactions, sometimes coordinating across distant nodes. This dissertation explores warranties, time-dependent guarantees on the system's state, which improve the performance of distributed transaction systems by avoiding synchronous communication. Warranties guarantee that a predicate over the system's state and the current time holds until an associated expiration time. These predicates can express a wide variety of checks performed by applications ranging from simple comparisons to complex application-specific logic. Warranties can be constructed compositionally, using other warranties as evidence that a more complex predicate holds. Furthermore, these predicates can be time-varying, expressing guarantees about trends on the system's state. While holding an active warranty, nodes do not need to perform synchronous communication to validate the associated assertion. The system enforces an active warranty by delaying updates that falsify the guarantees until the warranty is safely retracted or expires. To ensure the benefits of warranties outweigh delays to updates, the system uses a cost model to determine a warranty's expiration time and to select other simpler warranties that help enforce a warranty with low overhead. Using a variety of benchmarks and real-world applications, warranties are shown to significantly improve the performance of distributed transaction systems.
일반주제명Computer science.
언어영어
바로가기URL : 이 자료의 원문은 한국교육학술정보원에서 제공합니다.

서평(리뷰)

  • 서평(리뷰)

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 
로그인폼