OXYGENHUB
# 82cf6e91d398 oxygenflow / crates / flow / src / runner.rs
63.4 KiB · Rust · last changed feat(cache): unchanged sources keep their times; claims list the caches held (closes #52, refs #51) 22 days ago source blame history raw
e0918b88 Andy McCall 1
//! `flow runner` (docs/m0.md §5): claim a job from OxygenHub, fetch the
2
//! repository into a cache with the job's token, write the state into a
3
//! workspace, run it in its tier, stream the log, report the receipt.
4
//! One job at a time.
5
47c1d64d Andy McCall ↶ 6
use crate::home::{Home, RunnerConfig, RunnerKey};
e0918b88 Andy McCall 7
use crate::{microvm, workspace};
8
use anyhow::{bail, Context, Result};
b11e30f5 Andy McCall ↶ 9
use flow_core::api::{Claim, ClaimRequest, Decline, Finish, LogBatch, Record, Register, Registered, RunnerInfo, MAX_RECORD_TEXT};
e0918b88 Andy McCall 10
use flow_core::{scope_tree_hash, Receipt};
11
use oxy_core::hash::ChangeHash;
12
use oxy_core::repo::Repo;
13
use std::path::PathBuf;
14
use std::time::{Duration, Instant};
15
280ef951 Andy McCall ↶ 16
/// A request the hub refused (4xx). On a job's endpoints, 409 means the
17
/// job no longer runs: it was cancelled, or given up.
18
#[derive(Debug)]
19
pub struct Refused {
20
    pub code: u16,
21
    pub text: String,
22
}
23
24
impl std::fmt::Display for Refused {
25
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
26
        write!(f, "HTTP {}: {}", self.code, self.text)
27
    }
28
}
29
30
impl std::error::Error for Refused {}
31
32
/// Whether `e` is the hub saying the job no longer runs.
33
fn job_gone(e: &anyhow::Error) -> bool {
34
    e.downcast_ref::<Refused>().is_some_and(|r| r.code == 409)
35
}
36
37
/// What a job ends with when its run was cancelled: nothing is reported,
38
/// as the hub has ended it already.
39
const CANCELLED: &str = "the run was cancelled";
40
41
fn cancelled() -> Finish {
8f211e20 Andy McCall ↶ 42
    Finish {
43
        exit_code: None,
44
        duration_ms: 0,
45
        receipt: None,
46
        signed_receipt: None,
47
        error: Some(CANCELLED.into()),
48
        peak_disk_mib: None,
49
        peak_memory_mib: None,
50
    }
280ef951 Andy McCall ↶ 51
}
52
e0918b88 Andy McCall 53
pub struct Hub {
54
    base: String,
55
    token: String,
56
    agent: ureq::Agent,
57
}
58
59
impl Hub {
60
    pub fn new(cfg: &RunnerConfig) -> Result<Hub> {
61
        let tls = oxy_core::protocol::tls_client_config(cfg.ca.as_deref()).map_err(|e| anyhow::anyhow!("{e}"))?;
62
        let agent = ureq::AgentBuilder::new().tls_config(tls).timeout(Duration::from_secs(60)).build();
63
        Ok(Hub { base: cfg.hub.trim_end_matches('/').to_string(), token: cfg.token.clone(), agent })
64
    }
65
1b2229da Andy McCall ↶ 66
    /// POST to the hub. A server error (5xx) means nothing was committed,
67
    /// so it is tried again after 1, 2 and 4 seconds before giving up: a
68
    /// busy hub costs a job a few seconds, not its log lines or its claim.
e0918b88 Andy McCall 69
    fn post(&self, path: &str, body: &impl serde::Serialize) -> Result<Option<ureq::Response>> {
1b2229da Andy McCall ↶ 70
        self.post_with(path, body, &RETRY_DELAYS)
71
    }
72
73
    fn post_with(&self, path: &str, body: &impl serde::Serialize, delays: &[Duration]) -> Result<Option<ureq::Response>> {
e0918b88 Andy McCall 74
        let url = format!("{}/api/v1{path}", self.base);
89171fca Andy McCall ↶ 75
        let r = retrying(&url, delays, false, || {
76
            self.agent.post(&url).set("Authorization", &format!("Bearer {}", self.token)).send_json(body).map_err(Box::new)
77
        })?;
78
        Ok(if r.status() == 204 { None } else { Some(r) })
79
    }
80
81
    /// POST what a job leaves behind (oxygenflow#49): through a hub that is
82
    /// away for a few minutes, as while a deploy restarts it, so a job's
83
    /// declines and uploads outlast it.
84
    fn post_patiently(&self, path: &str, body: &impl serde::Serialize) -> Result<Option<ureq::Response>> {
85
        let url = format!("{}/api/v1{path}", self.base);
86
        let r = retrying(&url, &PATIENT_DELAYS, true, || {
87
            self.agent.post(&url).set("Authorization", &format!("Bearer {}", self.token)).send_json(body).map_err(Box::new)
88
        })?;
89
        Ok(if r.status() == 204 { None } else { Some(r) })
e0918b88 Andy McCall 90
    }
91
92
    pub fn claim(&self, req: &ClaimRequest) -> Result<Option<Claim>> {
93
        match self.post("/flow/claim", req)? {
94
            Some(r) => Ok(Some(r.into_json()?)),
95
            None => Ok(None),
96
        }
97
    }
98
b11e30f5 Andy McCall ↶ 99
    /// Hand job `job` back, saying why this runner will not run it.
100
    pub fn decline(&self, job: i64, reason: &str) -> Result<()> {
89171fca Andy McCall ↶ 101
        self.post_patiently(&format!("/flow/jobs/{job}/decline"), &Decline { reason: reason.into() })?;
b11e30f5 Andy McCall ↶ 102
        Ok(())
103
    }
104
e0918b88 Andy McCall 105
    pub fn log(&self, job: i64, records: Vec<Record>) -> Result<()> {
106
        self.post(&format!("/flow/jobs/{job}/log"), &LogBatch { records })?;
107
        Ok(())
108
    }
109
a67b97e9 Andy McCall ↶ 110
    /// Upload artifact `name` of job `job` (spec §5.2); the hub keeps it as
111
    /// a blob of the job's repository and answers with its ObjectRef.
112
    pub fn artifact(&self, job: i64, name: &str, bytes: &[u8]) -> Result<String> {
113
        let url = format!("{}/api/v1/flow/jobs/{job}/artifacts/{name}", self.base);
89171fca Andy McCall ↶ 114
        let r = retrying(&url, &PATIENT_DELAYS, true, || {
115
            self.agent
a67b97e9 Andy McCall ↶ 116
                .post(&url)
117
                .timeout(Duration::from_secs(600))
118
                .set("Authorization", &format!("Bearer {}", self.token))
89171fca Andy McCall ↶ 119
                .set("Content-Type", "application/octet-stream")
120
                .send_bytes(bytes)
121
                .map_err(Box::new)
122
        })?;
123
        let v: serde_json::Value = r.into_json()?;
124
        v["blob"].as_str().map(String::from).context("the hub named no blob")
a67b97e9 Andy McCall ↶ 125
    }
126
6d53fb7d Andy McCall ↶ 127
    /// Upload file `path` of report `name` of job `job` (oxygenhub#127);
128
    /// the hub keeps it as a blob and answers with its ObjectRef. The
129
    /// report's manifest follows through [`Hub::artifact`].
130
    pub fn report_file(&self, job: i64, name: &str, path: &str, bytes: &[u8]) -> Result<String> {
131
        let url = format!("{}/api/v1/flow/jobs/{job}/reports/{name}/files", self.base);
89171fca Andy McCall ↶ 132
        let r = retrying(&url, &PATIENT_DELAYS, true, || {
133
            self.agent
6d53fb7d Andy McCall ↶ 134
                .post(&url)
135
                .timeout(Duration::from_secs(600))
136
                .set("Authorization", &format!("Bearer {}", self.token))
137
                .set("Content-Type", "application/octet-stream")
89171fca Andy McCall ↶ 138
                .set("X-Flow-Report-Path", path)
139
                .send_bytes(bytes)
140
                .map_err(Box::new)
141
        })?;
142
        let v: serde_json::Value = r.into_json()?;
143
        v["blob"].as_str().map(String::from).context("the hub named no blob")
6d53fb7d Andy McCall ↶ 144
    }
145
3007d8f0 Andy McCall ↶ 146
    /// Report a job's end until the hub has it (oxygenhub#71): while the hub
147
    /// cannot be reached or fails (5xx), try again after `first_wait`,
148
    /// doubling to a minute, for up to `patience`. A refusal (4xx: the job was ended
149
    /// already, say) is final. A result lost here leaves the job running
150
    /// on the hub until its time limit.
151
    pub fn finish_until_accepted(&self, job: i64, f: &Finish, patience: Duration, first_wait: Duration) -> Result<()> {
152
        let url = format!("{}/api/v1/flow/jobs/{job}/finish", self.base);
153
        let deadline = std::time::Instant::now() + patience;
154
        let mut wait = first_wait;
155
        loop {
156
            let why = match self.agent.post(&url).set("Authorization", &format!("Bearer {}", self.token)).send_json(f) {
157
                Ok(_) => return Ok(()),
158
                Err(ureq::Error::Status(code, r)) if code < 500 => {
159
                    bail!("{url}: HTTP {code}: {}", r.into_string().unwrap_or_default())
160
                }
161
                Err(ureq::Error::Status(code, _)) => format!("HTTP {code}"),
162
                Err(e) => e.to_string(),
163
            };
164
            if std::time::Instant::now() + wait > deadline {
165
                bail!("{url}: gave up after {} minutes: {why}", patience.as_secs() / 60);
166
            }
167
            eprintln!("job {job}: the hub did not take the result ({why}); trying again in {} s", wait.as_secs());
168
            std::thread::sleep(wait);
169
            wait = (wait * 2).min(Duration::from_secs(60));
170
        }
171
    }
172
}
173
174
/// How long a runner keeps trying to report a job's end.
175
const FINISH_PATIENCE: Duration = Duration::from_secs(2 * 3600);
176
177
/// Where a job's result waits until the hub has it, so a runner that
178
/// restarts still reports it.
179
fn pending_path(home: &Home, job: i64) -> PathBuf {
180
    home.root.join("pending").join(format!("{job}.json"))
181
}
182
183
/// Report `f`, keeping it on disk until the hub has it.
184
fn report_finish(home: &Home, hub: &Hub, job: i64, f: &Finish) {
185
    let path = pending_path(home, job);
186
    let kept = std::fs::create_dir_all(path.parent().unwrap())
187
        .and_then(|_| std::fs::write(&path, serde_json::to_vec(f).unwrap_or_default()))
188
        .is_ok();
189
    match hub.finish_until_accepted(job, f, FINISH_PATIENCE, Duration::from_secs(5)) {
190
        Ok(()) => {}
191
        Err(e) => eprintln!("job {job}: reporting failed: {e:#}"),
192
    }
193
    if kept {
194
        let _ = std::fs::remove_file(&path);
f98a8f78 Andy McCall ↶ 195
    }
3007d8f0 Andy McCall ↶ 196
}
197
198
/// Results a previous run of the runner could not report, to send again.
199
fn report_pending(home: &Home) -> Vec<(i64, Finish)> {
200
    let Ok(dir) = std::fs::read_dir(home.root.join("pending")) else {
201
        return Vec::new();
202
    };
203
    dir.filter_map(|e| {
204
        let p = e.ok()?.path();
205
        let job: i64 = p.file_stem()?.to_str()?.parse().ok()?;
206
        let f: Finish = serde_json::from_slice(&std::fs::read(&p).ok()?).ok()?;
207
        Some((job, f))
208
    })
209
    .collect()
f98a8f78 Andy McCall ↶ 210
}
211
212
/// `flow runner register`: exchange a one-time registration token from
213
/// the hub for this runner's credential, binding the runner's signing key,
214
/// and keep hub, credential and name in runner.toml.
215
pub fn register(home: &Home, hub: &str, token: &str, name: &str, ca: Option<PathBuf>, labels: Vec<String>) -> Result<Registered> {
216
    if home.config.runner.is_some() && !home.root.join(crate::home::RUNNER_TOML).is_file() {
217
        bail!("flow.toml already has a [runner] section; remove it to register this runner instead");
218
    }
219
    let key = home.runner_key(name)?;
220
    let hub = hub.trim_end_matches('/').to_string();
221
    let tls = oxy_core::protocol::tls_client_config(ca.as_deref()).map_err(|e| anyhow::anyhow!("{e}"))?;
222
    let agent = ureq::AgentBuilder::new().tls_config(tls).timeout(Duration::from_secs(60)).build();
223
    let req = Register {
224
        token: token.trim().to_string(),
225
        name: name.to_string(),
226
        identity: hex::encode(key.identity.encode()),
2d025bbf Andy McCall ↶ 227
        info: RunnerInfo { version: env!("OXY_VERSION_LONG").into(), ..RunnerInfo::here(labels.clone(), 1, None, None) },
f98a8f78 Andy McCall ↶ 228
    };
229
    let url = format!("{hub}/api/v1/flow/runners/register");
230
    let got: Registered = match agent.post(&url).send_json(&req) {
231
        Ok(r) => r.into_json()?,
232
        Err(ureq::Error::Status(code, r)) => bail!("{url}: HTTP {code}: {}", r.into_string().unwrap_or_default()),
233
        Err(e) => bail!("{url}: {e}"),
234
    };
235
    let mut text = format!(
236
        "# Written by `flow runner register`; the credential is secret.\nhub = {hub:?}\ntoken = {:?}\nname = {:?}\n",
237
        got.credential, got.name
238
    );
239
    if let Some(ca) = &ca {
240
        text.push_str(&format!("ca = {:?}\n", ca.display().to_string()));
241
    }
242
    if !labels.is_empty() {
243
        text.push_str(&format!("labels = {labels:?}\n"));
244
    }
245
    let path = home.root.join(crate::home::RUNNER_TOML);
246
    {
247
        use std::io::Write;
248
        use std::os::unix::fs::OpenOptionsExt;
249
        let tmp = path.with_extension("toml.tmp");
250
        let mut f = std::fs::OpenOptions::new().write(true).create(true).truncate(true).mode(0o600).open(&tmp)?;
251
        f.write_all(text.as_bytes())?;
252
        f.sync_all()?;
253
        std::fs::rename(&tmp, &path)?;
e0918b88 Andy McCall 254
    }
f98a8f78 Andy McCall ↶ 255
    Ok(got)
e0918b88 Andy McCall 256
}
1b2229da Andy McCall ↶ 257
258
/// Waits before trying a hub request again after a server error.
259
const RETRY_DELAYS: [Duration; 3] = [Duration::from_secs(1), Duration::from_secs(2), Duration::from_secs(4)];
89171fca Andy McCall ↶ 260
261
/// Waits for what a job leaves behind (oxygenflow#49): three minutes in
262
/// all, longer than a hub takes to restart.
263
const PATIENT_DELAYS: [Duration; 15] = {
264
    let mut d = [Duration::from_secs(15); 15];
265
    d[0] = Duration::from_secs(1);
266
    d[1] = Duration::from_secs(2);
267
    d[2] = Duration::from_secs(4);
268
    d[3] = Duration::from_secs(8);
269
    d
270
};
271
272
/// Send a request until the hub answers, waiting `delays` in turn after a
273
/// server error (5xx: nothing was committed) and, when `connection`, after
274
/// the hub could not be reached at all. A refusal (4xx) is final, as a
275
/// [`Refused`] the caller can look at.
276
fn retrying(
277
    url: &str,
278
    delays: &[Duration],
279
    connection: bool,
280
    mut send: impl FnMut() -> Result<ureq::Response, Box<ureq::Error>>,
281
) -> Result<ureq::Response> {
282
    let mut delays = delays.iter();
283
    loop {
284
        let why = match send().map_err(|e| *e) {
285
            Ok(r) => return Ok(r),
286
            Err(ureq::Error::Status(code, r)) if code < 500 => {
287
                let text = r.into_string().unwrap_or_default();
288
                return Err(anyhow::Error::new(Refused { code, text }).context(url.to_string()));
289
            }
290
            Err(ureq::Error::Status(code, r)) => format!("HTTP {code}: {}", r.into_string().unwrap_or_default()),
291
            Err(e) if connection => e.to_string(),
292
            Err(e) => bail!("{url}: {e}"),
293
        };
294
        match delays.next() {
295
            Some(d) => std::thread::sleep(*d),
296
            None => bail!("{url}: {why}"),
297
        }
298
    }
299
}
e0918b88 Andy McCall 300
bb643c25 Andy McCall ↶ 301
/// What the runner may run at once (flow.toml `[runner]`): at most
302
/// `max_jobs` jobs, whose sandboxes together fit `memory_mib` and `cpus`.
303
#[derive(Debug, Default, PartialEq, Eq)]
304
pub struct Budget {
305
    pub max_jobs: usize,
306
    pub memory_mib: Option<u32>,
307
    pub cpus: Option<u32>,
308
}
309
310
/// What is in use now.
311
#[derive(Debug, Default, Clone, Copy, PartialEq, Eq)]
312
pub struct Used {
313
    pub jobs: usize,
314
    pub memory_mib: u32,
315
    pub cpus: u32,
316
}
317
318
impl Budget {
319
    pub fn of(cfg: &RunnerConfig) -> Budget {
320
        Budget { max_jobs: cfg.max_jobs.unwrap_or(1).max(1), memory_mib: cfg.memory_mib, cpus: cfg.cpus }
321
    }
322
323
    /// The room to ask the hub for, or `None` when no job more can start.
324
    /// A lone job may use the whole budget even if it asks for more, so a
325
    /// large sandbox is never starved.
326
    pub fn room(&self, used: Used) -> Option<(Option<u32>, Option<u32>)> {
327
        if used.jobs >= self.max_jobs {
328
            return None;
329
        }
330
        if used.jobs == 0 {
331
            return Some((None, None));
332
        }
333
        let mem = self.memory_mib.map(|m| m.saturating_sub(used.memory_mib));
334
        let cpus = self.cpus.map(|c| c.saturating_sub(used.cpus));
335
        if mem == Some(0) || cpus == Some(0) {
336
            return None;
337
        }
338
        Some((mem, cpus))
339
    }
340
}
341
c5b702e5 Andy McCall ↶ 342
/// The isolation tiers this machine can honour now (spec §11.1): the
ea56c56e Andy McCall ↶ 343
/// MicroVM tier when `/dev/kvm` opens for reading and writing and
344
/// flow.toml pins Firecracker; the syscall tier when this binary may use
345
/// user namespaces, Landlock and seccomp and manage a delegated cgroup.
346
/// `Err` says why there are none; the reasons for missing tiers come back
347
/// with the ones there are.
348
pub fn tiers(home: &Home) -> std::result::Result<(Vec<String>, Vec<String>), String> {
349
    let mut have = Vec::new();
350
    let mut missing = Vec::new();
c5b702e5 Andy McCall ↶ 351
    let kvm = std::fs::OpenOptions::new().read(true).write(true).open("/dev/kvm");
352
    match (kvm, home.config.microvm.is_some()) {
ea56c56e Andy McCall ↶ 353
        (Ok(_), true) => have.push("microvm".to_string()),
354
        (Ok(_), false) => missing.push("microvm: flow.toml has no [microvm] section".to_string()),
355
        (Err(e), _) => missing.push(format!(
356
            "microvm: /dev/kvm cannot be opened ({e}); the tier needs hardware virtualisation and this user in the kvm group"
c5b702e5 Andy McCall ↶ 357
        )),
358
    }
ea56c56e Andy McCall ↶ 359
    match crate::syscall::available() {
360
        Ok(()) => have.push("syscall".to_string()),
361
        Err(e) => missing.push(format!("syscall: {e}")),
362
    }
363
    if have.is_empty() {
364
        return Err(format!("no isolation tier can run here: {}", missing.join("; ")));
365
    }
366
    Ok((have, missing))
b11e30f5 Andy McCall ↶ 367
}
368
4cf0c99a Andy McCall ↶ 369
/// Fetch `claim`'s image from the hub when this home lacks it
370
/// (oxygenflow#39), saying so in the job's log. A hub that does not hold it
371
/// leaves it missing, and the preflight declines the job as before.
b14aeaae Andy McCall ↶ 372
fn fetch_image(home: &Home, hub: &Hub, cfg: &RunnerConfig, swarm: Option<&crate::swarm::Swarm>, claim: &Claim) {
4cf0c99a Andy McCall ↶ 373
    let hash = &claim.sandbox.rootfs;
374
    if hash.is_empty() || home.rootfs(hash).is_file() || !jet::images::is_hash(hash) {
375
        return;
376
    }
377
    let note = |text: String| {
378
        eprintln!("job {}: {text}", claim.job_id);
379
        hub.log(claim.job_id, vec![Record { t: 0, stream: "flow".into(), text }]).ok();
380
    };
381
    // One fetch of an image at a time: two jobs wanting it wait for one.
382
    static FETCHING: std::sync::Mutex<()> = std::sync::Mutex::new(());
383
    let _one = FETCHING.lock().unwrap_or_else(|p| p.into_inner());
384
    if home.rootfs(hash).is_file() {
385
        return;
386
    }
387
    let client = match crate::images::Client::new(&cfg.hub, &cfg.token, cfg.ca.as_deref()) {
388
        Ok(c) => c,
389
        Err(e) => return note(format!("image {}: cannot reach the hub: {e:#}", &hash[..12])),
390
    };
b14aeaae Andy McCall ↶ 391
    let fetched = match swarm {
392
        Some(sw) => {
393
            note(format!("image {} is not on this runner: fetching it from its peers and the hub", &hash[..12]));
394
            sw.fetch(home, hash)
395
        }
396
        None => {
397
            note(format!("image {} is not on this runner: fetching it from the hub", &hash[..12]));
398
            client.fetch(home, hash)
399
        }
400
    };
401
    match fetched {
4cf0c99a Andy McCall ↶ 402
        Ok(Some(m)) => note(format!(
b14aeaae Andy McCall ↶ 403
            "image {}: fetched {} chunks, {}{} in {:.1} s",
4cf0c99a Andy McCall ↶ 404
            &hash[..12],
405
            m.chunks,
406
            crate::images::human(m.bytes),
b14aeaae Andy McCall ↶ 407
            if swarm.is_some() { format!(" ({} from peers)", crate::images::human(m.peer_bytes)) } else { String::new() },
4cf0c99a Andy McCall ↶ 408
            m.elapsed.as_secs_f64()
409
        )),
410
        Ok(None) => note(format!("image {}: the hub does not hold it either", &hash[..12])),
411
        Err(e) => note(format!("image {}: fetch failed: {e:#}", &hash[..12])),
412
    }
413
}
414
b11e30f5 Andy McCall ↶ 415
/// Why this runner cannot run `claim` now (spec §11.5), checked before
416
/// anything is fetched: the tier, the architecture, the image and the
417
/// memory. The hub chose it from what the runner last said, which may be
418
/// out of date.
419
fn preflight(home: &Home, claim: &Claim) -> Option<String> {
420
    let sb = &claim.sandbox;
421
    match sb.runtime {
422
        flow_core::Runtime::Microvm => {
423
            if let Err(e) = std::fs::OpenOptions::new().read(true).write(true).open("/dev/kvm") {
424
                return Some(format!("the MicroVM tier needs /dev/kvm, which cannot be opened here ({e})"));
425
            }
426
            if home.config.microvm.is_none() {
427
                return Some("the MicroVM tier is not set up here (flow.toml has no [microvm] section)".into());
428
            }
429
        }
430
        flow_core::Runtime::Syscall => {
431
            if let Err(e) = crate::syscall::available() {
432
                return Some(format!("the syscall tier cannot run here: {e}"));
433
            }
434
        }
435
        flow_core::Runtime::Wasm => return Some("this runner has no wasm tier".into()),
436
    }
437
    sandbox_problem(home, sb, std::env::consts::ARCH, available_memory_mib())
438
}
439
440
/// What stops `sb` running on this home's images, on a machine of
441
/// architecture `here` with `free_mib` of memory free.
442
fn sandbox_problem(home: &Home, sb: &flow_core::Sandbox, here: &str, free_mib: Option<u64>) -> Option<String> {
443
    if let Some(want) = sb.arch.as_deref().filter(|a| *a != here) {
444
        return Some(format!("the sandbox needs {want}; this runner is {here}"));
445
    }
446
    let short = &sb.rootfs[..12.min(sb.rootfs.len())];
447
    let image = home.rootfs(&sb.rootfs);
448
    if !image.is_file() {
449
        return Some(format!("rootfs {short} is not on this runner"));
450
    }
451
    if let Some(arch) = home.image_arch(&sb.rootfs).filter(|a| a != here) {
452
        return Some(format!("rootfs {short} is for {arch}; this runner is {here}"));
453
    }
454
    if let Err(e) = home.verified(&image, &sb.rootfs) {
455
        return Some(format!("rootfs {short} does not verify here: {e:#}"));
456
    }
457
    if let Some(free) = free_mib.filter(|free| *free < u64::from(sb.memory_mib)) {
458
        return Some(format!("only {free} MiB of memory is free here; the sandbox needs {} MiB", sb.memory_mib));
459
    }
460
    None
461
}
462
463
/// `MemAvailable` from /proc/meminfo, in MiB.
464
fn available_memory_mib() -> Option<u64> {
465
    let info = std::fs::read_to_string("/proc/meminfo").ok()?;
466
    let kib: u64 = info.lines().find_map(|l| l.strip_prefix("MemAvailable:"))?.trim().trim_end_matches("kB").trim().parse().ok()?;
467
    Some(kib / 1024)
c5b702e5 Andy McCall ↶ 468
}
469
e0918b88 Andy McCall 470
pub fn serve(home: &Home) -> Result<()> {
471
    let cfg = home.config.runner.clone().context("flow.toml has no [runner] section")?;
c5b702e5 Andy McCall ↶ 472
    // A runner offers only what it can run: a machine without KVM claims
473
    // nothing rather than taking MicroVM jobs and failing them (#36).
ea56c56e Andy McCall ↶ 474
    let (runtimes, missing) = tiers(home).map_err(|why| anyhow::anyhow!("flow runner: {why}"))?;
475
    for why in &missing {
476
        eprintln!("flow runner: not offering {why}");
477
    }
e0918b88 Andy McCall 478
    let hub = Hub::new(&cfg)?;
479
    let name = cfg.name.clone().unwrap_or_else(|| "flow".into());
bb643c25 Andy McCall ↶ 480
    let budget = Budget::of(&cfg);
89171fca Andy McCall ↶ 481
    drain_on_stop();
47c1d64d Andy McCall ↶ 482
    let key = home.runner_key(&name)?;
b14aeaae Andy McCall ↶ 483
    // The swarm (docs/jetstream.md §8.1): a runner that cannot serve its
484
    // peers still runs jobs, fetching images from the hub alone.
485
    let swarm = crate::swarm::Swarm::start(home, &cfg).unwrap_or_else(|e| {
486
        eprintln!("flow runner: not joining the swarm: {e:#}");
487
        None
488
    });
47c1d64d Andy McCall ↶ 489
    eprintln!(
c5b702e5 Andy McCall ↶ 490
        "flow runner {name}: polling {} (up to {} jobs at once, tiers {}), signing receipts as {}",
47c1d64d Andy McCall ↶ 491
        cfg.hub,
492
        budget.max_jobs,
c5b702e5 Andy McCall ↶ 493
        runtimes.join(", "),
47c1d64d Andy McCall ↶ 494
        key.identity.hash().to_hex()
495
    );
bb643c25 Andy McCall ↶ 496
    let used = std::sync::Mutex::new(Used::default());
e0918b88 Andy McCall 497
    let mut idle = Duration::from_secs(2);
3007d8f0 Andy McCall ↶ 498
    let pending = report_pending(home);
1daca0b6 Andy McCall ↶ 499
    // The jobs held now, told to the hub at each claim so it can end the
500
    // ones this runner lost: a job is held from its claim until its result
501
    // is reported.
502
    let held = std::sync::Mutex::new(std::collections::BTreeSet::<i64>::new());
503
    held.lock().unwrap().extend(pending.iter().map(|(job, _)| *job));
3007d8f0 Andy McCall ↶ 504
    std::thread::scope(|scope| {
505
        for (job, f) in pending {
1daca0b6 Andy McCall ↶ 506
            let (hub, held) = (&hub, &held);
3007d8f0 Andy McCall ↶ 507
            scope.spawn(move || {
508
                eprintln!("job {job}: reporting the result kept from before the restart");
509
                report_finish(home, hub, job, &f);
1daca0b6 Andy McCall ↶ 510
                held.lock().unwrap().remove(&job);
3007d8f0 Andy McCall ↶ 511
            });
512
        }
62829d15 Andy McCall ↶ 513
        // The speed (spec §11.1): measured now, and again every 15 minutes
514
        // while no job runs, so a job never shares the CPU with it.
515
        let measure = || {
516
            let (speed, ms) = crate::facts::bench();
517
            eprintln!("flow runner {name}: speed {speed} (class {}), benchmark {ms} ms", flow_core::api::Facts::class_of(speed));
518
            speed
519
        };
520
        let mut speed = measure();
521
        let mut benched = Instant::now();
89171fca Andy McCall ↶ 522
        let mut said_draining = false;
3007d8f0 Andy McCall ↶ 523
        loop {
89171fca Andy McCall ↶ 524
            // Draining (oxygenflow#50): told to stop, claim nothing more and
525
            // stop once every job held is done and reported.
526
            if stopping() {
527
                let (jobs, holding) = (used.lock().unwrap().jobs, held.lock().unwrap().len());
528
                if jobs == 0 && holding == 0 {
529
                    eprintln!("flow runner {name}: drained, stopping");
530
                    break;
531
                }
532
                if !said_draining {
533
                    eprintln!("flow runner {name}: draining: claiming nothing more, stopping when the {jobs} job(s) held are done (stop again to stop now)");
534
                    said_draining = true;
535
                }
536
                std::thread::sleep(Duration::from_millis(500));
537
                continue;
538
            }
62829d15 Andy McCall ↶ 539
            if used.lock().unwrap().jobs == 0 && benched.elapsed() >= Duration::from_secs(15 * 60) {
540
                speed = measure();
541
                benched = Instant::now();
542
            }
3007d8f0 Andy McCall ↶ 543
            let room = budget.room(*used.lock().unwrap());
544
            let Some((free_memory_mib, free_cpus)) = room else {
545
                std::thread::sleep(Duration::from_millis(500));
546
                continue;
547
            };
548
            let req = ClaimRequest {
549
                runner: name.clone(),
c5b702e5 Andy McCall ↶ 550
                runtimes: runtimes.clone(),
3007d8f0 Andy McCall ↶ 551
                free_memory_mib,
552
                free_cpus,
553
                info: Some(RunnerInfo {
554
                    version: env!("OXY_VERSION_LONG").into(),
555
                    ..RunnerInfo::here(cfg.labels.clone(), budget.max_jobs as u32, cfg.memory_mib, cfg.cpus)
556
                }),
8c0a4e3a Andy McCall ↶ 557
                // Read each time: an image imported while the runner runs counts.
558
                images: Some(home.images()),
1abadd4a Andy McCall ↶ 559
                image_archs: Some(home.image_archs()),
1daca0b6 Andy McCall ↶ 560
                holding: Some(held.lock().unwrap().iter().copied().collect()),
4cf0c99a Andy McCall ↶ 561
                fetches_images: true,
62829d15 Andy McCall ↶ 562
                facts: Some(crate::facts::now(home, Some(speed))),
b14aeaae Andy McCall ↶ 563
                swarm: swarm.as_ref().map(|s| s.addr.clone()),
82cf6e91 Andy McCall ↶ 564
                caches: Some(crate::cache::Pool::new(&home.root, cfg.cache_gb).slots()),
3007d8f0 Andy McCall ↶ 565
            };
566
            match hub.claim(&req) {
567
                Ok(Some(claim)) => {
568
                    idle = Duration::from_secs(2);
569
                    let (mem, cpus) = (claim.sandbox.memory_mib, claim.sandbox.cpus);
570
                    {
571
                        let mut u = used.lock().unwrap();
572
                        u.jobs += 1;
573
                        u.memory_mib += mem;
574
                        u.cpus += cpus;
bb643c25 Andy McCall ↶ 575
                    }
1daca0b6 Andy McCall ↶ 576
                    held.lock().unwrap().insert(claim.job_id);
b14aeaae Andy McCall ↶ 577
                    let (home, hub, cfg, used, key, held, swarm) = (home, &hub, &cfg, &used, &key, &held, swarm.as_ref());
3007d8f0 Andy McCall ↶ 578
                    scope.spawn(move || {
579
                        let id = claim.job_id;
b14aeaae Andy McCall ↶ 580
                        fetch_image(home, hub, cfg, swarm, &claim);
b11e30f5 Andy McCall ↶ 581
                        if let Some(why) = preflight(home, &claim) {
582
                            eprintln!("job {id}: declined: {why}");
583
                            if let Err(e) = hub.decline(id, &why) {
584
                                eprintln!("job {id}: decline: {e:#}");
585
                            }
586
                            held.lock().unwrap().remove(&id);
587
                            let mut u = used.lock().unwrap();
588
                            u.jobs -= 1;
589
                            u.memory_mib -= mem;
590
                            u.cpus -= cpus;
591
                            return;
592
                        }
3007d8f0 Andy McCall ↶ 593
                        eprintln!(
594
                            "job {id}: {} {} on {}",
595
                            claim.repo,
596
                            claim.job.name,
597
                            claim.heads.first().map(|h| &h[..12]).unwrap_or("-")
598
                        );
599
                        let finish = run_claim(home, hub, cfg, key, &claim).unwrap_or_else(|e| Finish {
600
                            exit_code: None,
601
                            duration_ms: 0,
602
                            receipt: None,
603
                            signed_receipt: None,
604
                            error: Some(format!("{e:#}")),
8f211e20 Andy McCall ↶ 605
                            peak_disk_mib: None,
606
                            peak_memory_mib: None,
3007d8f0 Andy McCall ↶ 607
                        });
608
                        eprintln!(
609
                            "job {id}: exit {:?}{}",
610
                            finish.exit_code,
611
                            finish.error.as_deref().map(|e| format!(" ({e})")).unwrap_or_default()
612
                        );
280ef951 Andy McCall ↶ 613
                        if finish.error.as_deref() != Some(CANCELLED) {
614
                            report_finish(home, hub, id, &finish);
615
                        }
1daca0b6 Andy McCall ↶ 616
                        held.lock().unwrap().remove(&id);
3007d8f0 Andy McCall ↶ 617
                        let mut u = used.lock().unwrap();
618
                        u.jobs -= 1;
619
                        u.memory_mib -= mem;
620
                        u.cpus -= cpus;
621
                    });
622
                }
623
                Ok(None) => std::thread::sleep(idle),
624
                Err(e) => {
625
                    eprintln!("claim: {e:#}");
626
                    std::thread::sleep(idle);
627
                    idle = (idle * 2).min(Duration::from_secs(60));
628
                }
e0918b88 Andy McCall 629
            }
630
        }
89171fca Andy McCall ↶ 631
        Ok(())
bb643c25 Andy McCall ↶ 632
    })
89171fca Andy McCall ↶ 633
}
634
635
/// How many times the runner was told to stop (SIGTERM or SIGINT).
636
static STOPS: std::sync::atomic::AtomicUsize = std::sync::atomic::AtomicUsize::new(0);
637
638
extern "C" fn on_stop(_: libc::c_int) {
639
    // A second stop means now: only async-signal-safe calls here.
640
    if STOPS.fetch_add(1, std::sync::atomic::Ordering::SeqCst) >= 1 {
641
        unsafe { libc::_exit(143) };
642
    }
643
}
644
645
/// Drain instead of dying on the first SIGTERM or SIGINT (oxygenflow#50),
646
/// so restarting a runner never kills the job it runs: the unit's
647
/// `KillMode=mixed` sends the signal to the runner alone, not its microVMs.
648
fn drain_on_stop() {
649
    let handler = on_stop as extern "C" fn(libc::c_int) as libc::sighandler_t;
650
    unsafe {
651
        libc::signal(libc::SIGTERM, handler);
652
        libc::signal(libc::SIGINT, handler);
653
    }
e0918b88 Andy McCall 654
}
655
89171fca Andy McCall ↶ 656
fn stopping() -> bool {
657
    STOPS.load(std::sync::atomic::Ordering::SeqCst) > 0
658
}
659
280ef951 Andy McCall ↶ 660
/// Batches records to the hub every second (or every 200 lines). A quiet
661
/// job's sink still asks the hub every few seconds whether the job runs,
662
/// with an empty batch; once the hub answers 409 the job is not wanted.
e0918b88 Andy McCall 663
struct LogSink<'a> {
664
    hub: &'a Hub,
