Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

LazyVoting, Voting, and EagerVoting #2

Open
hengxin opened this issue Sep 6, 2019 · 0 comments
Open

LazyVoting, Voting, and EagerVoting #2

hengxin opened this issue Sep 6, 2019 · 0 comments
Assignees
@hengxin @Starydark
Labels
priority:high high priority question Further information is requested research for research
Projects
PaxosInTLA+

Comments

@hengxin
Copy link
Owner

hengxin commented Sep 6, 2019 •
edited
Loading

考察三种 Voting 机制之间的 Refinement 关系:

  • LazyVoting: 是否可以删除 Voting 中的 IncreaseMaxBal(a, b)?

理由: VoteFor(a, b) 中已包含 IncreaseMaxBal(a, b) 动作。

  • Voting

  • EagerVoting

另一个维度的问题:
VoteFor 确定值 v 时，使用 All 还是 Quorum?
@hengxin hengxin added the question Further information is requested label Sep 6, 2019
@hengxin hengxin added this to To do in PaxosInTLA+ via automation Sep 6, 2019
@hengxin hengxin added research for research priority:high high priority labels Sep 6, 2019
@hengxin hengxin changed the title 是否可以删除 Voting 中的 IncreaseMaxBal(a, b)? Lazy Voting, Voting, and EagerVoting Sep 7, 2019
@hengxin hengxin changed the title Lazy Voting, Voting, and EagerVoting LazyVoting, Voting, and EagerVoting Sep 7, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hengxin hengxin

@Starydark Starydark

Labels
priority:high high priority question Further information is requested research for research
Projects
PaxosInTLA+
  
To do
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hengxin @Starydark