Go to Qiita Advent Calendar 2024 Top
LoginSignup
2
2

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

@MitsutakaTakeda

ZIOでの繰り返しとリトライ処理

Posted at

Schedule[A, B]

ZIOは繰り返しとリトライ処理をSchedule[A, B]という型で抽象化し同等に扱います。

Schedule[A, B]aは以下を表現する不変な値です。

  • A型の値を入力として受け取りB型の値を出力する。
  • 入力に基づいて計算を終了するか、遅延を挟んで継続するか決定する。

Schedule[A, B]を導入すると、繰り返しは計算の成功結果Sを入力として受け取るSchedule[S, B]として、リトライ処理は計算の失敗理由Eを入力として受け取るSchedule[E, B]として表現できます。

計算のrepeatとretryメソッドにScheduleの値を渡すと、その計算の繰り返しとリトライ処理を設定することができます。

基本的なScheduleb

never

計算を実行しなくします。

以下のコードは"Hello"を表示せず終了しません。

  "Schedule.never" should {
    "never execute the effect" in {
      unsafeRun(UIO(println("Hello")).repeat(Schedule.never))
    }
  }

forever and identity

foreverとidentityは計算を制限なく繰り返します。

1番目のケースでは1秒間"Hello"を繰り返し表示します。c

2番目のケースでは成功するまでリクエストを繰り返します。

3番目のケースではrepeat(forever)として制限なく繰り返すように指定しています。2番目のケースretry(forever)で見たようにretryは最初の成功の時点で計算が終了し、repeatは最初の失敗の時点で計算が終了します。

  "Schedule.forever" should {
    "repeat the successful effect forever" in {
      unsafeRun(
        UIO(println("Hello")).repeat(Schedule.forever)
          .race(UIO("done").delay(Duration(1, TimeUnit.SECONDS)))
      )
    }
    "retry the effect until succeed" in {
      val service = new StubService(2)
      unsafeRun(
        IO(service.request()).retry(Schedule.forever) >>= (s => UIO(println(s)))
      )
    }
    "repeat does not repeat failed effect" in {
      val service = new StubService(2)
      assertThrows[FiberFailure] {
        unsafeRun(
          IO(service.request()).repeat(Schedule.forever) >>= (s => UIO(println(s)))
        )
      }
    }
  }

identityはforeverと同じく制限なく繰り返すScheduleです。identityはSchedule[A, A]型で入力をそのまま出力するのに対して、foreverはSchedule[Any, Int]型で入力を破棄して現在の繰り返しの回数を出力します。出力の違いは後述のScheduleの合成で意味を持つことになります。

recurse and once

繰り返しの回数を指定する場合にはrecurseを使用します。

recurseで指定する"繰り返しの回数"は、最初の計算の実行回数を含みません。そのためrepeatにrecurseを渡したとき実際に計算はrecurseで指定した回数＋１になります。同様にretryに渡したときもrecurseは、リクエストの回数ではなくリトライの回数になります。

  "Schedule recurse" should {
    "repeat the effect for specified numbers" in {
      unsafeRun(
        UIO(println("Hello")).repeat(Schedule.recurs(2))
      )
      // prints out "Hello" three times:
      // Hello
      // Hello
      // Hello
    }
    "retry the effect for specified numbers" in {
      val service = new StubService(2)
      unsafeRun(
        IO(service.request()).retry(Schedule.recurs(2)) >>= (s => UIO(println(s)))
        // prints out: Succeeded at 2 attempt
      )
    }
  }

onceはrecurse(1)と同等です。

doWhile and doUntil

入力値に基づいて計算の継続か終了を判定するためにはdoWhileやdoUntilを使用します。

doWhileは入力値に対する述語を受け取り、"その述語が真である間"計算を継続します。

リピートの回数やエラーの種類によって、繰り返し、またはリトライ処理を継続するか判定できます。

  "Schedule doWhile" should {
    "repeat an effect while a predicate is satisfied" in {
      var i = 0
      unsafeRun(
        UIO{ i += 1; i }.repeat(Schedule.doWhile(_ < 3)) >>= (n => UIO(n))
      ) shouldBe 3
    }
    "retry an effect while a predicate is satisfied" in {
      val service = new StubService(2)
      unsafeRun(IO(service.request()).retry(Schedule.doWhile{(e: Throwable) => e match {
        case NonFatal(_) => true
      }}).either) shouldBe a[Right[_, _]]
    }
  }

doUntilは入力値に対する述語を受け取り、"その述語が真になるまで"計算を継続します。

  "Schedule doUntil" should {
    // doUntil is equivalent to doWhile negated
    "repeat an effect until a predicate is satisfied" in {
      var i = 0
      unsafeRun(
        UIO{ i += 1; i }.repeat(Schedule.doUntil(_ >= 3)) >>= (n => UIO(n))
      ) shouldBe 3
    }
    "retry an effect while a predicate is satisfied" in {
      val service = new StubService(2)
      unsafeRun(IO(service.request()).retry(Schedule.doUntil{(e: Throwable) => e match {
        case NonFatal(_) => false
      }}).either) shouldBe a[Right[_, _]]
    }
  }

spaced, linear, fibonacci, and exponential

繰り返しやリトライの間隔を指定できます。