665
    job: i64,
666
    buf: Vec<Record>,
667
    last: Instant,
280ef951 Andy McCall ↶ 668
    gone: bool,
669
}
89171fca Andy McCall ↶ 670
671
/// The most log lines sent at once, as a busy job's sink flushes them.
672
const BATCH: usize = 200;
280ef951 Andy McCall ↶ 673
89171fca Andy McCall ↶ 674
/// The most log lines kept while the hub cannot be reached.
675
const MAX_UNSENT: usize = 50_000;
676
280ef951 Andy McCall ↶ 677
/// How often a quiet job asks whether it was cancelled.
678
const HEARTBEAT: Duration = Duration::from_secs(5);
679
680
impl microvm::Sink for LogSink<'_> {
681
    fn record(&mut self, r: Record) {
682
        self.push(r)
683
    }
684
685
    fn cancelled(&mut self) -> bool {
686
        if !self.gone && self.last.elapsed() >= HEARTBEAT {
687
            self.send();
688
        }
689
        self.gone
690
    }
e0918b88 Andy McCall 691
}
692
693
impl LogSink<'_> {
694
    fn push(&mut self, mut r: Record) {
280ef951 Andy McCall ↶ 695
        if self.gone {
696
            return;
697
        }
e0918b88 Andy McCall 698
        if r.text.len() > MAX_RECORD_TEXT {
699
            let mut cut = MAX_RECORD_TEXT;
700
            while !r.text.is_char_boundary(cut) {
701
                cut -= 1;
702
            }
703
            r.text.truncate(cut);
704
        }
705
        self.buf.push(r);
89171fca Andy McCall ↶ 706
        if self.buf.len() >= BATCH || self.last.elapsed() >= Duration::from_secs(1) {
e0918b88 Andy McCall 707
            self.flush();
708
        }
709
    }
