Skip to main content

plecto_server/
lib.rs

1//! plecto-server — the M2 fast path (ADR 000013, TLS 000014, HTTP/2 000015, HTTP/3 000016).
2//!
3//! A tokio listener that turns Plecto from a library into an actual reverse proxy. It serves
4//! HTTP/1.1 and HTTP/2 over TCP (hyper, ALPN-negotiated — ADR 000015) and HTTP/3 over QUIC (quinn +
5//! the h3 crate, an independent UDP listener advertised via `Alt-Svc` — ADR 000016). All three
6//! transports feed the same transaction core (`proxy_core`); only the body adapters differ.
7//! Per request it: builds a header-only `HttpRequest`, asks the control plane which route
8//! matches (host + path prefix), runs that route's filter chain, and either responds now (a
9//! filter short-circuited / failed closed) or forwards the request to the route's upstream and
10//! runs the response side of the chain on the way back.
11//!
12//! **sync↔async bridge (the §6.3 prerequisite).** Filter execution is synchronous and runs on a
13//! wasmtime `Store` that is `!Send`, so it cannot cross an `.await`. Each chain dispatch is moved
14//! to tokio's blocking pool via `spawn_blocking`; the M1 trusted instance pool handles instance
15//! reuse and saturation there. Route matching is pure config lookup and stays on the async thread.
16//!
17//! **Request body: buffered ONLY when a filter reads it (ADR 000025 / 000038).** A route whose
18//! filters all target the header-only `filter` world streams the request body straight to the
19//! upstream (zero-copy); a route with a filter that exports `on-request-body` (`reads_body`) has the
20//! body buffered (bounded) and run through the `on-request-body` chain. The response body always
21//! streams straight back — filters see response headers / status only (they may synthesise a
22//! short-circuit body of their own).
23
24// Hot-path discipline (bp-rust): no unwrap/expect/panic/indexing on the data plane. Exempted
25// under `cfg(test)` — this crate's own `#[cfg(test)] mod` blocks legitimately use them;
26// `tests/*.rs` integration tests are separate crates and are never subject to this attribute.
27#![cfg_attr(
28    not(test),
29    warn(
30        clippy::unwrap_used,
31        clippy::expect_used,
32        clippy::panic,
33        clippy::indexing_slicing
34    )
35)]
36
37mod access_log;
38mod admin;
39mod body;
40mod compression;
41mod dispatch;
42mod dns;
43mod error;
44mod forward;
45mod h3;
46mod headers;
47mod health;
48mod listener;
49mod metrics;
50mod otlp;
51mod proxy;
52// `pub`: the out-of-workspace fuzz harness (`fuzz/`) drives the pure parser (ADR 000057). Not a
53// semver surface — the crate is `publish = false`.
54pub mod proxy_protocol;
55mod respond;
56mod retry;
57mod tunnel;
58mod upstream_client;
59
60use std::sync::Arc;
61
62use bytes::Bytes;
63use http_body_util::combinators::BoxBody;
64use hyper::header::HeaderValue;
65use hyper_util::client::legacy::connect::HttpConnector;
66use plecto_control::Control;
67use tokio::sync::Semaphore;
68
69use crate::metrics::ServerMetrics;
70use crate::upstream_client::UpstreamClients;
71
72pub use listener::{DEFAULT_DRAIN_DEADLINE, serve, serve_with_shutdown};
73
74/// Cap glibc's per-thread malloc arenas at process start to bound RSS on many-core hosts.
75///
76/// glibc defaults to `8 × ncpu` arenas on 64-bit. Under a many-threaded proxy doing bursty
77/// per-request allocations, freed memory lingers in each thread's arena instead of returning to the
78/// OS, inflating RSS (measured ~2.5× at 1 MB bodies × 50 conns — docs/servey body-tax). This is a
79/// defensive complement to the real fix (not buffering a body no filter reads); routes that
80/// legitimately buffer still allocate, and this bounds their arena fragmentation.
81///
82/// `M_ARENA_MAX` only gates creation of NEW arenas and never reclaims existing ones, so this MUST
83/// run before the runtime spawns its worker threads (call it first in `main`). Default cap **4** — a
84/// portable, contention-safe value used across multithreaded services, chosen over the value that
85/// minimised RSS on one host (1) precisely because Plecto is self-hosted on varied machines.
86/// Override with `PLECTO_MALLOC_ARENA_MAX` (`0` leaves glibc's default in place). No-op off glibc.
87pub fn cap_malloc_arenas() {
88    let max = std::env::var("PLECTO_MALLOC_ARENA_MAX")
89        .ok()
90        .and_then(|s| s.parse::<i32>().ok())
91        .unwrap_or(4);
92    apply_arena_cap(max);
93}
94
95#[cfg(all(target_os = "linux", target_env = "gnu"))]
96fn apply_arena_cap(max: i32) {
97    if max <= 0 {
98        return; // 0 / negative: leave glibc's default (8 × ncpu) untouched.
99    }
100    // SAFETY: a plain libc call made single-threaded at startup, before any worker thread exists.
101    // Returns 1 on success / 0 on failure; a best-effort tuning knob, so a rejection is ignored
102    // rather than failing startup.
103    unsafe {
104        libc::mallopt(libc::M_ARENA_MAX, max as core::ffi::c_int);
105    }
106}
107
108#[cfg(not(all(target_os = "linux", target_env = "gnu")))]
109fn apply_arena_cap(_max: i32) {}
110
111/// A boxed, `Send` error — the unified error type for the boxed request/response bodies.
112pub(crate) type BoxError = Box<dyn std::error::Error + Send + Sync>;
113
114/// The response body the service yields: either a synthesised buffer (`Full`, for a short-circuit
115/// or a fail-closed 5xx) or the upstream's streamed body (`Incoming`), unified behind one boxed
116/// type so the service has a single return shape.
117pub(crate) type ResponseBody = BoxBody<Bytes, BoxError>;
118
119/// The request body forwarded to the upstream, boxed so one type covers every inbound transport:
120/// the hyper `Incoming` (HTTP/1.1 + HTTP/2) and the QUIC/h3 recv stream (HTTP/3, ADR 000016). The
121/// body streams straight through opaquely (header-only contract, ADR 000010) regardless of source.
122pub(crate) type ReqBody = BoxBody<Bytes, BoxError>;
123
124/// Global cap on concurrently-served connections across all transports (CWE-770). A permit
125/// is acquired BEFORE each accept, so at saturation the listener stops pulling new connections off
126/// the OS backlog (natural backpressure) instead of spawning per-connection tasks unboundedly.
127pub(crate) const MAX_CONNECTIONS: usize = 10_000;
128
129/// Per-connection cap on concurrent HTTP/2 streams (ADR 000015). A fixed, conservative bound (not
130/// yet manifest-configurable): it stops a single h2 connection from monopolising the fixed-capacity
131/// M1 instance pool (ADR 000012) with concurrent chain dispatches, and is defence-in-depth against
132/// stream-flooding DoS (the h2 crate already mitigates Rapid Reset, CVE-2023-44487). 100 is the
133/// RFC 9113 recommended floor; hyper's own default is version-dependent and not API-stable, so we
134/// pin it explicitly.
135pub(crate) const MAX_CONCURRENT_STREAMS: u32 = 100;
136
137/// Shared per-server state: the control plane (filters, routes, reload), the upstream clients, and
138/// the `Alt-Svc` header value advertising HTTP/3 (ADR 000016) — `Some` only when a QUIC listener is
139/// bound, and added to TCP (HTTP/1.1 + HTTP/2) responses to steer capable clients to h3.
140pub(crate) struct ServerState {
141    control: Arc<Control>,
142    /// Per-security-context upstream clients (ADR 000042): one plain HTTP/1.1 client plus one
143    /// pooled TLS client per distinct `[upstream.tls]` config.
144    clients: UpstreamClients,
145    alt_svc: Option<HeaderValue>,
146    /// Global connection cap across TCP + QUIC: a permit is held for each connection's
147    /// lifetime, so the server never serves more than `MAX_CONNECTIONS` at once.
148    conn_limit: Arc<Semaphore>,
149    /// Cap on concurrently-buffered request bodies for the `on-request-body` hook, bounding
150    /// total buffered memory.
151    body_buffer_limit: Arc<Semaphore>,
152    /// Native data-plane metrics (Stage A observability, ADR 000009): RED signals tallied per
153    /// request and served on the admin endpoint. Always recorded (cheap atomics); whether anyone
154    /// can scrape them is gated by `[observability] admin_addr`.
155    metrics: Arc<ServerMetrics>,
156    /// The OTLP span buffer (ADR 000040), present iff `[observability] otlp_endpoint` is set:
157    /// `proxy_core` pushes one SERVER request span per sampled transaction; the export pump
158    /// (spawned by the listener) drains it.
159    otlp: Option<Arc<plecto_control::otlp::OtlpBuffer>>,
160    /// The graceful-shutdown drain flag (ADR 000039), cloned into every spawned upgrade tunnel
161    /// (ADR 000048) so an indefinite tunnel closes at drain instead of outliving the server.
162    drain: tokio::sync::watch::Receiver<bool>,
163    /// The readiness flag (ADR 000059): `true` for the serving lifetime, flipped to `false` at
164    /// the shutdown signal — BEFORE the drain starts — so `/readyz` tells the front load
165    /// balancer to remove this replica while it still accepts connections (the readiness grace).
166    ready: tokio::sync::watch::Receiver<bool>,
167}
168
169/// An upstream TCP connector with `TCP_NODELAY` set. A proxy must disable Nagle on its upstream
170/// sockets: with Nagle on, a streamed request body sent in several writes stalls ~40 ms on the
171/// peer's delayed-ACK timer (surfaced by the body benchmark as a p99 cliff on large streamed
172/// bodies). Disabling Nagle on proxy/upstream sockets is standard practice across mature L7 proxies.
173/// Both the forwarding clients and the health prober use it — plain, and wrapped by the rustls
174/// connector for a TLS upstream (ADR 000042), which is why `enforce_http` is off (the wrapping
175/// `HttpsConnector` dials `https://` URIs through it).
176pub(crate) fn upstream_connector() -> HttpConnector {
177    let mut c = HttpConnector::new();
178    c.set_nodelay(true);
179    c.enforce_http(false);
180    c
181}
182
183#[cfg(test)]
184mod alloc_tuning_tests {
185    #[cfg(all(target_os = "linux", target_env = "gnu"))]
186    #[test]
187    fn mallopt_arena_max_is_accepted_by_glibc() {
188        // Guards the FFI constant + linkage: glibc returns 1 when it accepts the option.
189        let rc = unsafe { libc::mallopt(libc::M_ARENA_MAX, 4) };
190        assert_eq!(
191            rc, 1,
192            "glibc mallopt(M_ARENA_MAX, 4) should return 1 on success"
193        );
194    }
195
196    #[test]
197    fn cap_is_a_noop_when_disabled() {
198        // 0 leaves glibc's default in place; must not panic (and compiles/no-ops off glibc).
199        super::apply_arena_cap(0);
200    }
201}