PHPでアクターモデルを活用したSagaパターンの実践法 / php-saga-pattern-with-actor-model

phperkaigi2025

Transcript

1. PHPͰΞΫλʔϞσϧΛ ׆༻ͨ͠ Sagaύλʔϯͷ࣮ફ๏ PHPerKaigi 2025 ytake
2. Pro fi le • ஛ᖒ ༗و a.k.a ytake • ઍגࣜձࣾ CTO גࣜձࣾACESɺגࣜձࣾωοτϓϩςΫγϣϯζٕज़ސ໰ • Go / Scala / Kotlin
3. https://github.com/ytake/ phluxor-saga-example
4. SagaύλʔϯͬͯͳΜͩʁ
5. Sagaύλʔϯͱ͸ • ෳ਺ͷαʔϏεʢ෺ཧతʹ෼͔Ε͍ͯΔ΋ͷʣʹ·͕ͨΔॲཧͰ Ұͭʹ·ͱ·ͬͨτϥϯβΫγϣϯͷΑ͏ʹѻ͏ͨΊͷύλʔϯ • ్தͷॲཧ͕ࣦഊͨ͠৔߹ɺ γεςϜશମΛໃ६ͷͳ͍ঢ়ଶʹ໭ͨ͢Ίͷ ʮิঈτϥϯβΫγϣϯʯΛ࣮ߦ
9. X
10. X
11. ฦ඼ • ϨγʔτΛ΋ͱʹɺฦ඼ɾฦۚͯ͠΋Β͏ ߪೖͷࣄ࣮͕࢒͍ͬͯΔ • ঎඼͸͓ళʹ໭Γɺ͓ۚ͸ࣗ෼ͷखݩʹฦͬͯ͘Δ
12. ࣮ફ͢Δʹ͸ɾɾɾʁ
13. ࣦഊ͔Βͷճ෮ઓུ • ࣦഊͨ͠৔߹ʹલͷঢ়ଶʹ໭ͤΔ͜ͱ • ్தͷॲཧ͕ࣦഊͨ͠৔߹ɺϦτϥΠ͢Δ • ଞͷϥϯλΠϜͰॲཧ͕ߦΘΕͯ΋ໃ६͕ൃੜ͠ͳ͍Α͏ʹ͢Δ
14. ࣮૷͢Δ৔߹ • ΠϕϯτιʔγϯάͰલͷঢ়ଶʹ໭ͤΔΑ͏ʹ • Πϕϯτ͸ঢ়ଶͷεφοϓγϣοτʹ • ෭໰߹ͤΛߦͬͯঢ়ଶ෮ݩ͢Δܗʹ͸͠ͳ͍ʂ
18. ؾΛ͚ͭΑ͏ • ର৅ͷ΋ͷҎ֎͸௨ৗʹՔಇ • ଞͷ΋ͷΛελοΫͤ͞ͳ͍Α͏ʹ • ࣌ܥྻ͕લޙ͠ͳ͍Α͏ʹ
19. ૹۚͰߟ͑ͯΈΑ͏
20. γφϦΦ
21. ۚમৼସγφϦΦ • Account1 ͔Β Account2 ΁ 10ԁΛૹۚ͢ΔγφϦΦ • ޱ࠲͕ϦϞʔταʔϏεͱͯ͠ಈ࡞͢Δ৔߹ʹى͜Γ͏Δ ϦΫΤετڋ൱ɺΫϥογϡɺϏδʔঢ়ଶɺλΠϜΞ΢τͳͲΛ ߟྀ
23. ੒ޭ • Account1 ͷ࢒ߴ͸ 0 ԁɺAccount2 ͷ࢒ߴ͸ 20 ԁ • ظ଴௨Γʹ͓ޓ͍ͷॲཧ͕ਖ਼ৗʹऴΘΔ
24. ࣦഊ • Account1 ͱ Account2 ͷ࢒ߴ͸ͦΕͧΕ 10 ԁ (Ұ؏ੑͷ͋Δঢ়ଶ) • ظ଴௨Γʹ͓ޓ͍ͷঢ়ଶ͕΋ͱʹ໭Δ
25. ࣦഊγφϦΦ΁ͷରԠ:ϦτϥΠ • Ұ࣌తͳΤϥʔʢϏδʔঢ়ଶɺλΠϜΞ΢τʣʹରͯ͠ɺ Ұఆճ਺ϦτϥΠΛࢼΈΔ
26. ิঈॲཧ (ϩʔϧόοΫ) • Debit ͕੒ޭ͕ͨ͠ Credit ͕ࣦഊͨ͠৔߹ɺ Debit ΛऔΓফͨ͢Ίʹ Credit Λ Account1 ʹ໭͢
27. ΤεΧϨʔγϣϯ • ϦτϥΠ΍ิঈॲཧ͕͏·͍͔͘ͳ͍৔߹ɺ खಈհೖ͕ඞཁͱͳΔՄೳੑ͕͋ΔͨΊɺ ΤεΧϨʔγϣϯઓུΛઃ͚Δ
28. ႈ౳ੑ • Account αʔϏε͕ϦτϥΠ࣌ʹಉ͡ϝοηʔδΛ ෳ਺ճड͚औͬͯ΋ಉ݁͡Ռ͕ಘΒΕΔΑ͏ʹɺ ႈ౳Ͱ͋Δඞཁ͕͋Γ • ॲཧࡁΈͷϝοηʔδΛอ؅͠ɺ ॏෳͨ͠ϝοηʔδʹରͯ͠͸ಉ͡Ԡ౴Λฦ͢
29. ΦʔέετϨʔγϣϯͷSaga࣮૷
30. ΞΫλʔϞσϧͰ࣮ફʂ
31. Phluxor
32. Similar to akka, pekko and Proto Actor
33. ɹPHPΛ௨ͯ͡ ΞΫλʔϞσϧ͕ ମݧͰ͖ΔπʔϧΩοτ *঎༻΍࣮ફ͸ଞݴޠΛ͓નΊ͠·͢
34. ΞΫλʔϞσϧͷ͓͞Β͍
38. ߏ੒ • Runner - సૹϓϩηεΛ։࢝͠ɺ݁ՌΛऩू͢ΔओཁͳΞΫλʔ • Account - ࢒ߴΛ࣋ͪɺೖۚ/ग़ۚૢ࡞Λॲཧ͢ΔΞΫλʔ • TransferProcess - ΞΧ΢ϯτؒͷૹۚΛ੍ޚ͢ΔΞΫλʔ • AccountProxy - TransferProcessͱAccountΞΫλʔؒͷ௨৴Λ஥հ
41. TransferProcessΞΫλʔ
43. TransferProcess ΞΫλʔ • సૹΛ؅ཧ͢Δ੹೚Λ࣋ͭ • Process Manager • ׬ྃͨ͠εςοϓΛ௥੻͠ɺࣦഊ࣌ʹิঈાஔΛద༻ • BehaviorɺPersistenceɺSupervisionར༻ʂ
44. ஌Βͳ͍༻ޠ͹͔Γɾɾ
45. ࣮ફ͍ͨ͠ํͷͨΊʹղઆʂ
46. Process Manager
48. ΑΓཧղ͢ΔͨΊʹ
49. Behavior
50. Behavior • ΞΫλʔ͕ड৴͢Δϝοηʔδʹର͢Δॲཧͷఆٛ • ΞΫλʔ͸ ঢ়ଶΛ࣋ͨͣʢεςʔτϨεʣͰ͸ͳ͍ • ΞΫλʔ͸ঢ়ଶΛ࣋ͪಈతʹ ৼΔ෣͍Λมߋ ͢Δ
51. Become / Unbecome • Become ৽͍͠ৼΔ෣͍ʹʮมԽʯ͢Δʢྫ: ঢ়ଶભҠΛ൐͏ಈ࡞ʣ มԽҎ߱ͷϝοηʔδ͸ ৽͍͠ৼΔ෣͍Ͱॲཧ • Unbecome ҎલͷৼΔ෣͍ʹʮ໭Δʯɺ·ͨ͸σϑΥϧτͷಈ࡞ʹϦηοτ
54. class TransferProcess implements ActorInterface, PersistentInterface { use Mixin; private bool $processCompleted = false; private bool $restarting = false; private bool $stopping = false; public function __construct( private readonly Ref $from, private readonly Ref $to, private readonly float $amount, private readonly float $availability, private readonly Behavior $behavior = new Behavior() ) { $this->behavior->become( new ReceiveFunction( fn($context) => $this->starting($context) ) ); }
55. class TransferProcess implements ActorInterface, PersistentInterface { use Mixin; private bool $processCompleted = false; private bool $restarting = false; private bool $stopping = false; public function __construct( private readonly Ref $from, private readonly Ref $to, private readonly float $amount, private readonly float $availability, private readonly Behavior $behavior = new Behavior() ) { $this->behavior->become( new ReceiveFunction( fn($context) => $this->starting($context) ) ); } 1FSTJTUFODFΛ࢖͏͜ͱͰɺ
    ΞΫλʔࣗ਎͕Ͳ͏ͳ͔ͬͨΛอ؅
    ͭ·Γ&WFOU
    4PVSDJOH
56. class TransferProcess implements ActorInterface, PersistentInterface { use Mixin; private bool $processCompleted = false; private bool $restarting = false; private bool $stopping = false; public function __construct( private readonly Ref $from, private readonly Ref $to, private readonly float $amount, private readonly float $availability, private readonly Behavior $behavior = new Behavior() ) { $this->behavior->become( new ReceiveFunction( fn($context) => $this->starting($context) ) ); } 1IMVYPSͰ͸.JYJO
    5SBJUʹجຊ࣮૷͋Γ
    ར༻͢Δͱঢ়ଶ෮ݩͳͲΛࣗಈͰߦ͏
57. class TransferProcess implements ActorInterface, PersistentInterface { use Mixin; private bool $processCompleted = false; private bool $restarting = false; private bool $stopping = false; public function __construct( private readonly Ref $from, private readonly Ref $to, private readonly float $amount, private readonly float $availability, private readonly Behavior $behavior = new Behavior() ) { $this->behavior->become( new ReceiveFunction( fn($context) => $this->starting($context) ) ); } ΞΫλʔͷৼΔ෣͍Λมߋ͢Δ
    #FIBJWPS
58. class TransferProcess implements ActorInterface, PersistentInterface { use Mixin; private bool $processCompleted = false; private bool $restarting = false; private bool $stopping = false; public function __construct( private readonly Ref $from, private readonly Ref $to, private readonly float $amount, private readonly float $availability, private readonly Behavior $behavior = new Behavior() ) { $this->behavior->become( new ReceiveFunction( fn($context) => $this->starting($context) ) ); } ͜ͷΞΫλʔͷॳظঢ়ଶͱͯ͠
    TUBSUJOHϝιου͕ಈ͘
60. private function starting(ContextInterface $context): void { if ($context->message() instanceof Started) { $context->spawnNamed($this->tryDebit($this->from, -$this->amount), 'DebitAttempt'); $this->persistEvent(new ProtoBuf\TransferStarted()); } } private function tryDebit(Ref $targetActor, float $amount): Props { return Props::fromProducer( fn() => new AccountProxy( $targetActor, fn($sender) => new Debit($amount, $sender) ) ); }
61. private function starting(ContextInterface $context): void { if ($context->message() instanceof Started) { $context->spawnNamed($this->tryDebit($this->from, -$this->amount), 'DebitAttempt'); $this->persistEvent(new ProtoBuf\TransferStarted()); } } private function tryDebit(Ref $targetActor, float $amount): Props { return Props::fromProducer( fn() => new AccountProxy( $targetActor, fn($sender) => new Debit($amount, $sender) ) ); } %FCJUΞΫλʔΛੜ੒
62. private function starting(ContextInterface $context): void { if ($context->message() instanceof Started) { $context->spawnNamed($this->tryDebit($this->from, -$this->amount), 'DebitAttempt'); $this->persistEvent(new ProtoBuf\TransferStarted()); } } private function tryDebit(Ref $targetActor, float $amount): Props { return Props::fromProducer( fn() => new AccountProxy( $targetActor, fn($sender) => new Debit($amount, $sender) ) ); } సૹ։࢝ΠϕϯτΛอ؅
63. private function starting(ContextInterface $context): void { if ($context->message() instanceof Started) { $context->spawnNamed($this->tryDebit($this->from, -$this->amount), 'DebitAttempt'); $this->persistEvent(new ProtoBuf\TransferStarted()); } } private function tryDebit(Ref $targetActor, float $amount): Props { return Props::fromProducer( fn() => new AccountProxy( $targetActor, fn($sender) => new Debit($amount, $sender) ) ); } "DDPVOU1SPYZΛੜ੒͠ɺ
    ग़ۚϝοηʔδΛૹ৴
64. Persistence
65. Persistence • ΞΫλʔͷӬଓԽΛߦ͏ • ΞΫλʔͷϥΠϑαΠΫϧͱରԠ͓ͯ͠Γɺ ىಈ࣌ʹӬଓԽ͞Εͨঢ়ଶʹΞΫλʔΛ෮ݩ͢Δ • δϟʔφϧͱεφοϓγϣοτΛ૊Έ߹Θͤͯ࠷୹Ͱ෮ݩ͞ΕΔ • ࠷৽ঢ়ଶΛ͚࣋ͭͩɺͰ͸ͳ͍ͷ͕ϙΠϯτ
66. PersistEvent
67. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } }
68. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } } ͍͔ͭ͘ͷΠϕϯτΛӬଓԽͨ͠ޙʹ
    ࣗΞΫλʔͷৼΔ෣͍Λมߋ͢Δ
69. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } } ૹ͕ۚ։࢝͢Δͱɺ
    Ҿ͖མͱ͠ʹؔ͢ΔৼΔ෣͍ʹมԽ
70. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } } ೖۚʹؔ͢ΔৼΔ෣͍ʹมԽ
71. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } } ೖ͕ࣦۚഊ͢Δͱ
    ϩʔϧόοΫͷৼΔ෣͍ʹ
72. private function applyEvent(Message $event): void { switch (true) { case $event instanceof ProtoBuf\TransferStarted: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingDebitConfirmation($context) ) ); break; case $event instanceof ProtoBuf\AccountDebited: $this->behavior->become( new ReceiveFunction( fn($context) => $this->awaitingCreditConfirmation($context) ) ); break; case $event instanceof ProtoBuf\CreditRefused: $this->behavior->become( new ReceiveFunction( fn($context) => $this->rollingBackDebit($context) ) ); break; case $event instanceof ProtoBuf\AccountCredited: case $event instanceof ProtoBuf\DebitRolledBack: case $event instanceof ProtoBuf\TransferFailed: $this->processCompleted = true; break; } } ਖ਼ৗʹೖग़͕ۚ׬ྃɺ
    ϩʔϧόοΫ͕׬ྃɺ
    ࢦఆճ਺Ҏ্ૹۚʹࣦഊ͢Δͱऴྃ
74. Supervision
75. Supervision • ΞΫλʔ͸਌ࢠؔ܎Λ࣋ͪɺ਌͸ࢠΛ؂ࢹ͢Δ੹຿Λ࣋ͭ • ࢠΞΫλʔͷΤϥʔൃੜ࣌ɺ਌ΞΫλʔ͕ઓུʹج͖ͮ ࢠΞΫλʔͷ࠶ىಈ΍෮چΛ؅ཧ • ਌͕μ΢ϯ͢Δͱ഑ԼͷࢠΞΫλʔ΋μ΢ϯ
76. Supervision Strategies • OneForOneStrategy • AllForOneStrategy • ExponentialBackoffStrategy • RestartStrategy
79. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } }
80. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } } ΞΫλʔੜ੒࣌ʹ
    ো֐ઓུΛࢦࣔ
81. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } } 0OF'PS0OF͸
    ࢠΞΫλʔͷ͏ͪର৅ͷҰ͚ͭͩ
82. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } } ඵؒͷ͏ͪࢦఆճ਺ ճ ෼
    ֘౰ͷΞΫλʔΛ࠶ىಈ͢Δ
83. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } } ϝοηʔδΛอ؅ͯ͠
    ΞΫλʔΛ෮ݩ͢Δ
84. readonly class TransferFactory { public function __construct( private ContextInterface $context, private float $availability, private int $retryAttempts, private ProviderInterface $provider, ) { } public function createTransfer( string $actorName, Ref $fromAccount, Ref $toAccount, float $amount, ): SpawnResult { $props = Props::fromProducer( fn() => new TransferProcess($fromAccount, $toAccount, $amount, $this->availability), Props::withReceiverMiddleware( new EventSourcedFactory($this->provider) ), Props::withSupervisor( new OneForOneStrategy( $this->retryAttempts, new DateInterval('PT10S'), new DefaultDecider(), ) ) ); return $this->context->spawnNamed($props, $actorName); } } ࢠΞΫλʔΛ࠶ىಈ͢Δͱɺ
    ϝοηʔδʹରԠͨ͠ॲཧΛ಺෦Ͱߦ͍
    ࠷৽ঢ়ଶʹ෮ݩ
    ো֐ൃੜ࣌ͷঢ়ଶʹ໭Δʂ
