OXYGENHUB
# 0650d94ede82 oxygenhub / crates / hub / src / flow.rs
67.4 KiB · Rust · last changed Flow: start one manual job, with the jobs it depends on 26 days ago source blame history raw
42fa9554 Andy McCall ↶ 1
//! OxygenFlow on the hub (hub spec §13.2): runs started by pushes, the
2
//! runner API, job tokens and the checks that mirror jobs. Pipelines are
3
//! parsed by `flow-core`, the same code `flow check` runs.
4
5
use crate::api::ApiError;
6
use crate::db::{self, flow as fdb};
7
use crate::repos::RepoName;
8
use crate::Shared;
9
use axum::extract::{Path, State};
10
use axum::http::{HeaderMap, StatusCode};
11
use axum::response::{IntoResponse, Response};
12
use axum::Json;
13
use flow_core::api::{Claim, ClaimRequest, Finish, LogBatch, MAX_RECORDS, MAX_RECORD_TEXT};
14
use flow_core::{Pipeline, PIPELINE_PATH};
15
use oxy_core::hash::ChangeHash;
16
17
/// Prefix of job tokens, so the wire protocol can tell them from personal tokens.
18
pub const JOB_TOKEN_PREFIX: &str = "flowjob_";
19
/// A job token is refused this long after its job started, whatever its state.
20
pub const JOB_TOKEN_MAX_AGE_MS: i64 = 2 * 3600 * 1000;
21
9008bf6c Andy McCall ↶ 22
/// Whether pushes to this repository start runs: its own setting when a
23
/// site administrator made one, else hub.toml's `[flow] repos`.
24
pub fn enabled(app: &Shared, row: &db::repos::RepoRow) -> bool {
25
    match row.flow.as_str() {
26
        "on" => true,
27
        "off" => false,
28
        _ => app.config.flow.allows(&row.owner, &row.name),
29
    }
30
}
31
42fa9554 Andy McCall ↶ 32
/// A bookmark moved by a push: start a run when the repository is allowed
33
/// and the new state has a pipeline.
34
pub async fn on_push(app: &Shared, row: &db::repos::RepoRow, bookmark: &str, state: &str, heads: &[ChangeHash], actor: &str) {
c889911b Andy McCall ↶ 35
    if heads.is_empty() || !enabled(app, row) {
42fa9554 Andy McCall ↶ 36
        return;
37
    }
c889911b Andy McCall ↶ 38
    // A pushed tag runs the jobs whose `on` names it (oxygenflow#24).
39
    let started = match bookmark.strip_prefix("tags/") {
40
        Some(tag) => start_run_with(app, row, bookmark, state, heads, actor, &format!("tag:{tag}"), None).await,
41
        None => {
42
            let touched = touched_since_last_run(app, row, bookmark, heads).await;
745d225d Andy McCall ↶ 43
            let started = start_run_scoped(app, row, bookmark, state, heads, actor, "push", touched.as_deref()).await;
44
            if let Ok(Some(n)) = started {
45
                supersede(app, row, bookmark, n).await;
46
            }
47
            started
c889911b Andy McCall ↶ 48
        }
49
    };
50
    if let Err(e) = started {
1edac4b6 Andy McCall ↶ 51
        tracing::warn!("flow: starting a run of {}/{}: {e}", row.owner, row.name);
52
    }
53
}
54
55
/// "Run pipeline" (hub spec §13.2): run a bookmark's current state without
56
/// moving it. Returns the new run's number.
0650d94e Andy McCall ↶ 57
/// `jobs`, when not empty, are the only jobs to start (oxygenhub#130), with
58
/// the jobs they depend on.
59
pub async fn run_bookmark(app: &Shared, row: &db::repos::RepoRow, bookmark: &str, actor: &str, jobs: &[String]) -> Result<i64, String> {
1edac4b6 Andy McCall ↶ 60
    if !enabled(app, row) {
61
        return Err("OxygenFlow is not enabled for this repository".into());
62
    }
63
    let repo = RepoName::new(&row.owner, &row.name).ok_or("bad repository name")?;
64
    let b = bookmark.to_string();
65
    let found = app
66
        .repos
67
        .read(&repo, move |r, _| {
68
            let Some(st) = r.view()?.bookmarks.get(&b).copied() else { return Ok(None) };
69
            Ok(Some((st, r.store().get_state(&st)?.heads)))
70
        })
71
        .await
72
        .map_err(|e| e.to_string())?;
73
    let Some((state, heads)) = found else { return Err(format!("no bookmark {bookmark}")) };
74
    if heads.is_empty() {
75
        return Err(format!("{bookmark} has no changes yet"));
76
    }
0650d94e Andy McCall ↶ 77
    start_run_at(app, row, bookmark, &state.to_hex(), &heads, actor, "manual", None, None, jobs)
1edac4b6 Andy McCall ↶ 78
        .await?
79
        .ok_or_else(|| format!("{bookmark} has no {PIPELINE_PATH}"))
80
}
81
4f692533 Andy McCall ↶ 82
/// "Run pipeline" on one committed change: the state whose only head is
83
/// `change`, whatever bookmarks hold it. Returns the new run's number.
0650d94e Andy McCall ↶ 84
pub async fn run_change(app: &Shared, row: &db::repos::RepoRow, change: &str, actor: &str, jobs: &[String]) -> Result<i64, String> {
4f692533 Andy McCall ↶ 85
    if !enabled(app, row) {
86
        return Err("OxygenFlow is not enabled for this repository".into());
87
    }
88
    let h = ChangeHash::from_hex(change.trim().trim_start_matches('#')).ok_or("give the full hash of a change")?;
89
    let repo = RepoName::new(&row.owner, &row.name).ok_or("bad repository name")?;
df15b747 Andy McCall ↶ 90
    let known = app.repos.read(&repo, move |r, _| Ok(r.store().get_change_meta(&h).is_ok())).await.map_err(|e| e.to_string())?;
4f692533 Andy McCall ↶ 91
    if !known {
92
        return Err(format!("no change {} in this repository", &change.trim()[..12.min(change.trim().len())]));
93
    }
94
    let state = oxy_core::hash::hash_object(oxy_core::hash::ObjectType::State, &oxy_core::objects::StateObject::new(vec![h]).encode());
0650d94e Andy McCall ↶ 95
    start_run_at(app, row, "", &state.to_hex(), &[h], actor, "manual", None, None, jobs)
4f692533 Andy McCall ↶ 96
        .await?
97
        .ok_or_else(|| format!("that change's state has no {PIPELINE_PATH}"))
98
}
99
1edac4b6 Andy McCall ↶ 100
/// Re-run a finished run: the same state, bookmark and pipeline, as a new
101
/// run whose checks replace the old ones. Returns the new run's number.
102
pub async fn rerun(app: &Shared, row: &db::repos::RepoRow, run: &fdb::Run, actor: &str) -> Result<i64, String> {
103
    if !enabled(app, row) {
104
        return Err("OxygenFlow is not enabled for this repository".into());
105
    }
106
    if run.live() {
107
        return Err(format!("run #{} is still {}", run.number, run.status));
108
    }
109
    let heads: Vec<ChangeHash> = run.head_list().into_iter().filter_map(ChangeHash::from_hex).collect();
110
    if heads.is_empty() {
111
        return Err("the run names no changes".into());
112
    }
c889911b Andy McCall ↶ 113
    // A rerun repeats its run's event: the jobs it had are the jobs it gets.
114
    let trigger = format!("rerun:{}:{}", run.number, original_event(run));
115
    start_run(app, row, &run.bookmark, &run.state, &heads, actor, &trigger)
1edac4b6 Andy McCall ↶ 116
        .await?
117
        .ok_or_else(|| format!("that state has no {PIPELINE_PATH}"))
745d225d Andy McCall ↶ 118
}
119
120
/// Cancel a run still going (oxygenflow#32), its checks with it.
121
pub async fn cancel(app: &Shared, row: &db::repos::RepoRow, run: &fdb::Run, actor: &str) -> Result<(), String> {
122
    if !run.live() {
123
        return Err(format!("run #{} is already {}", run.number, run.status));
124
    }
125
    cancel_with(app, run, &format!("cancelled by {actor}")).await.map_err(|e| {
126
        tracing::warn!("flow: cancelling run #{} of {}/{}: {e}", run.number, row.owner, row.name);
127
        "the run could not be cancelled".to_string()
128
    })
129
}
130
131
async fn cancel_with(app: &Shared, run: &fdb::Run, why: &str) -> sqlx::Result<()> {
132
    let changed = fdb::cancel_run(&app.db, run.id, why).await?;
133
    report_changed(app, run.id, changed).await
c889911b Andy McCall ↶ 134
}
135
745d225d Andy McCall ↶ 136
/// A push makes the push runs still going on its bookmark moot: they are
137
/// cancelled, and the new run's scope reaches back past them.
138
async fn supersede(app: &Shared, row: &db::repos::RepoRow, bookmark: &str, number: i64) {
139
    let Ok(older) = fdb::live_push_runs_before(&app.db, row.id, bookmark, number).await else { return };
140
    for run in older {
141
        if let Err(e) = cancel_with(app, &run, &format!("superseded by run #{number}")).await {
142
            tracing::warn!("flow: superseding run #{} of {}/{}: {e}", run.number, row.owner, row.name);
143
        }
144
    }
145
}
146
c889911b Andy McCall ↶ 147
/// The event a run's trigger stands for: `push`, `tag:NAME`, `manual`,
148
/// `schedule`, and `rerun:N:EVENT` repeating EVENT.
149
fn event_of<'a>(trigger: &'a str, bookmark: &'a str) -> flow_core::pipeline::Event<'a> {
150
    use flow_core::pipeline::Event;
151
    let t = match trigger.strip_prefix("rerun:") {
152
        Some(rest) => rest.split_once(':').map(|(_, e)| e).unwrap_or("manual"),
153
        None => trigger,
154
    };
155
    if let Some(tag) = t.strip_prefix("tag:") {
156
        Event::Tag(tag)
157
    } else if t == "push" {
158
        Event::Push(bookmark)
159
    } else if t == "schedule" {
160
        Event::Schedule
161
    } else {
162
        Event::Manual
163
    }
1edac4b6 Andy McCall ↶ 164
}
165
c889911b Andy McCall ↶ 166
/// The event to repeat when rerunning `run`.
167
fn original_event(run: &fdb::Run) -> String {
168
    let t = run.trigger.as_str();
169
    match t.strip_prefix("rerun:") {
170
        Some(rest) => rest.split_once(':').map(|(_, e)| e.to_string()).unwrap_or_else(|| "manual".into()),
171
        None => t.to_string(),
172
    }
173
}
174
d7ce41ac Andy McCall ↶ 175
/// The paths the changes a push brought touch: the changes in `heads`'
176
/// state that the bookmark's previous run did not have, and the files their
177
/// edits and tree operations name, as the new state places them. `None`
178
/// (run every job) for the bookmark's first run, or when it cannot be told.
179
async fn touched_since_last_run(app: &Shared, row: &db::repos::RepoRow, bookmark: &str, heads: &[ChangeHash]) -> Option<Vec<String>> {
180
    let last = fdb::latest_on(&app.db, row.id, bookmark).await.ok()??;
181
    let old: Vec<ChangeHash> = last.head_list().into_iter().filter_map(ChangeHash::from_hex).collect();
182
    if old.is_empty() {
183
        return None;
184
    }
185
    let repo = RepoName::new(&row.owner, &row.name)?;
186
    let new = heads.to_vec();
187
    app.repos
188
        .read(&repo, move |r, cache| {
189
            let fresh = r.negotiate(&old, &new)?;
190
            let loaded = cache.load(r, &new)?;
191
            let by_node: std::collections::HashMap<oxy_core::ids::NodeId, &String> =
192
                loaded.snapshot.files.iter().map(|(p, f)| (f.node, p)).collect();
193
            let mut paths = std::collections::BTreeSet::new();
194
            for h in fresh {
195
                let (c, _) = r.store().get_change_lazy(&h)?;
196
                let nodes = c.edits.iter().map(|e| e.node()).chain(c.tree_ops.iter().map(|o| o.node()));
197
                for n in nodes {
198
                    if let Some(p) = by_node.get(&n) {
199
                        paths.insert((*p).clone());
200
                    }
201
                }
202
            }
203
            Ok(paths.into_iter().collect::<Vec<String>>())
204
        })
205
        .await
206
        .ok()
207
}
208
209
/// Whether a job runs for a push that touched `touched`: always without a
210
/// scope or without knowing what was touched, else when a path matches.
211
fn in_scope(scope: &[String], touched: Option<&[String]>) -> bool {
212
    let Some(touched) = touched else { return true };
213
    if scope.is_empty() {
214
        return true;
215
    }
216
    let mut b = globset::GlobSetBuilder::new();
217
    for g in scope {
218
        match globset::Glob::new(g) {
219
            Ok(g) => {
220
                b.add(g);
221
            }
222
            Err(_) => return true,
223
        }
224
    }
225
    let Ok(set) = b.build() else { return true };
226
    touched.iter().any(|p| set.is_match(p))
227
}
228
229
/// [`start_run`] for a push: jobs whose `scope` the push did not touch are
230
/// left out of the run, unless a job that runs depends on them.
231
#[allow(clippy::too_many_arguments)]
232
pub async fn start_run_scoped(
233
    app: &Shared,
234
    row: &db::repos::RepoRow,
235
    bookmark: &str,
236
    state: &str,
237
    heads: &[ChangeHash],
238
    actor: &str,
239
    trigger: &str,
240
    touched: Option<&[String]>,
241
) -> Result<Option<i64>, String> {
242
    start_run_with(app, row, bookmark, state, heads, actor, trigger, touched).await
243
}
244
1edac4b6 Andy McCall ↶ 245
/// Start a run of the pipeline in the state `heads` make (whose state
246
/// hash is `state`), recorded on `bookmark`: for a push, "Run pipeline"
247
/// (`trigger` = `manual`) and re-runs (`rerun:N`). `actor` is the account
248
/// whose access the run's subrepo reads are checked against. Returns the
249
/// run's number, or `None` when the state has no pipeline. The caller
250
/// checks that Flow is enabled.
251
pub async fn start_run(
252
    app: &Shared,
253
    row: &db::repos::RepoRow,
254
    bookmark: &str,
255
    state: &str,
256
    heads: &[ChangeHash],
257
    actor: &str,
258
    trigger: &str,
259
) -> Result<Option<i64>, String> {
d7ce41ac Andy McCall ↶ 260
    start_run_with(app, row, bookmark, state, heads, actor, trigger, None).await
261
}
262
263
#[allow(clippy::too_many_arguments)]
264
async fn start_run_with(
265
    app: &Shared,
266
    row: &db::repos::RepoRow,
267
    bookmark: &str,
268
    state: &str,
269
    heads: &[ChangeHash],
270
    actor: &str,
271
    trigger: &str,
272
    touched: Option<&[String]>,
273
) -> Result<Option<i64>, String> {
0650d94e Andy McCall ↶ 274
    start_run_at(app, row, bookmark, state, heads, actor, trigger, touched, None, &[]).await
348f8c4b Andy McCall ↶ 275
}
276
0650d94e Andy McCall ↶ 277
/// [`start_run_with`], for a scheduled run due at `at` on the hub's clock;
278
/// `only`, when not empty, the jobs a manual run starts (oxygenhub#130).
348f8c4b Andy McCall ↶ 279
#[allow(clippy::too_many_arguments)]
280
async fn start_run_at(
281
    app: &Shared,
282
    row: &db::repos::RepoRow,
283
    bookmark: &str,
284
    state: &str,
285
    heads: &[ChangeHash],
286
    actor: &str,
287
    trigger: &str,
288
    touched: Option<&[String]>,
289
    at: Option<flow_core::pipeline::When>,
0650d94e Andy McCall ↶ 290
    only: &[String],
348f8c4b Andy McCall ↶ 291
) -> Result<Option<i64>, String> {
1edac4b6 Andy McCall ↶ 292
    let repo = RepoName::new(&row.owner, &row.name).ok_or("bad repository name")?;
42fa9554 Andy McCall ↶ 293
    let h = heads.to_vec();
294
    let text = app
295
        .repos
296
        .read(&repo, move |r, cache| {
297
            let loaded = cache.load(r, &h)?;
298
            Ok(match loaded.snapshot.files.get(PIPELINE_PATH).map(|f| &f.content) {
299
                Some(oxy_core::state::FileContent::Text { bytes, .. }) => Some(String::from_utf8_lossy(bytes).into_owned()),
300
                _ => None,
301
            })
302
        })
1edac4b6 Andy McCall ↶ 303
        .await
304
        .map_err(|e| format!("reading the pipeline: {e}"))?;
305
    let Some(text) = text else { return Ok(None) };
42fa9554 Andy McCall ↶ 306
    let mut hex: Vec<String> = heads.iter().map(|h| h.to_hex()).collect();
307
    hex.sort();
308
    let heads_s = hex.join("+");
1edac4b6 Andy McCall ↶ 309
    let base = db::flow::NewRun { repo_id: row.id, bookmark, state, heads: &heads_s, pipeline_hash: "", actor, trigger, error: None };
310
    let id = match Pipeline::parse(&text) {
42fa9554 Andy McCall ↶ 311
        Err(problems) => {
312
            let msg = problems.to_string();
1edac4b6 Andy McCall ↶ 313
            db::flow::create_run(&app.db, db::flow::NewRun { error: Some(&msg), ..base }, &[]).await.map_err(|e| e.to_string())?
42fa9554 Andy McCall ↶ 314
        }
315
        Ok(p) => {
316
            let depths = p.depths();
d7ce41ac Andy McCall ↶ 317
            // Jobs out of the push's scope stay out, unless a kept job
318
            // needs them.
c889911b Andy McCall ↶ 319
            // The jobs this run's event starts (`on`), out of those its
320
            // push touched (`scope`); then what they depend on.
348f8c4b Andy McCall ↶ 321
            let event = match at {
322
                Some(w) => flow_core::pipeline::Event::ScheduleAt(w),
323
                None => event_of(trigger, bookmark),
324
            };
0650d94e Andy McCall ↶ 325
            let starts = |j: &flow_core::Job| p.on_of(j).matches(event) && in_scope(&j.scope, touched);
326
            let mut keep: std::collections::HashSet<String> = if only.is_empty() {
327
                p.order().into_iter().filter(|j| starts(j)).map(|j| j.name.clone()).collect()
328
            } else {
329
                // Named jobs (oxygenhub#130): each one this event starts.
330
                let startable: Vec<&str> = p.order().into_iter().filter(|j| starts(j)).map(|j| j.name.as_str()).collect();
331
                for name in only {
332
                    if !startable.contains(&name.as_str()) {
333
                        let what = if p.jobs.contains_key(name) {
334
                            "is not started by hand (no `on { manual }`)"
335
                        } else {
336
                            "is not in the pipeline"
337
                        };
338
                        return Err(format!("job {name:?} {what}; jobs a manual run can start: {}", startable.join(", ")));
339
                    }
340
                }
341
                only.iter().cloned().collect()
342
            };
d7ce41ac Andy McCall ↶ 343
            loop {
344
                let needed: Vec<String> = p
345
                    .order()
346
                    .into_iter()
347
                    .filter(|j| keep.contains(&j.name))
348
                    .flat_map(|j| j.depends_on.iter().cloned())
349
                    .filter(|d| !keep.contains(d))
350
                    .collect();
351
                if needed.is_empty() {
352
                    break;
353
                }
354
                keep.extend(needed);
355
            }
42fa9554 Andy McCall ↶ 356
            let jobs: Vec<fdb::NewJob> = p
357
                .order()
358
                .into_iter()
d7ce41ac Andy McCall ↶ 359
                .filter(|j| keep.contains(&j.name))
42fa9554 Andy McCall ↶ 360
                .map(|j| {
361
                    let sb = &p.sandboxes[&j.sandbox];
362
                    fdb::NewJob {
363
                        name: j.name.clone(),
364
                        depth: depths[j.name.as_str()] as i64,
365
                        depends: j.depends_on.clone(),
366
                        spec: serde_json::to_string(j).unwrap_or_default(),
367
                        sandbox: serde_json::to_string(sb).unwrap_or_default(),
368
                        runtime: sb.runtime.as_str().into(),
369
                    }
370
                })
371
                .collect();
c889911b Andy McCall ↶ 372
            if jobs.is_empty() {
373
                // Nothing this event starts (or this push touched).
d7ce41ac Andy McCall ↶ 374
                return Ok(None);
375
            }
42fa9554 Andy McCall ↶ 376
            let hash = hex::encode(p.hash());
1edac4b6 Andy McCall ↶ 377
            let id =
378
                db::flow::create_run(&app.db, db::flow::NewRun { pipeline_hash: &hash, ..base }, &jobs).await.map_err(|e| e.to_string())?;
379
            if let Ok(Some(run)) = fdb::run_by_id(&app.db, id).await {
42fa9554 Andy McCall ↶ 380
                for j in &jobs {
a0d4bbfb Andy McCall ↶ 381
                    report_check(app, row, state, run.number, &j.name, "queued", "waiting for a runner").await;
42fa9554 Andy McCall ↶ 382
                }
383
            }
384
            id
385
        }
386
    };
1edac4b6 Andy McCall ↶ 387
    let run = fdb::run_by_id(&app.db, id).await.map_err(|e| e.to_string())?.ok_or("the run vanished")?;
388
    Ok(Some(run.number))
42fa9554 Andy McCall ↶ 389
}
390
a0d4bbfb Andy McCall ↶ 391
/// Record a job's check; it links to the run's page by the run's number.
392
async fn report_check(app: &Shared, row: &db::repos::RepoRow, state: &str, run_number: i64, job: &str, status: &str, summary: &str) {
393
    let url = format!("{}/{}/{}/flow/{run_number}", app.config.base_url(), row.owner, row.name);
42fa9554 Andy McCall ↶ 394
    let name = format!("flow/{job}");
395
    let c = db::hooks::upsert_check(
396
        &app.db,
397
        row.id,
398
        db::hooks::CheckReport { state, name: &name, status, summary, url: &url, reporter: None, seal: "" },
399
    )
400
    .await;
401
    if let Ok(c) = c {
402
        let api = crate::api::check_of(&c);
403
        app.events.proposal(row.id, hub_api::ProposalEvent { number: 0, kind: "check".into(), check: Some(api.clone()) });
404
        crate::hooks::emit(app, row, "check", "flow", serde_json::json!({ "check": api })).await;
405
    }
406
}
407
408
/// The check status a job's status shows as.
409
fn check_status(job_status: &str) -> &'static str {
410
    match job_status {
411
        "queued" => "queued",
412
        "running" => "running",
413
        "passed" => "passed",
414
        "skipped" => "skipped",
745d225d Andy McCall ↶ 415
        "cancelled" => "cancelled",
42fa9554 Andy McCall ↶ 416
        _ => "failed",
417
    }
