This repository was archived by the owner on Nov 15, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2.7k
Randomly fuzz the PSM #2470
Merged
Merged
Randomly fuzz the PSM #2470
Changes from all commits
Commits
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,138 @@ | ||
| // Copyright 2018-2019 Parity Technologies (UK) Ltd. | ||
| // This file is part of Substrate. | ||
|
|
||
| // Substrate is free software: you can redistribute it and/or modify | ||
| // it under the terms of the GNU General Public License as published by | ||
| // the Free Software Foundation, either version 3 of the License, or | ||
| // (at your option) any later version. | ||
|
|
||
| // Substrate is distributed in the hope that it will be useful, | ||
| // but WITHOUT ANY WARRANTY; without even the implied warranty of | ||
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | ||
| // GNU General Public License for more details. | ||
|
|
||
| // You should have received a copy of the GNU General Public License | ||
| // along with Substrate. If not, see <http://www.gnu.org/licenses/>. | ||
|
|
||
| use futures::prelude::*; | ||
| use libp2p::PeerId; | ||
| use rand::distributions::{Distribution, Uniform, WeightedIndex}; | ||
| use rand::seq::IteratorRandom; | ||
| use std::{collections::HashMap, collections::HashSet, iter}; | ||
| use substrate_peerset::{IncomingIndex, Message, PeersetConfig, Peerset}; | ||
|
|
||
| #[test] | ||
| fn run() { | ||
| for _ in 0..50 { | ||
| test_once(); | ||
| } | ||
| } | ||
|
|
||
| fn test_once() { | ||
| // PRNG to use. | ||
| let mut rng = rand::thread_rng(); | ||
|
|
||
| // Nodes that the peerset knows about. | ||
| let mut known_nodes = HashSet::<PeerId>::new(); | ||
| // Nodes that we have reserved. Always a subset of `known_nodes`. | ||
| let mut reserved_nodes = HashSet::<PeerId>::new(); | ||
|
|
||
| let (mut peerset, peerset_handle) = Peerset::from_config(PeersetConfig { | ||
| bootnodes: (0 .. Uniform::new_inclusive(0, 4).sample(&mut rng)).map(|_| { | ||
| let id = PeerId::random(); | ||
| known_nodes.insert(id.clone()); | ||
| id | ||
| }).collect(), | ||
| reserved_nodes: (0 .. Uniform::new_inclusive(0, 2).sample(&mut rng)).map(|_| { | ||
| let id = PeerId::random(); | ||
| known_nodes.insert(id.clone()); | ||
| reserved_nodes.insert(id.clone()); | ||
| id | ||
| }).collect(), | ||
| reserved_only: Uniform::new_inclusive(0, 10).sample(&mut rng) == 0, | ||
| in_peers: Uniform::new_inclusive(0, 25).sample(&mut rng), | ||
| out_peers: Uniform::new_inclusive(0, 25).sample(&mut rng), | ||
| }); | ||
|
|
||
| tokio::runtime::current_thread::Runtime::new().unwrap().block_on(futures::future::poll_fn(move || -> Result<_, ()> { | ||
| // List of nodes the user of `peerset` assumes it's connected to. Always a subset of | ||
| // `known_nodes`. | ||
| let mut connected_nodes = HashSet::<PeerId>::new(); | ||
| // List of nodes the user of `peerset` called `incoming` with and that haven't been | ||
| // accepted or rejected yet. | ||
| let mut incoming_nodes = HashMap::<IncomingIndex, PeerId>::new(); | ||
| // Next id for incoming connections. | ||
| let mut next_incoming_id = IncomingIndex(0); | ||
|
|
||
| // Perform a certain number of actions while checking that the state is consistent. If we | ||
| // reach the end of the loop, the run has succeeded. | ||
| for _ in 0 .. 2500 { | ||
| // Each of these weights corresponds to an action that we may perform. | ||
| let action_weights = [150, 90, 90, 30, 30, 1, 1, 4, 4]; | ||
| match WeightedIndex::new(&action_weights).unwrap().sample(&mut rng) { | ||
| // If we generate 0, poll the peerset. | ||
| 0 => match peerset.poll().unwrap() { | ||
| Async::Ready(Some(Message::Connect(id))) => { | ||
| if let Some(id) = incoming_nodes.iter().find(|(_, v)| **v == id).map(|(&id, _)| id) { | ||
| incoming_nodes.remove(&id); | ||
| } | ||
| assert!(connected_nodes.insert(id)); | ||
| } | ||
| Async::Ready(Some(Message::Drop(id))) => { connected_nodes.remove(&id); } | ||
| Async::Ready(Some(Message::Accept(n))) => | ||
| assert!(connected_nodes.insert(incoming_nodes.remove(&n).unwrap())), | ||
| Async::Ready(Some(Message::Reject(n))) => | ||
| assert!(!connected_nodes.contains(&incoming_nodes.remove(&n).unwrap())), | ||
| Async::Ready(None) => panic!(), | ||
| Async::NotReady => {} | ||
| } | ||
|
|
||
| // If we generate 1, discover a new node. | ||
| 1 => { | ||
| let new_id = PeerId::random(); | ||
| known_nodes.insert(new_id.clone()); | ||
| peerset.discovered(iter::once(new_id)); | ||
| } | ||
|
|
||
| // If we generate 2, adjust a random reputation. | ||
| 2 => if let Some(id) = known_nodes.iter().choose(&mut rng) { | ||
| let val = Uniform::new_inclusive(i32::min_value(), i32::max_value()).sample(&mut rng); | ||
| peerset_handle.report_peer(id.clone(), val); | ||
| } | ||
|
|
||
| // If we generate 3, disconnect from a random node. | ||
| 3 => if let Some(id) = connected_nodes.iter().choose(&mut rng).cloned() { | ||
| connected_nodes.remove(&id); | ||
| peerset.dropped(id); | ||
| } | ||
|
|
||
| // If we generate 4, connect to a random node. | ||
| 4 => if let Some(id) = known_nodes.iter() | ||
| .filter(|n| incoming_nodes.values().all(|m| m != *n) && !connected_nodes.contains(n)) | ||
| .choose(&mut rng) { | ||
| peerset.incoming(id.clone(), next_incoming_id.clone()); | ||
| incoming_nodes.insert(next_incoming_id.clone(), id.clone()); | ||
| next_incoming_id.0 += 1; | ||
| } | ||
|
|
||
| // 5 and 6 are the reserved-only mode. | ||
| 5 => peerset_handle.set_reserved_only(true), | ||
| 6 => peerset_handle.set_reserved_only(false), | ||
|
|
||
| // 7 and 8 are about switching a random node in or out of reserved mode. | ||
| 7 => if let Some(id) = known_nodes.iter().filter(|n| !reserved_nodes.contains(n)).choose(&mut rng) { | ||
| peerset_handle.add_reserved_peer(id.clone()); | ||
| reserved_nodes.insert(id.clone()); | ||
| } | ||
| 8 => if let Some(id) = reserved_nodes.iter().choose(&mut rng).cloned() { | ||
| reserved_nodes.remove(&id); | ||
| peerset_handle.remove_reserved_peer(id); | ||
| } | ||
|
|
||
| _ => unreachable!() | ||
| } | ||
| } | ||
|
|
||
| Ok(Async::Ready(())) | ||
| })).unwrap(); | ||
| } | ||
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think you might want to change this to
assert!(connected_nodes.insert(id) || known_nodes.remove(id));, to account for anAcceptmessage being received afterdiscoveredwas called?There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
known_nodescontains all the nodes that have been discovered in the past, not just nodes waiting for connection.