85. TransferProcess + State Machine + Persistence
86. TransferProcess ͸ฒߦͰଘࡏ • ֤ग़ۚ͝ͱʹಠཱͯ͠ੜ੒ɾঢ়ଶ΋ڞ༗͞Εͳ͍ • ࢦఆ͞Εͨϝοηʔδ͕དྷͳ͍ݶΓৼΔ෣͍͸มΘΒͳ͍ɾ໭Βͳ͍ • ӬଓԽ͞Ε͍ͯΔͨΊɺ࠶ىಈ͢ΔͱͦΕͧΕͷ࠷৽ঢ়ଶ΁෮ݩ • Error Kernel Patternར༻Ͱো֐Λ੾Γ཭͠
87. Error Kernel Pattern?
89. AccountΞΫλʔ
90. AccountΞΫλʔ • ग़ۚͱೖ͕ۚͦΕͧΕݸͷΞΫλʔͰɺ FromAccount{*} / ToAccount{*} ͱಠཱͯ͠ੜ੒͞ΕΔ • ͦΕͧΕcoroutineͰ੍ޚ͞ΕΔΞΫλʔͰ ϝοηʔδͷ΍ΓऔΓΛߦ͏
91. class Account implements ActorInterface { private float $balance = 10.0; private array $processedMessages = []; public function __construct( private readonly float $serviceUptime, private readonly float $refusalProbability, private readonly float $busyProbability ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Message\Credit: case $message instanceof Message\Debit: $this->handleBalanceChange($context, $message); break; case $message instanceof Message\GetBalance: $context->respond($this->balance); break; } }
92. class Account implements ActorInterface { private float $balance = 10.0; private array $processedMessages = []; public function __construct( private readonly float $serviceUptime, private readonly float $refusalProbability, private readonly float $busyProbability ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Message\Credit: case $message instanceof Message\Debit: $this->handleBalanceChange($context, $message); break; case $message instanceof Message\GetBalance: $context->respond($this->balance); break; } } ΞΫλʔʹϝοηʔδ͕౸ୡ͢Δͱ
    ࣮ߦ͞ΕΔSFDFJWFϝιου