418
}
419
b6b7e4cf Andy McCall ↶ 420
/// The runner a bearer token belongs to: a registered runner, or one
421
/// configured with a hub.toml token (tracked from its first request). A
422
/// disabled runner is refused.
423
async fn runner_auth(app: &Shared, headers: &HeaderMap) -> Result<db::runners::Runner, ApiError> {
42fa9554 Andy McCall ↶ 424
    let Some(t) = oxy_server::bearer_token(headers) else {
425
        return Err(ApiError(StatusCode::UNAUTHORIZED, "a runner token is required".into()));
b6b7e4cf Andy McCall ↶ 426
    };
427
    let hash = blake3::hash(t.as_bytes()).to_hex().to_string();
428
    let runner = match db::runners::by_token(&app.db, &hash).await? {
429
        Some(r) => r,
430
        None if app.config.flow.runner_tokens.iter().any(|x| crate::auth::mac_equal(x, t)) => {
431
            db::runners::configured(&app.db, &hash, "runner").await?
432
        }
433
        None => return Err(ApiError(StatusCode::UNAUTHORIZED, "not a runner token".into())),
42fa9554 Andy McCall ↶ 434
    };
b6b7e4cf Andy McCall ↶ 435
    if runner.state == "disabled" {
436
        return Err(ApiError(StatusCode::FORBIDDEN, format!("runner {} is disabled on this hub", runner.name)));
42fa9554 Andy McCall ↶ 437
    }
b6b7e4cf Andy McCall ↶ 438
    Ok(runner)
42fa9554 Andy McCall ↶ 439
}
440
b6b7e4cf Andy McCall ↶ 441
/// `POST /api/v1/flow/runners/register`: a one-time registration token
442
/// from Admin → Runners buys a runner credential, binding the runner's
443
/// signing identity (hub spec §13.2).
444
pub async fn register(
445
    State(app): State<Shared>,
446
    Json(req): Json<flow_core::api::Register>,
447
) -> Result<Json<flow_core::api::Registered>, ApiError> {
448
    let bytes = hex::decode(req.identity.trim()).map_err(|_| ApiError(StatusCode::BAD_REQUEST, "identity: not hex".into()))?;
449
    let identity = oxy_core::identity::Identity::decode(&bytes).map_err(|e| ApiError(StatusCode::BAD_REQUEST, format!("identity: {e}")))?;
450
    let name: String = req.name.chars().filter(|c| c.is_ascii_alphanumeric() || matches!(c, '-' | '_' | '.')).take(64).collect();
451
    if name.is_empty() {
452
        return Err(ApiError(StatusCode::BAD_REQUEST, "give the runner a name of letters, digits, - _ or .".into()));
453
    }
454
    let credential = format!("flowrunner_{}", crate::auth::random_hex(32));
455
    let hash = blake3::hash(credential.as_bytes()).to_hex().to_string();
456
    let reg = blake3::hash(req.token.trim().as_bytes()).to_hex().to_string();
457
    let runner =
458
        db::runners::register(&app.db, &reg, &name, &hash, &identity.hash().to_hex(), &identity.name, "").await?.ok_or_else(|| {
459
            ApiError(StatusCode::FORBIDDEN, "that registration token is unknown, used or expired; create one on Admin → Runners".into())
460
        })?;
461
    db::runners::seen(&app.db, runner.id, None, Some(&req.info)).await?;
462
    tracing::info!("flow: runner {} registered (key {})", runner.name, &runner.key[..12]);
463
    Ok(Json(flow_core::api::Registered { id: runner.id, name: runner.name, credential }))
464
}
465
42fa9554 Andy McCall ↶ 466
/// `POST /api/v1/flow/claim`.
467
pub async fn claim(State(app): State<Shared>, headers: HeaderMap, Json(req): Json<ClaimRequest>) -> Result<Response, ApiError> {
b6b7e4cf Andy McCall ↶ 468
    let me = runner_auth(&app, &headers).await?;
469
    let claimed: String = req.runner.chars().filter(|c| !c.is_control()).take(64).collect();
470
    db::runners::seen(&app.db, me.id, Some(&claimed), req.info.as_ref()).await?;
eef677c4 Andy McCall ↶ 471
    if let Some(holding) = &req.holding {
472
        end_jobs_not_held(&app, &me, holding).await?;
473
    }
b6b7e4cf Andy McCall ↶ 474
    // A draining runner finishes what it has and takes nothing new.
475
    if me.state == "draining" {
476
        return Ok(StatusCode::NO_CONTENT.into_response());
477
    }
478
    let runner = if me.source == "registered" { me.name.clone() } else { claimed };
42fa9554 Andy McCall ↶ 479
    let secret = format!("{JOB_TOKEN_PREFIX}{}", crate::auth::random_hex(32));
efd29a00 Andy McCall ↶ 480
    // What it holds and what it is (OxygenFlow spec §11): the images'
481
    // architectures it reports are remembered for every runner's claims.
482
    if let Some(archs) = &req.image_archs {
483
        fdb::record_image_archs(&app.db, archs).await?;
484
    }
485
    let arch = req.info.as_ref().map(|i| i.arch.clone()).filter(|a| !a.is_empty()).unwrap_or_else(|| me.arch.clone());
4d2e44d7 Andy McCall ↶ 486
    // What it offers, kept for the placement pass; a job it declined is
487
    // not offered to it again while this stays the same (spec §11.5).
488
    let profile = profile_of(&req, &arch);
489
    db::runners::set_offer(&app.db, me.id, &req.runtimes, req.images.as_deref(), &profile).await?;
b0612e7d Andy McCall ↶ 490
    let room = fdb::Room {
4d2e44d7 Andy McCall ↶ 491
        declined: fdb::declined_by(&app.db, me.id, &profile).await?,
b0612e7d Andy McCall ↶ 492
        memory_mib: req.free_memory_mib,
493
        cpus: req.free_cpus,
494
        images: req.images.as_ref().map(|i| i.iter().map(|h| h.to_ascii_lowercase()).collect()),
efd29a00 Andy McCall ↶ 495
        arch,
496
        image_archs: fdb::image_archs(&app.db).await?,
b0612e7d Andy McCall ↶ 497
    };
7f5f6c05 Andy McCall ↶ 498
    // The labels it reports now, or those it registered with, and those
499
    // an administrator gave it (#98).
500
    let mut labels: Vec<String> = match &req.info {
c4c87f48 Andy McCall ↶ 501
        Some(i) => i.labels.clone(),
7f5f6c05 Andy McCall ↶ 502
        None => me.reported_label_list().into_iter().map(String::from).collect(),
c4c87f48 Andy McCall ↶ 503
    };
7f5f6c05 Andy McCall ↶ 504
    for l in me.admin_label_list() {
505
        if !labels.iter().any(|x| x == l) {
506
            labels.push(l.to_string());
507
        }
508
    }
c4c87f48 Andy McCall ↶ 509
    let Some(job) =
510
        fdb::claim_within(&app.db, &req.runtimes, &runner, &crate::auth::token_hash(&secret), room, &me.scope(), &labels).await?
511
    else {
42fa9554 Andy McCall ↶ 512
        return Ok(StatusCode::NO_CONTENT.into_response());
513
    };
b6b7e4cf Andy McCall ↶ 514
    db::runners::set_job_runner(&app.db, job.id, me.id).await?;
42fa9554 Andy McCall ↶ 515
    let run = fdb::run_by_id(&app.db, job.run_id).await?.ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "no such run".into()))?;