710
711
    fn flush(&mut self) {
712
        if !self.buf.is_empty() {
280ef951 Andy McCall ↶ 713
            self.send();
714
        }
715
        self.last = Instant::now();
716
    }
717
89171fca Andy McCall ↶ 718
    /// Send what is buffered, even nothing, in batches of at most
719
    /// `BATCH` lines.
280ef951 Andy McCall ↶ 720
    fn send(&mut self) {
89171fca Andy McCall ↶ 721
        loop {
722
            if self.gone {
723
                return;
724
            }
725
            let n = self.buf.len().min(BATCH);
726
            let batch: Vec<Record> = self.buf.drain(..n).collect();
727
            match self.hub.log(self.job, batch.clone()) {
728
                Ok(()) => {}
729
                Err(e) if job_gone(&e) => self.gone = true,
730
                Err(e) => {
731
                    // The hub is away (a restart, say): keep the lines for
732
                    // the next batch, up to a bound, so the log loses none
733
                    // (oxygenflow#49).
734
                    eprintln!("job {}: log: {e:#}; kept for the next batch", self.job);
735
                    let mut kept = batch;
736
                    kept.append(&mut self.buf);
737
                    let over = kept.len().saturating_sub(MAX_UNSENT);
738
                    if over > 0 {
739
                        kept.drain(..over);
740
                        kept.insert(
741
                            0,
742
                            Record {
743
                                t: 0,
744
                                stream: "flow".into(),
745
                                text: format!("({over} log lines lost while the hub could not be reached)"),
746
                            },
747
                        );
748
                    }
749
                    self.buf = kept;
750
                    break;
751
                }
752
            }
753
            if self.buf.is_empty() {
754
                break;
755
            }
e0918b88 Andy McCall 756
        }
757
        self.last = Instant::now();
758
    }