93. class Account implements ActorInterface { private float $balance = 10.0; private array $processedMessages = []; public function __construct( private readonly float $serviceUptime, private readonly float $refusalProbability, private readonly float $busyProbability ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Message\Credit: case $message instanceof Message\Debit: $this->handleBalanceChange($context, $message); break; case $message instanceof Message\GetBalance: $context->respond($this->balance); break; } } ೖग़ۚϝοηʔδʹରԠ
94. class Account implements ActorInterface { private float $balance = 10.0; private array $processedMessages = []; public function __construct( private readonly float $serviceUptime, private readonly float $refusalProbability, private readonly float $busyProbability ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Message\Credit: case $message instanceof Message\Debit: $this->handleBalanceChange($context, $message); break; case $message instanceof Message\GetBalance: $context->respond($this->balance); break; } } ࢒ߴௐ੔ʹؔ͢Δॲཧ
95. class Account implements ActorInterface { private float $balance = 10.0; private array $processedMessages = []; public function __construct( private readonly float $serviceUptime, private readonly float $refusalProbability, private readonly float $busyProbability ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Message\Credit: case $message instanceof Message\Debit: $this->handleBalanceChange($context, $message); break; case $message instanceof Message\GetBalance: $context->respond($this->balance); break; } } ࢒ߴ֬ೝͷϝοηʔδ͕དྷΔͱ
    ૹ৴ݩʹฦ٫
96. private function handleBalanceChange( ContextInterface $context, Message\ChangeBalance $message ): void { if ($this->alreadyProcessed($message->replyTo)) { $context->send($message->replyTo, $this->processedMessages[(string) $message->replyTo]); return; } if ($message instanceof Message\Debit && ($message->amount + $this->balance) < 0) { $context->send($message->replyTo, new Message\InsufficientFunds()); return; } if ($this->refusePermanently()) { $this->processedMessages[(string) $message->replyTo] = new Message\Refused(); $context->send($message->replyTo, new Message\Refused()); return; } if ($this->isBusy()) { $context->send($message->replyTo, new Message\ServiceUnavailable()); return; } if ($this->shouldFailBeforeProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } usleep(random_int(0, 150) * 1000); $this->balance += $message->amount; $this->processedMessages[(string) $message->replyTo] = new Message\Ok(); if ($this->shouldFailAfterProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } $context->send($message->replyTo, new Message\Ok()); }
97. private function handleBalanceChange( ContextInterface $context, Message\ChangeBalance $message ): void { if ($this->alreadyProcessed($message->replyTo)) { $context->send($message->replyTo, $this->processedMessages[(string) $message->replyTo]); return; } if ($message instanceof Message\Debit && ($message->amount + $this->balance) < 0) { $context->send($message->replyTo, new Message\InsufficientFunds()); return; } if ($this->refusePermanently()) { $this->processedMessages[(string) $message->replyTo] = new Message\Refused(); $context->send($message->replyTo, new Message\Refused()); return; } if ($this->isBusy()) { $context->send($message->replyTo, new Message\ServiceUnavailable()); return; } if ($this->shouldFailBeforeProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } usleep(random_int(0, 150) * 1000); $this->balance += $message->amount; $this->processedMessages[(string) $message->replyTo] = new Message\Ok(); if ($this->shouldFailAfterProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } $context->send($message->replyTo, new Message\Ok()); } ࢒ߴௐ੔ʹؔ͢Δॲཧ
98. private function handleBalanceChange( ContextInterface $context, Message\ChangeBalance $message ): void { if ($this->alreadyProcessed($message->replyTo)) { $context->send($message->replyTo, $this->processedMessages[(string) $message->replyTo]); return; } if ($message instanceof Message\Debit && ($message->amount + $this->balance) < 0) { $context->send($message->replyTo, new Message\InsufficientFunds()); return; } if ($this->refusePermanently()) { $this->processedMessages[(string) $message->replyTo] = new Message\Refused(); $context->send($message->replyTo, new Message\Refused()); return; } if ($this->isBusy()) { $context->send($message->replyTo, new Message\ServiceUnavailable()); return; } if ($this->shouldFailBeforeProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } usleep(random_int(0, 150) * 1000); $this->balance += $message->amount; $this->processedMessages[(string) $message->replyTo] = new Message\Ok(); if ($this->shouldFailAfterProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } $context->send($message->replyTo, new Message\Ok()); } Ҿ਺ͰͦΕͧΕͷঢ়ଶΛ
    γϛϡϨʔτ