516
    let row =
517
        db::repos::get_by_id(&app.db, run.repo_id).await?.ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "no such repository".into()))?;
a0d4bbfb Andy McCall ↶ 518
    report_check(&app, &row, &run.state, run.number, &job.name, "running", &format!("running on {runner}")).await;
42fa9554 Andy McCall ↶ 519
    let bad = |e: serde_json::Error| ApiError(StatusCode::INTERNAL_SERVER_ERROR, format!("stored job: {e}"));
5dead1f4 Andy McCall ↶ 520
    // The job's limit: its own timeout, else its sandbox's, else the site
521
    // default, never past the site maximum; recorded for the reaper.
522
    let limits = limits(&app).await;
523
    let spec: flow_core::pipeline::Job = serde_json::from_str(&job.spec).map_err(bad)?;
524
    let sandbox: flow_core::pipeline::Sandbox = serde_json::from_str(&job.sandbox).map_err(bad)?;
7f5f6c05 Andy McCall ↶ 525
    let mut timeout_s = spec.timeout_s.or(sandbox.timeout_s).unwrap_or(limits.default_s).min(limits.max_s).max(60);
526
    // ...and never past the runner's own limit, when it has one (#98).
527
    if let Some(m) = me.timeout_minutes.filter(|m| *m > 0) {
528
        timeout_s = timeout_s.min(m as u64 * 60).max(60);
529
    }
5dead1f4 Andy McCall ↶ 530
    fdb::set_job_timeout(&app.db, job.id, timeout_s).await?;
42fa9554 Andy McCall ↶ 531
    let claim = Claim {
532
        job_id: job.id,
533
        run_id: run.id,
534
        repo: format!("{}/{}", row.owner, row.name),
535
        clone_url: format!("{}/{}/{}", app.config.base_url(), row.owner, row.name),
536
        token: secret,
537
        heads: run.head_list().into_iter().map(String::from).collect(),
538
        pipeline_hash: run.pipeline_hash.clone(),
5dead1f4 Andy McCall ↶ 539
        job: spec,
540
        sandbox,
541
        timeout_s,
fd3db644 Andy McCall ↶ 542
        subrepos: vec![],
9a065bc0 Andy McCall ↶ 543
        state: run.state.clone(),
544
        bookmark: run.bookmark.clone(),
545
        run_number: run.number,
2a83f530 Andy McCall ↶ 546
        // The site's, the owner's and the repository's variables (#102).
547
        env: crate::variables::env_for_repo(&app.db, &row).await?,
4ac01a73 Andy McCall ↶ 548
        secrets: vec![],
42fa9554 Andy McCall ↶ 549
    };
