书签 分享 收藏 举报 版权申诉 / 21
上传文档赚钱

类型基于HLC分布式事务实现深度剖析.pptx

  • 上传人(卖家):无敌的果实
  • 文档编号:2519597
  • 上传时间:2022-04-28
  • 格式:PPTX
  • 页数:21
  • 大小:3.03MB
  • 【下载声明】
    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

    展开阅读全文
    提示  163文库所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
    关于本文
    本文标题:基于HLC分布式事务实现深度剖析.pptx
    链接地址:https://www.163wenku.com/p-2519597.html

    Copyright@ 2017-2037 Www.163WenKu.Com  网站版权所有  |  资源地图   
    IPC备案号:蜀ICP备2021032737号  | 川公网安备 51099002000191号


    侵权投诉QQ:3464097650  资料上传QQ:3464097650
       


    【声明】本站为“文档C2C交易模式”,即用户上传的文档直接卖给(下载)用户,本站只是网络空间服务平台,本站所有原创文档下载所得归上传人所有,如您发现上传作品侵犯了您的版权,请立刻联系我们并提供证据,我们将在3个工作日内予以改正。

    163文库