759
}
bb643c25 Andy McCall ↶ 760
761
/// Held while a job's workspace is prepared (see `run_claim`).
762
static PREPARE: std::sync::Mutex<()> = std::sync::Mutex::new(());
e0918b88 Andy McCall 763
47c1d64d Andy McCall ↶ 764
fn run_claim(home: &Home, hub: &Hub, cfg: &RunnerConfig, key: &RunnerKey, claim: &Claim) -> Result<Finish> {
e0918b88 Andy McCall 765
    let started = Instant::now();
280ef951 Andy McCall ↶ 766
    let mut sink = LogSink { hub, job: claim.job_id, buf: Vec::new(), last: Instant::now(), gone: false };
e0918b88 Andy McCall 767
    let note =
768
        |sink: &mut LogSink, text: String| sink.push(Record { t: started.elapsed().as_millis() as u64, stream: "flow".into(), text });
769
    let heads: Vec<ChangeHash> = claim.heads.iter().map(|h| ChangeHash::from_hex(h).context("bad head")).collect::<Result<_>>()?;
770
    note(&mut sink, format!("fetching {} for state {}", claim.repo, claim.heads.iter().map(|h| &h[..12]).collect::<Vec<_>>().join("+")));
bb643c25 Andy McCall ↶ 771
    // Preparing a workspace (the cached repositories, the export, the
772
    // image) is one job at a time: fetches into a cached repository must not
773
    // overlap, and the first clone passes its token through the process
774
    // environment. Only the microVMs run side by side.
775
    let mut preparing = Some(PREPARE.lock().unwrap_or_else(|p| p.into_inner()));
e0918b88 Andy McCall 776
    let repo = cached_repo(home, cfg, claim)?;
777
    let scratch = home.root.join("work").join(format!("job-{}", claim.job_id));
778
    let _ = std::fs::remove_dir_all(&scratch);
779
    std::fs::create_dir_all(scratch.join("tree"))?;
780
    let result = (|| -> Result<Finish> {
c23d5191 Andy McCall ↶ 781
        let mut files = workspace::export_state(&repo, &heads, &scratch.join("tree"))?;
782
        // Pinned subrepos (Oxygen spec §7.8), at their paths, as part of the
783
        // workspace and of the scope hash.
784
        for sub in &claim.subrepos {
785
            if sub.path.split('/').any(|p| p.is_empty() || p == "." || p == ".." || p == ".oxy") {
786
                bail!("subrepo path {:?} is not a clean relative path", sub.path);
787
            }
788
            note(
789
                &mut sink,
790
                format!(
791
                    "fetching subrepo {} at {} for {}",
792
                    sub.repo,
793
                    sub.heads.iter().map(|h| &h[..12]).collect::<Vec<_>>().join("+"),
794
                    sub.path
795
                ),
796
            );
797
            let sub_repo = cached_repo_at(home, cfg, &sub.repo, &sub.clone_url, &claim.token)?;
798
            let sub_heads: Vec<ChangeHash> =
799
                sub.heads.iter().map(|h| ChangeHash::from_hex(h).context("bad subrepo head")).collect::<Result<_>>()?;
800
            let dir = scratch.join("tree").join(&sub.path);
801
            std::fs::create_dir_all(&dir)?;
802
            let sub_files = workspace::export_state(&sub_repo, &sub_heads, &dir)?;
803
            files.extend(sub_files.into_iter().map(|(p, h)| (format!("{}/{p}", sub.path), h)));
804
        }
e0918b88 Andy McCall 805
        let scope_hash = scope_tree_hash(&claim.job.scope, files.iter().map(|(p, h)| (p.as_str(), *h)));
ea56c56e Andy McCall ↶ 806
        // The syscall tier runs on the tree itself; a microVM gets an image.
807
        let syscall_tier = claim.sandbox.runtime == flow_core::Runtime::Syscall;
82cf6e91 Andy McCall ↶ 808
        let job = claim.job.in_sandbox(&claim.sandbox).with_flow_env(&claim.flow_env());
809
        // Disk mounts that name a cache start from a kept disk (#28); the
810
        // microVM takes a disk already in place as it is. Taken before the
811
        // workspace is imaged: the sources the disk was built from give
812
        // unchanged files their old times back (#52).
813
        let pool = crate::cache::Pool::new(&home.root, cfg.cache_gb);
814
        let cache_ctx =
815
            crate::cache::Ctx { repo: &claim.repo, bookmark: &claim.bookmark, job: &claim.job.name, image: &claim.sandbox.rootfs };
816
        let mut cached: Vec<(usize, String, String)> = Vec::new();
817
        let mut built_from: Option<crate::cache::Sources> = None;
818
        if !syscall_tier {
819
            for (i, m) in job.mounts.iter().filter(|m| m.source == flow_core::pipeline::MountSource::Disk).enumerate() {
820
                let Some(name) = &m.cache else { continue };
821
                let key = crate::cache::Pool::key(&cache_ctx, m, |p| files.iter().find(|(f, _)| f == p).map(|(_, h)| hex::encode(h)));
822
                let how = match pool.take(&cache_ctx, m, &key, &scratch.join(format!("mount-{i}.ext4"))) {
823
                    Some(t) => {
824
                        if built_from.is_none() {
825
                            built_from = t.sources;
826
                        }
827
                        t.how
828
                    }
829
                    None => format!("cache {name}: none kept yet, an empty disk"),
830
                };
831
                note(&mut sink, format!("{} ({})", how, m.target));
832
                cached.push((i, key, how));
833
            }
834
        }
835
        let sources = if cached.is_empty() {
836
            crate::cache::Sources::new()
837
        } else {
838
            let (sources, restored) = workspace::restore_times(&scratch.join("tree"), &files, built_from.as_ref());
839
            if built_from.is_some() {
840
                note(&mut sink, format!("cache: {restored} of {} files unchanged since the cached build, their times kept", sources.len()));
841
            }
842
            sources
843
        };
ea56c56e Andy McCall ↶ 844
        if !syscall_tier {
845
            workspace::image(&scratch.join("tree"), &scratch.join("workspace.ext4"))?;
846
            std::fs::remove_dir_all(scratch.join("tree"))?;
847
        }
bb643c25 Andy McCall ↶ 848
        preparing.take();
ea56c56e Andy McCall ↶ 849
        // Cancelled while it was being prepared: no sandbox.
280ef951 Andy McCall ↶ 850
        if microvm::Sink::cancelled(&mut sink) {
851
            return Ok(cancelled());
852
        }
e0918b88 Andy McCall 853
        note(
854
            &mut sink,
855
            format!(
ea56c56e Andy McCall ↶ 856
                "{}: {} {}, {} MiB, rootfs {}",
857
                if syscall_tier { "starting a syscall sandbox" } else { "booting a microVM" },
e0918b88 Andy McCall 858
                claim.sandbox.cpus,
ea56c56e Andy McCall ↶ 859
                if syscall_tier { "CPU" } else { "vCPU" },
e0918b88 Andy McCall 860
                claim.sandbox.memory_mib,
861
                &claim.sandbox.rootfs[..12]
862
            ),
863
        );
ea56c56e Andy McCall ↶ 864
        let timeout = Duration::from_secs(claim.timeout_s);
d60aac6c Andy McCall ↶ 865
        let mut outcome = if syscall_tier {
ea56c56e Andy McCall ↶ 866
            let group = format!("job-{}", claim.job_id);
867
            crate::syscall::run(home, &claim.sandbox, &job, &claim.secrets, &scratch.join("tree"), &scratch, timeout, &mut sink, &group)?
868
        } else {
869
            microvm::run(home, &claim.sandbox, &job, &claim.secrets, &scratch.join("workspace.ext4"), &scratch, timeout, &mut sink)?
870
        };
280ef951 Andy McCall ↶ 871
        if outcome.cancelled {
872
            return Ok(cancelled());
d60aac6c Andy McCall ↶ 873
        }
874
        // The receipt says what a cached disk started from.
875
        let disk_mounts: Vec<&flow_core::pipeline::Mount> =
876
            job.mounts.iter().filter(|m| m.source == flow_core::pipeline::MountSource::Disk).collect();
877
        for (i, key, how) in &cached {
878
            outcome.environment.parts.push((format!("cache {}", disk_mounts[*i].target), format!("{key}: {how}")));
280ef951 Andy McCall ↶ 879
        }
a67b97e9 Andy McCall ↶ 880
        // A passing job's artifacts, read from its disks and uploaded; a
9a6fac2b Andy McCall ↶ 881
        // declared artifact that cannot be kept fails the job. A failing
882
        // job keeps only its `when "always"` ones (oxygenflow#37), outside
883
        // its receipt, and one it cannot keep is only noted.
a67b97e9 Andy McCall ↶ 884
        let mut outputs = vec![];
885
        let mut output_error = None;
9a6fac2b Andy McCall ↶ 886
        let passed = outcome.exit_code == Some(0);
887
        let wanted = claim.job.outputs.iter().filter(|o| passed || o.always);
888
        for o in wanted {
6d53fb7d Andy McCall ↶ 889
            if o.kind == flow_core::OutputKind::Report {
890
                let read = if syscall_tier {
891
                    let (dir, inner) = crate::outputs::locate_dir(&claim.job, &scratch.join("tree"), &scratch, &o.path);
892
                    crate::outputs::read_report_dir(&dir, &inner)
893
                } else {
894
                    let (image, inner) = crate::outputs::locate(&claim.job, &scratch.join("workspace.ext4"), &scratch, &o.path);
895
                    crate::outputs::read_report(&image, &inner, &scratch)
896
                };
897
                let kept = read.and_then(|files| upload_report(hub, claim.job_id, &o.name, &files));
898
                match kept {
899
                    Ok((blob, files, bytes)) => {
900
                        let unattested = if passed { "" } else { " (the job failed: not in its receipt)" };
901
                        let hex = blob.to_hex();
902
                        note(&mut sink, format!("report {}: {files} files, {bytes} bytes, manifest {}{unattested}", o.name, &hex[..12]));
903
                        if passed {
904
                            outputs.push(blob.0);
905
                        }
906
                    }
907
                    Err(e) if passed => {
908
                        output_error = Some(format!("report {}: {e:#}", o.name));
909
                        break;
910
                    }
911
                    Err(e) => note(&mut sink, format!("report {}: not kept: {e:#}", o.name)),
912
                }
913
                continue;
914
            }
9a6fac2b Andy McCall ↶ 915
            let read = if syscall_tier {
916
                let (dir, inner) = crate::outputs::locate_dir(&claim.job, &scratch.join("tree"), &scratch, &o.path);
917
                crate::outputs::read_dir_file(&dir, &inner)
918
            } else {
919
                let (image, inner) = crate::outputs::locate(&claim.job, &scratch.join("workspace.ext4"), &scratch, &o.path);
920
                crate::outputs::read(&image, &inner, &scratch)
921
            };
922
            let kept = read.and_then(|bytes| {
923
                let blob = Repo::blob_ref(&bytes);
924
                let named = hub.artifact(claim.job_id, &o.name, &bytes)?;
925
                if named != blob.to_hex() {
926
                    bail!("the hub kept it as {named}, not {}", blob.to_hex());
927
                }
928
                let unattested = if passed { "" } else { " (the job failed: not in its receipt)" };
929
                note(&mut sink, format!("artifact {}: {} bytes, blob {}{unattested}", o.name, bytes.len(), &named[..12]));
930
                Ok(blob.0)
931
            });
932
            match kept {
933
                Ok(b) if passed => outputs.push(b),
934
                Ok(_) => {}
935
                Err(e) if passed => {
936
                    output_error = Some(format!("artifact {}: {e:#}", o.name));
937
                    break;
a67b97e9 Andy McCall ↶ 938
                }
9a6fac2b Andy McCall ↶ 939
                Err(e) => note(&mut sink, format!("artifact {}: not kept: {e:#}", o.name)),
a67b97e9 Andy McCall ↶ 940
            }
941
        }
942
        if let Some(e) = &output_error {
943
            note(&mut sink, e.clone());
944
        }
945
        let receipt = outcome.exit_code.filter(|_| output_error.is_none()).map(|code| Receipt {
e0918b88 Andy McCall 946
            job_name: claim.job.name.clone(),
947
            pipeline_hash: hex32(&claim.pipeline_hash),
948
            scope_tree_hash: scope_hash,
949
            inputs: vec![],
950
            environment: outcome.environment.hash(),
a67b97e9 Andy McCall ↶ 951
            outputs,
e0918b88 Andy McCall 952
            exit_code: code as u32,
953
            duration_ms: outcome.duration_ms,
954
        });
47c1d64d Andy McCall ↶ 955
        let signed_receipt = match &receipt {
956
            Some(r) => Some(hex::encode(sign_receipt(&repo, &heads, cfg, key, claim, r)?.encode())),
957
            None => None,
958
        };
d60aac6c Andy McCall ↶ 959
        // Measured before a cached disk leaves the scratch directory.
960
        let peak_disk_mib = crate::facts::allocated_mib(&scratch);
961
        // A passing job's cached disks are kept; a failing job's are not,
962
        // so nothing it wrote reaches a later job.
963
        if passed && output_error.is_none() {
964
            for (i, key, _) in &cached {
82cf6e91 Andy McCall ↶ 965
                if let Err(e) = pool.keep(&cache_ctx, disk_mounts[*i], key, &scratch.join(format!("mount-{i}.ext4")), &sources) {
d60aac6c Andy McCall ↶ 966
                    note(&mut sink, format!("cache: not kept: {e:#}"));
967
                }
968
            }
969
        }
e0918b88 Andy McCall 970
        Ok(Finish {
971
            exit_code: outcome.exit_code,
972
            duration_ms: started.elapsed().as_millis() as u64,
973
            receipt,
47c1d64d Andy McCall ↶ 974
            signed_receipt,
a67b97e9 Andy McCall ↶ 975
            error: output_error.or_else(|| outcome.timed_out.then(|| "stopped at the time limit".to_string())),
8f211e20 Andy McCall ↶ 976
            // What the job took (oxygenflow#41): its disks are sparse files
977
            // in the scratch directory, so their blocks now are their peak.
d60aac6c Andy McCall ↶ 978
            peak_disk_mib,
8f211e20 Andy McCall ↶ 979
            peak_memory_mib: outcome.peak_memory_mib,
e0918b88 Andy McCall 980
        })
981
    })();
ea56c56e Andy McCall ↶ 982
    let _ = workspace::remove_tree(&scratch);
e0918b88 Andy McCall 983
    sink.flush();
984
    result
47c1d64d Andy McCall ↶ 985
}
986
987
/// Bind `receipt` to the state of `heads` in `repo` and sign it as the
988
/// runner (Oxygen spec §14.6). The state is computed here, not taken from
989
/// the claim, so the runner vouches only for what it fetched.
6d53fb7d Andy McCall ↶ 990
/// Upload a report's files, then its manifest under the report's name, and
991
/// check the hub kept each as the blob it should (oxygenhub#127). Answers
992
/// the manifest's blob, the file count and their total size.
993
fn upload_report(hub: &Hub, job: i64, name: &str, files: &[(String, Vec<u8>)]) -> Result<(oxy_core::hash::ObjectRef, usize, u64)> {
994
    let mut listed = Vec::with_capacity(files.len());
995
    let mut total = 0u64;
996
    for (path, bytes) in files {
997
        let blob = Repo::blob_ref(bytes).to_hex();
998
        let named = hub.report_file(job, name, path, bytes).with_context(|| format!("uploading {path}"))?;
999
        if named != blob {
1000
            bail!("the hub kept {path} as {named}, not {blob}");
1001
        }
1002
        total += bytes.len() as u64;
1003
        listed.push(serde_json::json!({ "path": path, "blob": blob, "size": bytes.len() }));
1004
    }
1005
    let manifest = serde_json::to_vec(&serde_json::json!({ "version": 1, "files": listed }))?;
1006
    let blob = Repo::blob_ref(&manifest);
1007
    let named = hub.artifact(job, name, &manifest)?;
1008
    if named != blob.to_hex() {
1009
        bail!("the hub kept the manifest as {named}, not {}", blob.to_hex());
1010
    }
1011
    Ok((blob, files.len(), total))
1012
}
1013
47c1d64d Andy McCall ↶ 1014
fn sign_receipt(
1015
    repo: &Repo,
1016
    heads: &[ChangeHash],
1017
    cfg: &RunnerConfig,
1018
    key: &RunnerKey,
1019
    claim: &Claim,
1020
    receipt: &Receipt,
1021
) -> Result<oxy_core::receipt::SignedReceipt> {
1022
    let state = state_of(heads);
1023
    let run = format!("{}/{}/flow/{}", cfg.hub.trim_end_matches('/'), claim.repo, claim.run_number);
1024
    Ok(oxy_core::receipt::SignedReceipt::sign(receipt.to_oxy(), repo.id()?, state, &run, &key.identity, &key.secret))
1025
}
1026
1027
/// The ObjectRef of the state whose heads are `heads` (Oxygen spec §10.1).
1028
pub fn state_of(heads: &[ChangeHash]) -> oxy_core::hash::ObjectRef {
1029
    use oxy_core::hash::{hash_object, ObjectType};
1030
    hash_object(ObjectType::State, &oxy_core::objects::StateObject::new(heads.to_vec()).encode())
e0918b88 Andy McCall 1031
}
1032
1033
fn hex32(s: &str) -> [u8; 32] {
1034
    let mut out = [0; 32];
1035
    if let Ok(v) = hex::decode(s) {
1036
        if v.len() == 32 {
1037
            out.copy_from_slice(&v);
1038
        }
1039
    }
1040
    out
1041
}
1042
f53e6d47 Andy McCall ↶ 1043
/// Whether a network error is worth another try: DNS, a refused or reset
1044
/// connection, a timeout, or a gateway answering 502, 503 or 504 while the
1045
/// hub restarts (oxygenhub#111).
1046
fn transient(msg: &str) -> bool {
1047
    let m = msg.to_lowercase();
1048
    [
1049
        "dns failed",
1050
        "name resolution",
1051
        "connection refused",
1052
        "connection reset",
1053
        "timed out",
1054
        "timeout",
1055
        "http 502",
1056
        "http 503",
1057
        "http 504",
1058
        "broken pipe",
1059
        "unexpected eof",
1060
    ]
1061
    .iter()
1062
    .any(|k| m.contains(k))
1063
}
1064
1065
/// Run `f` again after a transient network error, waiting `waits` between
1066
/// tries (about a minute in all), and give up on any other error at once.
1067
fn with_retries<T>(waits: &[Duration], mut f: impl FnMut() -> Result<T>) -> Result<T> {
1068
    let mut tries = waits.iter();
1069
    loop {
1070
        match f() {
1071
            Ok(v) => return Ok(v),
1072
            Err(e) => match tries.next() {
1073
                Some(w) if transient(&format!("{e:#}")) => std::thread::sleep(*w),
1074
                _ => return Err(e),
1075
            },
1076
        }
1077
    }
1078
}
1079
1080
/// The waits between tries of a fetch: 2, 4, 8, 16 and 30 seconds.
1081
const FETCH_WAITS: [Duration; 5] =
1082
    [Duration::from_secs(2), Duration::from_secs(4), Duration::from_secs(8), Duration::from_secs(16), Duration::from_secs(30)];
