def test_acceptor_receivers_identical_prepare_from_another_replica(self): self.role.receive(Prepare.create(proposal=Proposal('A', 1)), self.channel) self.role.receive(Prepare.create(proposal=Proposal('B', 1)), self.channel) self.assertEqual(len(self.channel.unicast_messages), 2) self.assertEqual(self.state.read(Acceptor.PROMISED), Proposal('A', 1)) self.assertEqual([type(m) for m in self.channel.unicast_messages], [Promise, Nack])
def test_acceptor_receives_lower_prepare(self): self.role.receive(Prepare.create(proposal=Proposal('A', 1)), self.channel) self.role.receive(Prepare.create(proposal=Proposal('A', 0)), self.channel) self.assertEqual(len(self.channel.unicast_messages), 2) self.assertEqual(self.state.read(Acceptor.PROMISED), Proposal('A', 1)) self.assertTrue(type(self.channel.unicast_messages[-1]) is Nack)
def test_node_receives_higher_proposals(self): self.assertEqual(self.state.read(Node.PROPOSED), Proposal(None, 0)) self.role.receive(Prepare.create(proposal=Proposal('A', 1)), self.channel) self.assertEqual(self.state.read(Node.PROPOSED), Proposal('A', 2)) self.role.receive(Promise.create(proposal=Proposal('A', 3)), self.channel) self.assertEqual(self.state.read(Node.PROPOSED), Proposal('A', 4)) self.role.receive(Accept.create(proposal=Proposal('A', 5)), self.channel) self.assertEqual(self.state.read(Node.PROPOSED), Proposal('A', 6)) self.role.receive(Accepted.create(proposal=Proposal('A', 7)), self.channel) self.assertEqual(self.state.read(Node.PROPOSED), Proposal('A', 8))
def test_acceptor_receives_prepare_and_then_receives_lower_accept(self): self.role.receive(Prepare.create(proposal=Proposal('A', 1)), self.channel) self.role.receive(Accept.create(proposal=Proposal('A', 0)), self.channel) self.assertTrue(type(self.channel.unicast_messages[-1]) is Nack)
def test_role_behind_sends_sync_message(self): self.role.receive(Prepare.create(proposal=Proposal('A', 2)), self.channel) self.assertTrue(type(self.channel.unicast_messages[0]) is Sync)