fd3db644 Andy McCall ↶ 550
    let mut claim = claim;
4ac01a73 Andy McCall ↶ 551
    let (inputs, ids, mut left_out) = subrepo_inputs(&app, &row, &run).await;
552
    // The secrets the job declares, as files (#107); one not set is said
553
    // at the top of the log and left out, so the job fails on the file.
554
    let names: Vec<String> = claim.job.secrets.iter().map(|s| s.name.clone()).collect();
555
    let found = crate::secrets::for_job(&app, &row, &names).await?;
d1727c57 Andy McCall ↶ 556
    // The identities it asks for (#103): a token each, as a file.
557
    if !claim.job.identities.is_empty() {
558
        let issuer = app.oidc().await.map_err(|e| ApiError(StatusCode::INTERNAL_SERVER_ERROR, format!("oidc: {e}")))?;
559
        for i in &claim.job.identities {
560
            let token = issuer.mint(&crate::oidc::JobClaims {
561
                issuer: app.config.base_url(),
562
                audience: &i.audience,
563
                owner: &row.owner,
564
                name: &row.name,
565
                visibility: &row.visibility,
566
                bookmark: &run.bookmark,
567
                run_number: run.number,
568
                job: &job.name,
569
                state: &run.state,
570
                runner: &runner,
571
                actor: &run.actor,
572
                now_ms: db::now_ms(),
573
                ttl_s: timeout_s,
574
            });
575
            claim.secrets.push(flow_core::api::SecretInput {
576
                name: format!("identity:{}", i.audience),
577
                path: i.mount_path.clone(),
578
                value: token,
579
            });
580
        }
581
    }
4ac01a73 Andy McCall ↶ 582
    for s in &claim.job.secrets {
583
        match found.iter().find(|(n, _)| *n == s.name) {
584
            Some((name, value)) => {
585
                claim.secrets.push(flow_core::api::SecretInput { name: name.clone(), path: s.mount_path.clone(), value: value.clone() })
586
            }
587
            None => left_out.push(format!(
588
                "secret {:?} is not set for this repository, its owner or the site; {} will be missing",
589
                s.name, s.mount_path
590
            )),
591
        }
592
    }
fd3db644 Andy McCall ↶ 593
    if !ids.is_empty() {
594
        fdb::set_also_read(&app.db, job.id, &ids).await?;
595
    }
afd0be38 Andy McCall ↶ 596
    // Say at the top of the job's log what it will not have (oxygenhub#56),
597
    // rather than let it fail later on missing files.
598
    if !left_out.is_empty() {
599
        let records: Vec<flow_core::api::Record> =
600
            left_out.into_iter().map(|text| flow_core::api::Record { t: 0, stream: "flow".into(), text }).collect();
601
        fdb::append_log(&app.db, job.id, &records, MAX_RECORDS as i64).await?;
602
    }
fd3db644 Andy McCall ↶ 603
    claim.subrepos = inputs;
42fa9554 Andy McCall ↶ 604
    Ok(Json(claim).into_response())
fd3db644 Andy McCall ↶ 605
}
606
4d2e44d7 Andy McCall ↶ 607
/// BLAKE3 over what a claiming runner offers: tiers, images, architecture,
608
/// labels and capacity, each list sorted.
609
fn profile_of(req: &ClaimRequest, arch: &str) -> String {
610
    let sorted = |v: &[String]| {
611
        let mut v = v.to_vec();
612
        v.sort();
613
        v
614
    };
615
    let info = req.info.as_ref();
616
    let v = serde_json::json!({
617
        "arch": arch,
618
        "tiers": sorted(&req.runtimes),
619
        "images": req.images.as_deref().map(sorted),
620
        "labels": info.map(|i| sorted(&i.labels)),
621
        "memory_mib": info.and_then(|i| i.memory_mib),
622
        "cpus": info.and_then(|i| i.cpus),
623
    });
624
    blake3::hash(v.to_string().as_bytes()).to_hex().to_string()
625
}
626
627
/// A job handed back by this many different runners is unplaceable.
628
pub const UNPLACEABLE_AFTER: usize = 3;
629
630
/// `POST /api/v1/flow/jobs/{id}/decline` (OxygenFlow spec §11.5): the
631
/// runner will not run a job it was handed. The job is queued again and
632
/// not offered to that runner while its profile stays the same (and for
633
/// [`fdb::DECLINE_HOLDS_MS`] at most); once [`UNPLACEABLE_AFTER`]
634
/// different runners have declined it, it ends as unplaceable with their
635
/// reasons. A decline is never a failed check.
636
pub async fn decline(
637
    State(app): State<Shared>,
638
    headers: HeaderMap,
639
    Path(id): Path<i64>,
640
    Json(d): Json<flow_core::api::Decline>,
641
) -> Result<StatusCode, ApiError> {
642
    let me = runner_auth(&app, &headers).await?;
643
    db::runners::seen(&app.db, me.id, None, None).await?;
644
    let reason: String = d.reason.chars().map(|c| if c.is_control() { ' ' } else { c }).take(500).collect();
645
    let reason = match reason.trim() {
646
        "" => "no reason given".to_string(),
647
        r => r.to_string(),
648
    };
649
    let Some(all) = fdb::decline(&app.db, id, me.id, &me.name, &me.profile, &reason).await? else {
650
        return Err(ApiError(StatusCode::CONFLICT, "that job is not running on this runner".into()));
651
    };
652
    tracing::info!("flow: runner {} declined job {id}: {reason}", me.name);
653
    let job = fdb::job(&app.db, id).await?.ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "no such job".into()))?;
654
    let runners: std::collections::BTreeSet<i64> = all.iter().map(|d| d.runner_id).collect();
655
    if runners.len() >= UNPLACEABLE_AFTER {
656
        let error = format!(
657
            "unplaceable: declined by {} runners: {}",
658
            runners.len(),
659
            all.iter().map(|d| format!("{}: {}", d.runner, d.reason)).collect::<Vec<_>>().join("; ")
660
        );
661
        let changed =
662
            fdb::finish(&app.db, id, fdb::Outcome { status: "error", exit_code: None, error: &error, receipt: "", receipt_hash: "" })
663
                .await?;
664
        report_changed(&app, job.run_id, changed).await?;
665
    } else if let Some(run) = fdb::run_by_id(&app.db, job.run_id).await? {
666
        if let Some(row) = db::repos::get_by_id(&app.db, run.repo_id).await? {
667
            let summary = format!("declined by {}: {reason}; waiting for another runner", me.name);
668
            report_check(&app, &row, &run.state, run.number, &job.name, "queued", &summary).await;
669
            fdb::set_waiting(&app.db, id, &summary).await?;
670
        }
671
    }
672
    Ok(StatusCode::NO_CONTENT)