99. private function handleBalanceChange( ContextInterface $context, Message\ChangeBalance $message ): void { if ($this->alreadyProcessed($message->replyTo)) { $context->send($message->replyTo, $this->processedMessages[(string) $message->replyTo]); return; } if ($message instanceof Message\Debit && ($message->amount + $this->balance) < 0) { $context->send($message->replyTo, new Message\InsufficientFunds()); return; } if ($this->refusePermanently()) { $this->processedMessages[(string) $message->replyTo] = new Message\Refused(); $context->send($message->replyTo, new Message\Refused()); return; } if ($this->isBusy()) { $context->send($message->replyTo, new Message\ServiceUnavailable()); return; } if ($this->shouldFailBeforeProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } usleep(random_int(0, 150) * 1000); $this->balance += $message->amount; $this->processedMessages[(string) $message->replyTo] = new Message\Ok(); if ($this->shouldFailAfterProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } $context->send($message->replyTo, new Message\Ok()); } ϝοηʔδʹؚ·ΕΔૹ৴ઌʹ
    ฦ৴
100. private function handleBalanceChange( ContextInterface $context, Message\ChangeBalance $message ): void { if ($this->alreadyProcessed($message->replyTo)) { $context->send($message->replyTo, $this->processedMessages[(string) $message->replyTo]); return; } if ($message instanceof Message\Debit && ($message->amount + $this->balance) < 0) { $context->send($message->replyTo, new Message\InsufficientFunds()); return; } if ($this->refusePermanently()) { $this->processedMessages[(string) $message->replyTo] = new Message\Refused(); $context->send($message->replyTo, new Message\Refused()); return; } if ($this->isBusy()) { $context->send($message->replyTo, new Message\ServiceUnavailable()); return; } if ($this->shouldFailBeforeProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } usleep(random_int(0, 150) * 1000); $this->balance += $message->amount; $this->processedMessages[(string) $message->replyTo] = new Message\Ok(); if ($this->shouldFailAfterProcessing()) { $context->send($message->replyTo, new Message\InternalServerError()); return; } $context->send($message->replyTo, new Message\Ok()); } ΞΫλʔࣗ਎͕ঢ়ଶ؅ཧ
101. AccountProxy ΞΫλʔ • TransferProcessΞΫλʔʹੜ੒͞ΕΔΞΫλʔ • AccountΞΫλʔͱͷ௨৴Λ୲౰͢ΔΞΫλʔ • AccountΞΫλʔʹԿ͔͕ى͖ͨ৔߹ʹ਌Ͱ͋Δ TransferProcessʹରԠΛҕৡ͢Δʢ࠶ىಈͳͲΛߦ͏ʣ
102. Error Kernel Pattern • Reactive Design Patterns • ো֐ͱ৴པੑͷཁ͕͍݅ࠞͬͯ͟Δ৔߹ʹ ར༻Ͱ͖Δύλʔϯ(Akka,OTPͳͲͰ͸͓ͳ͡Έ) • ఀࢭͯ͠͸͍͚ͳ͍΋ͷ͕͍ࠞͬͯ͟Δ৔߹ʹִ཭͢Δ
104. 4BHB࣮ߦ
105. 5SBOTGFS1SPDFTT͕਌
106. "DDPVOU1SPYZͱ"DDPVOU͸
     ਌ࢠؔ܎Ͱ͸ͳ͍
     "DDPVOU1SPYZ͕μ΢ϯͯ͠΋
     "DDPVOU͸Өڹͳ͠
107. "DDPVOUΞΫλʔͷ
     ࣮ߦͰ͖ͳ͍ཧ༝Λड৴
     ࣗ਎Λμ΢ϯͤ͞Δ
108. ࢠΞΫλʔͷμ΢ϯΛݕ஌
     ઓུʹج͍ͮͯ
     "DDPVOU1SPYZΞΫλʔ࠶ੜ੒
     ࠶ॲཧ࣮ߦ
109. ௨৴ͱೖग़ۚΛ෼཭͍ͯ͠Δύλʔϯ
     ΞΫλʔϞσϧͳΒͰ͸ͷ΋ͷ
