자료유형 | 학위논문 |
---|---|
서명/저자사항 | 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 |
ISBN | 9781088348208 |
학위논문주기 | 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. |
언어 | 영어 |
바로가기 | ![]() |