673
}
674
675
/// Why no runner can take `job` of a repository of `owner` (id `repo_id`)
676
/// now (spec §11.4), from what each runner offered at its last claim:
677
/// empty when one could (it waits its turn or a free slot), else what
678
/// each one lacks. `declines` are the job's.
679
pub fn why_waiting(
680
    job: &fdb::Job,
681
    owner: &str,
682
    repo_id: i64,
683
    runners: &[db::runners::Runner],
684
    image_archs: &std::collections::HashMap<String, String>,
685
    declines: &[fdb::DeclineRow],
686
    now: i64,
687
) -> String {
688
    let sandbox: serde_json::Value = serde_json::from_str(&job.sandbox).unwrap_or_default();
689
    let rootfs = sandbox["rootfs"].as_str().unwrap_or("");
690
    let wanted_arch = job.arch().or_else(|| image_archs.get(rootfs).cloned());
691
    let need = |k: &str| sandbox[k].as_u64().unwrap_or(0);
692
    let needs = job.needs();
693
    let lacks = |r: &db::runners::Runner| -> Option<String> {
694
        if r.state == "draining" {
695
            return Some("is draining".into());
696
        }
697
        let scope = r.scope();
698
        if (!scope.owner.is_empty() && scope.owner != owner) || scope.repo_id.is_some_and(|id| id != repo_id) {
699
            return Some("serves other repositories".into());
700
        }
701
        let tiers = r.tier_list();
702
        if !tiers.is_empty() && !tiers.contains(&job.runtime.as_str()) {
703
            return Some(format!("has no {} tier (it offers {})", job.runtime, tiers.join(", ")));
704
        }
705
        if let Some(w) = wanted_arch.as_deref().filter(|w| !r.arch.is_empty() && *w != r.arch) {
706
            return Some(format!("is {}; the job needs {w}", r.arch));
707
        }
708
        if r.image_list().is_some_and(|have| !have.iter().any(|h| h == rootfs)) {
709
            return Some(format!("does not hold image {}", &rootfs[..12.min(rootfs.len())]));
710
        }
711
        let labels = r.label_list();
712
        if let Some(l) = needs.iter().find(|l| !labels.contains(&l.as_str())) {
713
            return Some(format!("lacks label {l}"));
714
        }
715
        if let Some(m) = r.memory_mib.filter(|m| (*m as u64) < need("memory_mib")) {
716
            return Some(format!("has {m} MiB; the job needs {} MiB", need("memory_mib")));
717
        }
718
        if let Some(c) = r.cpus.filter(|c| (*c as u64) < need("cpus")) {
719
            return Some(format!("has {c} CPUs; the job needs {}", need("cpus")));
720
        }
721
        if let Some(d) = declines.iter().find(|d| d.runner_id == r.id && now - d.ms < fdb::DECLINE_HOLDS_MS) {
722
            return Some(format!("declined it: {}", d.reason));
723
        }
724
        None
725
    };
726
    let online: Vec<&db::runners::Runner> = runners.iter().filter(|r| r.state != "disabled" && r.online()).collect();
727
    if online.is_empty() {
728
        return "no runner is online".into();
729
    }
730
    let mut why = Vec::new();
731
    for r in &online {
732
        match lacks(r) {
733
            None => return String::new(),
734
            Some(w) => why.push(format!("{} {w}", r.name)),
735
        }
736
    }
737
    let more = why.len().saturating_sub(4);
738
    why.truncate(4);
739
    let mut text = format!("no runner can take it: {}", why.join("; "));
740
    if more > 0 {
741
        text.push_str(&format!("; and {more} more"));
742
    }
743
    text
744
}
745
746
/// One placement pass: say why each ready queued job waits.
747
pub async fn explain_waits(app: &Shared) -> sqlx::Result<()> {
748
    let ready = fdb::ready_queued(&app.db).await?;
749
    if ready.is_empty() {
750
        return Ok(());
751
    }
752
    let runners = db::runners::list(&app.db).await?;
753
    let archs = fdb::image_archs(&app.db).await?;
754
    let now = db::now_ms();
755
    for (job, owner, repo_id) in ready {
756
        let declines = fdb::declines_of_job(&app.db, job.id).await?;
757
        let why = why_waiting(&job, &owner, repo_id, &runners, &archs, &declines, now);
758
        fdb::set_waiting(&app.db, job.id, &why).await?;
759
    }
760
    Ok(())
761
}
762
763
/// Run a placement pass every 15 seconds.
764
pub async fn placement(app: Shared) {
765
    loop {
766
        tokio::time::sleep(std::time::Duration::from_secs(15)).await;
767
        if let Err(e) = explain_waits(&app).await {
768
            tracing::warn!("flow: placement pass: {e}");
769
        }
770
    }
771
}
772
25091e5c Andy McCall ↶ 773
/// The Oxygen subrepo pins in `name`'s state `heads`: (path, repository id, pinned heads).
774
async fn pins_in(
775
    app: &Shared,
776
    name: crate::repos::RepoName,
777
    heads: Vec<oxy_core::hash::ChangeHash>,
778
) -> Vec<(String, [u8; 16], Vec<oxy_core::hash::ChangeHash>)> {
779
    app.repos
fd3db644 Andy McCall ↶ 780
        .read(&name, move |repo, cache| {
781
            let loaded = cache.load(repo, &heads)?;
782
            let mut out = Vec::new();
783
            for (path, f) in &loaded.snapshot.files {
784
                if f.kind != oxy_core::objects::NodeKind::Subrepo {
785
                    continue;
786
                }
787
                if let oxy_core::state::FileContent::Opaque { blobs } = &f.content {
788
                    if let Some(b) = blobs.first() {
789
                        if let Ok(oxy_core::subrepo::Pin::Oxy { repo: id, heads, .. }) = repo
790
                            .read_blob(b)
791
                            .map_err(crate::repos::RepoError::Oxy)
792
                            .and_then(|bytes| oxy_core::subrepo::Pin::decode(&bytes).map_err(|e| crate::repos::RepoError::Oxy(e.into())))
793
                        {
794
                            out.push((path.clone(), id, heads));
795
                        }
796
                    }
797
                }
798
            }
799
            Ok(out)
800
        })
801
        .await
25091e5c Andy McCall ↶ 802
        .unwrap_or_default()
803
}
804
805
/// How deep subrepos of subrepos are followed.
806
const MAX_SUBREPO_DEPTH: usize = 3;
807
808
/// The Oxygen subrepos the run's state pins, and those their states pin in
809
/// turn (parents first, paths joined), that live on this hub and that the
810
/// run's pusher may read: what the job's workspace needs beside its own
afd0be38 Andy McCall ↶ 811
/// tree. A pin the hub cannot serve is left out, with what it pins, and
812
/// the third list says why, for the job's log.
813
async fn subrepo_inputs(
814
    app: &Shared,
815
    row: &db::repos::RepoRow,
816
    run: &fdb::Run,
817
) -> (Vec<flow_core::api::SubrepoInput>, Vec<i64>, Vec<String>) {
818
    let Some(name) = crate::repos::RepoName::new(&row.owner, &row.name) else { return (vec![], vec![], vec![]) };
25091e5c Andy McCall ↶ 819
    let heads: Vec<oxy_core::hash::ChangeHash> = run.head_list().into_iter().filter_map(oxy_core::hash::ChangeHash::from_hex).collect();
fd3db644 Andy McCall ↶ 820
    let pusher = db::accounts::account_by_name(&app.db, &run.actor).await.ok().flatten();
25091e5c Andy McCall ↶ 821
    let rows = db::repos::list(&app.db).await.unwrap_or_default();
fd3db644 Andy McCall ↶ 822
    let mut inputs = Vec::new();
823
    let mut ids = Vec::new();
afd0be38 Andy McCall ↶ 824
    let mut left_out = Vec::new();
825
    let actor = if run.actor.is_empty() { "the run's starter".to_string() } else { run.actor.clone() };
25091e5c Andy McCall ↶ 826
    // (path prefix, repository, heads, depth), parents before children.
827
    let mut queue = std::collections::VecDeque::from([(String::new(), name, heads, 0usize)]);
828
    while let Some((prefix, name, heads, depth)) = queue.pop_front() {
829
        if depth == MAX_SUBREPO_DEPTH {
830
            continue;
831
        }
832
        for (path, id, pinned) in pins_in(app, name, heads).await {
833
            let path = if prefix.is_empty() { path } else { format!("{prefix}/{path}") };
afd0be38 Andy McCall ↶ 834
            let mut hosted = false;
25091e5c Andy McCall ↶ 835
            for other in &rows {
836
                let Some(other_name) = crate::repos::RepoName::new(&other.owner, &other.name) else { continue };
837
                let matches = app.repos.read(&other_name, move |r, _| Ok(r.id().ok() == Some(id))).await.unwrap_or(false);
838
                if !matches {
839
                    continue;
840
                }
afd0be38 Andy McCall ↶ 841
                hosted = true;
25091e5c Andy McCall ↶ 842
                let role = crate::auth::roles::role_for(&app.db, pusher.as_ref(), other).await.ok().flatten();
843
                if crate::auth::roles::allows(role, crate::auth::Access::Read) {
844
                    inputs.push(flow_core::api::SubrepoInput {
845
                        path: path.clone(),
846
                        repo: format!("{}/{}", other.owner, other.name),
847
                        clone_url: format!("{}/{}/{}", app.config.base_url(), other.owner, other.name),
848
                        heads: pinned.iter().map(|h| h.to_hex()).collect(),
849
                    });
850
                    if !ids.contains(&other.id) {
851
                        ids.push(other.id);
852
                    }
853
                    queue.push_back((path.clone(), other_name, pinned.clone(), depth + 1));
afd0be38 Andy McCall ↶ 854
                } else {
855
                    left_out.push(format!(
856
                        "subrepo {path} ({}/{}) is left out: {actor} cannot read it, so the job has no files there",
857
                        other.owner, other.name
858
                    ));
25091e5c Andy McCall ↶ 859
                }
860
                break;
afd0be38 Andy McCall ↶ 861
            }
862
            if !hosted {
863
                left_out.push(format!("subrepo {path} is left out: the repository it pins is not on this hub"));
fd3db644 Andy McCall ↶ 864
            }
865
        }
866
    }
afd0be38 Andy McCall ↶ 867
    (inputs, ids, left_out)
42fa9554 Andy McCall ↶ 868
}
869
870
async fn running_job(app: &Shared, id: i64) -> Result<fdb::Job, ApiError> {
871
    match fdb::job(&app.db, id).await? {
872
        Some(j) if j.status == "running" => Ok(j),
873
        Some(_) => Err(ApiError(StatusCode::CONFLICT, "this job is not running".into())),
874
        None => Err(ApiError(StatusCode::NOT_FOUND, "no such job".into())),
875
    }
876
}
877
878
/// `POST /api/v1/flow/jobs/{id}/log`.
879
pub async fn log(
880
    State(app): State<Shared>,
881
    headers: HeaderMap,
882
    Path(id): Path<i64>,
883
    Json(mut batch): Json<LogBatch>,
884
) -> Result<StatusCode, ApiError> {
b6b7e4cf Andy McCall ↶ 885
    runner_auth(&app, &headers).await?;
42fa9554 Andy McCall ↶ 886
    let job = running_job(&app, id).await?;
745d225d Andy McCall ↶ 887
    // An empty batch asks only whether the job still runs: a cancelled
888
    // one answers 409 and its runner stops it (oxygenflow#32).
889
    if batch.records.is_empty() {
890
        return Ok(StatusCode::NO_CONTENT);
891
    }
4ac01a73 Andy McCall ↶ 892
    // A secret's value never reaches the stored log (#107).
893
    let values: Vec<String> = match serde_json::from_str::<flow_core::Job>(&job.spec) {
894
        Ok(spec) if !spec.secrets.is_empty() => {
895
            let run = fdb::run_by_id(&app.db, job.run_id).await?;
896
            let row = match run {
897
                Some(run) => db::repos::get_by_id(&app.db, run.repo_id).await?,
898
                None => None,
899
            };
900
            match row {
901
                Some(row) => {
902
                    let names: Vec<String> = spec.secrets.iter().map(|s| s.name.clone()).collect();
903
                    crate::secrets::for_job(&app, &row, &names).await?.into_iter().map(|(_, v)| v).collect()
904
                }
905
                None => vec![],
906
            }
907
        }
908
        _ => vec![],
909
    };
d1727c57 Andy McCall ↶ 910
    let kid = app.oidc.get().map(|i| i.kid.clone());
42fa9554 Andy McCall ↶ 911
    for r in &mut batch.records {
4ac01a73 Andy McCall ↶ 912
        if !values.is_empty() {
913
            r.text = crate::secrets::mask(&r.text, &values);
d1727c57 Andy McCall ↶ 914
        }
915
        if let Some(kid) = &kid {
916
            r.text = crate::oidc::mask(&r.text, kid);
4ac01a73 Andy McCall ↶ 917
        }
42fa9554 Andy McCall ↶ 918
        if r.text.len() > MAX_RECORD_TEXT {
919
            let mut cut = MAX_RECORD_TEXT;
920
            while !r.text.is_char_boundary(cut) {
921
                cut -= 1;
922
            }
923
            r.text.truncate(cut);
924
        }
925
        if !matches!(r.stream.as_str(), "out" | "err" | "console" | "flow") {
926
            r.stream = "console".into();
927
        }
928
    }
929
    let kept = fdb::append_log(&app.db, job.id, &batch.records, MAX_RECORDS as i64).await?;
930
    if kept < batch.records.len() && job.log_count < MAX_RECORDS as i64 {
931
        tracing::info!("flow: job {} reached the log limit", job.id);
932
    }
933
    Ok(StatusCode::NO_CONTENT)
934
}
935
a3c8288b Andy McCall ↶ 936
/// Largest artifact the hub keeps; the runner refuses larger ones first.
937
pub const MAX_ARTIFACT_BYTES: usize = 512 << 20;
938
939
/// `POST /api/v1/flow/jobs/{id}/artifacts/{name}`: the bytes of an artifact
940
/// the job declares (OxygenFlow spec §5.2), kept as a blob of the run's
941
/// repository. Answers `{"blob"}`.
942
pub async fn artifact(
943
    State(app): State<Shared>,
944
    headers: HeaderMap,
945
    Path((id, name)): Path<(i64, String)>,
946
    body: axum::body::Bytes,
947
) -> Result<Response, ApiError> {
b6b7e4cf Andy McCall ↶ 948
    runner_auth(&app, &headers).await?;
a3c8288b Andy McCall ↶ 949
    let job = running_job(&app, id).await?;
950
    let spec: flow_core::Job =
951
        serde_json::from_str(&job.spec).map_err(|e| ApiError(StatusCode::INTERNAL_SERVER_ERROR, format!("stored job: {e}")))?;
952
    let Some(out) = spec.outputs.iter().find(|o| o.name == name) else {
953
        return Err(ApiError(StatusCode::BAD_REQUEST, format!("job {} declares no artifact {name:?}", job.name)));
954
    };
955
    let run = fdb::run_by_id(&app.db, job.run_id).await?.ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "no such run".into()))?;
956
    let row =
957
        db::repos::get_by_id(&app.db, run.repo_id).await?.ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "no such repository".into()))?;