spacedは指定された間隔で等間隔で計算を繰り返します。100ミリ秒ごとに"Hello"を表示するプログラムは以下のように書けます。

  "Schedule spaced" should {
    "repeat an effect " in {
      unsafeRun(
        UIO(println("Hello"))
          .repeat(Schedule.spaced(Duration(100, TimeUnit.MILLISECONDS)))
          .race(UIO(()).delay(Duration(1, TimeUnit.SECONDS)))
      )
    }
  }

linear、fibonacci、exponentialは、初期の間隔を受け取り繰り返し毎に間隔を増加させていきます。100msecを初期の間隔とした場合の実行の間隔は以下のグラフのように推移します。

chart.png

Scheduleの合成

複数のScheduleから新しいScheduleを合成できます。

積(&&)と和(||)

Scheduleには積と和の演算が定義されています。

s1 s2 s1 && s2 s1 or s2※
継続または終了 s1の条件 s2の条件 s1とs2の条件の論理積 s1とs2の条件の論理和
間隔 s1の間隔 s2の間隔 s1とs2の間隔のmax s1とs2の間隔のmin
結果 s1の結果 s2の結果 s1とs2の結果のpair: (B1, B2) s1とs2の結果のpair: (B1, B2)

100msecの等間隔(s1 = spaced(100msec))で3回繰り返す(s2 = recurse(3))スケジュールは以下のようになります。

  "Schedule operator" should {
    "compose multiple schedules" in {
      unsafeRun(
        UIO(println("Hello"))
          .repeat(Schedule.spaced(Duration(100, TimeUnit.MILLISECONDS)) && Schedule.recurs(3))
      )
    }
  }

2日おき、または、毎週繰り返すスケジュールは和で定義できます。

  "Union" should {
    "execute computation when either one of schedules triggers" in {
      unsafeRun(
        // prints "Hello" every two days or every week
        UIO(println("Hello"))
          .repeat(Schedule.spaced(Duration(2, TimeUnit.DAYS)) || Schedule.spaced(Duration(7, TimeUnit.DAYS)))
      )
    }
  }

積には合成したScheduleの結果を無視する*>と<*という演算子もあります。

andThen and andThenEither

1つ目のScheduleの完了後に2つ目のScheduleに移行するScheduleを定義するためにandThenを使用します。

最初の4回の繰り返しは指数関数的に間隔を広げていき（1つ目のSchedule)、そのあと等間隔に繰り返す（2つ目のSchedule）をスケジュールは以下のように書けます。

  "andThen" should {
    "complete the first schedule and then execute the second" in {
      unsafeRun(
        UIO(println("Hello"))
          .repeat(
            (Schedule.exponential(Duration(100, TimeUnit.MILLISECONDS)) &&
              Schedule.recurs(4)) andThen
              (Schedule.spaced(Duration(2, TimeUnit.SECONDS)) &&
                Schedule.recurs(2))
          )
      )
    }
  }

andThenは1つ目のScheduleの結果と2つ目のScheduleの結果をマージして、どちらのScheduleの結果か区別できなくなります。andThenEitherでScheduleを合成すると1つめの結果をLeftに2つ目の結果をRightに格納するEither型の結果を返します。

その他

jittered

Scheduleの間隔をランダムに調整します。

c番目のリトライの間隔が$d \in [0, ベース間隔 \times (2^c - 1)]$になるようなEthernetのExponential Backoffアルゴリズムは以下のように書けます。

  "Ethernet protocol" should {
    "avoid collision by exponential backoff" in {
      val base = Duration(51200, TimeUnit.NANOSECONDS)
      val backOffPolicy = Schedule.exponential(base).jittered

      unsafeRun(
        UIO(println("Hello"))
          .repeat(backOffPolicy)
      )
    }
  }

logInput and logOutput

計算の実行結果やエラー情報のログを出力したいときに使用するのがlogInputとlogOutputです。

logInputでScheduleの入力を、logOutputで出力を受け取ることができます。retryはScheduleの入力にエラー情報を渡すため、以下のようにlogInputと組み合わせるとエラー情報をログに出力できます。

  "logInput" should {
    "log every input" in {
      val service = new StubService(100)

      unsafeRun(
        IO(service.request())
          .retry(Schedule.recurs(4)
            .logInput((e: Throwable) => UIO(println(e))))
      )
    }
  }

終わりに

ZIOのScheduleは繰り返し処理とリトライ処理の仕様を表現する不変な値です。ZIOに用意されている基本的なScheduleと組み合わせ操作によって複雑な仕様も表現可能です。

参考

ZIO Schedule: Conquering Flakiness & Recurrence with Pure Functional Programming

補足

a.Schedule[A, B]はZSchedule[R, A, B]の環境RをAnyに固定したエイリアス。

b. サンプルコード中のStubServiceの定義。指定した回数の間はリクエストを失敗して例外を投げる。

  class StubService(val failUntil: Int) {
    var current = 0

    def request(): String = {
      current += 1
      if (current >= failUntil) {
        s"Succeed at $current attempt"
      } else {
        throw new Exception(s"failed at $current attempt")
      }
    }
  }

c. raceについては以前の記事を参照。

2
2
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
2
2

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?