1083
e0918b88 Andy McCall 1084
/// The runner's copy of a repository, fetched up to date with the job's token.
1085
fn cached_repo(home: &Home, cfg: &RunnerConfig, claim: &Claim) -> Result<Repo> {
c23d5191 Andy McCall ↶ 1086
    cached_repo_at(home, cfg, &claim.repo, &claim.clone_url, &claim.token)
1087
}
1088
1089
/// The runner's copy of `repo`, cloned or fetched with `token`.
1090
fn cached_repo_at(home: &Home, cfg: &RunnerConfig, repo_name: &str, clone_url: &str, token: &str) -> Result<Repo> {
1091
    let dir: PathBuf = home.root.join("repos").join(repo_name.replace('/', "__"));
e0918b88 Andy McCall 1092
    let set_remote = |repo: &mut Repo| -> Result<()> {
c23d5191 Andy McCall ↶ 1093
        repo.config.set("remote.origin.url", clone_url).map_err(|e| anyhow::anyhow!("{e}"))?;
1094
        repo.config.set("remote.origin.token", token).map_err(|e| anyhow::anyhow!("{e}"))?;
e0918b88 Andy McCall 1095
        if let Some(ca) = &cfg.ca {
1096
            repo.config.set("remote.origin.ca", &ca.to_string_lossy()).map_err(|e| anyhow::anyhow!("{e}"))?;
1097
        }
1098
        repo.save_config().map_err(|e| anyhow::anyhow!("{e}"))
1099
    };
1100
    if dir.join(".oxy").is_dir() {
1101
        let mut repo = Repo::open(&dir).map_err(|e| anyhow::anyhow!("{e}"))?;
1102
        set_remote(&mut repo)?;
f53e6d47 Andy McCall ↶ 1103
        with_retries(&FETCH_WAITS, || repo.fetch("origin").map(|_| ()).map_err(|e| anyhow::anyhow!("fetch {clone_url}: {e}")))?;
e0918b88 Andy McCall 1104
        return Ok(repo);
1105
    }
1106
    // First job for this repository: clone with the job's token.
c23d5191 Andy McCall ↶ 1107
    std::env::set_var("OXY_TOKEN", token);
e0918b88 Andy McCall 1108
    if let Some(ca) = &cfg.ca {
1109
        std::env::set_var("OXY_CA", ca);
1110
    }
f53e6d47 Andy McCall ↶ 1111
    let cloned = with_retries(&FETCH_WAITS, || {
1112
        let _ = std::fs::remove_dir_all(&dir);
1113
        Repo::clone(clone_url, &dir).map_err(|e| anyhow::anyhow!("{e}"))
1114
    });
e0918b88 Andy McCall 1115
    std::env::remove_var("OXY_TOKEN");
1116
    std::env::remove_var("OXY_CA");
1117
    let mut repo = cloned.map_err(|e| {
1118
        let _ = std::fs::remove_dir_all(&dir);
c23d5191 Andy McCall ↶ 1119
        anyhow::anyhow!("clone {}: {e}", clone_url)
e0918b88 Andy McCall 1120
    })?;
1121
    set_remote(&mut repo)?;
1122
    Ok(repo)
bb643c25 Andy McCall ↶ 1123
}
1124
1125
#[cfg(test)]
1126
mod tests {
1127
    use super::*;
b11e30f5 Andy McCall ↶ 1128
1129
    #[test]
1130
    fn a_runner_names_what_stops_a_sandbox() {
1131
        let dir = tempfile::tempdir().unwrap();
1132
        let home = Home::locate(Some(dir.path())).unwrap();
1133
        let bytes = b"not really ext4";
1134
        let hash = blake3::hash(bytes).to_hex().to_string();
1135
        let mut sb: flow_core::Sandbox = serde_json::from_value(serde_json::json!({
1136
            "name": "s", "runtime": "syscall", "rootfs": "ab".repeat(32), "memory_mib": 1024, "cpus": 1, "network": "isolated"
1137
        }))
1138
        .unwrap();
1139
        let problem = |sb: &flow_core::Sandbox, free| sandbox_problem(&home, sb, "x86_64", free);
1140
        assert_eq!(problem(&sb, None).unwrap(), "rootfs abababababab is not on this runner");
1141
        std::fs::write(home.rootfs(&hash), bytes).unwrap();
1142
        sb.rootfs = hash.clone();
1143
        assert_eq!(problem(&sb, Some(4096)), None);
1144
        assert_eq!(problem(&sb, Some(512)).unwrap(), "only 512 MiB of memory is free here; the sandbox needs 1024 MiB");
1145
        std::fs::write(home.image_manifest(&hash), r#"{"arch":"riscv64"}"#).unwrap();
1146
        assert_eq!(problem(&sb, None).unwrap(), format!("rootfs {} is for riscv64; this runner is x86_64", &hash[..12]));
1147
        sb.arch = Some("aarch64".into());
1148
        assert_eq!(problem(&sb, None).unwrap(), "the sandbox needs aarch64; this runner is x86_64");
1149
        sb.arch = None;
1150
        std::fs::remove_file(home.image_manifest(&hash)).unwrap();
1151
        std::fs::write(home.rootfs(&hash), b"changed").unwrap();
1152
        assert!(problem(&sb, None).unwrap().contains("does not verify"));
1153
    }
f53e6d47 Andy McCall ↶ 1154
1155
    #[test]
1156
    fn transient_network_errors_are_tried_again_and_others_are_not() {
1157
        assert!(transient("fetch x: Dns Failed: resolve dns name 'oxygenhub.io:443': Temporary failure in name resolution"));
1158
        assert!(transient("HTTP 503: the hub is restarting"));
1159
        assert!(!transient("HTTP 404: no such repository"));
1160
        let mut n = 0;
1161
        let got: Result<u32> = with_retries(&[Duration::ZERO, Duration::ZERO], || {
1162
            n += 1;
1163
            if n < 3 {
1164
                Err(anyhow::anyhow!("connection refused"))
1165
            } else {
1166
                Ok(7)
1167
            }
1168
        });
1169
        assert_eq!((got.unwrap(), n), (7, 3), "two retries, then success");
1170
        let mut m = 0;
1171
        let got: Result<u32> = with_retries(&[Duration::ZERO; 4], || {
1172
            m += 1;
1173
            Err(anyhow::anyhow!("HTTP 403: forbidden"))
1174
        });
1175
        assert!(got.is_err());
1176
        assert_eq!(m, 1, "a refusal is not tried again");
1177
        let mut k = 0;
1178
        let got: Result<u32> = with_retries(&[Duration::ZERO; 2], || {
1179
            k += 1;
1180
            Err(anyhow::anyhow!("timed out"))
1181
        });
1182
        assert!(got.is_err());
1183
        assert_eq!(k, 3, "gives up after the last wait");
1184
    }
1b2229da Andy McCall ↶ 1185
1186
    /// A hub that answers each request with the next of `codes`, counting them.
1187
    fn fake_hub(codes: Vec<u16>) -> (String, std::sync::Arc<std::sync::atomic::AtomicUsize>) {
89171fca Andy McCall ↶ 1188
        fake_hub_on(std::net::TcpListener::bind("127.0.0.1:0").unwrap(), codes)
1189
    }
1190
1191
    /// A hub at `listener` answering each request with the next of `codes`.
1192
    fn fake_hub_on(listener: std::net::TcpListener, codes: Vec<u16>) -> (String, std::sync::Arc<std::sync::atomic::AtomicUsize>) {
1b2229da Andy McCall ↶ 1193
        use std::io::{Read, Write};
1194
        let addr = listener.local_addr().unwrap();
1195
        let seen = std::sync::Arc::new(std::sync::atomic::AtomicUsize::new(0));
1196
        let count = seen.clone();
1197
        std::thread::spawn(move || {
1198
            for code in codes {
1199
                let (mut s, _) = listener.accept().unwrap();
1200
                let mut buf = [0u8; 8192];
1201
                let _ = s.read(&mut buf);
1202
                count.fetch_add(1, std::sync::atomic::Ordering::SeqCst);
1203
                let reason = if code == 204 { "No Content" } else { "Error" };
1204
                let _ = write!(s, "HTTP/1.1 {code} {reason}\r\nContent-Length: 0\r\nConnection: close\r\n\r\n");
1205
            }
1206
        });
1207
        (format!("http://{addr}"), seen)
f98a8f78 Andy McCall ↶ 1208
    }
1209
1210
    /// A hub that answers one request with `body` (status 200) and hands
1211
    /// back what it was sent.
1212
    fn fake_json_hub(body: &'static str) -> (String, std::sync::mpsc::Receiver<String>) {
1213
        use std::io::{Read, Write};
1214
        let listener = std::net::TcpListener::bind("127.0.0.1:0").unwrap();
1215
        let addr = listener.local_addr().unwrap();
1216
        let (tx, rx) = std::sync::mpsc::channel();
1217
        std::thread::spawn(move || {
1218
            let (mut s, _) = listener.accept().unwrap();
1219
            let mut req = Vec::new();
1220
            let mut buf = [0u8; 65536];
1221
            loop {
1222
                let n = s.read(&mut buf).unwrap_or(0);
1223
                if n == 0 {
1224
                    break;
1225
                }
1226
                req.extend_from_slice(&buf[..n]);
1227
                let text = String::from_utf8_lossy(&req);
1228
                if let Some(end) = text.find("\r\n\r\n") {
1229
                    let len = text[..end]
1230
                        .lines()
1231
                        .find_map(|l| {
1232
                            l.to_ascii_lowercase().strip_prefix("content-length:").map(|v| v.trim().parse::<usize>().unwrap_or(0))
1233
                        })
1234
                        .unwrap_or(0);
1235
                    if req.len() >= end + 4 + len {
1236
                        break;
1237
                    }
1238
                }
1239
            }
1240
            tx.send(String::from_utf8_lossy(&req).into_owned()).unwrap();
1241
            let _ = write!(
1242
                s,
1243
                "HTTP/1.1 200 OK\r\nContent-Type: application/json\r\nContent-Length: {}\r\nConnection: close\r\n\r\n{body}",
1244
                body.len()
1245
            );
1246
        });
1247
        (format!("http://{addr}"), rx)
1248
    }
1249
1250
    #[test]
1251
    fn registering_binds_the_key_and_keeps_the_credential_private() {
1252
        use std::os::unix::fs::PermissionsExt;
1253
        let dir = tempfile::tempdir().unwrap();
1254
        let home = Home::locate(Some(dir.path())).unwrap();
1255
        let (hub, sent) = fake_json_hub(r#"{"id":7,"name":"plex","credential":"flowrunner_secret"}"#);
1256
        let got = register(&home, &hub, " reg-token ", "plex", None, vec!["gpu".into()]).unwrap();
1257
        assert_eq!((got.id, got.name.as_str()), (7, "plex"));
1258
        let req = sent.recv().unwrap();
1259
        assert!(req.starts_with("POST /api/v1/flow/runners/register"), "{req}");
1260
        let body: Register = serde_json::from_str(&req[req.find("\r\n\r\n").unwrap() + 4..]).unwrap();
1261
        assert_eq!((body.token.as_str(), body.info.labels.clone()), ("reg-token", vec!["gpu".to_string()]));
1262
        let key = home.runner_key("plex").unwrap();
1263
        assert_eq!(body.identity, hex::encode(key.identity.encode()), "the runner's signing identity");
1264
        let path = dir.path().join(crate::home::RUNNER_TOML);
1265
        assert_eq!(std::fs::metadata(&path).unwrap().permissions().mode() & 0o777, 0o600);
1266
        // The runner then starts from runner.toml.
1267
        let again = Home::locate(Some(dir.path())).unwrap();
1268
        let cfg = again.config.runner.unwrap();
1269
        assert_eq!((cfg.hub.as_str(), cfg.token.as_str(), cfg.name.as_deref()), (hub.as_str(), "flowrunner_secret", Some("plex")));
1270
        assert_eq!(cfg.labels, ["gpu"]);
1b2229da Andy McCall ↶ 1271
    }
1272
1273
    fn hub_at(base: String) -> Hub {
1274
        Hub { base, token: "t".into(), agent: ureq::AgentBuilder::new().timeout(Duration::from_secs(5)).build() }
3007d8f0 Andy McCall ↶ 1275
    }
1276
1277
    /// oxygenhub#71: a job's result is offered until the hub takes it,
1278
    /// through server errors, and a refusal ends the trying at once.
1279
    #[test]
1280
    fn a_result_is_reported_until_the_hub_takes_it() {
8f211e20 Andy McCall ↶ 1281
        let f = Finish {
1282
            exit_code: Some(0),
1283
            duration_ms: 1,
1284
            receipt: None,
1285
            signed_receipt: None,
1286
            error: None,
1287
            peak_disk_mib: None,
1288
            peak_memory_mib: None,
1289
        };
3007d8f0 Andy McCall ↶ 1290
        let quick = Duration::from_millis(10);
1291
        let (base, seen) = fake_hub(vec![502, 503, 500, 500, 204]);
1292
        hub_at(base).finish_until_accepted(7, &f, Duration::from_secs(30), quick).unwrap();
1293
        assert_eq!(seen.load(std::sync::atomic::Ordering::SeqCst), 5, "kept trying through four server errors");
1294
        let (base, seen) = fake_hub(vec![409]);
1295
        assert!(hub_at(base).finish_until_accepted(7, &f, Duration::from_secs(30), quick).is_err());
1296
        assert_eq!(seen.load(std::sync::atomic::Ordering::SeqCst), 1, "a refusal is final");
1b2229da Andy McCall ↶ 1297
    }
1298
1299
    #[test]
1300
    fn server_errors_are_tried_again_and_client_errors_are_not() {
1301
        let quick = [Duration::from_millis(10); 3];
1302
        let (base, seen) = fake_hub(vec![500, 503, 204]);
1303
        let r = hub_at(base).post_with("/flow/jobs/1/log", &serde_json::json!({}), &quick).unwrap();
1304
        assert!(r.is_none());
1305
        assert_eq!(seen.load(std::sync::atomic::Ordering::SeqCst), 3, "two retries, then accepted");
1306
1307
        let (base, seen) = fake_hub(vec![500, 500, 500, 500]);
1308
        let e = hub_at(base).post_with("/flow/claim", &serde_json::json!({}), &quick).unwrap_err().to_string();
1309
        assert!(e.contains("HTTP 500"), "{e}");
1310
        assert_eq!(seen.load(std::sync::atomic::Ordering::SeqCst), 4, "gives up after the last delay");
1311
1312
        let (base, seen) = fake_hub(vec![401]);
1313
        assert!(hub_at(base).post_with("/flow/claim", &serde_json::json!({}), &quick).is_err());
1314
        assert_eq!(seen.load(std::sync::atomic::Ordering::SeqCst), 1, "a refusal is final");
280ef951 Andy McCall ↶ 1315
    }
1316
1317
    /// oxygenflow#32: a quiet job asks the hub every few seconds whether
1318
    /// it still runs; a 409 marks it cancelled, and nothing more is sent.
1319
    #[test]
1320
    fn a_quiet_job_learns_that_its_run_was_cancelled() {
1321
        use microvm::Sink;
1322
        let n = |seen: &std::sync::Arc<std::sync::atomic::AtomicUsize>| seen.load(std::sync::atomic::Ordering::SeqCst);
1323
        let quiet = Instant::now() - HEARTBEAT - Duration::from_secs(1);
1324
        let (base, seen) = fake_hub(vec![204]);
1325
        let hub = hub_at(base);
1326
        let mut sink = LogSink { hub: &hub, job: 1, buf: Vec::new(), last: quiet, gone: false };
1327
        assert!(!sink.cancelled());
1328
        assert!(!sink.cancelled(), "asked again only after the heartbeat");
1329
        assert_eq!(n(&seen), 1);
1330
1331
        let (base, seen) = fake_hub(vec![409]);
1332
        let hub = hub_at(base);
1333
        let mut sink = LogSink { hub: &hub, job: 1, buf: Vec::new(), last: quiet, gone: false };
1334
        assert!(sink.cancelled());
1335
        sink.record(Record { t: 0, stream: "out".into(), text: "late".into() });
1336
        sink.flush();
1337
        assert!(sink.cancelled());
1338
        assert_eq!(n(&seen), 1, "nothing is sent for a cancelled job");
89171fca Andy McCall ↶ 1339
    }
1340
1341
    /// oxygenflow#49: a hub that is away for a while (a deploy restarting
1342
    /// it) costs a job's uploads a wait, not the upload, and costs its log
1343
    /// no lines.
1344
    #[test]
1345
    fn a_job_outlasts_a_hub_restart() {
1346
        let n = |seen: &std::sync::Arc<std::sync::atomic::AtomicUsize>| seen.load(std::sync::atomic::Ordering::SeqCst);
1347
        // A port nobody listens on yet: the hub is restarting.
1348
        let port = std::net::TcpListener::bind("127.0.0.1:0").unwrap().local_addr().unwrap().port();
1349
        let base = format!("http://127.0.0.1:{port}");
1350
        let hub = hub_at(base.clone());
1351
1352
        // Log lines sent while it is away are kept, and go when it is back.
1353
        let mut sink = LogSink { hub: &hub, job: 1, buf: Vec::new(), last: Instant::now(), gone: false };
1354
        for i in 0..450 {
1355
            sink.buf.push(Record { t: i, stream: "out".into(), text: format!("line {i}") });
1356
        }
1357
        sink.send();
1358
        assert_eq!(sink.buf.len(), 450, "nothing lost while the hub is away");
1359
        let (_, seen) = fake_hub_on(std::net::TcpListener::bind(("127.0.0.1", port)).unwrap(), vec![204, 204, 204]);
1360
        sink.send();
1361
        assert!(sink.buf.is_empty() && !sink.gone);
1362
        assert_eq!(n(&seen), 3, "in batches of 200: 200, 200 and 50");
1363
1364
        // An upload waits for the hub to come back, through refused
1365
        // connections and server errors alike.
1366
        let port = std::net::TcpListener::bind("127.0.0.1:0").unwrap().local_addr().unwrap().port();
1367
        let url = format!("http://127.0.0.1:{port}/x");
1368
        let agent = ureq::AgentBuilder::new().timeout(Duration::from_secs(5)).build();
1369
        let later = std::thread::spawn(move || {
1370
            std::thread::sleep(Duration::from_millis(150));
1371
            fake_hub_on(std::net::TcpListener::bind(("127.0.0.1", port)).unwrap(), vec![502, 204])
1372
        });
1373
        let quick = [Duration::from_millis(50); 20];
1374
        let r = retrying(&url, &quick, true, || agent.post(&url).send_string("{}").map_err(Box::new)).unwrap();
1375
        assert_eq!(r.status(), 204);
1376
        assert_eq!(n(&later.join().unwrap().1), 2, "a 502 from the proxy, then the hub");
1377
        // Without `connection`, a hub that cannot be reached ends it at once.
1378
        let port = std::net::TcpListener::bind("127.0.0.1:0").unwrap().local_addr().unwrap().port();
1379
        let url = format!("http://127.0.0.1:{port}/x");
1380
        assert!(retrying(&url, &quick, false, || agent.post(&url).send_string("{}").map_err(Box::new)).is_err());
1381
        assert!(PATIENT_DELAYS.iter().sum::<Duration>() >= Duration::from_secs(180), "longer than a hub takes to restart");
1382
    }
1383
1384
    /// oxygenflow#50: the first stop drains (the second, not called here,
1385
    /// exits at once).
1386
    #[test]
1387
    fn a_stop_drains_the_runner() {
1388
        assert!(!stopping());
1389
        on_stop(libc::SIGTERM);
1390
        assert!(stopping(), "told to stop, it claims nothing more");
1391
    }
1392
1393
    /// Lines kept for a hub that stays away are bounded, saying how many went.
1394
    #[test]
1395
    fn unsent_log_lines_are_bounded() {
1396
        let port = std::net::TcpListener::bind("127.0.0.1:0").unwrap().local_addr().unwrap().port();
1397
        let hub = hub_at(format!("http://127.0.0.1:{port}"));
1398
        let mut sink = LogSink { hub: &hub, job: 1, buf: Vec::new(), last: Instant::now(), gone: false };
1399
        sink.buf = (0..MAX_UNSENT as u64 + 10).map(|i| Record { t: i, stream: "out".into(), text: String::new() }).collect();
1400
        sink.send();
1401
        assert_eq!(sink.buf.len(), MAX_UNSENT + 1);
1402
        assert_eq!(sink.buf[0].text, "(10 log lines lost while the hub could not be reached)");
1403
        assert_eq!(sink.buf[1].t, 10, "the oldest go first");
1b2229da Andy McCall ↶ 1404
    }
bb643c25 Andy McCall ↶ 1405
1406
    #[test]
1407
    fn the_budget_admits_jobs_that_fit() {
1408
        let b = Budget { max_jobs: 3, memory_mib: Some(24_576), cpus: Some(8) };
1409
        let used = |jobs, memory_mib, cpus| Used { jobs, memory_mib, cpus };
1410
        assert_eq!(b.room(used(0, 0, 0)), Some((None, None)), "a lone job may take everything");
1411
        assert_eq!(b.room(used(1, 8192, 4)), Some((Some(16_384), Some(4))));
1412
        assert_eq!(b.room(used(2, 16_384, 8)), None, "no vCPU left");
1413
        assert_eq!(b.room(used(3, 1024, 1)), None, "at max_jobs");
1414
        let one = Budget { max_jobs: 1, memory_mib: None, cpus: None };
1415
        assert_eq!(one.room(used(0, 0, 0)), Some((None, None)));
1416
        assert_eq!(one.room(used(1, 0, 0)), None, "the default runs one job at a time");
1417
        let open = Budget { max_jobs: 2, memory_mib: None, cpus: None };
1418
        assert_eq!(open.room(used(1, 8192, 4)), Some((None, None)), "no limits configured");
1419
    }
e0918b88 Andy McCall 1420
}