2016-09-29 15:44:42 +02:00
|
|
|
// Copyright 2015, 2016 Ethcore (UK) Ltd.
|
|
|
|
// This file is part of Parity.
|
|
|
|
|
|
|
|
// Parity is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
|
|
|
|
// Parity is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU General Public License for more details.
|
|
|
|
|
|
|
|
// You should have received a copy of the GNU General Public License
|
|
|
|
// along with Parity. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
//! Tendermint message handling.
|
|
|
|
|
2016-11-15 11:20:14 +01:00
|
|
|
use util::*;
|
2016-11-08 19:01:31 +01:00
|
|
|
use super::{Height, Round, BlockHash, Step};
|
2016-09-29 15:44:42 +02:00
|
|
|
use rlp::{View, DecoderError, Decodable, Decoder, Encodable, RlpStream, Stream};
|
|
|
|
|
2016-11-08 19:01:31 +01:00
|
|
|
#[derive(Debug, PartialEq, Eq)]
|
|
|
|
pub struct ConsensusMessage {
|
2016-11-15 11:20:14 +01:00
|
|
|
pub signature: H520,
|
2016-11-16 11:29:54 +01:00
|
|
|
pub height: Height,
|
|
|
|
pub round: Round,
|
2016-11-15 11:20:14 +01:00
|
|
|
pub step: Step,
|
2016-11-16 11:29:54 +01:00
|
|
|
pub block_hash: Option<BlockHash>
|
2016-11-15 11:20:14 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
impl ConsensusMessage {
|
2016-11-16 11:29:54 +01:00
|
|
|
pub fn is_round(&self, height: Height, round: Round) -> bool {
|
2016-11-15 11:20:14 +01:00
|
|
|
self.height == height && self.round == round
|
|
|
|
}
|
|
|
|
|
2016-11-16 11:29:54 +01:00
|
|
|
pub fn is_step(&self, height: Height, round: Round, step: &Step) -> bool {
|
|
|
|
self.height == height && self.round == round && &self.step == step
|
2016-11-15 11:20:14 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn is_aligned(&self, height: Height, round: Round, block_hash: Option<H256>) -> bool {
|
|
|
|
self.height == height && self.round == round && self.block_hash == block_hash
|
|
|
|
}
|
2016-11-08 19:01:31 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
impl PartialOrd for ConsensusMessage {
|
|
|
|
fn partial_cmp(&self, m: &ConsensusMessage) -> Option<Ordering> {
|
|
|
|
Some(self.cmp(m))
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-15 11:20:14 +01:00
|
|
|
impl Step {
|
|
|
|
fn number(&self) -> i8 {
|
|
|
|
match *self {
|
|
|
|
Step::Propose => -1,
|
|
|
|
Step::Prevote => 0,
|
|
|
|
Step::Precommit => 1,
|
|
|
|
Step::Commit => 2,
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-11-08 19:01:31 +01:00
|
|
|
impl Ord for ConsensusMessage {
|
|
|
|
fn cmp(&self, m: &ConsensusMessage) -> Ordering {
|
|
|
|
if self.height != m.height {
|
|
|
|
self.height.cmp(&m.height)
|
|
|
|
} else if self.round != m.round {
|
|
|
|
self.round.cmp(&m.round)
|
|
|
|
} else if self.step != m.step {
|
2016-11-15 11:20:14 +01:00
|
|
|
self.step.number().cmp(&m.step.number())
|
2016-11-08 19:01:31 +01:00
|
|
|
} else {
|
|
|
|
self.block_hash.cmp(&m.block_hash)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Decodable for Step {
|
|
|
|
fn decode<D>(decoder: &D) -> Result<Self, DecoderError> where D: Decoder {
|
|
|
|
match try!(decoder.as_rlp().as_val()) {
|
|
|
|
0u8 => Ok(Step::Prevote),
|
|
|
|
1 => Ok(Step::Precommit),
|
|
|
|
_ => Err(DecoderError::Custom("Unknown step.")),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
impl Encodable for Step {
|
|
|
|
fn rlp_append(&self, s: &mut RlpStream) {
|
2016-11-15 11:20:14 +01:00
|
|
|
s.append(&(self.number() as u8));
|
2016-11-08 19:01:31 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// (signature, height, round, step, block_hash)
|
2016-09-29 15:44:42 +02:00
|
|
|
impl Decodable for ConsensusMessage {
|
|
|
|
fn decode<D>(decoder: &D) -> Result<Self, DecoderError> where D: Decoder {
|
|
|
|
let rlp = decoder.as_rlp();
|
|
|
|
if decoder.as_raw().len() != try!(rlp.payload_info()).total() {
|
|
|
|
return Err(DecoderError::RlpIsTooBig);
|
|
|
|
}
|
2016-11-15 11:20:14 +01:00
|
|
|
let m = try!(rlp.at(1));
|
|
|
|
let block_message: H256 = try!(m.val_at(3));
|
2016-11-08 19:01:31 +01:00
|
|
|
Ok(ConsensusMessage {
|
|
|
|
signature: try!(rlp.val_at(0)),
|
|
|
|
height: try!(m.val_at(0)),
|
|
|
|
round: try!(m.val_at(1)),
|
|
|
|
step: try!(m.val_at(2)),
|
2016-11-15 11:20:14 +01:00
|
|
|
block_hash: match block_message.is_zero() {
|
|
|
|
true => None,
|
|
|
|
false => Some(block_message),
|
|
|
|
}
|
2016-09-29 15:44:42 +02:00
|
|
|
})
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Encodable for ConsensusMessage {
|
|
|
|
fn rlp_append(&self, s: &mut RlpStream) {
|
2016-11-08 19:01:31 +01:00
|
|
|
s.begin_list(2);
|
|
|
|
s.append(&self.signature);
|
|
|
|
s.begin_list(4);
|
|
|
|
s.append(&self.height);
|
|
|
|
s.append(&self.round);
|
|
|
|
s.append(&self.step);
|
2016-11-15 11:20:14 +01:00
|
|
|
s.append(&self.block_hash.unwrap_or(H256::zero()));
|
2016-09-29 15:44:42 +02:00
|
|
|
}
|
|
|
|
}
|