cartel-sqlite 0.29.0

SQLite driver for the dope runtime
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

use crate::{api::work, sys};
use std::mem;
use work::guard::{self, call};

#[derive(Clone, Copy)]
pub(crate) enum Authority {
    Plain,
    Control,
}

#[derive(Clone, Copy)]
pub(crate) enum Retry {
    Denied,
    Allowed,
}

pub(crate) trait Access {
    type Output<T>;

    const AUTHORIZATION: Authority;

    fn retry(&self) -> Retry;

    fn complete<T>(self, guard: &guard::Guard<'_, call::Call>, value: T) -> Self::Output<T>;

    fn busy(&self, fault: sys::Fault, tx: sys::Tx) -> crate::Error {
        match (tx, self.retry()) {
            (sys::Tx::Idle, _) | (sys::Tx::Active, Retry::Allowed) => fault.busy(),
            (sys::Tx::Active, Retry::Denied) => fault.transaction(),
        }
    }
}

pub(crate) struct Plain;

pub(crate) struct Control {
    retry: Retry,
}

impl Control {
    pub(super) const fn new(retry: Retry) -> Self {
        Self { retry }
    }
}

impl Access for Plain {
    type Output<T> = T;

    const AUTHORIZATION: Authority = Authority::Plain;

    fn retry(&self) -> Retry {
        Retry::Denied
    }

    fn complete<T>(self, _: &guard::Guard<'_, call::Call>, value: T) -> T {
        value
    }
}

impl Access for Control {
    type Output<T> = T;

    const AUTHORIZATION: Authority = Authority::Control;

    fn retry(&self) -> Retry {
        self.retry
    }

    fn complete<T>(self, _: &guard::Guard<'_, call::Call>, value: T) -> T {
        value
    }
}

impl Access for work::Permit {
    type Output<T> = work::Count;

    const AUTHORIZATION: Authority = Authority::Control;

    fn retry(&self) -> Retry {
        Retry::Denied
    }

    fn complete<T>(self, guard: &guard::Guard<'_, call::Call>, _: T) -> work::Count {
        guard.work().depth.open(self)
    }
}

const _: () = {
    assert!(mem::size_of::<Plain>() == 0);
    assert!(mem::size_of::<Control>() == mem::size_of::<Retry>());
    assert!(mem::size_of::<Retry>() == mem::size_of::<bool>());
};