【论文学习】HAT, vldb2013

原创
2019/04/11 22:37
阅读数 55

Highly Available Transactions - Virtues and Limitations,vldb

Peter Bailis, Aaron Davidson, Alan Fekete


由[35]正式证明,CAP定理中的C指的是Linear

此篇对consis模型作了分类,与高可用可以搭配的模型称为HAT-compliant; 像Seria, snapshot ioslation, repeatable read都是与HAT不兼容的,因为它们要检测并发的冲突(为了阻止lost update, write skew);

采用了一个修改版的可用性,client至少对一个server有亲和性

HAT模型可以获得1-3 order的延时下降,相比于当前的infrastruture

3 ACID

[28]中说在网络分区时,Seria和高可用性不能同时存在

在传统单机环境下,seria的代价是昂贵的,and are manifested in the form of decreased concurrency, subsequently performance degradation

先前的著作中,没有谁谈到weak model和HA间的关系。(谈的是Seria与HA间的关系,和weak model的综述)

4 高可用性

informally 就是Client请求始终可以得到服务,而且是low latency(不需要等到server间都同步完);

sticky availability: client 总是联系同一组replica处理请求,因为要维护和servers间的亲和性或stickiness; 事务可用性 有副本可用性:对于事务要访问的item,至少能联系到一replica 事务可用性:给定副本可用性,事务最终提交或者主动abort(internal abort)

5 HAT

介绍一些与HAT兼容的consis semanics,着眼于可行性,而不是性能

read committed与HAT兼容,阻止脏写与脏读(措施可以是:client buffer their writes until they commit)

session guarantee

  • 单调读
  • 单调写
  • writes follow reads
  • read your writes
  • PARM(pipelined random access memory)
  • causal consitency

it's impossible to prevent lost update in a highly available env

write skew is a generalization of lost update to multiple keys.

SI, Cursor都要阻止lost update, RR阻止lost update and write skew,所以它们都与HAT不兼容(not achievable in HAT system);

recencey guarantee由Linea来保证,但在HAT环境下也不可能

5.3 总结

this is the first unification of transsactional isolation, distributed consistency, and session gurantee modesl.

画了个表格和图,总结有哪些weak model可以在HAT中使用,哪些不行。

6 HAT implications

用TPC-C中的五种事务来检验HAT的有用性。其中4种能运行

用leveldb, thrift做了个HAT DB prototype来做测验

7 related work

we believe this paper is the first to explore the connections between transactional semantics, data consitency and availability

google spanner提供了1SR (strong one-copy serializable Tx),对于那些可以接受unavailability and incresed latency的用户而言,这是合理的选择

今天很多DB系统提供的语义在HAT环境下都可实现,说明分布式DB并不一定要Compromise availability, low latency or scalability

展开阅读全文
打赏
0
0 收藏
分享
加载中
LewisChan博主
2019.6月论文总结转移到阿里yuque平台
2019/06/12 14:59
回复
举报
更多评论
打赏
1 评论
0 收藏
0
分享
返回顶部
顶部