Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(mdns): move IO off main task #4623

Merged
merged 28 commits into from
Oct 20, 2023
Merged
Show file tree
Hide file tree
Changes from 17 commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
a4d8966
Seal `Provider` trait
thomaseizinger Oct 11, 2023
1438a49
Bump mdns version
thomaseizinger Oct 11, 2023
f4673ea
Use return value from `on_swarm_event` handler to fire timer
thomaseizinger Oct 11, 2023
a9035b9
Deprecated unused APIs
thomaseizinger Oct 11, 2023
6e35466
Don't fire timers on interfaces changes
thomaseizinger Oct 11, 2023
9ba036b
Perform IO on separate task
thomaseizinger Oct 11, 2023
0d00909
Update changelog
thomaseizinger Oct 11, 2023
71ae247
Update docs
thomaseizinger Oct 11, 2023
831af15
Undo sealing
thomaseizinger Oct 11, 2023
83e2352
Update changelog
thomaseizinger Oct 11, 2023
3d36593
Fill in PR number
thomaseizinger Oct 11, 2023
6e5aa12
Abort tasks for shut-down interfaces
thomaseizinger Oct 11, 2023
d904116
It is not a breaking change!
thomaseizinger Oct 11, 2023
a631449
Update protocols/mdns/CHANGELOG.md
thomaseizinger Oct 11, 2023
5efd0f7
Reduce diff
thomaseizinger Oct 11, 2023
ed19146
Merge remote-tracking branch 'origin/fix/mdns-main-loop' into fix/mdn…
thomaseizinger Oct 11, 2023
8a69899
Merge branch 'master' into fix/mdns-main-loop
thomaseizinger Oct 13, 2023
35e2946
Implement `Future`
thomaseizinger Oct 14, 2023
5ade5c0
Merge remote-tracking branch 'origin/fix/mdns-main-loop' into fix/mdn…
thomaseizinger Oct 14, 2023
da937d3
Merge branch 'master' into fix/mdns-main-loop
thomaseizinger Oct 14, 2023
9dde2b4
Undo unrelated changes
thomaseizinger Oct 14, 2023
029c38f
Bump to breaking change
thomaseizinger Oct 14, 2023
a77dcd3
Merge branch 'master' into fix/mdns-main-loop
thomaseizinger Oct 20, 2023
d86c1b2
Merge branch 'master' into fix/mdns-main-loop
thomaseizinger Oct 20, 2023
d84ebae
Merge branch 'master' into fix/mdns-main-loop
mergify[bot] Oct 20, 2023
b8b048e
Merge branch 'master' into fix/mdns-main-loop
thomaseizinger Oct 20, 2023
6bbd33c
Merge branch 'master' into fix/mdns-main-loop
mergify[bot] Oct 20, 2023
a8f562d
Merge branch 'master' into fix/mdns-main-loop
mergify[bot] Oct 20, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -85,7 +85,7 @@ libp2p-gossipsub = { version = "0.45.1", path = "protocols/gossipsub" }
libp2p-identify = { version = "0.43.1", path = "protocols/identify" }
libp2p-identity = { version = "0.2.5" }
libp2p-kad = { version = "0.44.6", path = "protocols/kad" }
libp2p-mdns = { version = "0.44.0", path = "protocols/mdns" }
libp2p-mdns = { version = "0.44.1", path = "protocols/mdns" }
libp2p-memory-connection-limits = { version = "0.1.0", path = "misc/memory-connection-limits" }
libp2p-metrics = { version = "0.13.1", path = "misc/metrics" }
libp2p-mplex = { version = "0.40.0", path = "muxers/mplex" }
Expand Down
5 changes: 5 additions & 0 deletions protocols/mdns/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,8 @@
## 0.44.1 - unreleased

