mirror of
https://github.com/zed-industries/zed.git
synced 2024-09-19 10:29:35 +03:00
28bacabc4e
This way, `util` does not depend on `clock`. Co-Authored-By: Nathan Sobo <nathan@zed.dev>
70 lines
2.1 KiB
Rust
70 lines
2.1 KiB
Rust
use clock::ReplicaId;
|
|
|
|
pub struct Network<T: Clone, R: rand::Rng> {
|
|
inboxes: std::collections::BTreeMap<ReplicaId, Vec<Envelope<T>>>,
|
|
all_messages: Vec<T>,
|
|
rng: R,
|
|
}
|
|
|
|
#[derive(Clone)]
|
|
struct Envelope<T: Clone> {
|
|
message: T,
|
|
}
|
|
|
|
impl<T: Clone, R: rand::Rng> Network<T, R> {
|
|
pub fn new(rng: R) -> Self {
|
|
Network {
|
|
inboxes: Default::default(),
|
|
all_messages: Vec::new(),
|
|
rng,
|
|
}
|
|
}
|
|
|
|
pub fn add_peer(&mut self, id: ReplicaId) {
|
|
self.inboxes.insert(id, Vec::new());
|
|
}
|
|
|
|
pub fn replicate(&mut self, old_replica_id: ReplicaId, new_replica_id: ReplicaId) {
|
|
self.inboxes
|
|
.insert(new_replica_id, self.inboxes[&old_replica_id].clone());
|
|
}
|
|
|
|
pub fn is_idle(&self) -> bool {
|
|
self.inboxes.values().all(|i| i.is_empty())
|
|
}
|
|
|
|
pub fn broadcast(&mut self, sender: ReplicaId, messages: Vec<T>) {
|
|
for (replica, inbox) in self.inboxes.iter_mut() {
|
|
if *replica != sender {
|
|
for message in &messages {
|
|
// Insert one or more duplicates of this message, potentially *before* the previous
|
|
// message sent by this peer to simulate out-of-order delivery.
|
|
for _ in 0..self.rng.gen_range(1..4) {
|
|
let insertion_index = self.rng.gen_range(0..inbox.len() + 1);
|
|
inbox.insert(
|
|
insertion_index,
|
|
Envelope {
|
|
message: message.clone(),
|
|
},
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
self.all_messages.extend(messages);
|
|
}
|
|
|
|
pub fn has_unreceived(&self, receiver: ReplicaId) -> bool {
|
|
!self.inboxes[&receiver].is_empty()
|
|
}
|
|
|
|
pub fn receive(&mut self, receiver: ReplicaId) -> Vec<T> {
|
|
let inbox = self.inboxes.get_mut(&receiver).unwrap();
|
|
let count = self.rng.gen_range(0..inbox.len() + 1);
|
|
inbox
|
|
.drain(0..count)
|
|
.map(|envelope| envelope.message)
|
|
.collect()
|
|
}
|
|
}
|