eos待确认/分叉库

fork_database:管理了轻量级状态数据,是由未确认的潜在区块产生的.
1.当本地节点接收(receive)到新的区块时,它们将被推入fork数据库.
2.fork数据库跟踪最长的链及最新不可逆块号.所有大于最新不可逆块号的区块将会发出"irreversible"不可逆信号以后被释放掉,区块已经成功上链变为不可逆,因此fork数据库没有必要再存储.

initialize_fork_db:要先构造区块头状态对象
区块头状态构造参数
1.active_schedule:活动的出块安排,默认为初始出块安排
2.pending_schedule:等待中的出块安排,默认为初始出块安排
3.pending_sechedule_hash:等待中的出块安排的单向哈希值
4.header.timestamp:等于创世块配置文件genesis中的timestamp值
5.header.activeon_mroot:action的Merkle树根,创世块的值为链id值,该值是通过加密算法计算出的
6.id:块id
7.block_num:块号

commit_block->add_to_fork_db
提交区块函数,无论提交是否成功,都不再保留活动的pending块.该函数有一个参数add_to_fork_db,调用时一般为false

maybe_switch_forks:或许要切换分叉库到主库

         if( read_mode != db_read_mode::IRREVERSIBLE ) {
            maybe_switch_forks( fork_db.pending_head(), s );
         }

1.db的读取模式为IRREVERSIBLE时,只关心当前不可逆区块的数据,而fork_db中不存在不可逆区块的数据.其他三种读取模式都涉及可逆区块及未确认的数据,因此需要在maybe_switch_forks函数进行检查处理

2.当fork_db头块的上一个块等于当前节点的头块时,说明有新块被接收,先到达fork_db中

      if( new_head->header.previous == head->id ) {
         try {
            apply_block( new_head, s );
            fork_db.mark_valid( new_head );
            head = new_head;
         } catch ( const fc::exception& e ) {
            fork_db.remove( new_head->id );
            throw;
         }
      }

3.当fork_db头块的前一个块不等于主库头块且fork_db头块id也不等于当前节点的头块id时,说明fork_db最新的两个块都不等于主库头块.这里fork_db是更长的一条链,因此要切换主库为fork_db链

controller析构对fork_db的处理:my->fork_db.close()
1.在controller析构时将fork_db关掉,因为它会生成irreversible信号到这个controller.如果db读取模式为IRREVERSIBLE,将应用最后一个不可逆块,my需要成为指向有效controller_impl的指针
2.通常头块不是不可逆的.如果fork_db中只剩一个块,那么一定是头块,一般不会将它删除是因为下一个区块需要从头块建立.但可以在退出之前将这个区块作为不可逆区块从fork_db中删除

controller::startup对fork_db的处理:my->head = my->fork_db.head()
当controller处于startup周期时,会将fork_db的头块设置为主库头块(头块一般不是不可逆的)