uqa-execution 0.4.5

Volcano physical operators with row-batch pipelines
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

//
// Unified Query Algebra
//
// Copyright (c) 2023-2026 Cognica, Inc.
//

//! Prepare role-dependent mutations without retaining registry guards across waits.

use super::locking::{RoleBinding, RoleDependencyLocks, RoleLockContext};
use std::collections::{BTreeMap, BTreeSet};
use uqa_sql::{
    catalog::roles::{
        guards::{RoleDefinitionRead, RoleMembershipRead},
        RoleDefinition, RoleMembership, RoleMembershipKey,
    },
    SQLError,
};

/// Object registry guards in the value release before memberships and role definitions when preflight is discarded.
pub struct RoleDependencyCandidate<'a, T> {
    pub value: T,
    pub memberships: RoleMembershipRead<'a>,
    pub roles: RoleDefinitionRead<'a>,
    pub dependencies: BTreeSet<String>,
}

#[cfg(test)]
mod tests;

pub fn prepare_role_dependencies<'a, T>(
    context: &RoleLockContext<'_>,
    prepare_writer: impl FnMut() -> Result<(), SQLError>,
    prepare: impl FnMut() -> Result<RoleDependencyCandidate<'a, T>, SQLError>,
) -> Result<RoleDependencyCandidate<'a, T>, SQLError> {
    prepare_dependencies(context, prepare_writer, prepare, |_| true)
}

/// Retain a new object's owner until transaction completion, without lending registry guards to its remaining definition work.
pub fn retain_created_owner(
    context: RoleLockContext<'_>,
    owner: &RoleBinding,
) -> Result<(), SQLError> {
    drop(prepare_role_owner(
        context,
        owner,
        || Ok(()),
        |_, _, _| Ok(Some(())),
    )?);
    Ok(())
}

/// Bind the requested owner before the caller's relevant waits and retain that incarnation through publication.
pub fn prepare_role_owner<'a, T>(
    context: RoleLockContext<'a>,
    owner: &RoleBinding,
    prepare_writer: impl FnMut() -> Result<(), SQLError>,
    mut prepare: impl FnMut(
        &BTreeMap<String, RoleDefinition>,
        &BTreeMap<RoleMembershipKey, RoleMembership>,
        &str,
    ) -> Result<Option<T>, SQLError>,
) -> Result<RoleDependencyCandidate<'a, Option<T>>, SQLError> {
    prepare_dependencies(
        &context,
        prepare_writer,
        || {
            let roles = context.roles.role_definitions();
            owner.revalidate(&roles)?;
            let memberships = context.roles.role_memberships();
            let name = owner.require_name(&roles)?;
            let value = prepare(&roles, &memberships, name)?;
            let dependencies = if value.is_some() {
                BTreeSet::from([name.to_owned()])
            } else {
                BTreeSet::new()
            };
            Ok(RoleDependencyCandidate {
                value,
                memberships,
                roles,
                dependencies,
            })
        },
        Option::is_some,
    )
}

fn prepare_dependencies<'a, T>(
    context: &RoleLockContext<'_>,
    mut prepare_writer: impl FnMut() -> Result<(), SQLError>,
    mut prepare: impl FnMut() -> Result<RoleDependencyCandidate<'a, T>, SQLError>,
    needs_writer: impl Fn(&T) -> bool,
) -> Result<RoleDependencyCandidate<'a, T>, SQLError> {
    let mut held = RoleDependencyLocks::default();
    let mut writer_prepared = false;
    loop {
        let candidate = prepare()?;
        let pending = held.missing(&candidate.roles, &candidate.dependencies)?;
        if !pending.is_empty() {
            drop(candidate);
            held.acquire(context, pending)?;
            writer_prepared = false;
        } else if writer_prepared || !needs_writer(&candidate.value) {
            return Ok(candidate);
        } else {
            drop(candidate);
            prepare_writer()?;
            writer_prepared = true;
        }
    }
}