8.4 EOS共识代码实现

共识相关的对象

我们先来看看block_header_state的结构:

结构-1
结构-2

看一下几个重要的变量和函数:

confirm_count:区块需要确认的次数列表,比如:1-12个块需要确认3次,则confirm_count:[3,3,3,3,3,3,3,3,3,3,3,3]

dpos_proposed_irreversible_blocknum :第一轮本节点共识的不可逆块序号

roducer_to_last_implied_irb :由生产者确定的不可逆区块备选map列表

dpos_irreversible_blocknum:最终的不可逆区块序号

next():开始生产下一个块

generate_next():根据上一个区块构造新的区块

set_confirmed():共识实现函数

calc_dpos_last_irreversible():从不可逆块备选列表,确定最终的不可逆块

block_state继承自block_header_state,当构造block_state对象的时候,会调用next()或者generate_next()函数;

源码分析共识过程

共识分为两个部分:

- 对从其他节点接收到的块做确认;

- 对本节点生产的块本节点自己确认一次;

1.从其他节点接收到的块确认

当生产者切换时,需要确认已经接收到的块(即共识),共识从start_block()函数开始,代码如下:

图1

从上面的代码可以看出pending->_pending_block_state = std::make_shared<block_state>( *head, when );在构造block_state时,会调用两个参数的构造函数,且构造函数中会调用pre.generate_next()函数,即构造新块的同时,取出最终的不可逆块,然后通过set_confirmed()对已收到的块做共识;

(1).先来看一下共识的函数,set_confirmed(uint16_t num_prev_blocks):confirm_block_count参数的含义:需要确认块的个数 = 全网生产的块序号 - 本节点作为生产节点时最后生产的块序号

需要确认块的个数,看下面的两段代码是如何实现的:

作为生产节点的时候,把每个生产者最后生产的块序号存在map变量_producer_watermarks中;

图2

在start_block()中,获取生产节点上一轮最后生产的块,并根据全网的块序号计算出本节点共识需要确认的块个数;

图3

以下图为例:B节点经过一轮生产后,作为第二轮的生产者时的变化:

图4

B节点上一轮最后生产的块序号为24,A节点最后生产的块序号为60,切换生产者,轮到B开始生产时,B生产新块,并开始共识,那么B节点需要确认的块的个数为:60-24=36;

看下共识代码:

图5

(2).看下generate_next(),在根据上一个区块构造新的区块时候,需要本节点从备选的不可逆块列表中确定最终的不可逆块序号:

图6

下面看一下如何从备选的不可逆块列表中确定最终的不可逆块序号:

图7​

从上面的代码可以看出,最后的不可逆块,是从备选不可逆块列表中取1/3处获取,而加入到备选不可逆块列表中的块序号是第一轮的共识结果,按节点不可逆块号排序后,第二轮大于2/3的节点达成共识,那么1/3处位置一定是不可逆块;

2.本节点生产的块确认

本节点生产块从producer_plugin_impl::produce_block()函数开始:produce_block()->commit()->commit_block(true)->fork_database::add(),生产的块首先会添加到fork_db中,代码如下:

图8

从上面的代码可以看出auto result = std::make_shared<block_state>( **prior, move(b), skip_validate_signee );在构造block_state时,会调用三个参数的构造函数,且构造函数中会调用pre.next()函数,即生产下一个块,这时在构造新快的同时,需要对上一个块进行确认;代码如下:

图9

看一下共识的函数,set_confirmed(uint16_t num_prev_blocks);参数num_prev_blocks的值是多少呢?

num_prev_blocks需要确认块的个数 = 全网生产的块序号 - 本节点作为生产节点时最后生产的块序号;

当生产者切换到本地节点,并且已生产了一个块后,比如:本节点生产了一个块61,那么最后生产的块序号更新为61,此时,本节点需要确认的块的个数为:61-61=0;

此时调用set_confirmed(uint16_t num_prev_blocks);num_prev_blocks需要确认块的个数为0;最后调用generate_next(),根据上一个区块构造新区块时候,并从备选的不可逆块列表中确定最终的不可逆块序号;

总结

本章节我们详细分析了EOS的共识算法bft3.0-dpos的代码实现,需要知道EOS的共识算法大概分成两部分共识:

1.接收到的块做共识;

2.本节点生产的块做共识;

共识的过程又分为两步:

(1).区块达到(2/3+1)次确认后会被放到备选不可逆区块列表中;

(2).第二轮从备选不可逆区块列表中取1/3处,为最终的不可逆块;

EOS的共识算法bft3.0-dpos需要两轮共识是为了解决一轮共识可能产生的不可逆块冲突问题;

链接

星河公链官网

8.4 EOS共识代码实现-blog.51cto

8.4 EOS共识代码实现 - arm_snow的博客 - CSDN博客

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