Struct frugalos_mds::Service

pub struct Service { /* fields omitted */ }

MDS用のサービスを表すFuture実装.

MDSノードの管理やRPC要求の処理等を担当する.

一つのサーバ(HTTPサーバ)につき、一つのサービスインスタンスが起動していることを想定.

Implementations

impl Service

pub fn new(
    logger: Logger,
    rpc: &mut RpcServerBuilder,
    tracer: ThreadLocalTracer
) -> Result<Self>

新しいServiceインスタンスを生成する.

pub fn handle(&self) -> ServiceHandle

Serviceを操作するためのハンドルを返す.

pub fn stop(&mut self)

サービスを停止する.

サービス停止前には、全てのローカルノードでスナップショットが取得される.

サービスの停止時に考慮すべきこと

(a) すべてのノードが停止するまでに発生するノードの取得エラー(存在しない ノードへの参照)を減らすこと.

(b) 停止時のノードのスナップショット取得以降に LogSuffix を伸ばしすぎ ないこと. 次回起動に時間がかかるようになってしまうため.

ノードを順次停止することの問題点

旧実装のようにスナップショットを取得し終えたノードから順次停止して いくと存在しないノードに対するリクエストが発生しやすくなる.なぜなら、 MDS に RPC 呼び出しをするクライアント側は RPC サーバが停止するまでは 停止済みのノードに対するリクエストを送り続けてくるからである.

特にここで問題となるのは、ノードがすべて停止するまでの間に発生する、 停止済みのノードの取得失敗によるエラーであり、この状況ではクライアント 側のリトライで状況が改善しないため実質的にリトライが意味をなさない.

停止時のエラーを極力抑える新実装

上述の問題を避けるためにサービスの停止処理を以下の2段階に分ける.

1. スナップショットの取得
2. 1 がすべてのノードで完了するまで待ち合わせてからノードを停止

1 で Node の状態が Stopping に変更され、スナップショットの取得 もされる.スナップショットの取得が完了した際にそれを Service に Monitored 経由で通知する.

すべてのノードがスナップショットを取得したら(あるいは、スキップ)、 Request::Exit を Node に送り Node の状態を Stopped に変更 する.

この実装と Leader ノード以外もリクエストに応答できるようにする変更 を組み合わせることで停止時のエラーを減らすことが可能になっている.

新実装のデメリット

(b) について、スナップショットの取得に時間がかかる環境では LogSuffix が伸びて、スナップショット取得の効果が薄れてしまうことは許容する.

pub fn take_snapshot(&mut self)

スナップショットを取得する.

pub fn start_segment_gc(&self, local_id: LocalNodeId, tx: StartSegmentGcReply)

Performs segment_gc on a single node. After this command, mds sends to Synchronizer a command which contains the following:

• machine
• next_commit_id

pub fn stop_segment_gc(&self, local_id: LocalNodeId, tx: StopSegmentGcReply)

Stops segment_gc on a single node.

Trait Implementations

impl Debug for Service

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Future for Service

type Item = ()

The type of value that this future will resolved with if it is successful.

type Error = Error

The type of error that this future will resolve with if it fails in a normal fashion.

pub fn poll(&mut self) -> Poll<Self::Item, Self::Error>

Query this future to see if its value has become available, registering interest if it is not.

pub fn wait(self) -> Result<Self::Item, Self::Error>

Block the current thread until this future is resolved.

pub fn map<F, U>(self, f: F) -> Map<Self, F> where
    F: FnOnce(Self::Item) -> U, 

Map this future's result to a different type, returning a new future of the resulting type.

pub fn map_err<F, E>(self, f: F) -> MapErr<Self, F> where
    F: FnOnce(Self::Error) -> E, 

Map this future's error to a different error, returning a new future.

pub fn from_err<E>(self) -> FromErr<Self, E> where
    E: From<Self::Error>, 

Map this future's error to any error implementing From for this future's Error, returning a new future.

pub fn then<F, B>(self, f: F) -> Then<Self, B, F> where
    B: IntoFuture,
    F: FnOnce(Result<Self::Item, Self::Error>) -> B, 

Chain on a computation for when a future finished, passing the result of the future to the provided closure f.

pub fn and_then<F, B>(self, f: F) -> AndThen<Self, B, F> where
    B: IntoFuture<Error = Self::Error>,
    F: FnOnce(Self::Item) -> B, 

Execute another future after this one has resolved successfully.

pub fn or_else<F, B>(self, f: F) -> OrElse<Self, B, F> where
    B: IntoFuture<Item = Self::Item>,
    F: FnOnce(Self::Error) -> B, 

Execute another future if this one resolves with an error.

pub fn select<B>(self, other: B) -> Select<Self, <B as IntoFuture>::Future> where
    B: IntoFuture<Item = Self::Item, Error = Self::Error>, 

Waits for either one of two futures to complete.

pub fn select2<B>(self, other: B) -> Select2<Self, <B as IntoFuture>::Future> where
    B: IntoFuture, 

Waits for either one of two differently-typed futures to complete.

pub fn join<B>(self, other: B) -> Join<Self, <B as IntoFuture>::Future> where
    B: IntoFuture<Error = Self::Error>, 

Joins the result of two futures, waiting for them both to complete.

pub fn join3<B, C>(
    self,
    b: B,
    c: C
) -> Join3<Self, <B as IntoFuture>::Future, <C as IntoFuture>::Future> where
    B: IntoFuture<Error = Self::Error>,
    C: IntoFuture<Error = Self::Error>, 

Same as join, but with more futures.

pub fn join4<B, C, D>(
    self,
    b: B,
    c: C,
    d: D
) -> Join4<Self, <B as IntoFuture>::Future, <C as IntoFuture>::Future, <D as IntoFuture>::Future> where
    B: IntoFuture<Error = Self::Error>,
    C: IntoFuture<Error = Self::Error>,
    D: IntoFuture<Error = Self::Error>, 

Same as join, but with more futures.

pub fn join5<B, C, D, E>(
    self,
    b: B,
    c: C,
    d: D,
    e: E
) -> Join5<Self, <B as IntoFuture>::Future, <C as IntoFuture>::Future, <D as IntoFuture>::Future, <E as IntoFuture>::Future> where
    B: IntoFuture<Error = Self::Error>,
    C: IntoFuture<Error = Self::Error>,
    D: IntoFuture<Error = Self::Error>,
    E: IntoFuture<Error = Self::Error>, 

Same as join, but with more futures.

pub fn into_stream(self) -> IntoStream<Self>

Convert this future into a single element stream.

pub fn flatten(self) -> Flatten<Self> where
    Self::Item: IntoFuture,
    <Self::Item as IntoFuture>::Error: From<Self::Error>, 

Flatten the execution of this future when the successful result of this future is itself another future.

pub fn flatten_stream(self) -> FlattenStream<Self> where
    Self::Item: Stream,
    <Self::Item as Stream>::Error == Self::Error, 

Flatten the execution of this future when the successful result of this future is a stream.

pub fn fuse(self) -> Fuse<Self>

Fuse a future such that poll will never again be called once it has completed.

pub fn inspect<F>(self, f: F) -> Inspect<Self, F> where
    F: FnOnce(&Self::Item), 

Do something with the item of a future, passing it on.

pub fn catch_unwind(self) -> CatchUnwind<Self> where
    Self: UnwindSafe, 

Catches unwinding panics while polling the future.

pub fn shared(self) -> Shared<Self>

Create a cloneable handle to this future where all handles will resolve to the same result.