MARC보기
LDR00000nam u2200205 4500
001000000434032
00520200226135607
008200131s2019 ||||||||||||||||| ||eng d
020 ▼a 9781088348208
035 ▼a (MiAaPQ)AAI22584928
040 ▼a MiAaPQ ▼c MiAaPQ ▼d 247004
0820 ▼a 004
1001 ▼a Magrino, Thomas Robert.
24510 ▼a Reduced Communication for Distributed Transactions through Time-Dependent Guarantees.
260 ▼a [S.l.]: ▼b Cornell University., ▼c 2019.
260 1 ▼a Ann Arbor: ▼b ProQuest Dissertations & Theses, ▼c 2019.
300 ▼a 139 p.
500 ▼a Source: Dissertations Abstracts International, Volume: 81-04, Section: B.
500 ▼a Advisor: Myers, Andrew.
5021 ▼a Thesis (Ph.D.)--Cornell University, 2019.
506 ▼a This item must not be sold to any third party vendors.
520 ▼a 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.
590 ▼a School code: 0058.
650 4 ▼a Computer science.
690 ▼a 0984
71020 ▼a Cornell University. ▼b Computer Science.
7730 ▼t Dissertations Abstracts International ▼g 81-04B.
773 ▼t Dissertation Abstract International
790 ▼a 0058
791 ▼a Ph.D.
792 ▼a 2019
793 ▼a English
85640 ▼u http://www.riss.kr/pdu/ddodLink.do?id=T15492894 ▼n KERIS ▼z 이 자료의 원문은 한국교육학술정보원에서 제공합니다.
980 ▼a 202002 ▼f 2020
990 ▼a ***1008102
991 ▼a E-BOOK