Trait rotor_tools::sync::Replaceable

pub trait Replaceable: Machine {
    fn empty(&self) -> Self;

    fn restart(self, _scope: &mut Scope<Self::Context>) -> Response<Self, Self::Seed> { ... }
}

A trait which allows to replace the state machine with dummy/null/None

Since we put machine (used with Mutexed) into a Arc<Mutex<M>> we need to replace it with some other value while the real value is moved off the state machine to be able to replace it by code, having self by-value.

When the thread working with the state machine panics while machine is moved off the place, the poisoned lock is left with Replaceable::empty value. When lock is poisoned we unwrap the value and use it as a valid state machine. So you can continue to work after panic with the clean state after a crash (perhaps if the panic was in different thread).

The text above means you should be able to "restart" the state machine from the empty() state.

Required Methods

fn empty(&self) -> Self

Return the empty value that may be used as replacement

The method must be cheap to compute. Because it's executed on every action of a state machine (for mem::replace)

Note in case the lock is poisoned (panic was received while keeping state machine locked, perhaps in another thread), the empty value is used on the poisoned value, before restart() is called. This means you only want to use read-only parts of self here (better none at all, but that's not always possible).

Provided Methods

fn restart(self, _scope: &mut Scope<Self::Context>) -> Response<Self, Self::Seed>

Restart a state machine from empty() state

This method is called before calling any other action methods when lock holding the state machine was poisoned.

Note that after the restart current event is discarded, it's assumed that state machine is already arranged to receive some new events (i.e. it's useless to keep old ready() event if new connection is just being established)

While you can check the state of the old machine (a self), and even return it as is, it's strongly discouraged, as you can't know exact kind of failure that happened in other thread (when lock was poisoned). But in case protocol is super-simple (like line-based without exceptions) and it's not security critical (i.e. monitoring using graphite), you may reuse old state machine or parts there of.

Default implementation is just to panic

Implementors