Skip to main content

SyncServiceManager

Struct SyncServiceManager 

Source
pub struct SyncServiceManager { /* private fields */ }
Expand description

Manager for background journal synchronization

Integrates aura_sync::SyncService into the agent runtime lifecycle. Handles startup, shutdown, and coordination with other agent services.

Implementations§

Source§

impl SyncServiceManager

Source

pub const ACTOR_BOUNDARY_CATEGORY: BoundaryDeclarationCategory = ::aura_core::BoundaryDeclarationCategory::ActorOwned

Source

pub const ACTOR_OWNER_NAME: &'static str = "sync_service_manager"

Source

pub const ACTOR_DOMAIN_NAME: &'static str = "sync"

Source

pub const ACTOR_INGRESS_GATE: &'static str = "sync_command_ingress"

Source

pub const ACTOR_DECLARATION_CATEGORY_LITERAL: &'static str = "actor_owned"

Source

pub fn actor_declaration() -> ActorDeclaration<Self, SyncCommand>

Source

pub fn actor_ingress() -> BoundedActorIngress<Self, SyncCommand>

Source

pub fn register_actor_supervision<HandleId>( handle_id: HandleId, shutdown: OwnedShutdownToken, ) -> SupervisionRegistration<Self, SyncCommand, HandleId>

Source§

impl SyncServiceManager

Source

pub const OWNERSHIP_CATEGORY: OwnershipCategory = OwnershipCategory::ActorOwned

Source

pub fn new(config: SyncManagerConfig) -> Self

Create a new sync service manager

Source

pub fn with_indexed_journal( config: SyncManagerConfig, indexed_journal: Arc<dyn IndexedJournalEffects + Send + Sync>, time: Arc<dyn PhysicalTimeEffects>, ) -> Self

Create a new sync service manager with indexed journal for Merkle verification

This enables fact sync with cryptographic verification of facts using Merkle trees and Bloom filters from the indexed journal.

Source

pub fn with_defaults() -> Self

Create with default configuration

Source

pub async fn state(&self) -> SyncManagerState

Get the current state

Source

pub async fn is_running(&self) -> bool

Check if the service is running

Source

pub async fn sync_with_peers<E>( &self, effects: &E, peers: Vec<DeviceId>, ) -> Result<(), SyncManagerError>

Perform a manual sync with specific peers

§Arguments
  • effects: Effect system providing journal, network, and time capabilities
  • peers: List of peers to sync with
Source

pub async fn add_peer(&self, peer: DeviceId)

Add a peer to the known peers list

Source

pub async fn remove_peer(&self, peer: &DeviceId)

Remove a peer from the known peers list

Source

pub async fn peers(&self) -> Vec<DeviceId>

Get the list of known peers

Source

pub async fn sync_service_health(&self) -> Option<SyncServiceHealth>

Get service health information

Source

pub async fn metrics(&self) -> Option<ServiceMetrics>

Get service metrics

Source

pub fn config(&self) -> &SyncManagerConfig

Get the configuration

Source

pub fn has_merkle_verification(&self) -> bool

Check if Merkle verification is available

Returns true if the manager was created with an indexed journal, enabling cryptographic fact verification.

Source

pub async fn local_merkle_root(&self) -> Option<[u8; 32]>

Get the local Merkle root for exchange with peers

Returns None if Merkle verification is not enabled (no indexed journal). The root represents the current state of the local fact journal and can be compared with remote roots to determine if synchronization is needed.

Source

pub async fn verify_facts( &self, facts: Vec<IndexedFact>, claimed_root: [u8; 32], ) -> Option<VerificationResult>

Verify incoming facts against the local Merkle tree

Returns None if Merkle verification is not enabled. Otherwise returns the verification result containing:

  • verified: Facts that passed verification
  • rejected: Facts that failed verification with reasons
  • merkle_root: Current local Merkle root after verification
Source

pub fn merkle_verifier(&self) -> Option<&Arc<MerkleVerifier>>

Get the internal Merkle verifier reference

Returns None if Merkle verification is not enabled. Use this for direct access to verification operations like compare_roots() or local_bloom_filter().

Source§

impl SyncServiceManager

Async health check implementation

Source

pub async fn health_async(&self) -> ServiceHealth

Get the service health status asynchronously

This provides full health information including underlying service health. For the synchronous RuntimeService::health(), a simplified status is returned.

Source§

impl SyncServiceManager

Source

pub async fn execute_epoch_rotation_coordinator( &self, effects: Arc<AuraEffectSystem>, coordinator_id: AuthorityId, participant1_id: AuthorityId, participant2_id: AuthorityId, proposal: EpochRotationProposal, commit: EpochCommit, ) -> Result<(), SyncManagerError>

