Skip to main content

moq_net/lite/
setup.rs

1//! The lite-05+ SETUP message: each endpoint advertises its capabilities once, as
2//! the sole message on a unidirectional Setup Stream, then closes it.
3
4use crate::coding::*;
5
6use super::{Message, Parameters, Version};
7
8/// Setup Parameter id for the Probe capability level.
9const PARAM_PROBE: u64 = 0x1;
10/// Setup Parameter id for the request Path (client-only, URI-less transports).
11const PARAM_PATH: u64 = 0x2;
12/// Setup Parameter id for the client's intended [`Role`] (client-only).
13const PARAM_ROLE: u64 = 0x3;
14/// Setup Parameter id for the link cost the dialer assigns to this connection.
15const PARAM_COST: u64 = 0x4;
16/// Setup Parameter id for the endpoint's Hop ID.
17const PARAM_HOP: u64 = 0x5;
18
19/// The cost of crossing a link that neither end priced.
20///
21/// One, so a mesh that configures no costs accumulates a route cost equal to the
22/// hop count and ranks routes exactly as pre-lite-06 shortest-path routing did. Pricing
23/// a link at 0 makes it free (a sibling in the same datacenter); pricing it higher
24/// makes it a last resort (a metered backbone).
25pub const DEFAULT_COST: u64 = 1;
26
27/// The probe capability an endpoint advertises in SETUP.
28///
29/// Monotonic: a higher level implies every lower one. An unknown (future) value
30/// decodes as the highest level we understand, so a peer that gains a new level is
31/// treated as at least [`Increase`](Self::Increase).
32#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Default)]
33pub enum ProbeLevel {
34	/// No probing. Equivalent to omitting the parameter.
35	#[default]
36	None,
37	/// The publisher can measure and periodically report at least one of the PROBE
38	/// metrics: its estimated bitrate, its round-trip time, or both. Either may be
39	/// unknown in any given report, since the two are independent on the wire.
40	Report,
41	/// The publisher can additionally pad the connection (or send redundant data).
42	Increase,
43}
44
45impl ProbeLevel {
46	/// The level to advertise for `session`, from what its transport actually exposes.
47	///
48	/// [`Report`](Self::Report) claims the publisher can measure and periodically
49	/// report. A transport that exposes neither a send-rate estimate nor an RTT can
50	/// honour neither, and the draft requires such a publisher to reset any Probe
51	/// Stream a subscriber opens. Advertising [`None`](Self::None) instead stops the
52	/// subscriber opening one at all.
53	///
54	/// Both metrics are sampled rather than declared, so this only works for a
55	/// transport whose figures exist by the time the session starts. QUIC and TCP
56	/// both qualify: their RTT comes from the handshake, which has already happened.
57	pub fn detect<S: crate::transport::poll::Session>(session: &S) -> Self {
58		use web_transport_trait::Stats as _;
59		let stats = session.stats();
60		match stats.estimated_send_rate().is_some() || stats.rtt().is_some() {
61			true => Self::Report,
62			false => Self::None,
63		}
64	}
65
66	/// Map the wire value to a level, saturating unknown values to [`Increase`](Self::Increase).
67	fn from_code(code: u64) -> Self {
68		match code {
69			0 => Self::None,
70			1 => Self::Report,
71			_ => Self::Increase,
72		}
73	}
74
75	/// The wire value for this level.
76	fn to_code(self) -> u64 {
77		match self {
78			Self::None => 0,
79			Self::Report => 1,
80			Self::Increase => 2,
81		}
82	}
83}
84
85/// The single direction a client intends to use the session for.
86///
87/// A client advertises this in its SETUP so the server can reject a token that lacks
88/// the matching scope during the handshake, instead of accepting a connection that
89/// then silently carries no media (a subscribe-only token used to publish, or vice
90/// versa). It only ever narrows what the server grants, so it is not a security
91/// boundary: the server still enforces the token's scope regardless.
92///
93/// A session is bidirectional by default, which the wire says by omitting the
94/// parameter. `Option<Role>` mirrors that: `None` is the default, and it's also what
95/// a client that predates the parameter decodes to.
96#[derive(Debug, Clone, Copy, PartialEq, Eq)]
97#[non_exhaustive]
98pub enum Role {
99	/// The client will publish tracks (ingest); the server must consume.
100	Publisher,
101	/// The client will subscribe to tracks (egress); the server must publish.
102	Subscriber,
103}
104
105impl Role {
106	/// Map the wire value to a role. `0` and any unrecognized future value are `None`
107	/// (bidirectional): the draft requires a receiver that does not recognize the value
108	/// to treat it as both directions, so a newer client can't break an older server (it
109	/// just loses the early reject and defers fully to the token's scope).
110	fn from_code(code: u64) -> Option<Self> {
111		match code {
112			1 => Some(Role::Publisher),
113			2 => Some(Role::Subscriber),
114			_ => None,
115		}
116	}
117
118	/// The wire value for this role.
119	fn to_code(self) -> u64 {
120		match self {
121			Role::Publisher => 1,
122			Role::Subscriber => 2,
123		}
124	}
125
126	/// Derive the advertised role from which origins a client wired up: publish-only is
127	/// a [`Publisher`](Role::Publisher), consume-only a [`Subscriber`](Role::Subscriber),
128	/// and both (or neither) advertises nothing. This keeps the advertised role from
129	/// drifting away from what the session actually does.
130	pub(crate) fn from_origins(publishes: bool, consumes: bool) -> Option<Self> {
131		match (publishes, consumes) {
132			(true, false) => Some(Role::Publisher),
133			(false, true) => Some(Role::Subscriber),
134			_ => None,
135		}
136	}
137
138	/// Lowercase label for this role (`"publisher"` / `"subscriber"`).
139	pub fn as_str(self) -> &'static str {
140		match self {
141			Role::Publisher => "publisher",
142			Role::Subscriber => "subscriber",
143		}
144	}
145}
146
147impl std::fmt::Display for Role {
148	fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
149		f.write_str(self.as_str())
150	}
151}
152
153/// The SETUP message, sent once per endpoint on the unidirectional Setup Stream.
154///
155/// lite-05+ only. The two endpoints' SETUP messages are independent: neither side
156/// blocks on the peer's before opening other streams, but a stream whose encoding
157/// depends on a negotiated capability (e.g. PROBE) must wait for it.
158#[derive(Debug, Clone, Default, PartialEq, Eq)]
159pub struct Setup {
160	/// The probe capability this endpoint supports. [`ProbeLevel::None`] when absent.
161	pub probe: ProbeLevel,
162	/// The request path, for transports that carry no request URI (native QUIC,
163	/// qmux over TCP/TLS, unix sockets), with `?` and the URI query appended when
164	/// there is one. Sent only by the client; a server never sends one and a relay
165	/// never forwards it. `None` on URI-carrying bindings, where it would be a
166	/// protocol violation. An empty path means the same thing as `None`; both are
167	/// on the wire so a client need not special-case the root.
168	pub path: Option<String>,
169	/// The single direction the client intends to use, or `None` for a bidirectional
170	/// session. `None` is sent as the absence of the parameter, which is also how a
171	/// client that predates the parameter decodes.
172	pub role: Option<Role>,
173	/// What subscribing from this endpoint costs (lite-06+), added by the peer to the
174	/// route cost of every announcement we forward it.
175	///
176	/// Directional: it prices the sender's own egress, so both ends declare their own
177	/// and the two need not match. `None` means the default cost of 1.
178	pub cost: Option<u64>,
179	/// This endpoint's Hop ID, the identity it stamps onto forwarded
180	/// announcements. The peer uses it to serve this endpoint's subscriptions from
181	/// a route that does not flow through it (the same split horizon the announce
182	/// filter applies). `None` when the endpoint has no meaningful identity (a
183	/// leaf that never forwards); a wire value of 0 decodes as `None`.
184	pub hop: Option<crate::Hop>,
185}
186
187impl Message for Setup {
188	fn decode_msg<R: bytes::Buf>(r: &mut R, version: Version) -> Result<Self, DecodeError> {
189		if !version.has_setup_stream() {
190			return Err(DecodeError::Version);
191		}
192
193		let params = Parameters::decode(r, version)?;
194		let probe = params
195			.get_varint(PARAM_PROBE)?
196			.map(ProbeLevel::from_code)
197			.unwrap_or_default();
198		let path = match params.get_bytes(PARAM_PATH) {
199			Some(bytes) => Some(
200				std::str::from_utf8(bytes)
201					.map_err(|_| DecodeError::InvalidValue)?
202					.to_string(),
203			),
204			None => None,
205		};
206		let role = params.get_varint(PARAM_ROLE)?.and_then(Role::from_code);
207		let cost = params.get_varint(PARAM_COST)?;
208		// 0 is legal on the wire but carries no identity (it can't be excluded),
209		// so it decodes as "not declared" rather than an error.
210		let hop = params.get_varint(PARAM_HOP)?.and_then(|id| crate::Hop::new(id).ok());
211
212		Ok(Self {
213			probe,
214			path,
215			role,
216			cost,
217			hop,
218		})
219	}
220
221	fn encode_msg<W: bytes::BufMut>(&self, w: &mut W, version: Version) -> Result<(), EncodeError> {
222		if !version.has_setup_stream() {
223			return Err(EncodeError::Version);
224		}
225
226		let mut params = Parameters::default();
227		// None is the wire default, so omit it to keep the message empty when nothing is set.
228		if self.probe != ProbeLevel::None {
229			params.set_varint(PARAM_PROBE, self.probe.to_code());
230		}
231		if let Some(path) = &self.path {
232			params.set_bytes(PARAM_PATH, path.as_bytes().to_vec());
233		}
234		// Bidirectional is the wire default (absence of the parameter), so only a
235		// directional role is encoded.
236		if let Some(role) = self.role {
237			params.set_varint(PARAM_ROLE, role.to_code());
238		}
239		if let Some(cost) = self.cost {
240			params.set_varint(PARAM_COST, cost);
241		}
242		if let Some(hop) = self.hop {
243			params.set_varint(PARAM_HOP, hop.id());
244		}
245
246		params.encode(w, version)
247	}
248}
249
250/// Shared slot for the peer's SETUP, written once when its Setup stream is read.
251///
252/// Streams whose encoding depends on a negotiated capability (e.g. the PROBE
253/// stream) wait on this before deciding what to do. Cheap to clone: every handle
254/// shares the same slot.
255#[derive(Clone, Default)]
256pub(crate) struct PeerSetup(kio::Shared<Option<Setup>>);
257
258impl PeerSetup {
259	/// Record the peer's SETUP.
260	pub fn set(&self, setup: Setup) {
261		*self.0.lock() = Some(setup);
262	}
263
264	/// Poll for the peer's advertised probe level, waiting until its SETUP arrives.
265	pub fn poll_probe_level(&self, waiter: &kio::Waiter) -> std::task::Poll<ProbeLevel> {
266		self.poll_get(waiter, |setup| setup.probe)
267	}
268
269	/// Poll for the link cost the peer (the dialing side) declared in its SETUP.
270	/// `None` when it declared none, meaning the default cost of 1.
271	pub fn poll_cost(&self, waiter: &kio::Waiter) -> std::task::Poll<Option<u64>> {
272		self.poll_get(waiter, |setup| setup.cost)
273	}
274
275	/// Poll for the [`Hop`](crate::Hop) id the peer declared in its SETUP `Hop`
276	/// parameter. `None` when it declared none: a leaf with no identity worth excluding.
277	pub fn poll_hop(&self, waiter: &kio::Waiter) -> std::task::Poll<Option<crate::Hop>> {
278		self.poll_get(waiter, |setup| setup.hop)
279	}
280
281	/// Poll for a field of the peer's SETUP.
282	///
283	/// The peer MUST send exactly one SETUP, so this resolves once that stream is read.
284	/// Pends forever if it never does; the caller is session state, dropped with the
285	/// driver.
286	fn poll_get<T>(&self, waiter: &kio::Waiter, f: impl FnOnce(&Setup) -> T) -> std::task::Poll<T> {
287		let slot = std::task::ready!(self.0.poll(waiter, |setup| {
288			if setup.is_some() {
289				std::task::Poll::Ready(())
290			} else {
291				std::task::Poll::Pending
292			}
293		}));
294		std::task::Poll::Ready(f(slot.as_ref().expect("waited for Some")))
295	}
296}
297
298#[cfg(test)]
299mod tests {
300	use super::*;
301
302	fn round_trip(msg: &Setup) -> Setup {
303		let mut buf = bytes::BytesMut::new();
304		msg.encode(&mut buf, Version::Lite05).unwrap();
305		let mut slice = &buf[..];
306		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
307		assert!(bytes::Buf::remaining(&slice) == 0, "trailing bytes after decode");
308		got
309	}
310
311	#[test]
312	fn empty_round_trip() {
313		let msg = Setup::default();
314		assert_eq!(round_trip(&msg), msg);
315	}
316
317	/// A transport exposing neither metric can't honour a `Report` claim, and the
318	/// draft makes such a publisher reset any Probe Stream a subscriber opens. It
319	/// must advertise `None` so the subscriber never opens one.
320	#[test]
321	fn detect_reports_nothing_without_stats() {
322		use crate::lite::test_transport::{SinkSession, SinkStats};
323		let session = SinkSession::new(Default::default()).with_stats(SinkStats::default());
324		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::None);
325	}
326
327	/// Either metric alone is enough to report, since the two PROBE fields are
328	/// independent on the wire.
329	#[test]
330	fn detect_reports_with_either_metric() {
331		use crate::lite::test_transport::{SinkSession, SinkStats};
332
333		let rtt_only = SinkStats::default().with_rtt(std::time::Duration::from_millis(40));
334		let session = SinkSession::new(Default::default()).with_stats(rtt_only);
335		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::Report);
336
337		let rate_only = SinkStats::default().with_send_rate(1_000_000);
338		let session = SinkSession::new(Default::default()).with_stats(rate_only);
339		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::Report);
340	}
341
342	#[test]
343	fn probe_levels_round_trip() {
344		for probe in [ProbeLevel::None, ProbeLevel::Report, ProbeLevel::Increase] {
345			let msg = Setup {
346				probe,
347				..Default::default()
348			};
349			assert_eq!(round_trip(&msg), msg);
350		}
351	}
352
353	#[test]
354	fn cost_round_trip() {
355		// Zero is a meaningful price (a free same-datacenter link), so it must survive
356		// the round trip as `Some(0)` rather than collapsing into "unpriced".
357		for cost in [None, Some(0), Some(1), Some(7)] {
358			let msg = Setup {
359				cost,
360				..Default::default()
361			};
362			assert_eq!(round_trip(&msg), msg);
363		}
364	}
365
366	#[test]
367	fn path_round_trip() {
368		let msg = Setup {
369			probe: ProbeLevel::Report,
370			path: Some("/room/123".to_string()),
371			..Default::default()
372		};
373		assert_eq!(round_trip(&msg), msg);
374	}
375
376	#[test]
377	fn hop_round_trip() {
378		let msg = Setup {
379			hop: Some(crate::Hop::new(42).unwrap()),
380			..Default::default()
381		};
382		assert_eq!(round_trip(&msg), msg);
383	}
384
385	// A declared id of 0 carries no identity (it cannot be excluded), so it
386	// decodes as absent rather than erroring.
387	#[test]
388	fn hop_zero_decodes_as_none() {
389		use crate::coding::Encode;
390
391		let version = Version::Lite05;
392		let mut params = Parameters::default();
393		params.set_varint(super::PARAM_HOP, 0);
394		let mut body = bytes::BytesMut::new();
395		params.encode(&mut body, version).unwrap();
396		// Frame the body with the Message Length prefix `Setup::decode` expects.
397		let mut buf = bytes::BytesMut::new();
398		(body.len() as u64).encode(&mut buf, version).unwrap();
399		buf.extend_from_slice(&body);
400		let mut slice = &buf[..];
401		let got = Setup::decode(&mut slice, version).unwrap();
402		assert_eq!(got.hop, None);
403	}
404
405	#[test]
406	fn empty_path_round_trips() {
407		// An empty path is valid and distinct from absent only on the wire; both mean
408		// the root, so a client doesn't have to special-case it.
409		let msg = Setup {
410			path: Some(String::new()),
411			..Default::default()
412		};
413		assert_eq!(round_trip(&msg), msg);
414	}
415
416	#[test]
417	fn roles_round_trip() {
418		for role in [Some(Role::Publisher), Some(Role::Subscriber), None] {
419			let msg = Setup {
420				path: Some("/room/123".to_string()),
421				role,
422				..Default::default()
423			};
424			assert_eq!(round_trip(&msg), msg);
425		}
426	}
427
428	#[test]
429	fn unknown_probe_level_saturates_to_increase() {
430		// Frame a SETUP message carrying an unknown probe level (99) by hand: the
431		// parameters body, prefixed with its length (the lite Message size prefix).
432		let mut params = Parameters::default();
433		params.set_varint(PARAM_PROBE, 99);
434		let mut body = Vec::new();
435		params.encode(&mut body, Version::Lite05).unwrap();
436
437		let mut buf = bytes::BytesMut::new();
438		body.len().encode(&mut buf, Version::Lite05).unwrap();
439		buf.extend_from_slice(&body);
440
441		let mut slice = &buf[..];
442		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
443		assert_eq!(got.probe, ProbeLevel::Increase);
444	}
445
446	#[test]
447	fn role_wire_codes() {
448		// The draft pins Publisher=1 / Subscriber=2. A swap here would still round-trip
449		// against our own decoder, but break every other implementation.
450		for (role, code) in [(Role::Publisher, 1u64), (Role::Subscriber, 2)] {
451			assert_eq!(role.to_code(), code);
452			assert_eq!(Role::from_code(code), Some(role));
453		}
454	}
455
456	#[test]
457	fn unknown_role_decodes_as_bidirectional() {
458		// A role value the receiver doesn't recognize (a future extension, or an explicit
459		// 0) decodes to `None` rather than failing, so a newer client can't break an older
460		// server. The draft mandates this fallback.
461		for code in [0u64, 9, 250] {
462			let mut params = Parameters::default();
463			params.set_varint(PARAM_ROLE, code);
464			let mut body = Vec::new();
465			params.encode(&mut body, Version::Lite05).unwrap();
466
467			let mut buf = bytes::BytesMut::new();
468			body.len().encode(&mut buf, Version::Lite05).unwrap();
469			buf.extend_from_slice(&body);
470
471			let mut slice = &buf[..];
472			let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
473			assert_eq!(got.role, None, "role code {code} should decode as bidirectional");
474		}
475	}
476
477	#[test]
478	fn rejects_before_lite05() {
479		let msg = Setup::default();
480		let mut buf = bytes::BytesMut::new();
481		assert!(matches!(
482			msg.encode(&mut buf, Version::Lite04),
483			Err(EncodeError::Version)
484		));
485	}
486
487	#[test]
488	fn ignores_unknown_parameters() {
489		// Frame a SETUP carrying an unknown parameter ID alongside the path.
490		let mut params = Parameters::default();
491		params.set_bytes(PARAM_PATH, b"/foo".to_vec());
492		params.set_bytes(0xbeef, b"whatever".to_vec());
493
494		let mut body = Vec::new();
495		params.encode(&mut body, Version::Lite05).unwrap();
496
497		// Wrap with the message size prefix the Message impl expects.
498		let mut buf = bytes::BytesMut::new();
499		body.len().encode(&mut buf, Version::Lite05).unwrap();
500		buf.extend_from_slice(&body);
501
502		let mut slice = &buf[..];
503		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
504		assert_eq!(got.path.as_deref(), Some("/foo"));
505	}
506}