958
    let repo = RepoName::new(&row.owner, &row.name).ok_or_else(|| ApiError(StatusCode::NOT_FOUND, "bad repository name".into()))?;
959
    let content = blake3::hash(&body).to_hex().to_string();
960
    let size = body.len() as i64;
554ccacf Andy McCall ↶ 961
    let report_bytes = (name == crate::coverage::ARTIFACT).then(|| body.clone());
0b203bbf Andy McCall ↶ 962
    let junit_bytes = (name == crate::junit::ARTIFACT).then(|| body.clone());
a3c8288b Andy McCall ↶ 963
    let blob = app
964
        .repos
965
        .write(&repo, move |r, _| Ok(r.store_blob(&body)?))
966
        .await
967
        .map_err(|e| ApiError(StatusCode::INTERNAL_SERVER_ERROR, format!("keep the artifact: {e}")))?;
968
    let a = fdb::Artifact { job_id: job.id, name, path: out.path.clone(), blob: blob.to_hex(), size, content, created_ms: db::now_ms() };
969
    fdb::add_artifact(&app.db, &a).await?;
554ccacf Andy McCall ↶ 970
    // A coverage report (#113) is read now; what it says, or why it could
971
    // not be read, goes in the job's log. It never fails the upload.
972
    if let Some(bytes) = report_bytes {
973
        let said = match read_coverage(&app, &repo, &row, &run, &job, &a.blob, bytes).await {
974
            Ok(text) | Err(text) => text,
975
        };
976
        let record = flow_core::api::Record { t: 0, stream: "flow".into(), text: said };
977
        fdb::append_log(&app.db, job.id, &[record], MAX_RECORDS as i64).await.ok();
978
    }
0b203bbf Andy McCall ↶ 979
    // A test report (#114) likewise.
980
    if let Some(bytes) = junit_bytes {
981
        let said = match read_junit(&app, &row, &run, &job, &a.blob, bytes).await {
982
            Ok(text) | Err(text) => text,
983
        };
984
        let record = flow_core::api::Record { t: 0, stream: "flow".into(), text: said };
985
        fdb::append_log(&app.db, job.id, &[record], MAX_RECORDS as i64).await.ok();
986
    }
a3c8288b Andy McCall ↶ 987
    Ok(Json(serde_json::json!({ "blob": a.blob })).into_response())
0b203bbf Andy McCall ↶ 988
}
989
990
/// Parse and keep a job's JUnit report: what it says, or why not.
991
async fn read_junit(
992
    app: &Shared,
993
    row: &db::repos::RepoRow,
994
    run: &fdb::Run,
995
    job: &fdb::Job,
996
    blob: &str,
997
    bytes: axum::body::Bytes,
998
) -> Result<String, String> {
999
    if bytes.len() > crate::junit::MAX_REPORT {
1000
        return Err(format!("tests: the report is {} MiB; at most {} MiB is read", bytes.len() >> 20, crate::junit::MAX_REPORT >> 20));
1001
    }
1002
    let text = String::from_utf8(bytes.to_vec()).map_err(|_| "tests: the report is not UTF-8 text (JUnit XML is expected)".to_string())?;
1003
    let cases = tokio::task::spawn_blocking(move || crate::junit::parse(&text))
1004
        .await
1005
        .map_err(|e| format!("tests: {e}"))?
1006
        .map_err(|e| format!("tests: {e}"))?;
1007
    let origin = crate::junit::Origin {
1008
        repo_id: row.id,
1009
        run_id: run.id,
1010
        run_number: run.number,
1011
        job_id: job.id,
1012
        job: &job.name,
1013
        bookmark: &run.bookmark,
1014
        state: &run.state,
1015
        blob,
1016
    };
1017
    crate::junit::keep(app, &origin, &cases).await.map_err(|e| format!("tests: {e}"))?;
1018
    let r = crate::junit::for_run(&app.db, run.id)
1019
        .await
1020
        .map_err(|e| format!("tests: {e}"))?
1021
        .into_iter()
1022
        .find(|r| r.job_id == job.id)
1023
        .ok_or_else(|| "tests: the report was not kept".to_string())?;
1024
    Ok(format!("tests: {} in {}", r.summary(), human_ms(r.time_ms)))
554ccacf Andy McCall ↶ 1025
}
1026
1027
/// Parse and keep a job's coverage report: what it says, or why not.
1028
async fn read_coverage(
1029
    app: &Shared,
1030
    repo: &RepoName,
1031
    row: &db::repos::RepoRow,
1032
    run: &fdb::Run,
1033
    job: &fdb::Job,
1034
    blob: &str,
1035
    bytes: axum::body::Bytes,
1036
) -> Result<String, String> {
1037
    if bytes.len() > crate::coverage::MAX_REPORT {
1038
        return Err(format!(
1039
            "coverage: the report is {} MiB; at most {} MiB is read",
1040
            bytes.len() >> 20,
1041
            crate::coverage::MAX_REPORT >> 20
1042
        ));
1043
    }
7fff30c4 Andy McCall ↶ 1044
    let text = String::from_utf8(bytes.to_vec())
1045
        .map_err(|_| "coverage: the report is not text (LCOV or Cobertura XML is expected)".to_string())?;
1046
    let (files, outside, format) = tokio::task::spawn_blocking(move || crate::coverage::parse(&text))
554ccacf Andy McCall ↶ 1047
        .await
1048
        .map_err(|e| format!("coverage: {e}"))?
1049
        .map_err(|e| format!("coverage: {e}"))?;
1050
    let heads: Vec<ChangeHash> = run.head_list().into_iter().filter_map(ChangeHash::from_hex).collect();
1051
    let in_state: std::collections::HashSet<String> = app
1052
        .repos
1053
        .read(repo, move |r, cache| Ok(cache.load(r, &heads)?.snapshot.files.keys().cloned().collect()))
1054
        .await
1055
        .map_err(|e| format!("coverage: the run's files could not be read: {e}"))?;
1056
    let heads: Vec<String> = run.head_list().into_iter().map(String::from).collect();
1057
    let origin = crate::coverage::Origin {
1058
        repo_id: row.id,
1059
        run_id: run.id,
1060
        run_number: run.number,
1061
        job_id: job.id,
1062
        job: &job.name,
1063
        bookmark: &run.bookmark,
1064
        state: &run.state,
1065
        heads: &heads,
1066
        blob,
7fff30c4 Andy McCall ↶ 1067
        format,
554ccacf Andy McCall ↶ 1068
    };
1069
    let id = crate::coverage::keep(app, &origin, files, outside, &in_state).await.map_err(|e| format!("coverage: {e}"))?;
1070
    let Some(r) = crate::coverage::report(&app.db, row.id, id).await.map_err(|e| format!("coverage: {e}"))? else {
1071
        return Err("coverage: the report was not kept".into());
1072
    };
7edaff01 Andy McCall ↶ 1073
    // The `coverage` check on the run's state (#113): against the default
1074
    // bookmark, under the repository's rules.
1075
    let base = crate::coverage::baseline(&app.db, &r, &row.default_bookmark).await.map_err(|e| format!("coverage: {e}"))?;
1076
    let rules = crate::coverage::rules(&app.db, row.id).await.map_err(|e| format!("coverage: {e}"))?;
1077
    let (status, summary) = crate::coverage::verdict(&r, base.as_ref(), &row.default_bookmark, rules);
1078
    let url = format!("{}/{}/{}/coverage?report={}", app.config.base_url(), row.owner, row.name, r.id);
1079
    if let Ok(c) = db::hooks::upsert_check(
1080
        &app.db,
1081
        row.id,
1082
        db::hooks::CheckReport { state: &run.state, name: "coverage", status, summary: &summary, url: &url, reporter: None, seal: "" },
1083
    )
1084
    .await
1085
    {
1086
        let api = crate::api::check_of(&c);
1087
        app.events.proposal(row.id, hub_api::ProposalEvent { number: 0, kind: "check".into(), check: Some(api.clone()) });
1088
        crate::hooks::emit(app, row, "check", "flow", serde_json::json!({ "check": api })).await;
1089
    }
554ccacf Andy McCall ↶ 1090
    let pct = r.percent().map(|p| format!("{p:.1}%")).unwrap_or_else(|| "no lines".into());
1091
    let dropped =
1092
        if r.dropped > 0 { format!(" ({} named files are not in this state and were left out)", r.dropped) } else { String::new() };
1093
    Ok(format!("coverage: {pct} of lines ({} of {}) in {} files{dropped}", r.lines_hit, r.lines_found, r.files))
a3c8288b Andy McCall ↶ 1094
}
1095
42fa9554 Andy McCall ↶ 1096
/// `POST /api/v1/flow/jobs/{id}/finish`.
1097
pub async fn finish(
1098
    State(app): State<Shared>,
1099
    headers: HeaderMap,
1100
    Path(id): Path<i64>,
1101
    Json(f): Json<Finish>,
1102
) -> Result<StatusCode, ApiError> {
b6b7e4cf Andy McCall ↶ 1103
    let me = runner_auth(&app, &headers).await?;
42fa9554 Andy McCall ↶ 1104
    let job = running_job(&app, id).await?;
1105
    let status = match (f.exit_code, &f.error) {
1106
        (Some(0), None) => "passed",
1107
        (Some(_), _) => "failed",
1108
        (None, _) => "error",
1109
    };
1110
    let (receipt, receipt_hash) = match &f.receipt {
1111
        Some(r) if r.job_name == job.name && Some(r.exit_code as i32) == f.exit_code => {
d29070fa Andy McCall ↶ 1112
            // A passing job's receipt names exactly the artifacts uploaded,
1113
            // in name order; a failing one's names none, though it may have
1114
            // kept `when "always"` artifacts (oxygenflow#37).
1115
            let kept: Vec<String> =
1116
                if r.exit_code == 0 { fdb::artifacts(&app.db, job.id).await?.into_iter().map(|a| a.blob).collect() } else { vec![] };
a3c8288b Andy McCall ↶ 1117
            if r.outputs.iter().map(hex::encode).collect::<Vec<_>>() != kept {
1118
                return Err(ApiError(StatusCode::BAD_REQUEST, "the receipt names other outputs than the artifacts uploaded".into()));
1119
            }
42fa9554 Andy McCall ↶ 1120
            (serde_json::to_string(r).unwrap_or_default(), hex::encode(r.hash()))
1121
        }
1122
        Some(_) => return Err(ApiError(StatusCode::BAD_REQUEST, "the receipt does not match the job".into())),
1123
        None => (String::new(), String::new()),
1124
    };
1125
    let error = f.error.clone().unwrap_or_default();
1126
    let changed = fdb::finish(
1127
        &app.db,
1128
        job.id,
1129
        fdb::Outcome { status, exit_code: f.exit_code.map(i64::from), error: &error, receipt: &receipt, receipt_hash: &receipt_hash },
1130
    )
1131
    .await?;
1132
    if let Some(run) = fdb::run_by_id(&app.db, job.run_id).await? {
1133
        if let Some(row) = db::repos::get_by_id(&app.db, run.repo_id).await? {
cc19697f Andy McCall ↶ 1134
            if let (Some(r), Some(signed)) = (&f.receipt, &f.signed_receipt) {
b6b7e4cf Andy McCall ↶ 1135
                let (attest, signer, note) = match keep_receipt(&app, &me, &row, &run, r, signed).await {
cc19697f Andy McCall ↶ 1136
                    Ok((attest, signer)) => (attest, signer, String::new()),
1137
                    Err(e) => {
1138
                        tracing::warn!("flow: job {} receipt not kept: {e}", job.id);
1139
                        (String::new(), String::new(), e)
1140
                    }
1141
                };
1142
                fdb::set_receipt(&app.db, job.id, &attest, &signer, &note).await?;
1143
            }
42fa9554 Andy McCall ↶ 1144
        }
1145
    }
070a7b64 Andy McCall ↶ 1146
    report_changed(&app, job.run_id, changed).await?;
42fa9554 Andy McCall ↶ 1147
    Ok(StatusCode::NO_CONTENT)
070a7b64 Andy McCall ↶ 1148
}
1149
1150
/// Report the checks of jobs whose status changed.
1151
async fn report_changed(app: &Shared, run_id: i64, changed: Vec<fdb::Job>) -> sqlx::Result<()> {
1152
    let Some(run) = fdb::run_by_id(&app.db, run_id).await? else {
1153
        return Ok(());
1154
    };
1155
    let Some(row) = db::repos::get_by_id(&app.db, run.repo_id).await? else {
1156
        return Ok(());
1157
    };
1158
    for j in changed {
1159
        let summary = match j.status.as_str() {
1160
            "passed" => format!("passed in {}", duration(&j)),
1161
            "failed" => format!("exit {} after {}", j.exit_code.unwrap_or(-1), duration(&j)),
1162
            "skipped" => "skipped: a dependency did not pass".into(),
745d225d Andy McCall ↶ 1163
            "cancelled" => j.error.clone(),
070a7b64 Andy McCall ↶ 1164
            _ => format!("could not run: {}", j.error),
1165
        };
1166
        report_check(app, &row, &run.state, run.number, &j.name, check_status(&j.status), &summary).await;
1167
    }
1168
    Ok(())
1169
}
1170
5dead1f4 Andy McCall ↶ 1171
/// The site's job time limits (oxygenhub#89): set on Admin → Runners →
1172
/// Settings, else from `hub.toml`.
1173
pub struct Limits {
1174
    /// For a job whose pipeline names none.
1175
    pub default_s: u64,
1176
    /// The most a pipeline may ask for.
1177
    pub max_s: u64,
1178
    /// Grace past a job's limit before the hub gives it up: a runner stops
1179
    /// a job at its limit and reports it within moments, so one still
1180
    /// running this long after is one the runner no longer reports (it was
1181
    /// restarted, or lost the hub while the job ended, oxygenhub#71).
1182
    pub grace_ms: i64,
1183
}
1184
1185
pub const SETTING_DEFAULT: &str = "flow.job_timeout_minutes";
1186
pub const SETTING_MAX: &str = "flow.job_timeout_max_minutes";
1187
pub const SETTING_GRACE: &str = "flow.lost_grace_minutes";
1188
1189
pub async fn limits(app: &Shared) -> Limits {
1190
    let minutes = |key: &'static str| async move {
1191
        db::accounts::setting(&app.db, key).await.ok().flatten().and_then(|v| v.parse::<u64>().ok()).filter(|m| *m > 0)
1192
    };
