openraft 0.10.0-alpha.18

Advanced Raft consensus
Documentation 
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141

use crate::RaftState;
use crate::engine::LogIdList;
use crate::engine::testing::UTConfig;
use crate::raft_state::LogStateReader;
use crate::type_config::alias::LogIdOf;

fn log_id(term: u64, index: u64) -> LogIdOf<UTConfig> {
    crate::engine::testing::log_id(term, 0, index)
}

#[test]
fn test_raft_state_prev_log_id() -> anyhow::Result<()> {
    // There is log id at 0
    // Last-per-leader: leader 0 at 0, leader 1 at 1-3, leader 3 at 4
    {
        let rs = RaftState::<UTConfig> {
            log_ids: LogIdList::new(None, vec![log_id(0, 0), log_id(1, 3), log_id(3, 4)]),
            ..Default::default()
        };

        assert_eq!(None, rs.prev_log_id(0));
        assert_eq!(Some(log_id(0, 0)), rs.prev_log_id(1));
        assert_eq!(Some(log_id(1, 3)), rs.prev_log_id(4));
        assert_eq!(Some(log_id(3, 4)), rs.prev_log_id(5));
    }

    // First log at index 1 (purged at 0)
    // Last-per-leader: leader 1 at 1-3, leader 3 at 4
    {
        let rs = RaftState::<UTConfig> {
            log_ids: LogIdList::new(Some(log_id(0, 0)), vec![log_id(1, 3), log_id(3, 4)]),
            ..Default::default()
        };

        assert_eq!(None, rs.prev_log_id(0));
        assert_eq!(Some(log_id(0, 0)), rs.prev_log_id(1));
        assert_eq!(Some(log_id(1, 1)), rs.prev_log_id(2));
        assert_eq!(Some(log_id(1, 3)), rs.prev_log_id(4));
        assert_eq!(Some(log_id(3, 4)), rs.prev_log_id(5));
    }
    Ok(())
}

#[test]
fn test_raft_state_has_log_id_empty() -> anyhow::Result<()> {
    let rs = RaftState::<UTConfig>::default();

    assert!(!rs.has_log_id(log_id(0, 0)));

    Ok(())
}

#[test]
fn test_raft_state_has_log_id_committed_gets_true() -> anyhow::Result<()> {
    let mut rs = RaftState::<UTConfig>::default();

    rs.apply_progress_mut().accept(log_id(2, 1));

    assert!(rs.has_log_id(log_id(0, 0)));
    assert!(rs.has_log_id(log_id(2, 1)));
    assert!(!rs.has_log_id(log_id(2, 2)));

    Ok(())
}

#[test]
fn test_raft_state_has_log_id_in_log_id_list() -> anyhow::Result<()> {
    // Last-per-leader: leader 1 at 0-3, leader 3 at 4
    let mut rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(None, vec![log_id(1, 3), log_id(3, 4)]),
        ..Default::default()
    };

    rs.apply_progress_mut().accept(log_id(2, 1));

    assert!(rs.has_log_id(log_id(1, 0)));
    assert!(rs.has_log_id(log_id(2, 1)));
    assert!(rs.has_log_id(log_id(1, 3)));
    assert!(rs.has_log_id(log_id(3, 4)));

    assert!(!rs.has_log_id(log_id(2, 3)));
    assert!(!rs.has_log_id(log_id(2, 4)));
    assert!(!rs.has_log_id(log_id(3, 5)));

    Ok(())
}

#[test]
fn test_raft_state_last_log_id() -> anyhow::Result<()> {
    let rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(None, vec![]),
        ..Default::default()
    };

    assert_eq!(None, rs.last_log_id());

    let rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(None, vec![log_id(1, 2)]),
        ..Default::default()
    };
    assert_eq!(Some(&log_id(1, 2)), rs.last_log_id());

    let rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(None, vec![log_id(1, 2), log_id(3, 4)]),
        ..Default::default()
    };
    assert_eq!(Some(&log_id(3, 4)), rs.last_log_id());

    Ok(())
}

#[test]
fn test_raft_state_purge_upto() -> anyhow::Result<()> {
    let rs = RaftState::<UTConfig> {
        purge_upto: Some(log_id(1, 2)),
        ..Default::default()
    };

    assert_eq!(Some(&log_id(1, 2)), rs.purge_upto());

    Ok(())
}

#[test]
fn test_raft_state_last_purged_log_id() -> anyhow::Result<()> {
    // No purged logs
    let rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(None, vec![]),
        ..Default::default()
    };
    assert_eq!(None, rs.last_purged_log_id());

    // Purged at index 2
    let rs = RaftState::<UTConfig> {
        log_ids: LogIdList::new(Some(log_id(1, 2)), vec![log_id(3, 4)]),
        ..Default::default()
    };
    assert_eq!(Some(log_id(1, 2)), rs.last_purged_log_id().copied());

    Ok(())
}