区块基础-容错问题

分布式容错

区块链,有一种理解为分布式统一账本,那么分布式的架构肯定会存在一个容错的问题。这里简单概述下容错相关内容。

分布式容错约定概念:

节点:在一个网络中,每一台终端计算机称为一个节点,传统架构中服务器\客户端的模式,那么服务器也看作一个节点。

消息:网络中节点单独工作,协作在一块,需要一种机制,称为消息,也作为消息传递。

消息丢失:网络中不能保证所有消息都是能正常被传递和确认,这个原因是由于网络中的带宽、物理设备故障、恶意节点等原因,故无法保证所有的消息都是能正常传递和确认,那么必然存在消息丢失。

消息确认:在消息传递的过程中,接收消息的节点接收到消息后返回一个确认信息给发送节点。

消息传递序号:在消息发送过程中,为了防止重复发送的统一消息,在消息传递中加一个序列号。

状态复制:在分布式系统中,串形复制命令序列。

加锁:串行状态复制的时候,通过加锁的方式保证单一执行修改。

票:弱化形式的锁。检查服务节点状态,不对其进行加锁。

上述大致说明了一些分布式容错的约定概念。接下来简单介绍下一些协议。

理想化的两阶段协议

step-1

客户端发起请求至所有分布式的服务器

step-2

if

发起请求的客户端获得了所有的服务器的锁

then

客户端一次发送消息,结束后解锁

else

客户端未获得所有服务器的锁

重新进入step-1

end

这是一个理想化的模式。类似数据库系统,第一阶段就是事务的准备阶段,第二年阶段就是提交或者回滚。

问题: 

那么通过两阶段,出现节点故障的状态,那么请求无法完全,理想化的两阶段协议必须要求节点都正常,如果只是一部分服务器处于锁的状态,将无法正常完成整个过程。且客户端将无法判断服务器节点锁的状态,导致系统出现故障,问题:如何有效解决这种这种模式?

PAXOS

在票上加一个序列号,服务节点在收到票的时候记录票的序号,保证票不重复和本地记录的一致。通过超过半数的票来作为容错机制。

票协议:

step-1

客户端向所有节点发送带序号的票

step-2

if

客户端收到半数服务节点收到票的回复

then

客户端再次发起票,且加上命令消息一起发送给所有服务器

服务器节点收到消息,判断票有效性后,存储命令消息

服务器返回客户端信息

else

客户端等待,返回step-1

end if

step-3

if

客户端收到半数服务器的返回客户端消息

客户端通知所有服务器执行之前的命令

else

客户端等待,返回step-1

end if

这种票协议还是会出现服务节点存储本地票号,但是客户端在发起请求的时候票号会不一致,且命令存储会出现不一致。故再对这种模式进行改进。

PAXOS大致流程

引入本地记录票号的计数、半数确认容错。

服务端客户端

初始化初始化

票号t=0、命令c票号Tmax=0、命令C、存储命令的票Tc

step-1step-1

发起请求、t=t+1,请求票号为t

服务节点判断:t>Tmax、那么Tmax=t,回复确认(Tc、C)

step-2step-2

客户端如果收到半数服务节点回复确认、选择(Tc、C)验证Tc>0、那么c=C、发送消息p(t、c )

服务节点收到p、判断t=Tmax、那么C=c、Tc=t、回复成功

step-3step-3

接收到半数以上服务节点回复成功,向每个服务节点发送执行c操作

说明: 

PAXOS中有三阶段,三角色(提案者、接收者、学习者) 

上述流程中一个p(t、c)称为一个提案,那么提案根据算法存储在半数以上的服务器,那么后续再出现新的p(t、c)则因为t的顺序判断,故会顺序执行。可以通过反证法,同时出现两个p(t、c)出现在服务节点,且都超过半数,那么两个p提案在服务器之间肯定会有一个不为空的交集。根据两个p中t的顺序号,那么肯定有一个p提案被存储在服务器节点中,成为有效提案。在step-2中t为判断为与最高票编号比较,于是执行之前已经存储的p提案中的c命令。

场景分析:

如果成功p提案的客户端没有故障,那么直接告诉所有服务器执行命令c

如果客户端在没有告诉服务器执行命令的已经出现故障,那么服务器等待下一个客户端获得提案再执行命令。后续客户端发送请求的时候,服务器即可告诉客户端之前有一个提案待执行,避免再次发送提案。

如果一般服务器出现故障,没有达到半数,客户端无法正常获得回复工作。

如果出现执行多命令情景,那么引入实例、增加实例编号,c命令选中执行,客户端通过新的实例编号来启动新的实例。且服务器通过询问附近服务器确认一致的决议。

算法中p2p网络环境下,每一个节点可以是单一角色、也可以是多个角色。

Leslie Lamport在1989年提出PAXOS有兴趣可以看看论文原文。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,772评论 6 477
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,458评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,610评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,640评论 1 276
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,657评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,590评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,962评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,631评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,870评论 1 297
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,611评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,704评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,386评论 4 319
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,969评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,944评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,179评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 44,742评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,440评论 2 342

推荐阅读更多精彩内容

  • Paxos漫谈 发展史Paxos算法是现代分布式系统中的一项重要的基础性技术,得到了广泛的应用。Paxos的整个发...
    莫名FCJ阅读 2,360评论 0 1
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,590评论 18 139
  • 月亮举起雪色的匕 一刀封了夜的喉 躺出一地清澈的絮
    子匪鱼er阅读 176评论 2 3
  • 我想乘风游遍世界伴随蒲公英 我想顺雨流遍世界伴随河水 我想留在梦里享尽所有欢乐 我想留在梦里没有拘束无忧无虑 我想...
    零摄氏度心情阅读 154评论 0 4
  • 就不想让你再跟她相处 因为我现在非常讨厌那个人 又不是你的谁凭什么管你限制你 天天就知道甩脸子发脾气 还影响到我的...
    在路上呐阅读 722评论 0 0