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	const CONTROL: Option<crate::stats::Control> = Some(crate::stats::Control::Session);
189	const MAX_SIZE: usize = crate::setup::MAX_SETUP_SIZE;
190
191	fn decode_msg<R: bytes::Buf>(r: &mut R, version: Version) -> Result<Self, DecodeError> {
192		if !version.has_setup_stream() {
193			return Err(DecodeError::Version);
194		}
195
196		let params = Parameters::decode(r, version)?;
197		let probe = params
198			.get_varint(PARAM_PROBE, version)?
199			.map(ProbeLevel::from_code)
200			.unwrap_or_default();
201		let path = match params.get_bytes(PARAM_PATH) {
202			Some(bytes) => Some(
203				std::str::from_utf8(bytes)
204					.map_err(|_| DecodeError::InvalidValue)?
205					.to_string(),
206			),
207			None => None,
208		};
209		let role = params.get_varint(PARAM_ROLE, version)?.and_then(Role::from_code);
210		let cost = params.get_varint(PARAM_COST, version)?;
211		// 0 is legal on the wire but carries no identity (it can't be excluded),
212		// so it decodes as "not declared" rather than an error.
213		let hop = params
214			.get_varint(PARAM_HOP, version)?
215			.and_then(|id| crate::Hop::new(id).ok());
216
217		Ok(Self {
218			probe,
219			path,
220			role,
221			cost,
222			hop,
223		})
224	}
225
226	fn encode_msg<W: bytes::BufMut>(&self, w: &mut W, version: Version) -> Result<(), EncodeError> {
227		if !version.has_setup_stream() {
228			return Err(EncodeError::Version);
229		}
230
231		let mut params = Parameters::default();
232		// None is the wire default, so omit it to keep the message empty when nothing is set.
233		if self.probe != ProbeLevel::None {
234			params.set_varint(PARAM_PROBE, self.probe.to_code(), version)?;
235		}
236		if let Some(path) = &self.path {
237			params.set_bytes(PARAM_PATH, path.as_bytes().to_vec());
238		}
239		// Bidirectional is the wire default (absence of the parameter), so only a
240		// directional role is encoded.
241		if let Some(role) = self.role {
242			params.set_varint(PARAM_ROLE, role.to_code(), version)?;
243		}
244		if let Some(cost) = self.cost {
245			params.set_varint(PARAM_COST, cost, version)?;
246		}
247		if let Some(hop) = self.hop {
248			params.set_varint(PARAM_HOP, hop.id(), version)?;
249		}
250
251		params.encode(w, version)
252	}
253}
254
255/// Shared slot for the peer's SETUP, written once when its Setup stream is read.
256///
257/// Streams whose encoding depends on a negotiated capability (e.g. the PROBE
258/// stream) wait on this before deciding what to do. Cheap to clone: every handle
259/// shares the same slot.
260#[derive(Clone, Default)]
261pub(crate) struct PeerSetup(kio::Shared<PeerSetupState>);
262
263#[derive(Default)]
264struct PeerSetupState {
265	seen: bool,
266	setup: Option<Setup>,
267}
268
269impl PeerSetup {
270	/// Record the peer's SETUP.
271	pub fn set(&self, setup: Setup) {
272		let mut state = self.0.lock();
273		state.seen = true;
274		state.setup = Some(setup);
275	}
276
277	/// Claim the Setup Stream before decoding its body, refusing any second stream.
278	pub fn claim(&self) -> Result<(), crate::Error> {
279		let mut state = self.0.lock();
280		if state.seen {
281			return Err(crate::Error::ProtocolViolation);
282		}
283		state.seen = true;
284		Ok(())
285	}
286
287	/// Poll for the peer's advertised probe level, waiting until its SETUP arrives.
288	pub fn poll_probe_level(&self, waiter: &kio::Waiter) -> std::task::Poll<ProbeLevel> {
289		self.poll_get(waiter, |setup| setup.probe)
290	}
291
292	/// Poll for the link cost the peer (the dialing side) declared in its SETUP.
293	/// `None` when it declared none, meaning the default cost of 1.
294	pub fn poll_cost(&self, waiter: &kio::Waiter) -> std::task::Poll<Option<u64>> {
295		self.poll_get(waiter, |setup| setup.cost)
296	}
297
298	/// Poll for the [`Hop`](crate::Hop) id the peer declared in its SETUP `Hop`
299	/// parameter. `None` when it declared none: a leaf with no identity worth excluding.
300	pub fn poll_hop(&self, waiter: &kio::Waiter) -> std::task::Poll<Option<crate::Hop>> {
301		self.poll_get(waiter, |setup| setup.hop)
302	}
303
304	/// Poll for a field of the peer's SETUP.
305	///
306	/// The peer MUST send exactly one SETUP, so this resolves once that stream is read.
307	/// Pends forever if it never does; the caller is session state, dropped with the
308	/// driver.
309	fn poll_get<T>(&self, waiter: &kio::Waiter, f: impl FnOnce(&Setup) -> T) -> std::task::Poll<T> {
310		let slot = std::task::ready!(self.0.poll(waiter, |setup| {
311			if setup.setup.is_some() {
312				std::task::Poll::Ready(())
313			} else {
314				std::task::Poll::Pending
315			}
316		}));
317		std::task::Poll::Ready(f(slot.setup.as_ref().expect("waited for Some")))
318	}
319}
320
321#[cfg(test)]
322mod tests {
323	use super::*;
324
325	fn round_trip(msg: &Setup) -> Setup {
326		let mut buf = bytes::BytesMut::new();
327		msg.encode(&mut buf, Version::Lite05).unwrap();
328		let mut slice = &buf[..];
329		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
330		assert!(bytes::Buf::remaining(&slice) == 0, "trailing bytes after decode");
331		got
332	}
333
334	#[test]
335	fn empty_round_trip() {
336		let msg = Setup::default();
337		assert_eq!(round_trip(&msg), msg);
338	}
339
340	/// A transport exposing neither metric can't honour a `Report` claim, and the
341	/// draft makes such a publisher reset any Probe Stream a subscriber opens. It
342	/// must advertise `None` so the subscriber never opens one.
343	#[test]
344	fn detect_reports_nothing_without_stats() {
345		use crate::lite::test_transport::{SinkSession, SinkStats};
346		let session = SinkSession::new(Default::default()).with_stats(SinkStats::default());
347		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::None);
348	}
349
350	/// Either metric alone is enough to report, since the two PROBE fields are
351	/// independent on the wire.
352	#[test]
353	fn detect_reports_with_either_metric() {
354		use crate::lite::test_transport::{SinkSession, SinkStats};
355
356		let rtt_only = SinkStats::default().with_rtt(std::time::Duration::from_millis(40));
357		let session = SinkSession::new(Default::default()).with_stats(rtt_only);
358		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::Report);
359
360		let rate_only = SinkStats::default().with_send_rate(1_000_000);
361		let session = SinkSession::new(Default::default()).with_stats(rate_only);
362		assert_eq!(ProbeLevel::detect(&session), ProbeLevel::Report);
363	}
364
365	#[test]
366	fn probe_levels_round_trip() {
367		for probe in [ProbeLevel::None, ProbeLevel::Report, ProbeLevel::Increase] {
368			let msg = Setup {
369				probe,
370				..Default::default()
371			};
372			assert_eq!(round_trip(&msg), msg);
373		}
374	}
375
376	#[test]
377	fn cost_round_trip() {
378		// Zero is a meaningful price (a free same-datacenter link), so it must survive
379		// the round trip as `Some(0)` rather than collapsing into "unpriced".
380		for cost in [None, Some(0), Some(1), Some(7)] {
381			let msg = Setup {
382				cost,
383				..Default::default()
384			};
385			assert_eq!(round_trip(&msg), msg);
386		}
387	}
388
389	/// Parameter values follow the session's varint codec, not a fixed one: a value that
390	/// takes the two-byte QUIC form on lite-06 fits one leading-ones byte on lite-07.
391	#[test]
392	fn parameter_values_use_the_version_codec() {
393		let msg = Setup {
394			cost: Some(100),
395			..Default::default()
396		};
397		for (version, wire) in [
398			(Version::Lite06, &[0x05, 0x01, 0x04, 0x02, 0x40, 0x64][..]),
399			(Version::Lite07, &[0x04, 0x01, 0x04, 0x01, 0x64][..]),
400		] {
401			let mut buf = Vec::new();
402			msg.encode(&mut buf, version).unwrap();
403			assert_eq!(buf, wire, "{version}");
404			assert_eq!(Setup::decode(&mut &buf[..], version).unwrap(), msg, "{version}");
405		}
406	}
407
408	/// Never emit a SETUP our own receiver would refuse.
409	#[test]
410	fn encode_enforces_the_setup_limit() {
411		// Count, id, and a 4-byte length varint precede the path.
412		let at_limit = crate::setup::MAX_SETUP_SIZE - 6;
413		let msg = Setup {
414			path: Some("a".repeat(at_limit)),
415			..Default::default()
416		};
417		assert_eq!(round_trip(&msg), msg);
418
419		let msg = Setup {
420			path: Some("a".repeat(at_limit + 1)),
421			..Default::default()
422		};
423		let mut buf = bytes::BytesMut::new();
424		assert!(matches!(
425			msg.encode(&mut buf, Version::Lite05),
426			Err(EncodeError::TooLarge)
427		));
428		assert!(buf.is_empty());
429	}
430
431	#[test]
432	fn path_round_trip() {
433		let msg = Setup {
434			probe: ProbeLevel::Report,
435			path: Some("/room/123".to_string()),
436			..Default::default()
437		};
438		assert_eq!(round_trip(&msg), msg);
439	}
440
441	#[test]
442	fn hop_round_trip() {
443		let msg = Setup {
444			hop: Some(crate::Hop::new(42).unwrap()),
445			..Default::default()
446		};
447		assert_eq!(round_trip(&msg), msg);
448	}
449
450	// A declared id of 0 carries no identity (it cannot be excluded), so it
451	// decodes as absent rather than erroring.
452	#[test]
453	fn hop_zero_decodes_as_none() {
454		use crate::coding::Encode;
455
456		let version = Version::Lite05;
457		let mut params = Parameters::default();
458		params.set_varint(super::PARAM_HOP, 0, version).unwrap();
459		let mut body = bytes::BytesMut::new();
460		params.encode(&mut body, version).unwrap();
461		// Frame the body with the Message Length prefix `Setup::decode` expects.
462		let mut buf = bytes::BytesMut::new();
463		(body.len() as u64).encode(&mut buf, version).unwrap();
464		buf.extend_from_slice(&body);
465		let mut slice = &buf[..];
466		let got = Setup::decode(&mut slice, version).unwrap();
467		assert_eq!(got.hop, None);
468	}
469
470	#[test]
471	fn empty_path_round_trips() {
472		// An empty path is valid and distinct from absent only on the wire; both mean
473		// the root, so a client doesn't have to special-case it.
474		let msg = Setup {
475			path: Some(String::new()),
476			..Default::default()
477		};
478		assert_eq!(round_trip(&msg), msg);
479	}
480
481	#[test]
482	fn roles_round_trip() {
483		for role in [Some(Role::Publisher), Some(Role::Subscriber), None] {
484			let msg = Setup {
485				path: Some("/room/123".to_string()),
486				role,
487				..Default::default()
488			};
489			assert_eq!(round_trip(&msg), msg);
490		}
491	}
492
493	#[test]
494	fn unknown_probe_level_saturates_to_increase() {
495		// Frame a SETUP message carrying an unknown probe level (99) by hand: the
496		// parameters body, prefixed with its length (the lite Message size prefix).
497		let mut params = Parameters::default();
498		params.set_varint(PARAM_PROBE, 99, Version::Lite05).unwrap();
499		let mut body = Vec::new();
500		params.encode(&mut body, Version::Lite05).unwrap();
501
502		let mut buf = bytes::BytesMut::new();
503		body.len().encode(&mut buf, Version::Lite05).unwrap();
504		buf.extend_from_slice(&body);
505
506		let mut slice = &buf[..];
507		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
508		assert_eq!(got.probe, ProbeLevel::Increase);
509	}
510
511	#[test]
512	fn role_wire_codes() {
513		// The draft pins Publisher=1 / Subscriber=2. A swap here would still round-trip
514		// against our own decoder, but break every other implementation.
515		for (role, code) in [(Role::Publisher, 1u64), (Role::Subscriber, 2)] {
516			assert_eq!(role.to_code(), code);
517			assert_eq!(Role::from_code(code), Some(role));
518		}
519	}
520
521	#[test]
522	fn unknown_role_decodes_as_bidirectional() {
523		// A role value the receiver doesn't recognize (a future extension, or an explicit
524		// 0) decodes to `None` rather than failing, so a newer client can't break an older
525		// server. The draft mandates this fallback.
526		for code in [0u64, 9, 250] {
527			let mut params = Parameters::default();
528			params.set_varint(PARAM_ROLE, code, Version::Lite05).unwrap();
529			let mut body = Vec::new();
530			params.encode(&mut body, Version::Lite05).unwrap();
531
532			let mut buf = bytes::BytesMut::new();
533			body.len().encode(&mut buf, Version::Lite05).unwrap();
534			buf.extend_from_slice(&body);
535
536			let mut slice = &buf[..];
537			let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
538			assert_eq!(got.role, None, "role code {code} should decode as bidirectional");
539		}
540	}
541
542	#[test]
543	fn rejects_before_lite05() {
544		let msg = Setup::default();
545		let mut buf = bytes::BytesMut::new();
546		assert!(matches!(
547			msg.encode(&mut buf, Version::Lite04),
548			Err(EncodeError::Version)
549		));
550	}
551
552	#[test]
553	fn ignores_unknown_parameters() {
554		// Frame a SETUP carrying an unknown parameter ID alongside the path.
555		let mut params = Parameters::default();
556		params.set_bytes(PARAM_PATH, b"/foo".to_vec());
557		params.set_bytes(0xbeef, b"whatever".to_vec());
558
559		let mut body = Vec::new();
560		params.encode(&mut body, Version::Lite05).unwrap();
561
562		// Wrap with the message size prefix the Message impl expects.
563		let mut buf = bytes::BytesMut::new();
564		body.len().encode(&mut buf, Version::Lite05).unwrap();
565		buf.extend_from_slice(&body);
566
567		let mut slice = &buf[..];
568		let got = Setup::decode(&mut slice, Version::Lite05).unwrap();
569		assert_eq!(got.path.as_deref(), Some("/foo"));
570	}
571}