Execute epoch rotation protocol as coordinator.

Source

pub async fn execute_epoch_rotation_participant( &self, effects: Arc<AuraEffectSystem>, role: EpochRotationProtocolRole, coordinator_id: AuthorityId, participant1_id: AuthorityId, participant2_id: AuthorityId, confirmation: EpochConfirmation, ) -> Result<(), SyncManagerError>

Execute epoch rotation protocol as participant.

Source

pub async fn delegate_epoch_rotation_session( &self, effects: Arc<AuraEffectSystem>, rotation_id: &str, from_authority: AuthorityId, to_authority: AuthorityId, bundle_id: Option<String>, ) -> Result<DelegationReceipt, SyncManagerError>

Delegate ownership of an epoch-rotation session to another authority.

This updates runtime session footprints and records a relational protocol fact.

Trait Implementations§

Source§

impl Clone for SyncServiceManager

Source§

fn clone(&self) -> SyncServiceManager

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Default for SyncServiceManager

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl RuntimeService for SyncServiceManager

Source§

fn name(&self) -> &'static str

Returns the unique name of this service Read more
Source§

fn dependencies(&self) -> &[&'static str]

Returns the names of services this service depends on Read more
Source§

fn start<'life0, 'life1, 'async_trait>( &'life0 self, context: &'life1 RuntimeServiceContext, ) -> Pin<Box<dyn Future<Output = Result<(), ServiceError>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Start the service Read more
Source§

fn stop<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<(), ServiceError>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Stop the service gracefully Read more
Source§

fn health<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = ServiceHealth> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait,

Returns the current health status of the service Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Az for T

Source§

fn az<Dst>(self) -> Dst
where T: Cast<Dst>,

Casts the value.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<Src, Dst> CastFrom<Src> for Dst
where Src: Cast<Dst>,

Source§

fn cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> CheckedAs for T

Source§

fn checked_as<Dst>(self) -> Option<Dst>
where T: CheckedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> CheckedCastFrom<Src> for Dst
where Src: CheckedCast<Dst>,

Source§

fn checked_cast_from(src: Src) -> Option<Dst>

Casts the value.
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> IntoViewDelta for T
where T: Any + Send + Sync,

Source§

fn into_view_delta(self) -> Box<dyn Any + Send + Sync>

Convert self into a type-erased ViewDelta.
Source§

impl<Src, Dst> LosslessTryInto<Dst> for Src
where Dst: LosslessTryFrom<Src>,

Source§

fn lossless_try_into(self) -> Option<Dst>

Performs the conversion.
Source§

impl<Src, Dst> LossyInto<Dst> for Src
where Dst: LossyFrom<Src>,

Source§

fn lossy_into(self) -> Dst

Performs the conversion.
Source§

impl<T> OverflowingAs for T

Source§

fn overflowing_as<Dst>(self) -> (Dst, bool)
where T: OverflowingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> OverflowingCastFrom<Src> for Dst
where Src: OverflowingCast<Dst>,

Source§

fn overflowing_cast_from(src: Src) -> (Dst, bool)

Casts the value.
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> SaturatingAs for T

Source§

fn saturating_as<Dst>(self) -> Dst
where T: SaturatingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> SaturatingCastFrom<Src> for Dst
where Src: SaturatingCast<Dst>,

Source§

fn saturating_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> StrictAs for T

Source§

fn strict_as<Dst>(self) -> Dst
where T: StrictCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> StrictCastFrom<Src> for Dst
where Src: StrictCast<Dst>,

Source§

fn strict_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> UnwrappedAs for T

Source§

fn unwrapped_as<Dst>(self) -> Dst
where T: UnwrappedCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> UnwrappedCastFrom<Src> for Dst
where Src: UnwrappedCast<Dst>,

Source§

fn unwrapped_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<S, T> Upcast<T> for S
where T: UpcastFrom<S> + ?Sized, S: ?Sized,

Source§

fn upcast(&self) -> &T
where Self: ErasableGeneric, T: ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider ref type within the Wasm bindgen generics type system. Read more
Source§

fn upcast_into(self) -> T
where Self: Sized + ErasableGeneric, T: ErasableGeneric<Repr = Self::Repr>,

Perform a zero-cost type-safe upcast to a wider type within the Wasm bindgen generics type system. Read more
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> WrappingAs for T

Source§

fn wrapping_as<Dst>(self) -> Dst
where T: WrappingCast<Dst>,

Casts the value.
Source§

impl<Src, Dst> WrappingCastFrom<Src> for Dst
where Src: WrappingCast<Dst>,

Source§

fn wrapping_cast_from(src: Src) -> Dst

Casts the value.
Source§

impl<T> Endpoint for T
where T: Send,