Skip to main content

dynamic_config/
cache.rs

1//! Starting from the last configuration that worked.
2//!
3//! A process that cannot read its configuration should normally refuse to
4//! start — that is the point of failing loudly. But there is one case where
5//! refusing is worse: a machine reboots, something on disk is half-written or
6//! a mount has not appeared yet, and a service that would otherwise have come
7//! up sits dead until a person notices.
8//!
9//! Opting into a cache says: prefer running on yesterday's configuration to not
10//! running at all. It is deliberately opt-in, and deliberately loud — recovery
11//! logs a warning every time, because a service quietly running on a stale
12//! configuration is its own kind of outage.
13//!
14//! ## What ends up on disk
15//!
16//! A resolved configuration holds every value, including the ones
17//! `#[config(secret)]` exists to keep out of logs. There is no way to make that
18//! not a trade-off, so it is a choice with three answers rather than a default
19//! nobody was told about:
20//!
21//! | Mode | On disk | Recovers |
22//! |---|---|---|
23//! | [`Full`](CacheMode::Full) | everything, secrets included | completely |
24//! | [`Redacted`](CacheMode::Redacted) *(the attribute's default)* | everything except `#[config(secret)]` fields | only if the secrets come from somewhere live |
25//! | [`Fingerprint`](CacheMode::Fingerprint) | a hash and the key names | never — it reports what changed and still fails |
26//!
27//! On Unix the file is written `0600`. That is the most that can be done
28//! without refusing the request.
29//!
30//! ## Recovery reads no files
31//!
32//! The files are what broke. Recovery loads from the cache plus the
33//! environment and the runtime layers — never from the sources whose failure
34//! caused it, because a malformed file fails to parse whatever sits underneath
35//! it.
36
37#[cfg(all(test, feature = "json"))]
38use std::collections::BTreeMap;
39use std::fmt;
40// `std::collections::hash_map::DefaultHasher` rather than `std::hash::`: the
41// latter is the same type re-exported, but only since 1.76, and the core
42// crate's floor is 1.71.
43use std::collections::hash_map::DefaultHasher;
44use std::hash::{Hash, Hasher};
45use std::path::Path;
46
47use figment::value::{Dict, Value};
48
49use crate::error::{Error, ErrorKind, Origin};
50use crate::snapshot::Snapshot;
51use crate::source::Format;
52
53/// The key a cache document is written under, so it reads back like any file.
54const CACHED: &str = "cached";
55
56/// The marker every cache document carries, naming what it is.
57///
58/// The reader used to *sniff*: "has a top-level `fingerprint` key" meant
59/// "is a fingerprint document" — and a real configuration with a
60/// `fingerprint` section (a TLS pin, an image digest) was misread as one,
61/// turning a perfectly good full cache into a refusal to start. A document
62/// that says what it is cannot be misread. `version` is there so a future
63/// format change can tell old files from new ones.
64const MARKER: &str = "__dynamic_config_cache";
65
66/// Where the fingerprint lives inside a `Fingerprint` document.
67const FINGERPRINT: &str = "fingerprint";
68
69/// Where the key list lives inside a `Fingerprint` document.
70const KEYS: &str = "keys";
71
72/// How much of a configuration to keep on disk.
73///
74/// A resolved configuration holds every value, including the ones
75/// `#[config(secret)]` exists to keep out of logs. There is no way to make that
76/// not a trade-off, so it is a choice with three answers rather than a default
77/// nobody was told about:
78///
79/// | Mode | On disk | Recovers |
80/// |---|---|---|
81/// | [`Full`](Self::Full) | everything, secrets included | completely |
82/// | [`Redacted`](Self::Redacted) *(the attribute's default)* | everything except `#[config(secret)]` fields | only if the secrets come from somewhere live |
83/// | [`Fingerprint`](Self::Fingerprint) | a hash and the key names | never — it reports what changed and still fails |
84///
85/// On Unix the file is written `0600`. That is the most that can be done
86/// without refusing the request.
87///
88/// Recovery reads no files: the files are what broke, so it loads from the
89/// cache plus the environment and the runtime layers, never from the sources
90/// whose failure caused it.
91#[derive(Debug, Clone, Copy, PartialEq, Eq, Default)]
92#[non_exhaustive]
93pub enum CacheMode {
94    /// Everything, secrets included. Recovers completely.
95    ///
96    /// The default, because a cache that cannot recover is a cache that will
97    /// disappoint somebody at three in the morning. The file is `0600`; the
98    /// rest is documented rather than solved.
99    #[default]
100    Full,
101    /// Everything except the fields marked `#[config(secret)]`.
102    ///
103    /// Recovery then depends on those values arriving from somewhere live —
104    /// the environment, usually. That is arguably the right deployment shape
105    /// anyway, and useless for anyone whose secrets live in a file.
106    Redacted,
107    /// A hash and the key names. No values at all.
108    ///
109    /// Cannot recover, and does not pretend to: a failed start still fails.
110    /// What it buys is the diagnosis — *which keys have moved since the last
111    /// time this worked* — which is usually the first thing anyone wants.
112    Fingerprint,
113}
114
115impl fmt::Display for CacheMode {
116    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
117        f.write_str(match self {
118            Self::Full => "full",
119            Self::Redacted => "redacted",
120            Self::Fingerprint => "fingerprint",
121        })
122    }
123}
124
125impl CacheMode {
126    /// Whether a cache in this mode can stand in for the real thing.
127    #[must_use]
128    pub fn recovers(self) -> bool {
129        !matches!(self, Self::Fingerprint)
130    }
131}
132
133/// What a cache file turned out to hold.
134#[derive(Debug)]
135pub enum Recovery {
136    /// A configuration to start from.
137    Usable(Snapshot),
138    /// Only a fingerprint: what differs from the last good state.
139    ///
140    /// `Some` lists the key paths that differ — or one explanatory sentence
141    /// when the keys match and only values moved. `None` means the comparison
142    /// itself was impossible: the sources do not resolve, so there is nothing
143    /// to compare against.
144    Drift(Option<Vec<String>>),
145    /// No cache on disk yet.
146    Absent,
147}
148
149/// Writes `snapshot` to `path` in `mode`.
150///
151/// `secrets` are the field names to drop in [`CacheMode::Redacted`]; ignored
152/// otherwise.
153///
154/// # Errors
155///
156/// If the path names no supported format, or the file cannot be written.
157pub(crate) fn write(
158    snapshot: &Snapshot,
159    path: &Path,
160    mode: CacheMode,
161    secrets: &[&str],
162) -> Result<(), Error> {
163    let format = format_of(path)?;
164
165    let mut document = match mode {
166        CacheMode::Full => snapshot.values().clone(),
167        CacheMode::Redacted => without(snapshot.values(), secrets),
168        CacheMode::Fingerprint => fingerprint_document(snapshot),
169    };
170
171    let mut marker = Dict::new();
172    marker.insert("version".to_owned(), Value::from(1));
173    marker.insert(
174        "mode".to_owned(),
175        Value::from(match mode {
176            CacheMode::Full => "full",
177            CacheMode::Redacted => "redacted",
178            CacheMode::Fingerprint => "fingerprint",
179        }),
180    );
181    document.insert(MARKER.to_owned(), Value::from(marker));
182
183    crate::write::save_dict(&document, path, format, CACHED)
184}
185
186/// [`write`], full fidelity, through an [`Encryptor`](crate::Encryptor).
187///
188/// Always the whole document — encryption at rest is what collapses the
189/// full/redacted trade-off, which is the mode's whole reason to exist —
190/// with the same marker a `full` cache carries, so the read side after
191/// decryption is the ordinary read side.
192#[cfg(feature = "decrypt")]
193pub(crate) fn write_encrypted(
194    snapshot: &Snapshot,
195    path: &Path,
196    encryptor: &dyn crate::Encryptor,
197) -> Result<(), Error> {
198    let format = encrypted_format_of(path)?;
199
200    let mut document = snapshot.values().clone();
201    let mut marker = Dict::new();
202    marker.insert("version".to_owned(), Value::from(1));
203    marker.insert("mode".to_owned(), Value::from("full"));
204    document.insert(MARKER.to_owned(), Value::from(marker));
205
206    crate::write::save_dict_encrypted(&document, path, format, CACHED, encryptor)
207}
208
209/// [`read`], decrypting through the installed
210/// [`Decryptor`](crate::Decryptor) first — the same door
211/// `encrypted_file(..)` reads through, so one installation covers both.
212#[cfg(feature = "decrypt")]
213pub(crate) fn read_encrypted(path: &Path, current: Option<&Snapshot>) -> Result<Recovery, Error> {
214    let format = encrypted_format_of(path)?;
215
216    let bytes = match std::fs::read(path) {
217        Ok(bytes) => bytes,
218        Err(error) if error.kind() == std::io::ErrorKind::NotFound => return Ok(Recovery::Absent),
219        Err(error) => {
220            return Err(Error::new(ErrorKind::Io, error.to_string())
221                .with_origin(Origin::File(path.to_owned())))
222        }
223    };
224
225    // `decrypt` hands back a zeroizing `Plaintext` and has already refused
226    // non-UTF-8, naming the path.
227    let plaintext = crate::decrypt::decrypt(&bytes, &path.display().to_string())?;
228
229    parse_cache(plaintext.text(), format, path, current)
230}
231
232/// The format under the encryption suffix: `last.json.age` is JSON.
233#[cfg(feature = "decrypt")]
234fn encrypted_format_of(path: &Path) -> Result<crate::Format, Error> {
235    let name = path
236        .to_str()
237        .ok_or_else(|| Error::new(ErrorKind::Io, "the cache path is not valid UTF-8"))?;
238
239    let Some((inner, _suffix)) = crate::source::inner_name(name) else {
240        return Err(Error::new(
241            ErrorKind::Backend,
242            format!(
243                "an encrypted cache path carries the format under the \
244                 encryption suffix — `last.json.{}`, not `{name}`",
245                crate::source::ENCRYPTED_SUFFIX
246            ),
247        ));
248    };
249
250    format_of(Path::new(inner))
251}
252
253/// Reads whatever `path` holds.
254///
255/// # Errors
256///
257/// If the file exists but cannot be read or parsed. A file that is not there is
258/// [`Recovery::Absent`], not a failure — the first start has no cache.
259pub(crate) fn read(path: &Path, current: Option<&Snapshot>) -> Result<Recovery, Error> {
260    let format = format_of(path)?;
261
262    let text = match std::fs::read_to_string(path) {
263        Ok(text) => text,
264        Err(error) if error.kind() == std::io::ErrorKind::NotFound => return Ok(Recovery::Absent),
265        Err(error) => {
266            return Err(Error::new(ErrorKind::Io, error.to_string())
267                .with_origin(Origin::File(path.to_owned())))
268        }
269    };
270
271    parse_cache(&text, format, path, current)
272}
273
274/// The shared tail of [`read`] and [`read_encrypted`]: text to `Recovery`.
275fn parse_cache(
276    text: &str,
277    format: crate::Format,
278    path: &Path,
279    current: Option<&Snapshot>,
280) -> Result<Recovery, Error> {
281    let _ = path;
282    let sources = [crate::Source::inline(text, format)];
283    let cached = crate::loader::snapshot(&crate::LoadSpec::new(CACHED, &sources))?;
284
285    // The marker says what the document is. Files written before the marker
286    // existed (0.0.1) fall back to the old heuristic for one release —
287    // documented in the changelog, removed after it.
288    let is_fingerprint = match cached.get::<String>(&format!("{MARKER}.mode")) {
289        Ok(mode) => mode == "fingerprint",
290        Err(_) => cached.contains(FINGERPRINT),
291    };
292
293    if !is_fingerprint {
294        return Ok(Recovery::Usable(cached.without_top_level(MARKER)));
295    }
296
297    Ok(Recovery::Drift(drift(&cached, current)))
298}
299
300/// Which keys have appeared or vanished since the cache was written.
301///
302/// `None` means "could not compare": the sources did not resolve — which is
303/// the ordinary case during recovery, since a broken source is *why*
304/// recovery is running. The caller must say so rather than claim a
305/// comparison that never happened.
306fn drift(cached: &Snapshot, current: Option<&Snapshot>) -> Option<Vec<String>> {
307    let current = current?;
308
309    let before: Vec<String> = cached.get(KEYS).unwrap_or_default();
310    let after = current.leaf_paths();
311
312    let mut moved: Vec<String> = before
313        .iter()
314        .filter(|key| !after.contains(key))
315        .map(|key| format!("{key} is gone"))
316        .chain(
317            after
318                .iter()
319                .filter(|key| !before.contains(key))
320                .map(|key| format!("{key} is new")),
321        )
322        .collect();
323
324    moved.sort();
325
326    // The keys all match — that is what the stored hash is FOR: telling
327    // "identical" apart from "same keys, different values". It used to be
328    // written and never read, and the report asserted the comparison anyway.
329    if moved.is_empty() {
330        let stored: Option<String> = cached.get(FINGERPRINT).ok();
331        let current_hash = fingerprint_of(current);
332
333        if stored.as_deref() == Some(current_hash.as_str()) {
334            return Some(vec!["nothing moved — the sources match the last good \
335                              configuration exactly"
336                .to_owned()]);
337        }
338
339        return Some(vec!["the same keys, with different values".to_owned()]);
340    }
341
342    Some(moved)
343}
344
345/// The hash of a snapshot's values, as `fingerprint_document` computes it.
346fn fingerprint_of(snapshot: &Snapshot) -> String {
347    let mut hasher = DefaultHasher::new();
348    format!("{:?}", snapshot.values()).hash(&mut hasher);
349
350    format!("{:016x}", hasher.finish())
351}
352
353/// The whole tree minus the top-level keys named in `secrets`.
354///
355/// Top-level is not a limitation here but a property of the source:
356/// `#[config(secret)]` marks fields of the annotated struct, and those fields
357/// ARE the section's top-level keys. The names arrive serde-resolved — a
358/// `#[serde(rename = "pass")]` secret is redacted under `pass`, the key the
359/// resolved tree actually uses.
360fn without(values: &Dict, secrets: &[&str]) -> Dict {
361    values
362        .iter()
363        .filter(|(key, _)| !secrets.contains(&key.as_str()))
364        .map(|(key, value)| (key.clone(), value.clone()))
365        .collect()
366}
367
368/// A hash of the values, plus the key names — and no value anywhere.
369fn fingerprint_document(snapshot: &Snapshot) -> Dict {
370    let keys = snapshot.leaf_paths();
371
372    // `Debug` rather than `Hash` (inside `fingerprint_of`): figment's values
373    // carry a provenance tag that takes part in equality, and two identical
374    // values from different providers must fingerprint the same.
375    let mut document = Dict::new();
376    document.insert(
377        FINGERPRINT.to_owned(),
378        Value::from(fingerprint_of(snapshot)),
379    );
380    document.insert(
381        KEYS.to_owned(),
382        Value::from(keys.into_iter().map(Value::from).collect::<Vec<_>>()),
383    );
384
385    document
386}
387
388fn format_of(path: &Path) -> Result<Format, Error> {
389    // Named before the generic "unsupported" because the mistake is specific:
390    // the cache writes plaintext, and a `.age` name would promise otherwise.
391    // Failing loudly here beats a file that says "encrypted" and is not.
392    if path.extension().is_some_and(|extension| extension == "age") {
393        return Err(Error::new(
394            ErrorKind::Backend,
395            format!(
396                "{} ends in `.age`, but the last-known-good cache is written in plaintext; give the cache an unencrypted name",
397                path.display()
398            ),
399        ));
400    }
401
402    path.extension()
403        .and_then(|extension| extension.to_str())
404        .and_then(Format::from_extension)
405        .ok_or_else(|| Error::unsupported(path))
406}
407
408/// A map, for the tests below.
409#[cfg(all(test, feature = "json"))]
410fn dict_of(entries: &[(&str, Value)]) -> BTreeMap<String, Value> {
411    entries
412        .iter()
413        .map(|(key, value)| ((*key).to_owned(), value.clone()))
414        .collect()
415}
416
417#[cfg(all(test, feature = "json"))]
418mod tests {
419    use super::*;
420
421    fn scratch(test: &str) -> std::path::PathBuf {
422        let directory = std::env::temp_dir().join("dynamic-config-cache").join(test);
423
424        let _ = std::fs::remove_dir_all(&directory);
425        std::fs::create_dir_all(&directory).expect("the scratch directory should be creatable");
426
427        directory.join("cache.json")
428    }
429
430    fn snapshot() -> Snapshot {
431        Snapshot::new(dict_of(&[
432            ("host", "localhost".into()),
433            ("password", "hunter2".into()),
434            ("pool", Value::from(dict_of(&[("max", 10u16.into())]))),
435        ]))
436    }
437
438    #[test]
439    fn full_keeps_everything_and_recovers() {
440        let path = scratch("full");
441
442        write(&snapshot(), &path, CacheMode::Full, &["password"]).unwrap();
443
444        let Recovery::Usable(recovered) = read(&path, None).unwrap() else {
445            panic!("a full cache must be usable");
446        };
447
448        assert_eq!(recovered.get::<String>("host").unwrap(), "localhost");
449        assert_eq!(recovered.get::<String>("password").unwrap(), "hunter2");
450        assert_eq!(recovered.get::<u16>("pool.max").unwrap(), 10);
451    }
452
453    #[test]
454    fn redacted_drops_the_marked_fields_and_nothing_else() {
455        let path = scratch("redacted");
456
457        write(&snapshot(), &path, CacheMode::Redacted, &["password"]).unwrap();
458
459        let written = std::fs::read_to_string(&path).unwrap();
460        assert!(!written.contains("hunter2"), "{written}");
461
462        let Recovery::Usable(recovered) = read(&path, None).unwrap() else {
463            panic!("a redacted cache is still usable");
464        };
465
466        assert_eq!(recovered.get::<String>("host").unwrap(), "localhost");
467        assert!(
468            !recovered.contains("password"),
469            "the secret must not have survived"
470        );
471    }
472
473    #[test]
474    fn fingerprint_writes_no_value_at_all() {
475        let path = scratch("fingerprint");
476
477        write(&snapshot(), &path, CacheMode::Fingerprint, &[]).unwrap();
478
479        let written = std::fs::read_to_string(&path).unwrap();
480
481        assert!(!written.contains("hunter2"), "{written}");
482        assert!(!written.contains("localhost"), "{written}");
483        // The key names are there; the values are not.
484        assert!(written.contains("host"), "{written}");
485    }
486
487    #[test]
488    fn fingerprint_cannot_recover_but_reports_what_moved() {
489        let path = scratch("drift");
490
491        write(&snapshot(), &path, CacheMode::Fingerprint, &[]).unwrap();
492
493        let now = Snapshot::new(dict_of(&[
494            ("host", "localhost".into()),
495            ("hsot", "typo".into()),
496        ]));
497
498        let Recovery::Drift(Some(moved)) = read(&path, Some(&now)).unwrap() else {
499            panic!("a fingerprint cache cannot be usable");
500        };
501
502        assert!(moved.contains(&"hsot is new".to_owned()), "{moved:?}");
503        assert!(moved.contains(&"password is gone".to_owned()), "{moved:?}");
504    }
505
506    #[test]
507    fn an_age_cache_path_is_refused_because_the_cache_is_plaintext() {
508        let error = write(
509            &snapshot(),
510            Path::new("cache.json.age"),
511            CacheMode::Full,
512            &[],
513        )
514        .unwrap_err();
515
516        assert!(error.to_string().contains("plaintext"), "{error}");
517    }
518
519    #[test]
520    fn a_first_start_has_no_cache_and_that_is_not_a_failure() {
521        let path = scratch("absent").with_file_name("nothing.json");
522
523        assert!(matches!(read(&path, None).unwrap(), Recovery::Absent));
524    }
525
526    #[test]
527    fn only_fingerprint_refuses_to_recover() {
528        assert!(CacheMode::Full.recovers());
529        assert!(CacheMode::Redacted.recovers());
530        assert!(!CacheMode::Fingerprint.recovers());
531    }
532}