Line data Source code
1 : use std::{
2 : cmp::Ordering,
3 : collections::{BinaryHeap, VecDeque},
4 : fmt::{self, Debug},
5 : ops::DerefMut,
6 : sync::{mpsc, Arc},
7 : };
8 :
9 : use parking_lot::{
10 : lock_api::{MappedMutexGuard, MutexGuard},
11 : Mutex, RawMutex,
12 : };
13 : use rand::rngs::StdRng;
14 : use tracing::debug;
15 :
16 : use crate::{
17 : executor::{self, ThreadContext},
18 : options::NetworkOptions,
19 : proto::NetEvent,
20 : proto::NodeEvent,
21 : };
22 :
23 : use super::{chan::Chan, proto::AnyMessage};
24 :
25 : pub struct NetworkTask {
26 : options: Arc<NetworkOptions>,
27 : connections: Mutex<Vec<VirtualConnection>>,
28 : /// min-heap of connections having something to deliver.
29 : events: Mutex<BinaryHeap<Event>>,
30 : task_context: Arc<ThreadContext>,
31 : }
32 :
33 : impl NetworkTask {
34 528 : pub fn start_new(options: Arc<NetworkOptions>, tx: mpsc::Sender<Arc<NetworkTask>>) {
35 528 : let ctx = executor::get_thread_ctx();
36 528 : let task = Arc::new(Self {
37 528 : options,
38 528 : connections: Mutex::new(Vec::new()),
39 528 : events: Mutex::new(BinaryHeap::new()),
40 528 : task_context: ctx,
41 528 : });
42 528 :
43 528 : // send the task upstream
44 528 : tx.send(task.clone()).unwrap();
45 528 :
46 528 : // start the task
47 528 : task.start();
48 528 : }
49 :
50 35317 : pub fn start_new_connection(self: &Arc<Self>, rng: StdRng, dst_accept: Chan<NodeEvent>) -> TCP {
51 35317 : let now = executor::now();
52 35317 : let connection_id = self.connections.lock().len();
53 35317 :
54 35317 : let vc = VirtualConnection {
55 35317 : connection_id,
56 35317 : dst_accept,
57 35317 : dst_sockets: [Chan::new(), Chan::new()],
58 35317 : state: Mutex::new(ConnectionState {
59 35317 : buffers: [NetworkBuffer::new(None), NetworkBuffer::new(Some(now))],
60 35317 : rng,
61 35317 : }),
62 35317 : };
63 35317 : vc.schedule_timeout(self);
64 35317 : vc.send_connect(self);
65 35317 :
66 35317 : let recv_chan = vc.dst_sockets[0].clone();
67 35317 : self.connections.lock().push(vc);
68 35317 :
69 35317 : TCP {
70 35317 : net: self.clone(),
71 35317 : conn_id: connection_id,
72 35317 : dir: 0,
73 35317 : recv_chan,
74 35317 : }
75 35317 : }
76 : }
77 :
78 : // private functions
79 : impl NetworkTask {
80 : /// Schedule to wakeup network task (self) `after_ms` later to deliver
81 : /// messages of connection `id`.
82 173912 : fn schedule(&self, id: usize, after_ms: u64) {
83 173912 : self.events.lock().push(Event {
84 173912 : time: executor::now() + after_ms,
85 173912 : conn_id: id,
86 173912 : });
87 173912 : self.task_context.schedule_wakeup(after_ms);
88 173912 : }
89 :
90 : /// Get locked connection `id`.
91 230747 : fn get(&self, id: usize) -> MappedMutexGuard<'_, RawMutex, VirtualConnection> {
92 230747 : MutexGuard::map(self.connections.lock(), |connections| {
93 230747 : connections.get_mut(id).unwrap()
94 230747 : })
95 230747 : }
96 :
97 162134 : fn collect_pending_events(&self, now: u64, vec: &mut Vec<Event>) {
98 162134 : vec.clear();
99 162134 : let mut events = self.events.lock();
100 323741 : while let Some(event) = events.peek() {
101 321296 : if event.time > now {
102 159689 : break;
103 161607 : }
104 161607 : let event = events.pop().unwrap();
105 161607 : vec.push(event);
106 : }
107 162134 : }
108 :
109 528 : fn start(self: &Arc<Self>) {
110 528 : debug!("started network task");
111 :
112 528 : let mut events = Vec::new();
113 : loop {
114 162662 : let now = executor::now();
115 162662 : self.collect_pending_events(now, &mut events);
116 :
117 162662 : for event in events.drain(..) {
118 161607 : let conn = self.get(event.conn_id);
119 161607 : conn.process(self);
120 161607 : }
121 :
122 : // block until wakeup
123 162134 : executor::yield_me(-1);
124 : }
125 : }
126 : }
127 :
128 : // 0 - from node(0) to node(1)
129 : // 1 - from node(1) to node(0)
130 : type MessageDirection = u8;
131 :
132 1285 : fn sender_str(dir: MessageDirection) -> &'static str {
133 1285 : match dir {
134 211 : 0 => "client",
135 1074 : 1 => "server",
136 0 : _ => unreachable!(),
137 : }
138 1285 : }
139 :
140 347 : fn receiver_str(dir: MessageDirection) -> &'static str {
141 347 : match dir {
142 158 : 0 => "server",
143 189 : 1 => "client",
144 0 : _ => unreachable!(),
145 : }
146 347 : }
147 :
148 : /// Virtual connection between two nodes.
149 : /// Node 0 is the creator of the connection (client),
150 : /// and node 1 is the acceptor (server).
151 : struct VirtualConnection {
152 : connection_id: usize,
153 : /// one-off chan, used to deliver Accept message to dst
154 : dst_accept: Chan<NodeEvent>,
155 : /// message sinks
156 : dst_sockets: [Chan<NetEvent>; 2],
157 : state: Mutex<ConnectionState>,
158 : }
159 :
160 : struct ConnectionState {
161 : buffers: [NetworkBuffer; 2],
162 : rng: StdRng,
163 : }
164 :
165 : impl VirtualConnection {
166 : /// Notify the future about the possible timeout.
167 100449 : fn schedule_timeout(&self, net: &NetworkTask) {
168 100449 : if let Some(timeout) = net.options.keepalive_timeout {
169 100449 : net.schedule(self.connection_id, timeout);
170 100449 : }
171 100449 : }
172 :
173 : /// Send the handshake (Accept) to the server.
174 35317 : fn send_connect(&self, net: &NetworkTask) {
175 35317 : let now = executor::now();
176 35317 : let mut state = self.state.lock();
177 35317 : let delay = net.options.connect_delay.delay(&mut state.rng);
178 35317 : let buffer = &mut state.buffers[0];
179 35317 : assert!(buffer.buf.is_empty());
180 35317 : assert!(!buffer.recv_closed);
181 35317 : assert!(!buffer.send_closed);
182 35317 : assert!(buffer.last_recv.is_none());
183 :
184 35317 : let delay = if let Some(ms) = delay {
185 27199 : ms
186 : } else {
187 8118 : debug!("NET: TCP #{} dropped connect", self.connection_id);
188 8118 : buffer.send_closed = true;
189 8118 : return;
190 : };
191 :
192 : // Send a message into the future.
193 27199 : buffer
194 27199 : .buf
195 27199 : .push_back((now + delay, AnyMessage::InternalConnect));
196 27199 : net.schedule(self.connection_id, delay);
197 35317 : }
198 :
199 : /// Transmit some of the messages from the buffer to the nodes.
200 161607 : fn process(&self, net: &Arc<NetworkTask>) {
201 161607 : let now = executor::now();
202 161607 :
203 161607 : let mut state = self.state.lock();
204 :
205 484821 : for direction in 0..2 {
206 323214 : self.process_direction(
207 323214 : net,
208 323214 : state.deref_mut(),
209 323214 : now,
210 323214 : direction as MessageDirection,
211 323214 : &self.dst_sockets[direction ^ 1],
212 323214 : );
213 323214 : }
214 :
215 : // Close the one side of the connection by timeout if the node
216 : // has not received any messages for a long time.
217 161607 : if let Some(timeout) = net.options.keepalive_timeout {
218 161607 : let mut to_close = [false, false];
219 484821 : for direction in 0..2 {
220 323214 : let buffer = &mut state.buffers[direction];
221 323214 : if buffer.recv_closed {
222 70996 : continue;
223 252218 : }
224 252218 : if let Some(last_recv) = buffer.last_recv {
225 226037 : if now - last_recv >= timeout {
226 52533 : debug!(
227 0 : "NET: connection {} timed out at {}",
228 0 : self.connection_id,
229 0 : receiver_str(direction as MessageDirection)
230 : );
231 52533 : let node_idx = direction ^ 1;
232 52533 : to_close[node_idx] = true;
233 173504 : }
234 26181 : }
235 : }
236 161607 : drop(state);
237 :
238 323214 : for (node_idx, should_close) in to_close.iter().enumerate() {
239 323214 : if *should_close {
240 52533 : self.close(node_idx);
241 270681 : }
242 : }
243 0 : }
244 161607 : }
245 :
246 : /// Process messages in the buffer in the given direction.
247 323214 : fn process_direction(
248 323214 : &self,
249 323214 : net: &Arc<NetworkTask>,
250 323214 : state: &mut ConnectionState,
251 323214 : now: u64,
252 323214 : direction: MessageDirection,
253 323214 : to_socket: &Chan<NetEvent>,
254 323214 : ) {
255 323214 : let buffer = &mut state.buffers[direction as usize];
256 323214 : if buffer.recv_closed {
257 70996 : assert!(buffer.buf.is_empty());
258 252218 : }
259 :
260 388346 : while !buffer.buf.is_empty() && buffer.buf.front().unwrap().0 <= now {
261 65132 : let msg = buffer.buf.pop_front().unwrap().1;
262 65132 :
263 65132 : buffer.last_recv = Some(now);
264 65132 : self.schedule_timeout(net);
265 65132 :
266 65132 : if let AnyMessage::InternalConnect = msg {
267 25720 : // TODO: assert to_socket is the server
268 25720 : let server_to_client = TCP {
269 25720 : net: net.clone(),
270 25720 : conn_id: self.connection_id,
271 25720 : dir: direction ^ 1,
272 25720 : recv_chan: to_socket.clone(),
273 25720 : };
274 25720 : // special case, we need to deliver new connection to a separate channel
275 25720 : self.dst_accept.send(NodeEvent::Accept(server_to_client));
276 39412 : } else {
277 39412 : to_socket.send(NetEvent::Message(msg));
278 39412 : }
279 : }
280 323214 : }
281 :
282 : /// Try to send a message to the buffer, optionally dropping it and
283 : /// determining delivery timestamp.
284 65253 : fn send(&self, net: &NetworkTask, direction: MessageDirection, msg: AnyMessage) {
285 65253 : let now = executor::now();
286 65253 : let mut state = self.state.lock();
287 :
288 65253 : let (delay, close) = if let Some(ms) = net.options.send_delay.delay(&mut state.rng) {
289 58842 : (ms, false)
290 : } else {
291 6411 : (0, true)
292 : };
293 :
294 65253 : let buffer = &mut state.buffers[direction as usize];
295 65253 : if buffer.send_closed {
296 7571 : debug!(
297 0 : "NET: TCP #{} dropped message {:?} (broken pipe)",
298 : self.connection_id, msg
299 : );
300 7571 : return;
301 57682 : }
302 57682 :
303 57682 : if close {
304 4710 : debug!(
305 0 : "NET: TCP #{} dropped message {:?} (pipe just broke)",
306 : self.connection_id, msg
307 : );
308 4710 : buffer.send_closed = true;
309 4710 : return;
310 52972 : }
311 52972 :
312 52972 : if buffer.recv_closed {
313 6708 : debug!(
314 0 : "NET: TCP #{} dropped message {:?} (recv closed)",
315 : self.connection_id, msg
316 : );
317 6708 : return;
318 46264 : }
319 46264 :
320 46264 : // Send a message into the future.
321 46264 : buffer.buf.push_back((now + delay, msg));
322 46264 : net.schedule(self.connection_id, delay);
323 65253 : }
324 :
325 : /// Close the connection. Only one side of the connection will be closed,
326 : /// and no further messages will be delivered. The other side will not be notified.
327 56420 : fn close(&self, node_idx: usize) {
328 56420 : let mut state = self.state.lock();
329 56420 : let recv_buffer = &mut state.buffers[1 ^ node_idx];
330 56420 : if recv_buffer.recv_closed {
331 236 : debug!(
332 0 : "NET: TCP #{} closed twice at {}",
333 0 : self.connection_id,
334 0 : sender_str(node_idx as MessageDirection),
335 : );
336 236 : return;
337 56184 : }
338 56184 :
339 56184 : debug!(
340 0 : "NET: TCP #{} closed at {}",
341 0 : self.connection_id,
342 0 : sender_str(node_idx as MessageDirection),
343 : );
344 56184 : recv_buffer.recv_closed = true;
345 56184 : for msg in recv_buffer.buf.drain(..) {
346 5232 : debug!(
347 0 : "NET: TCP #{} dropped message {:?} (closed)",
348 : self.connection_id, msg
349 : );
350 : }
351 :
352 56184 : let send_buffer = &mut state.buffers[node_idx];
353 56184 : send_buffer.send_closed = true;
354 56184 : drop(state);
355 56184 :
356 56184 : // TODO: notify the other side?
357 56184 :
358 56184 : self.dst_sockets[node_idx].send(NetEvent::Closed);
359 56420 : }
360 : }
361 :
362 : struct NetworkBuffer {
363 : /// Messages paired with time of delivery
364 : buf: VecDeque<(u64, AnyMessage)>,
365 : /// True if the connection is closed on the receiving side,
366 : /// i.e. no more messages from the buffer will be delivered.
367 : recv_closed: bool,
368 : /// True if the connection is closed on the sending side,
369 : /// i.e. no more messages will be added to the buffer.
370 : send_closed: bool,
371 : /// Last time a message was delivered from the buffer.
372 : /// If None, it means that the server is the receiver and
373 : /// it has not yet aware of this connection (i.e. has not
374 : /// received the Accept).
375 : last_recv: Option<u64>,
376 : }
377 :
378 : impl NetworkBuffer {
379 70634 : fn new(last_recv: Option<u64>) -> Self {
380 70634 : Self {
381 70634 : buf: VecDeque::new(),
382 70634 : recv_closed: false,
383 70634 : send_closed: false,
384 70634 : last_recv,
385 70634 : }
386 70634 : }
387 : }
388 :
389 : /// Single end of a bidirectional network stream without reordering (TCP-like).
390 : /// Reads are implemented using channels, writes go to the buffer inside VirtualConnection.
391 : pub struct TCP {
392 : net: Arc<NetworkTask>,
393 : conn_id: usize,
394 : dir: MessageDirection,
395 : recv_chan: Chan<NetEvent>,
396 : }
397 :
398 : impl Debug for TCP {
399 901 : fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
400 901 : write!(f, "TCP #{} ({})", self.conn_id, sender_str(self.dir),)
401 901 : }
402 : }
403 :
404 : impl TCP {
405 : /// Send a message to the other side. It's guaranteed that it will not arrive
406 : /// before the arrival of all messages sent earlier.
407 65253 : pub fn send(&self, msg: AnyMessage) {
408 65253 : let conn = self.net.get(self.conn_id);
409 65253 : conn.send(&self.net, self.dir, msg);
410 65253 : }
411 :
412 : /// Get a channel to receive incoming messages.
413 415457 : pub fn recv_chan(&self) -> Chan<NetEvent> {
414 415457 : self.recv_chan.clone()
415 415457 : }
416 :
417 280368 : pub fn connection_id(&self) -> usize {
418 280368 : self.conn_id
419 280368 : }
420 :
421 3887 : pub fn close(&self) {
422 3887 : let conn = self.net.get(self.conn_id);
423 3887 : conn.close(self.dir as usize);
424 3887 : }
425 : }
426 : struct Event {
427 : time: u64,
428 : conn_id: usize,
429 : }
430 :
431 : // BinaryHeap is a max-heap, and we want a min-heap. Reverse the ordering here
432 : // to get that.
433 : impl PartialOrd for Event {
434 989006 : fn partial_cmp(&self, other: &Self) -> Option<Ordering> {
435 989006 : Some(self.cmp(other))
436 989006 : }
437 : }
438 :
439 : impl Ord for Event {
440 989006 : fn cmp(&self, other: &Self) -> Ordering {
441 989006 : (other.time, other.conn_id).cmp(&(self.time, self.conn_id))
442 989006 : }
443 : }
444 :
445 : impl PartialEq for Event {
446 0 : fn eq(&self, other: &Self) -> bool {
447 0 : (other.time, other.conn_id) == (self.time, self.conn_id)
448 0 : }
449 : }
450 :
451 : impl Eq for Event {}
|