110. readonly class AccountProxy implements ActorInterface { public function __construct( private Ref $target, private Closure $createMessage ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Started: $context->send($this->target, ($this->createMessage)($context->self())); $context->setReceiveTimeout(new DateInterval('PT2S')); break; case $message instanceof Refused: case $message instanceof Ok: $context->cancelReceiveTimeout(); $context->send($context->parent(), $message); break; case $message instanceof InsufficientFunds: case $message instanceof InternalServerError: case $message instanceof ReceiveTimeout: case $message instanceof ServiceUnavailable: throw new RuntimeException('Unexpected message'); } } }
111. readonly class AccountProxy implements ActorInterface { public function __construct( private Ref $target, private Closure $createMessage ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Started: $context->send($this->target, ($this->createMessage)($context->self())); $context->setReceiveTimeout(new DateInterval('PT2S')); break; case $message instanceof Refused: case $message instanceof Ok: $context->cancelReceiveTimeout(); $context->send($context->parent(), $message); break; case $message instanceof InsufficientFunds: case $message instanceof InternalServerError: case $message instanceof ReceiveTimeout: case $message instanceof ServiceUnavailable: throw new RuntimeException('Unexpected message'); } } } "DUPS͕ىಈ͢ΔͱྲྀΕͯ͘Δ
     ಺෦ϝοηʔδ 4UBSUFE
112. readonly class AccountProxy implements ActorInterface { public function __construct( private Ref $target, private Closure $createMessage ) { } public function receive(ContextInterface $context): void { $message = $context->message(); switch (true) { case $message instanceof Started: $context->send($this->target, ($this->createMessage)($context->self())); $context->setReceiveTimeout(new DateInterval('PT2S')); break; case $message instanceof Refused: case $message instanceof Ok: $context->cancelReceiveTimeout(); $context->send($context->parent(), $message); break; case $message instanceof InsufficientFunds: case $message instanceof InternalServerError: case $message instanceof ReceiveTimeout: case $message instanceof ServiceUnavailable: throw new RuntimeException('Unexpected message'); } } } -FU
     *U
     $SBTI
     ͜Ε·Ͱͷ1)1ͱҟͳΔߟ͑ํ
115. RunnerΞΫλʔ
117. RunnerΞΫλʔ • SagaΛ࣮ߦ͢Δ໾ׂ • Scatter Gather PatternͰ͢΂͕ͯऴΘΔ·Ͱ଴ͭ • ࢦఆ਺෼AccountΞΫλʔͱTransferProcessΞΫλʔੜ੒ • TransferProcessΞΫλʔͷϦϑΝϨϯεΛRunner͕อ࣋
118. Scatter Gatherʁ
120. Scatter Gather • ෳ਺ʹϒϩʔυΩϟετޙɺฦ৴ΛҰͭʹू໿͢Δ • ΞΫλʔϞσϧͳΒͰ͸ͷύλʔϯ • ϩʔΧϧ΍ϦϞʔτͱͷ૊Έ߹ΘͤͰར༻
121. $inMemoryProvider = $this->inMemoryProvider(); (new ForWithProgress( $this->numberOfIterations, $this->intervalBetweenConsoleUpdates, true, false ))->everyNth( fn($i) => print("Started {$i}/{$this->numberOfIterations} processes\n"), function ($i, $nth) use ($context, $inMemoryProvider) { $fromAccount = $this->createAccount($context, "FromAccount{$i}"); $toAccount = $this->createAccount($context, "ToAccount{$i}"); $actorName = "Transfer Process {$i}"; $factory = new TransferFactory( $context, $this->uptime, $this->retryAttempts, $inMemoryProvider ); $transfer = $factory->createTransfer($actorName, $fromAccount, $toAccount, 10); $this->transfers[] = (string) $transfer->getRef(); if ($i === $this->numberOfIterations && !$nth) { print("Started {$i}/{$this->numberOfIterations} processes\n"); } } );
122. $inMemoryProvider = $this->inMemoryProvider(); (new ForWithProgress( $this->numberOfIterations, $this->intervalBetweenConsoleUpdates, true, false ))->everyNth( fn($i) => print("Started {$i}/{$this->numberOfIterations} processes\n"), function ($i, $nth) use ($context, $inMemoryProvider) { $fromAccount = $this->createAccount($context, "FromAccount{$i}"); $toAccount = $this->createAccount($context, "ToAccount{$i}"); $actorName = "Transfer Process {$i}"; $factory = new TransferFactory( $context, $this->uptime, $this->retryAttempts, $inMemoryProvider ); $transfer = $factory->createTransfer($actorName, $fromAccount, $toAccount, 10); $this->transfers[] = (string) $transfer->getRef(); if ($i === $this->numberOfIterations && !$nth) { print("Started {$i}/{$this->numberOfIterations} processes\n"); } } ); 'SPN"DDPVOU9ͱ5P"DDPVOU9ͱ͍͏໊લͰ
     "DDPVOUΞΫλʔΛੜ੒
