sark-h2 0.26.0

Fiber-free HTTP/2 protocol primitives and manifold server for sark
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

use sark_core::{life::session, manifold::stream::Section};
use sark_http::field::metadata::section::rules;

use crate::{
    conn::{event, machine},
    stream,
};

#[derive(Clone, Copy, PartialEq, Eq)]
pub(crate) struct Header {
    pub(crate) stream_id: stream::Nonzero,
    pub(crate) exchange: Option<stream::Key>,
    pub(crate) stage: Stage,
}

#[derive(Clone, Copy, PartialEq, Eq)]
#[repr(u8)]
pub(crate) enum Stage {
    Initial,
    Other,
}

const _: () = assert!(core::mem::size_of::<Stage>() == core::mem::size_of::<bool>());
const _: () = assert!(core::mem::align_of::<Stage>() == core::mem::align_of::<bool>());

impl Header {
    pub(crate) fn read<R, F, C, A, E>(conn: &machine::Connection<R, F, C, A, E>) -> Option<Self>
    where
        R: crate::Role,
        F: rules::Policy,
        C: session::Storage,
        A: rules::Push,
        E: event::Evidence,
    {
        use crate::conn::ingress::headers::{Action, Kind};

        let pending = conn.ingress.headers.pending()?;
        let (section, action) = match pending.kind {
            Kind::Headers {
                section, action, ..
            } => (section, action),
            Kind::PushPromise { .. } => {
                return Some(Self {
                    stream_id: pending.stream_id,
                    exchange: None,
                    stage: Stage::Other,
                });
            }
        };
        let exchange = match action {
            Action::Deliver => conn.state.active_streams.store.key(pending.stream_id),
            Action::Reset(_) => None,
        };
        Some(Self {
            stream_id: pending.stream_id,
            exchange,
            stage: match section {
                Section::Initial => Stage::Initial,
                Section::Trailing => Stage::Other,
            },
        })
    }
}