spg-engine 7.37.21

Execution engine for SPG: glues spg-sql parsing to spg-storage. Foreign keys, joins, vectors, cold tier.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

//! v7.37.17 (17.6 siblings) — pg_current_logfile + replication-origin
//! + replication-slot admin probes.

use spg_engine::{Engine, QueryResult};

fn first(e: &mut Engine, sql: &str) -> spg_storage::Value<'static> {
    let r = e
        .execute(sql)
        .unwrap_or_else(|err| panic!("{sql}: {err:?}"));
    let QueryResult::Rows { rows, .. } = r else {
        panic!("expected Rows");
    };
    rows[0].values[0].clone()
}

#[test]
fn pg_current_logfile_returns_empty_text() {
    let mut e = Engine::new();
    match first(&mut e, "SELECT pg_current_logfile()") {
        spg_storage::Value::Text(s) => assert!(s.as_ref().is_empty()),
        other => panic!("got {other:?}"),
    }
}

#[test]
fn config_file_probes_return_null() {
    let mut e = Engine::new();
    for f in &[
        "pg_hba_file_rules()",
        "pg_ident_file_mappings()",
        "pg_config()",
    ] {
        let sql = format!("SELECT {f}");
        assert!(
            matches!(first(&mut e, &sql), spg_storage::Value::Null),
            "SELECT {f} should be NULL"
        );
    }
}

#[test]
fn replication_origin_probes_return_null() {
    let mut e = Engine::new();
    for f in &[
        "pg_replication_origin_advance('n', '0/0')",
        "pg_replication_origin_create('n')",
        "pg_replication_origin_drop('n')",
        "pg_replication_origin_oid('n')",
        "pg_replication_origin_progress('n', true)",
        "pg_replication_origin_session_is_setup()",
        "pg_replication_origin_session_progress(true)",
        "pg_replication_origin_session_reset()",
        "pg_replication_origin_session_setup('n')",
        "pg_replication_origin_xact_reset()",
        "pg_replication_origin_xact_setup('0/0', '2020-01-01'::timestamp)",
        "pg_show_replication_origin_status()",
    ] {
        let sql = format!("SELECT {f}");
        assert!(
            matches!(first(&mut e, &sql), spg_storage::Value::Null),
            "SELECT {f} should be NULL"
        );
    }
}

#[test]
fn replication_slot_admin_probes_return_null() {
    // v7.39 (round 550) — this pinned the NULL. The family answered
    // NULL from the value dispatch, so a replication setup script ran
    // clean and created nothing, and dropping a slot that was never
    // there reported success. Creating, listing and dropping are real
    // now (see e2e_replication_slots_round550); what stays NULL-free is
    // the pair SPG genuinely does not do, which REFUSES rather than
    // answering nothing.
    let mut e = Engine::new();
    assert!(matches!(
        first(
            &mut e,
            "SELECT pg_create_physical_replication_slot('slot1')"
        ),
        spg_storage::Value::Text(_)
    ));
    e.execute("SELECT pg_drop_replication_slot('slot1')")
        .unwrap();
    for f in &[
        "pg_copy_physical_replication_slot('a', 'b')",
        "pg_copy_logical_replication_slot('a', 'b', true)",
        "pg_replication_slot_advance('slot1', '0/0')",
    ] {
        let sql = format!("SELECT {f}");
        assert!(
            e.execute(&sql).is_err(),
            "SELECT {f} must refuse, not answer nothing"
        );
    }
}