问题一：什么是请求的线性序？
什么是请求的线性序？
参考回答：
请求的线性序是指在分布式系统中，多个请求之间的执行顺序。如果两个请求γ和δ，δ是在γ被确认形成决议之后才发起的，那么我们就称δ是线性依赖的γ，每个副本状态机都需要先执行γ，再执行δ。
关于本问题的更多回答可点击原文查看：https://developer.aliyun.com/ask/618454
问题二：Skyros是如何实现异步共识的？
Skyros是如何实现异步共识的？
参考回答：
Skyros在同步复制阶段引入一个Leader，客户端直接写包括Leader在内的super-majority的副本，一旦返回则请求完成。在正常情况下，后台以Leader的请求顺序作为执行顺序，依照该请求顺序执行状态机；在Leader节点挂掉的情况下，剩余副本中选举出新的Leader，收集存活副本中请求的偏序集合，尝试恢复请求之间实际的线性序，然后继续履行Leader的职责。
关于本问题的更多回答可点击原文查看：https://developer.aliyun.com/ask/618455
问题三：Skyros的设计目标是什么？
Skyros的设计目标是什么？
参考回答：
是实现极致的一跳请求决议提交延迟，并简化分布式系统中的共识过程。
关于本问题的更多回答可点击原文查看：https://developer.aliyun.com/ask/618456
问题四：Skyros在Leader挂掉后如何恢复请求的线性序？
Skyros在Leader挂掉后如何恢复请求的线性序？
参考回答：
在Leader挂掉后，Skyros会在剩余副本中选举出新的Leader。新的Leader会收集存活副本中请求的偏序集合，并尝试恢复请求之间实际的线性序。这个恢复过程很大程度上会参考EPaxos的图排序算法。
关于本问题的更多回答可点击原文查看：https://developer.aliyun.com/ask/618457
问题五：Skyros方案简单吗？它实现了什么优化？
Skyros方案简单吗？它实现了什么优化？
参考回答：
Skyros方案在实现异步共识的同时，保持了设计的简洁性。它主要通过引入Leader和偏序恢复机制来优化请求的处理和确认过程，从而实现了极致的一跳请求决议提交延迟。
关于本问题的更多回答可点击原文查看：https://developer.aliyun.com/ask/618458