- Don't perform IO in `Behaviour::poll`.
See [PR 4623](https://github.com/libp2p/rust-libp2p/pull/4623).

## 0.44.0

- Change `mdns::Event` to hold `Vec` and remove `DiscoveredAddrsIter` and `ExpiredAddrsIter`.
Expand Down
5 changes: 3 additions & 2 deletions protocols/mdns/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
name = "libp2p-mdns"
edition = "2021"
rust-version = { workspace = true }
version = "0.44.0"
version = "0.44.1"
description = "Implementation of the libp2p mDNS discovery method"
authors = ["Parity Technologies <[email protected]>"]
license = "MIT"
Expand All @@ -11,6 +11,7 @@ keywords = ["peer-to-peer", "libp2p", "networking"]
categories = ["network-programming", "asynchronous"]

[dependencies]
async-std = { version = "1.12.0", optional = true }
async-io = { version = "1.13.0", optional = true }
data-encoding = "2.4.0"
futures = "0.3.28"
Expand All @@ -28,7 +29,7 @@ void = "1.0.2"

[features]
tokio = ["dep:tokio", "if-watch/tokio"]
async-io = ["dep:async-io", "if-watch/smol"]
async-io = ["dep:async-io", "dep:async-std", "if-watch/smol"]

[dev-dependencies]
async-std = { version = "1.9.0", features = ["attributes"] }
Expand Down
140 changes: 91 additions & 49 deletions protocols/mdns/src/behaviour.rs
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,8 @@ mod timer;
use self::iface::InterfaceState;
use crate::behaviour::{socket::AsyncSocket, timer::Builder};
use crate::Config;
use futures::Stream;
use futures::channel::mpsc;
use futures::{Stream, StreamExt};
use if_watch::IfEvent;
use libp2p_core::{Endpoint, Multiaddr};
use libp2p_identity::PeerId;
Expand All @@ -36,6 +37,8 @@ use libp2p_swarm::{
};
use smallvec::SmallVec;
use std::collections::hash_map::{Entry, HashMap};
use std::future::Future;
use std::sync::{Arc, RwLock};
use std::{cmp, fmt, io, net::IpAddr, pin::Pin, task::Context, task::Poll, time::Instant};

/// An abstraction to allow for compatibility with various async runtimes.
Expand All @@ -47,16 +50,27 @@ pub trait Provider: 'static {
/// The IfWatcher type.
type Watcher: Stream<Item = std::io::Result<IfEvent>> + fmt::Debug + Unpin;

type TaskHandle: Abort;

/// Create a new instance of the `IfWatcher` type.
fn new_watcher() -> Result<Self::Watcher, std::io::Error>;

fn spawn(task: impl Future<Output = ()> + Send + 'static) -> Self::TaskHandle;
}

#[allow(unreachable_pub)] // Not re-exported.
thomaseizinger marked this conversation as resolved.
Show resolved Hide resolved
pub trait Abort {
fn abort(self);
}

/// The type of a [`Behaviour`] using the `async-io` implementation.
#[cfg(feature = "async-io")]
pub mod async_io {
use super::Provider;
use crate::behaviour::{socket::asio::AsyncUdpSocket, timer::asio::AsyncTimer};
use crate::behaviour::{socket::asio::AsyncUdpSocket, timer::asio::AsyncTimer, Abort};
use async_std::task::JoinHandle;
use if_watch::smol::IfWatcher;
use std::future::Future;

#[doc(hidden)]
pub enum AsyncIo {}
Expand All @@ -65,10 +79,21 @@ pub mod async_io {
type Socket = AsyncUdpSocket;
type Timer = AsyncTimer;
type Watcher = IfWatcher;
type TaskHandle = JoinHandle<()>;

fn new_watcher() -> Result<Self::Watcher, std::io::Error> {
IfWatcher::new()
}

fn spawn(task: impl Future<Output = ()> + Send + 'static) -> JoinHandle<()> {
async_std::task::spawn(task)
}
}

impl Abort for JoinHandle<()> {
fn abort(self) {
async_std::task::spawn(self.cancel());
}
thomaseizinger marked this conversation as resolved.
Show resolved Hide resolved
}

pub type Behaviour = super::Behaviour<AsyncIo>;
Expand All @@ -78,8 +103,10 @@ pub mod async_io {
#[cfg(feature = "tokio")]
pub mod tokio {
use super::Provider;
use crate::behaviour::{socket::tokio::TokioUdpSocket, timer::tokio::TokioTimer};
use crate::behaviour::{socket::tokio::TokioUdpSocket, timer::tokio::TokioTimer, Abort};
use if_watch::tokio::IfWatcher;
use std::future::Future;
use tokio::task::JoinHandle;

#[doc(hidden)]
pub enum Tokio {}
Expand All @@ -88,10 +115,21 @@ pub mod tokio {
type Socket = TokioUdpSocket;
type Timer = TokioTimer;
type Watcher = IfWatcher;
type TaskHandle = JoinHandle<()>;

fn new_watcher() -> Result<Self::Watcher, std::io::Error> {
IfWatcher::new()
}

fn spawn(task: impl Future<Output = ()> + Send + 'static) -> Self::TaskHandle {
tokio::spawn(task)
}
}

impl Abort for JoinHandle<()> {
fn abort(self) {
JoinHandle::abort(&self)
}
}

pub type Behaviour = super::Behaviour<Tokio>;
Expand All @@ -110,8 +148,11 @@ where
/// Iface watcher.
if_watch: P::Watcher,

/// Mdns interface states.
iface_states: HashMap<IpAddr, InterfaceState<P::Socket, P::Timer>>,
/// Handles to tasks running the mDNS queries.
if_tasks: HashMap<IpAddr, P::TaskHandle>,

query_response_receiver: mpsc::Receiver<(PeerId, Multiaddr, Instant)>,
query_response_sender: mpsc::Sender<(PeerId, Multiaddr, Instant)>,

/// List of nodes that we have discovered, the address, and when their TTL expires.
///
Expand All @@ -124,7 +165,11 @@ where
/// `None` if `discovered_nodes` is empty.
closest_expiration: Option<P::Timer>,

listen_addresses: ListenAddresses,
/// The current set of listen addresses.
///
/// This is shared across all interface tasks using an [`RwLock`].
/// The [`Behaviour`] updates this upon new [`FromSwarm`] events where as [`InterfaceState`]s read from it to answer inbound mDNS queries.
listen_addresses: Arc<RwLock<ListenAddresses>>,

local_peer_id: PeerId,
}
Expand All @@ -135,10 +180,14 @@ where
{
/// Builds a new `Mdns` behaviour.
pub fn new(config: Config, local_peer_id: PeerId) -> io::Result<Self> {
let (tx, rx) = mpsc::channel(10); // Chosen arbitrarily.

Ok(Self {
config,
if_watch: P::new_watcher()?,
iface_states: Default::default(),
if_tasks: Default::default(),
query_response_receiver: rx,
query_response_sender: tx,
discovered_nodes: Default::default(),
closest_expiration: Default::default(),
listen_addresses: Default::default(),
Expand All @@ -147,6 +196,7 @@ where
}

/// Returns true if the given `PeerId` is in the list of nodes discovered through mDNS.
#[deprecated(note = "Use `discovered_nodes` iterator instead.")]
pub fn has_node(&self, peer_id: &PeerId) -> bool {
self.discovered_nodes().any(|p| p == peer_id)
}
Expand All @@ -157,6 +207,7 @@ where
}

/// Expires a node before the ttl.
#[deprecated(note = "Unused API. Will be removed in the next release.")]
thomaseizinger marked this conversation as resolved.
Show resolved Hide resolved
pub fn expire_node(&mut self, peer_id: &PeerId) {
let now = Instant::now();
for (peer, _addr, expires) in &mut self.discovered_nodes {
Expand Down Expand Up @@ -225,28 +276,10 @@ where
}

fn on_swarm_event(&mut self, event: FromSwarm<Self::ConnectionHandler>) {
self.listen_addresses.on_swarm_event(&event);

match event {
FromSwarm::NewListener(_) => {
log::trace!("waking interface state because listening address changed");
for iface in self.iface_states.values_mut() {
iface.fire_timer();
}
}
FromSwarm::ConnectionClosed(_)
| FromSwarm::ConnectionEstablished(_)
| FromSwarm::DialFailure(_)
| FromSwarm::AddressChange(_)
| FromSwarm::ListenFailure(_)
| FromSwarm::NewListenAddr(_)
| FromSwarm::ExpiredListenAddr(_)
| FromSwarm::ListenerError(_)
| FromSwarm::ListenerClosed(_)
| FromSwarm::NewExternalAddrCandidate(_)
| FromSwarm::ExternalAddrExpired(_)
| FromSwarm::ExternalAddrConfirmed(_) => {}
}
self.listen_addresses
.write()
.unwrap_or_else(|e| e.into_inner())
thomaseizinger marked this conversation as resolved.
Show resolved Hide resolved
.on_swarm_event(&event);
}

fn poll(
Expand All @@ -267,43 +300,52 @@ where
{
continue;
}
if let Entry::Vacant(e) = self.iface_states.entry(addr) {
match InterfaceState::new(addr, self.config.clone(), self.local_peer_id) {
Ok(iface_state) => {
e.insert(iface_state);
if let Entry::Vacant(e) = self.if_tasks.entry(addr) {
match InterfaceState::<P::Socket, P::Timer>::new(
addr,
self.config.clone(),
self.local_peer_id,
self.listen_addresses.clone(),
self.query_response_sender.clone(),
) {
Ok(mut iface_state) => {
e.insert(P::spawn(async move {
futures::future::poll_fn(move |cx| iface_state.poll(cx)).await;
}));
}
Err(err) => log::error!("failed to create `InterfaceState`: {}", err),
}
}
}
Ok(IfEvent::Down(inet)) => {
if self.iface_states.contains_key(&inet.addr()) {
if let Some(handle) = self.if_tasks.remove(&inet.addr()) {
log::info!("dropping instance {}", inet.addr());
self.iface_states.remove(&inet.addr());

handle.abort();
}
}
Err(err) => log::error!("if watch returned an error: {}", err),
}
}
// Emit discovered event.
let mut discovered = Vec::new();
for iface_state in self.iface_states.values_mut() {
while let Poll::Ready((peer, addr, expiration)) =
iface_state.poll(cx, &self.listen_addresses)

while let Poll::Ready(Some((peer, addr, expiration))) =
self.query_response_receiver.poll_next_unpin(cx)
{
if let Some((_, _, cur_expires)) = self
.discovered_nodes
.iter_mut()
.find(|(p, a, _)| *p == peer && *a == addr)
{
if let Some((_, _, cur_expires)) = self
.discovered_nodes
.iter_mut()
.find(|(p, a, _)| *p == peer && *a == addr)
{
*cur_expires = cmp::max(*cur_expires, expiration);
} else {
log::info!("discovered: {} {}", peer, addr);
self.discovered_nodes.push((peer, addr.clone(), expiration));
discovered.push((peer, addr));
}
*cur_expires = cmp::max(*cur_expires, expiration);
} else {
log::info!("discovered: {} {}", peer, addr);
self.discovered_nodes.push((peer, addr.clone(), expiration));
discovered.push((peer, addr));
}
}

if !discovered.is_empty() {
let event = Event::Discovered(discovered);
return Poll::Ready(ToSwarm::GenerateEvent(event));
Expand Down
Loading
Loading