基于HLC分布式事务实现深度剖析.pptx
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《基于HLC分布式事务实现深度剖析.pptx》由用户(无敌的果实)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 HLC 分布式 事务 实现 深度 剖析
- 资源描述:
-
1、- ACID AI LSNIDMVCC MVCC MVCC LSN LSN Lamport LC# event is knowntime = time + 1;# event happens countersend(message, time);#receiving a message Counter LChappen-beforeA1B2C3(message, time_stamp) = receive();time = max(time_stamp, time) + 1;HLCHLCl.jjLogic Timec.jpt.jwall time Receive event of messag
2、e ml.j := l.j;l.j := max(l.j, l.m, pt.j);Initial l.j := 0; c.j :=0 Send or local eventl.j := l.j;IF (l.j = l.j = l.m) THEN c.j :=max(c.j, c.m) + 1ELSEIF (l.j = l.j) THEN c.j:= c.j + 1ELSEIF (l.j = l.m) THEN c.j:= c.m + 1ELSE c.j := 0l.j := max(l.j, pt.j);IF (l.j = l.j) THEN c.j := c.j + 1ELSE c.j :=
3、 0;Timestmap with l.j, c.jTimestamp with l.j, c.j HLCboundedHLC TSO HLC happen beforeTSOHLCT1T1T1T1startendT3T3T2T2T3T3T4T41212T1,T2,T3th1 th2 th1 th3T1,T2,T4t1 t2 prepare_timestamp1000Read tableTable t1T3prepare998read snapshotcommit_timestamp1000Table t1Key1(93) old_v1Key2(xid2) v2Key2(36) old_v2Key3(xid3) v3Key4(xid4) v4Key4(78) old_v4Key30(xid2) v30Key40(1000) v40T410210001000=read snapshot, (key4, v4)1000(key40, v40)HLC HLCpeak TPS TPS=logical counter/HLC/ Peak TPS = 216 / 2 / 0.001 = 3 5ms Peak TPS = 216 / 2 / 0.005 = 6 peak TPS switchover logic counter overflow HLC /happen-before
展开阅读全文