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
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
use super::{TransactionId, TransactionIdError, TransactionStatus};
use std::sync::Arc;
use thiserror::Error;
use tokio::sync::RwLock;
#[derive(Clone, Debug)]
pub struct TransactionManager {
tran_min: TransactionId,
known_trans: Arc<RwLock<Vec<TransactionStatus>>>,
}
impl TransactionManager {
pub fn new() -> TransactionManager {
let tran_min = TransactionId::new(1);
let known_trans = Arc::new(RwLock::new(vec![TransactionStatus::Aborted]));
TransactionManager {
tran_min,
known_trans,
}
}
pub async fn start_trans(&mut self) -> Result<TransactionId, TransactionManagerError> {
let mut known_trans = self.known_trans.write().await;
known_trans.push(TransactionStatus::InProgress);
Ok(self.tran_min.checked_add(known_trans.len() - 1)?)
}
pub async fn get_status(
&mut self,
tran_id: TransactionId,
) -> Result<TransactionStatus, TransactionManagerError> {
if tran_id < self.tran_min {
return Err(TransactionManagerError::TooOld(tran_id, self.tran_min));
}
let known_trans = self.known_trans.read().await;
if tran_id > self.tran_min.checked_add(known_trans.len())? {
return Err(TransactionManagerError::InTheFuture(
tran_id,
self.tran_min,
known_trans.len(),
));
}
let index = tran_id.checked_sub(self.tran_min)?;
Ok(known_trans[index])
}
async fn update_trans(
&mut self,
tran_id: TransactionId,
new_status: TransactionStatus,
) -> Result<(), TransactionManagerError> {
if tran_id < self.tran_min {
return Err(TransactionManagerError::TooOld(tran_id, self.tran_min));
}
let mut known_trans = self.known_trans.write().await;
if tran_id > self.tran_min.checked_add(known_trans.len())? {
return Err(TransactionManagerError::InTheFuture(
tran_id,
self.tran_min,
known_trans.len(),
));
}
let index = tran_id.checked_sub(self.tran_min)?;
if known_trans[index] != TransactionStatus::InProgress {
return Err(TransactionManagerError::NotInProgress(
tran_id,
known_trans[index],
));
}
known_trans[index] = new_status;
Ok(())
}
pub async fn commit_trans(
&mut self,
tran_id: TransactionId,
) -> Result<(), TransactionManagerError> {
self.update_trans(tran_id, TransactionStatus::Commited)
.await
}
pub async fn abort_trans(
&mut self,
tran_id: TransactionId,
) -> Result<(), TransactionManagerError> {
self.update_trans(tran_id, TransactionStatus::Aborted).await
}
pub fn serialize() {}
pub fn parse() {}
}
#[derive(Error, Debug)]
pub enum TransactionManagerError {
#[error(transparent)]
TransactionIdError(#[from] TransactionIdError),
#[error("Transaction Id {0} too low compared to {1}")]
TooOld(TransactionId, TransactionId),
#[error("Transaction Id {0} exceeds the min {1} and size {2}")]
InTheFuture(TransactionId, TransactionId, usize),
#[error("Transaction Id {0} not in progress, found {1}")]
NotInProgress(TransactionId, TransactionStatus),
}
#[cfg(test)]
mod tests {
#![allow(unused_must_use)]
use super::*;
macro_rules! aw {
($e:expr) => {
tokio_test::block_on($e)
};
}
#[test]
fn tran_man_statuses() {
let mut tm = TransactionManager::new();
let tran1 = aw!(tm.start_trans()).unwrap();
let tran2 = aw!(tm.start_trans()).unwrap();
assert_ne!(tran1, tran2);
assert!(tran1 < tran2);
assert_eq!(
aw!(tm.get_status(tran1)).unwrap(),
TransactionStatus::InProgress
);
assert_eq!(
aw!(tm.get_status(tran2)).unwrap(),
TransactionStatus::InProgress
);
assert!(aw!(tm.commit_trans(tran1)).is_ok());
assert!(aw!(tm.commit_trans(tran1)).is_err());
assert_eq!(
aw!(tm.get_status(tran1)).unwrap(),
TransactionStatus::Commited
);
assert_eq!(
aw!(tm.get_status(tran2)).unwrap(),
TransactionStatus::InProgress
);
assert!(aw!(tm.abort_trans(tran2)).is_ok());
assert!(aw!(tm.abort_trans(tran2)).is_err());
assert_eq!(
aw!(tm.get_status(tran1)).unwrap(),
TransactionStatus::Commited
);
assert_eq!(
aw!(tm.get_status(tran2)).unwrap(),
TransactionStatus::Aborted
);
}
}