1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
use crate::{
algorithm::{Bft, INIT_HEIGHT},
error::BftError,
types::*,
FromCore,
};
use crossbeam_channel::{unbounded, Sender};
pub type Result<T> = ::std::result::Result<T, BftError>;
#[derive(Clone, Debug)]
pub struct Core {
sender: Sender<CoreInput>,
height: u64,
}
impl Core {
pub fn new<T: FromCore + Send + 'static>(s: T, address: Address) -> Self {
let (sender, internal_receiver) = unbounded();
Bft::start(s, internal_receiver, address);
Core {
sender,
height: INIT_HEIGHT,
}
}
pub fn send_bft_msg(&mut self, msg: CoreInput) -> Result<()> {
match msg {
CoreInput::Status(s) => {
let status_height = s.height;
if self.sender.send(CoreInput::Status(s)).is_ok() {
if self.height <= status_height {
self.height = status_height + 1;
}
Ok(())
} else {
Err(BftError::SendMsgErr)
}
}
_ => self.sender.send(msg).map_err(|_| BftError::SendMsgErr),
}
}
pub fn get_height(&self) -> u64 {
self.height
}
}
#[cfg(test)]
mod test {
use super::Core as Bft;
use crate::{types::*, FromCore};
use crossbeam_channel::{unbounded, Sender};
#[derive(Debug)]
enum Error {
SendErr,
}
struct SendMsg(Sender<CoreOutput>);
impl FromCore for SendMsg {
type error = Error;
fn send_msg(&self, msg: CoreOutput) -> Result<(), Error> {
self.0.send(msg).map_err(|_| Error::SendErr)?;
Ok(())
}
}
impl SendMsg {
fn new() -> Self {
let (s, _) = unbounded();
SendMsg(s)
}
}
fn create_status(height: u64) -> CoreInput {
CoreInput::Status(Status {
height,
interval: None,
authority_list: vec![],
})
}
#[test]
fn test_height_change() {
let height: Vec<(u64, u64)> = vec![(1, 2), (2, 3), (1, 3), (4, 5), (6, 7), (5, 7)];
let mut bft = Bft::new(SendMsg::new(), vec![1]);
assert_eq!(bft.get_height(), 0);
for h in height.into_iter() {
if let Ok(_) = bft.send_bft_msg(create_status(h.0)) {
assert_eq!(bft.get_height(), h.1);
} else {
panic!("Send Error!");
}
}
}
}