1193
    let default_m = minutes(SETTING_DEFAULT).await.unwrap_or(app.config.flow.job_timeout_minutes.max(1));
1194
    let max_m = minutes(SETTING_MAX).await.unwrap_or(default_m.max(6 * 60)).max(default_m);
1195
    let grace_m = minutes(SETTING_GRACE).await.unwrap_or(5);
1196
    Limits { default_s: default_m * 60, max_s: max_m * 60, grace_ms: grace_m as i64 * 60_000 }
1197
}
070a7b64 Andy McCall ↶ 1198
5dead1f4 Andy McCall ↶ 1199
/// End every job still running past its time limit plus the grace:
070a7b64 Andy McCall ↶ 1200
/// it is marked an error with the reason, the jobs that depended on it are
1201
/// skipped and its run settled, as when a runner reports an error.
1202
pub async fn reap_lost_jobs(app: &Shared) -> sqlx::Result<usize> {
5dead1f4 Andy McCall ↶ 1203
    let limits = limits(app).await;
1204
    let lost = fdb::running_past_limit(&app.db, db::now_ms(), limits.default_s, limits.grace_ms).await?;
070a7b64 Andy McCall ↶ 1205
    let n = lost.len();
1206
    for job in lost {
1207
        let error = format!(
1208
            "lost: still running {} minutes after it started, past the time limit; the runner{} stopped reporting it",
1209
            (db::now_ms() - job.started_ms.unwrap_or(0)) / 60_000,
1210
            if job.runner.is_empty() { String::new() } else { format!(" {}", job.runner) },
1211
        );
1212
        let changed =
1213
            fdb::finish(&app.db, job.id, fdb::Outcome { status: "error", exit_code: None, error: &error, receipt: "", receipt_hash: "" })
1214
                .await?;
1215
        tracing::warn!("flow: job {} {error}", job.id);
1216
        report_changed(app, job.run_id, changed).await?;
1217
    }
1218
    Ok(n)
eef677c4 Andy McCall ↶ 1219
}
1220
1221
/// End the jobs running on `runner` that it does not hold (oxygenhub#71):
1222
/// it restarted since claiming them, or never received the claim. A
1223
/// runner claims one job at a time, so a job it holds is always listed.
1224
async fn end_jobs_not_held(app: &Shared, runner: &db::runners::Runner, holding: &[i64]) -> sqlx::Result<()> {
1225
    for job in fdb::running_on(&app.db, runner.id).await? {
1226
        if holding.contains(&job.id) {
1227
            continue;
1228
        }
1229
        let error = format!("lost: the runner {} no longer holds this job (it restarted, or never received it)", runner.name);
1230
        let changed =
1231
            fdb::finish(&app.db, job.id, fdb::Outcome { status: "error", exit_code: None, error: &error, receipt: "", receipt_hash: "" })
1232
                .await?;
1233
        tracing::warn!("flow: job {} {error}", job.id);
1234
        report_changed(app, job.run_id, changed).await?;
1235
    }
1236
    Ok(())
348f8c4b Andy McCall ↶ 1237
}
1238
1239
/// Start the scheduled runs due at `when` (oxygenflow#24): on each
1240
/// repository that runs Flow, the jobs of its default bookmark's pipeline
1241
/// with a `schedule` line due then. Returns how many runs started.
1242
pub async fn run_due(app: &Shared, when: flow_core::pipeline::When) -> usize {
1243
    let Ok(rows) = db::repos::list(&app.db).await else { return 0 };
1244
    let mut started = 0;
1245
    for row in rows.into_iter().filter(|r| enabled(app, r)) {
1246
        let Some(repo) = RepoName::new(&row.owner, &row.name) else { continue };
1247
        let b = row.default_bookmark.clone();
1248
        let found = app
1249
            .repos
1250
            .read(&repo, move |r, _| {
1251
                let Some(st) = r.view()?.bookmarks.get(&b).copied() else { return Ok(None) };
1252
                Ok(Some((st, r.store().get_state(&st)?.heads)))
1253
            })
1254
            .await;
1255
        let Ok(Some((state, heads))) = found else { continue };
1256
        if heads.is_empty() {
1257
            continue;
1258
        }
0650d94e Andy McCall ↶ 1259
        match start_run_at(app, &row, &row.default_bookmark, &state.to_hex(), &heads, &row.owner, "schedule", None, Some(when), &[]).await {
348f8c4b Andy McCall ↶ 1260
            Ok(Some(_)) => started += 1,
1261
            Ok(None) => {}
1262
            Err(e) => tracing::warn!("flow: scheduled run of {}/{}: {e}", row.owner, row.name),
1263
        }
1264
    }
1265
    started
1266
}
1267
1268
/// The hub's clock as a [`When`](flow_core::pipeline::When).
1269
pub fn when_now() -> flow_core::pipeline::When {
1270
    let now = time::OffsetDateTime::now_utc();
1271
    flow_core::pipeline::When {
1272
        minute: now.minute() as u32,
1273
        hour: now.hour() as u32,
1274
        day: now.day() as u32,
1275
        month: u8::from(now.month()) as u32,
1276
        weekday: now.weekday().number_days_from_sunday() as u32,
1277
    }
1278
}
1279
1280
/// Start the scheduled runs due each minute, once a minute.
1281
pub async fn scheduler(app: Shared) {
1282
    let mut last = None;
1283
    loop {
1284
        tokio::time::sleep(std::time::Duration::from_secs(15)).await;
1285
        let minute = time::OffsetDateTime::now_utc().unix_timestamp() / 60;
1286
        if last == Some(minute) {
1287
            continue;
1288
        }
1289
        last = Some(minute);
1290
        let n = run_due(&app, when_now()).await;
1291
        if n > 0 {
1292
            tracing::info!("flow: {n} scheduled run(s) started");
1293
        }
1294
    }
070a7b64 Andy McCall ↶ 1295
}
1296
1297
/// Look for lost jobs once a minute.
1298
pub async fn reaper(app: Shared) {
1299
    loop {
1300
        tokio::time::sleep(std::time::Duration::from_secs(60)).await;
1301
        if let Err(e) = reap_lost_jobs(&app).await {
1302
            tracing::warn!("flow: looking for lost jobs: {e}");
1303
        }
1304
    }
cc19697f Andy McCall ↶ 1305
}
1306
1307
/// Check a runner's signed receipt for a job of `run` and keep it in the
1308
/// repository (Oxygen spec §14.6): the attestation's hex and the runner's
1309
/// name, or why it was not kept. It must be the job's receipt, for the
1310
/// run's state and repository, signed by the key the runner's token first
1311
/// signed with.
1312
pub async fn keep_receipt(
1313
    app: &Shared,
b6b7e4cf Andy McCall ↶ 1314
    runner: &db::runners::Runner,
cc19697f Andy McCall ↶ 1315
    row: &db::repos::RepoRow,
1316
    run: &fdb::Run,
1317
    receipt: &flow_core::Receipt,
1318
    signed_hex: &str,
1319
) -> Result<(String, String), String> {
1320
    use oxy_core::receipt::SignedReceipt;
1321
    let bytes = hex::decode(signed_hex).map_err(|_| "the signed receipt is not hex".to_string())?;
1322
    let sr = SignedReceipt::decode(&bytes).map_err(|e| format!("not a signed receipt: {e}"))?;
1323
    sr.verify().map_err(|e| format!("it does not verify: {e}"))?;
1324
    if sr.receipt.hash().0 != receipt.hash() {
1325
        return Err("it signs another receipt than the job's".into());
1326
    }
1327
    let heads: Vec<oxy_core::hash::ChangeHash> = run.head_list().into_iter().filter_map(oxy_core::hash::ChangeHash::from_hex).collect();
1328
    let state = oxy_core::hash::hash_object(oxy_core::hash::ObjectType::State, &oxy_core::objects::StateObject::new(heads).encode());
1329
    if sr.state() != state {
1330
        return Err("it is for another state than the run's".into());
1331
    }
1332
    let key = sr.runner.hash().to_hex();
b6b7e4cf Andy McCall ↶ 1333
    let bound = db::runners::bind_key(&app.db, runner.id, &key, &sr.runner.name).await.map_err(|e| e.to_string())?;
cc19697f Andy McCall ↶ 1334
    if bound != key {
1335
        return Err(format!("signed by {}, not the key this runner signs with ({})", &key[..12], &bound[..12.min(bound.len())]));
1336
    }
1337
    let name = RepoName::new(&row.owner, &row.name).ok_or("bad repository name")?;
1338
    let signer = sr.runner.name.clone();
1339
    let attest = app.repos.write(&name, move |repo, _| Ok(repo.add_receipt(&sr)?)).await.map_err(|e| e.to_string())?;
1340
    Ok((attest.to_hex(), signer))
42fa9554 Andy McCall ↶ 1341
}
1342
1343
/// A job's wall time, as the pages show it.
1344
pub fn duration(j: &fdb::Job) -> String {
1345
    match (j.started_ms, j.finished_ms) {
1346
        (Some(a), Some(b)) => human_ms(b - a),
1347
        (Some(a), None) => human_ms(db::now_ms() - a),
1348
        _ => "–".into(),
1349
    }
1350
}
1351
1352
pub fn human_ms(ms: i64) -> String {
1353
    let ms = ms.max(0);
1354
    if ms < 1000 {
1355
        format!("{ms} ms")
1356
    } else if ms < 60_000 {
1357
        format!("{:.1} s", ms as f64 / 1000.0)
1358
    } else {
1359
        format!("{} min {} s", ms / 60_000, (ms % 60_000) / 1000)
1360
    }
1361
}
bf3d0754 Andy McCall ↶ 1362
1363
/// Where a live run stands among the runners' work: what its viewers may
1364
/// know of it. Jobs of other repositories are named only when those are
1365
/// public; the rest are counted.
1366
#[derive(Clone, Debug, Default, PartialEq, Eq)]
1367
pub struct QueueInfo {
1368
    /// 1-based place of the run's first queued job among all queued jobs.
1369
    pub position: Option<usize>,
1370
    /// Jobs running now, and queued jobs ahead of the run's first one.
1371
    pub running: Vec<String>,
1372
    pub ahead: Vec<String>,
1373
    /// Of those, jobs in repositories the page may not name.
1374
    pub hidden: usize,
1375
}
1376
1377
impl QueueInfo {
1378
    /// "3rd in line" and the like.
1379
    pub fn place(&self) -> Option<String> {
1380
        self.position.map(|n| {
1381
            let suffix = match (n % 10, n % 100) {
1382
                (1, 11) | (2, 12) | (3, 13) => "th",
1383
                (1, _) => "st",
1384
                (2, _) => "nd",
1385
                (3, _) => "rd",
1386
                _ => "th",
1387
            };
1388
            format!("{n}{suffix} in line")
1389
        })
1390
    }
1391
}
1392
1393
/// The queue as `run` (of repository `repo_id`) sees it, from `queue`.
1394
pub fn queue_info(queue: &[fdb::QueueEntry], repo_id: i64, run_id: i64) -> QueueInfo {
1395
    let mut info = QueueInfo::default();
1396
    let first = queue.iter().filter(|e| e.status == "queued").position(|e| e.run_id == run_id);
1397
    info.position = first.map(|i| i + 1);
1398
    let label = |e: &fdb::QueueEntry| format!("{}/{} #{} {}", e.owner, e.name, e.run_number, e.job);
1399
    let mut queued_seen = 0;
1400
    for e in queue {
1401
        if e.run_id == run_id {
1402
            continue;
1403
        }
1404
        let ahead = match e.status.as_str() {
1405
            "running" => true,
1406
            _ => {
1407
                queued_seen += 1;
1408
                first.is_some_and(|f| queued_seen <= f)
1409
            }
1410
        };
1411
        if !ahead {
1412
            continue;
1413
        }
1414
        if e.repo_id != repo_id && e.visibility != "public" {
1415
            info.hidden += 1;
1416
        } else if e.status == "running" {
1417
            info.running.push(label(e));
1418
        } else {
1419
            info.ahead.push(label(e));
1420
        }
1421
    }
1422
    info
1423
}
1424
1425
#[cfg(test)]
1426
mod queue_tests {
1427
    use super::*;
1428
1429
    fn e(job_id: i64, run_id: i64, repo_id: i64, vis: &str, job: &str, status: &str) -> fdb::QueueEntry {
1430
        fdb::QueueEntry {
1431
            job_id,
1432
            run_id,
1433
            repo_id,
1434
            owner: "o".into(),
1435
            name: format!("r{repo_id}"),
1436
            visibility: vis.into(),
1437
            run_number: run_id,
1438
            job: job.into(),
1439
            status: status.into(),
b66e70b7 Andy McCall ↶ 1440
            runner: String::new(),
c4c87f48 Andy McCall ↶ 1441
            spec: String::new(),
1442
            sandbox: String::new(),
bf3d0754 Andy McCall ↶ 1443
        }
1444
    }
1445
1446
    #[test]
1447
    fn a_run_learns_its_place_and_what_is_ahead_of_it() {
1448
        // Running first, then queued in claim order (as `fdb::queue` returns them).
1449
        let q = vec![
1450
            e(1, 10, 1, "public", "build", "running"),
1451
            e(2, 11, 2, "private", "test", "running"),
1452
            e(3, 10, 1, "public", "test", "queued"),
1453
            e(4, 12, 3, "private", "lint", "queued"),
1454
            e(5, 13, 4, "public", "build", "queued"),
1455
            e(6, 13, 4, "public", "test", "queued"),
1456
            e(7, 14, 5, "public", "late", "queued"),
1457
        ];
1458
        let info = queue_info(&q, 4, 13);
1459
        assert_eq!(info.position, Some(3));
1460
        assert_eq!(info.place().as_deref(), Some("3rd in line"));
1461
        assert_eq!(info.running, ["o/r1 #10 build"]);
1462
        assert_eq!(info.ahead, ["o/r1 #10 test"], "queued ahead, not behind");
1463
        assert_eq!(info.hidden, 2, "private repositories are counted, not named");
1464
        // A private repository's own jobs are named to its viewers.
1465
        assert_eq!(queue_info(&q, 3, 12).ahead, ["o/r1 #10 test"]);
1466
        assert_eq!(queue_info(&q, 3, 12).position, Some(2));
1467
        // A run with nothing queued has no place.
1468
        assert_eq!(queue_info(&q, 1, 99).position, None);
1469
        let ordinal = |n| QueueInfo { position: Some(n), ..Default::default() }.place().unwrap();
1470
        assert_eq!(
1471
            [ordinal(1), ordinal(2), ordinal(11), ordinal(22), ordinal(113)],
1472
            ["1st in line", "2nd in line", "11th in line", "22nd in line", "113th in line"]
4d2e44d7 Andy McCall ↶ 1473
        );
1474
    }
1475
}
1476
1477
#[cfg(test)]
1478
mod placement_tests {
1479
    use super::*;
1480
1481
    #[test]
1482
    fn a_waiting_job_says_what_each_runner_lacks() {
1483
        use crate::db::runners::Runner;
1484
        let rootfs = "ab".repeat(32);
1485
        let job = fdb::Job {
1486
            id: 7,
1487
            runtime: "syscall".into(),
1488
            sandbox: serde_json::json!({ "rootfs": rootfs, "memory_mib": 4096, "cpus": 2 }).to_string(),
1489
            spec: serde_json::json!({ "name": "build" }).to_string(),
1490
            ..Default::default()
1491
        };
1492
        let now = db::now_ms();
1493
        let runner = |id: i64, name: &str| Runner {
1494
            id,
1495
            name: name.into(),
1496
            state: "active".into(),
1497
            last_seen_ms: Some(now),
1498
            arch: "x86_64".into(),
1499
            tiers: "microvm,syscall".into(),
1500
            images: serde_json::to_string(&[&rootfs]).unwrap(),
1501
            memory_mib: Some(16384),
1502
            cpus: Some(8),
1503
            ..Default::default()
1504
        };
1505
        let archs = std::collections::HashMap::new();
1506
        let why = |runners: &[Runner], declines: &[fdb::DeclineRow]| why_waiting(&job, "andy", 1, runners, &archs, declines, now);
1507
        assert_eq!(why(&[], &[]), "no runner is online");
1508
        assert_eq!(why(&[runner(1, "earth-1")], &[]), "", "one can take it: it only waits its turn");
1509
        let microvm_only = Runner { tiers: "microvm".into(), ..runner(1, "earth-1") };
1510
        let riscv = Runner { arch: "riscv64".into(), ..runner(2, "narvi") };
1511
        let small = Runner { memory_mib: Some(2048), ..runner(3, "pi") };
1512
        let other = Runner { scope_owner: "bob".into(), ..runner(4, "bobs") };
1513
        let offline = Runner { last_seen_ms: Some(now - 3_600_000), ..runner(5, "gone") };
1514
        assert_eq!(
1515
            why(&[microvm_only, small, other, offline], &[]),
1516
            "no runner can take it: earth-1 has no syscall tier (it offers microvm); pi has 2048 MiB; the job needs 4096 MiB; bobs serves other repositories"
1517
        );
1518
        let archs_known: std::collections::HashMap<String, String> = [(rootfs.clone(), "x86_64".to_string())].into();
1519
        assert_eq!(
1520
            why_waiting(&job, "andy", 1, &[riscv], &archs_known, &[], now),
1521
            "no runner can take it: narvi is riscv64; the job needs x86_64"
1522
        );
1523
        let without = Runner { images: "[]".into(), ..runner(6, "new") };
1524
        assert_eq!(why(&[without], &[]), "no runner can take it: new does not hold image abababababab");
1525
        let d = fdb::DeclineRow {
1526
            job_id: 7,
1527
            runner_id: 1,
1528
            runner: "earth-1".into(),
1529
            reason: "only 512 MiB of memory is free here".into(),
1530
            ms: now,
1531
        };
1532
        assert_eq!(
1533
            why(&[runner(1, "earth-1")], std::slice::from_ref(&d)),
1534
            "no runner can take it: earth-1 declined it: only 512 MiB of memory is free here"
bf3d0754 Andy McCall ↶ 1535
        );
4d2e44d7 Andy McCall ↶ 1536
        let old = fdb::DeclineRow { ms: now - fdb::DECLINE_HOLDS_MS - 1, ..d };
1537
        assert_eq!(why(&[runner(1, "earth-1")], &[old]), "", "an old decline no longer holds");
bf3d0754 Andy McCall ↶ 1538
    }
1539
}