123. $inMemoryProvider = $this->inMemoryProvider(); (new ForWithProgress( $this->numberOfIterations, $this->intervalBetweenConsoleUpdates, true, false ))->everyNth( fn($i) => print("Started {$i}/{$this->numberOfIterations} processes\n"), function ($i, $nth) use ($context, $inMemoryProvider) { $fromAccount = $this->createAccount($context, "FromAccount{$i}"); $toAccount = $this->createAccount($context, "ToAccount{$i}"); $actorName = "Transfer Process {$i}"; $factory = new TransferFactory( $context, $this->uptime, $this->retryAttempts, $inMemoryProvider ); $transfer = $factory->createTransfer($actorName, $fromAccount, $toAccount, 10); $this->transfers[] = (string) $transfer->getRef(); if ($i === $this->numberOfIterations && !$nth) { print("Started {$i}/{$this->numberOfIterations} processes\n"); } } ); 5SBOTGFS1SPDFTTΞΫλʔʹ
     ̎ͭͷ"DDPVOUΞΫλʔϦϑΝϨϯε
     "DDPVOUΞΫλʔؒͰ૬ޓॲཧ
125. ΤϯτϦϙΠϯτ • ΞΫλʔγεςϜͷىಈ • RunnerΞΫλʔͷੜ੒ͱ؂ࢹɺ Runnerͷ࠶ࢼߦʹؔ͢Δ੹຿Λ࣋ͭ • ͦΕҎ֎͸Կ΋ͳ͠ʂ
126. go(function () { $system = ActorSystem::create(); $system->getLogger()->info('Starting'); $numberOfTransfers = 10; $intervalBetweenConsoleUpdates = 1; $uptime = 99.99; $retryAttempts = 3; $refusalProbability = 0.01; $busyProbability = 0.01; $props = ActorSystem\Props::fromProducer( fn() => new Runner( $numberOfTransfers, $intervalBetweenConsoleUpdates, $uptime, $refusalProbability, $busyProbability, $retryAttempts ), ActorSystem\Props::withSupervisor( new ActorSystem\Strategy\OneForOneStrategy( $retryAttempts, new DateInterval('PT10S'), new ActorSystem\Supervision\DefaultDecider(), ) ), ); $system->root()->spawnNamed($props, 'runner'); });
127. go(function () { $system = ActorSystem::create(); $system->getLogger()->info('Starting'); $numberOfTransfers = 10; $intervalBetweenConsoleUpdates = 1; $uptime = 99.99; $retryAttempts = 3; $refusalProbability = 0.01; $busyProbability = 0.01; $props = ActorSystem\Props::fromProducer( fn() => new Runner( $numberOfTransfers, $intervalBetweenConsoleUpdates, $uptime, $refusalProbability, $busyProbability, $retryAttempts ), ActorSystem\Props::withSupervisor( new ActorSystem\Strategy\OneForOneStrategy( $retryAttempts, new DateInterval('PT10S'), new ActorSystem\Supervision\DefaultDecider(), ) ), ); $system->root()->spawnNamed($props, 'runner'); }); 3VOOFSΞΫλʔੜ੒
128. go(function () { $system = ActorSystem::create(); $system->getLogger()->info('Starting'); $numberOfTransfers = 10; $intervalBetweenConsoleUpdates = 1; $uptime = 99.99; $retryAttempts = 3; $refusalProbability = 0.01; $busyProbability = 0.01; $props = ActorSystem\Props::fromProducer( fn() => new Runner( $numberOfTransfers, $intervalBetweenConsoleUpdates, $uptime, $refusalProbability, $busyProbability, $retryAttempts ), ActorSystem\Props::withSupervisor( new ActorSystem\Strategy\OneForOneStrategy( $retryAttempts, new DateInterval('PT10S'), new ActorSystem\Supervision\DefaultDecider(), ) ), ); $system->root()->spawnNamed($props, 'runner'); }); 3VOOFSΞΫλʔʹର͢Δઓུ
129. go(function () { $system = ActorSystem::create(); $system->getLogger()->info('Starting'); $numberOfTransfers = 10; $intervalBetweenConsoleUpdates = 1; $uptime = 99.99; $retryAttempts = 3; $refusalProbability = 0.01; $busyProbability = 0.01; $props = ActorSystem\Props::fromProducer( fn() => new Runner( $numberOfTransfers, $intervalBetweenConsoleUpdates, $uptime, $refusalProbability, $busyProbability, $retryAttempts ), ActorSystem\Props::withSupervisor( new ActorSystem\Strategy\OneForOneStrategy( $retryAttempts, new DateInterval('PT10S'), new ActorSystem\Supervision\DefaultDecider(), ) ), ); $system->root()->spawnNamed($props, 'runner'); }); نఆ৚݅Ҏ্ࣦഊ͢Δͱ
     ଞͷγεςϜʹΤεΧϨʔτ͢ΔͳͲ͕Մೳ
131. ·ͱΊ • ΞΫλʔϞσϧΛ׆༻ͨ͠ิঈτϥϯβΫγϣϯ • ϦτϥΠઓུ • ΤϥʔΧʔωϧύλʔϯͱ؂ಜ • BehaviorʹΑΔState Machine • Persistenceͷ׆༻
132. Let It Crash