infinite-db 0.1.5

A spatial-graph database using n-dimensional curves and hyperedges for engineering logic.
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

//! Transport contract for pushing local writes to a remote server.

use bincode::{Decode, Encode};
use crate::infinitedb_core::address::{Address, RevisionId};
use crate::infinitedb_core::hyperedge::{Hyperedge, HyperedgeId};
use crate::infinitedb_core::signal::SignalSample;
use crate::infinitedb_core::address::SpaceId;

/// Logical operation that should be replicated to a remote node.
#[derive(Debug, Clone, Encode, Decode)]
pub enum SyncOperation {
    /// Insert/update payload at an address revision.
    Write {
        address: Address,
        revision: RevisionId,
        data: Vec<u8>,
    },
    /// Logical delete at an address revision.
    Tombstone {
        address: Address,
        revision: RevisionId,
    },
    /// Typed hyperedge upsert operation.
    WriteHyperedge {
        space: SpaceId,
        edge: Hyperedge,
        revision: RevisionId,
    },
    /// Typed hyperedge delete operation.
    DeleteHyperedge {
        space: SpaceId,
        edge_id: HyperedgeId,
        revision: RevisionId,
    },
    /// Typed signal upsert operation.
    WriteSignal {
        space: SpaceId,
        sample: SignalSample,
        revision: RevisionId,
    },
}

/// One outbox operation sent over transport with stable ID.
#[derive(Debug, Clone, Encode, Decode)]
pub struct SyncEnvelope {
    pub op_id: u64,
    pub op: SyncOperation,
}

/// Result of attempting to apply one operation on the remote side.
#[derive(Debug, Clone, Encode, Decode)]
pub enum SyncResult {
    /// Operation applied successfully and can be removed from the outbox.
    Ack { op_id: u64 },
    /// Temporary failure; retry later.
    Retry { op_id: u64, error: String },
    /// Conflict resolved as stale by last-write-wins semantics; drop locally.
    ConflictStale { op_id: u64, reason: String },
}

/// Host-provided transport for remote replication.
pub trait SyncTransport: Send + Sync {
    /// Push a batch of operations and return a per-operation result.
    fn push_batch(&self, batch: &[SyncEnvelope]) -> Result<Vec<SyncResult>, String>;
}

/// Default no-op transport. Useful for embedded-only users.
pub struct NoopSyncTransport;

impl SyncTransport for NoopSyncTransport {
    fn push_batch(&self, batch: &[SyncEnvelope]) -> Result<Vec<SyncResult>, String> {
        Ok(batch
            .iter()
            .map(|item| SyncResult::Retry {
                op_id: item.op_id,
                error: "NoopSyncTransport does not send writes".to_string(),
            })
            .collect())
    }
}