BFT问题思考

文章讨论了在部分同步系统中,如何确定节点在接收到k条消息后能确定这些消息是达成共识的。关键在于避免不同诚实节点同时对不同消息达成共识,从而得出n>=3f+1的条件,确保节点在特定情况下正确识别共识消息。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

如果在整个系统中有 n个节点,其中有f个作恶节点,如果某节点收到的消息是A,错误消息可能是B C D,那么该节点收到多少条消息后,才能得出结论说,我现在收到了k条消息,不可能有其他节点收到其他消息大于等于k条,因此这k条消息一定是达成共识的消息?

  1. 因为是部分同步的系统,我们最多收到 n-f条消息,f个作恶节点可能一直保持沉默
  2. 假设节点收到了k条A消息(包含自己发的消息)后,说这k条A消息一定是真的,最终达成的结果就是A。
    那么我们要讨论当k取何值时下面的情况不会发生:有诚实的节点1、2,节点1收到k条A消息,节点1对消息A达成共识。节点2收到k条B消息,节点2对消息B达成共识,此时节点1、2达成的共识不一致。
    2(k−f)≥n−f+12(k-f) \geq n-f+12(kf)nf+1 时,说明有一个诚实节点同时发出了消息A和消息B,这是不可能发生的。
    因此当 k≥(n+f+1)2k\geq\frac{(n+f+1)}{2}k2(n+f+1) 时,上面的假设不成立。

因此,(n+f+1)2≤n−f\frac{(n+f+1)}{2}\leq n-f2(n+f+1)nf ,即 n≥3f+1n\geq3f+1n3f+1 ,当一个节点在 n = 3f+1条件下,收到 2f+1条消息A时,就可以认为不会有其他的消息超过2f+1条。

内容概要:本文档定义了一个名为 `xxx_SCustSuplier_info` 的视图,用于整合和展示客户(Customer)和供应商(Supplier)的相关信息。视图通过连接多个表来获取组织单位、客户账户、站点使用、位置、财务代码组合等数据。对于客户部分,视图选择了与账单相关的记录,并提取了账单客户ID、账单站点ID、客户名称、账户名称、站点代码、状态、付款条款等信息;对于供应商部分,视图选择了有效的供应商及其站点信息,包括供应商ID、供应商名称、供应商编号、状态、付款条款、财务代码组合等。视图还通过外连接确保即使某些字段为空也能显示相关信息。 适合人群:熟悉Oracle ERP系统,尤其是应付账款(AP)和应收账款(AR)模块的数据库管理员或开发人员;需要查询和管理客户及供应商信息的业务分析师。 使用场景及目标:① 数据库管理员可以通过此视图快速查询客户和供应商的基本信息,包括账单信息、财务代码组合等;② 开发人员可以利用此视图进行报表开发或数据迁移;③ 业务分析师可以使用此视图进行数据分析,如信用评估、付款周期分析等。 阅读建议:由于该视图涉及多个表的复杂连接,建议读者先熟悉各个表的结构和关系,特别是 `hz_parties`、`hz_cust_accounts`、`ap_suppliers` 等核心表。此外,注意视图中使用的外连接(如 `gl_code_combinations_kfv` 表的连接),这可能会影响查询结果的完整性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值