実例からみる冪等性問題

࣮ྫ͔ΒΈΔႈ౳ੑ໰୊ ϑϦϚΞϓϦฤ

2 Fablic, inc. Software Engineer ෌ӬҰ੒ @tooooooooomy ϓϩϑΟʔϧ @kazu9su ओʹαʔόʔαΠυͷ։ൃΛ୲౰
6݄த०ʹδϣΠϯ

3 ϑϦϧ '3*- ʮཉ͍͠ʯ͕Έ͔ͭΔϑϦϚΞϓϦ

ႈ౳ੑͱ͸ 4

5 ႈ౳ੑͱ͸ ਺ֶʹ͓͍ͯɺ ႈ౳ੑʢ΂͖ͱ͏͍ͤɺӳJEFNQPUFODFɹʮۊ౳ੑʯͱ΋ॻ͕͘ ಡΈํ͸ಉ͡ʣ͸ɺ େࡶ೺ʹݴͬͯɺ ͋Δૢ࡞Λճߦͬͯ΋ෳ਺ճߦͬͯ΋ ݁Ռ͕ಉ͡Ͱ͋Δ͜ͱΛ͍͏֓೦Ͱ͋Δɻ Ҿ༻: ϑϦʔඦՊࣄయɹ΢ΟΩϖσΟΞ೔ຊޠ൛ΑΓ

6 ႈ౳ੑͱ͸ ਺ֶʹ͓͍ͯɺ ႈ౳ੑʢ΂͖ͱ͏͍ͤɺӳJEFNQPUFODFɹʮۊ౳ੑʯͱ΋ॻ͕͘ ಡΈํ͸ಉ͡ʣ͸ɺ େࡶ೺ʹݴͬͯɺ ͋Δૢ࡞Λճߦͬͯ΋ෳ਺ճߦͬͯ΋ ݁Ռ͕ಉ͡Ͱ͋Δ͜ͱΛ͍͏֓೦Ͱ͋Δɻ Ҿ༻: ϑϦʔඦՊࣄయɹ΢ΟΩϖσΟΞ೔ຊޠ൛ΑΓ

࣮ࡍʹىͬͨ͜໰୊ 7

8 Χʔυܾࡁॲཧͷෆ۩߹ w ܾࡁͷϨίʔυ͕*%ॏෳͯ͠ొ࿥͞Ε͍ͯΔ w ࣦഊͱ੒ޭͷ྆ํͷεςʔλεͰొ࿥͞Ε͍ͯΔ w ͲͪΒͷϨίʔυ͕ਖ਼ͳͷ͔Θ͔Βͳ͍

9 Χʔυܾࡁॲཧͷෆ۩߹ͱͯ͠໰୊͕ൃݟ͞ΕΔ w ܾࡁͷϨίʔυ͕*%ॏෳͯ͠ొ࿥͞Ε͍ͯΔ w ࣦഊͱ੒ޭͷ྆ํͷεςʔλεͰొ࿥͞Ε͍ͯΔ w ͲͪΒͷϨίʔυ͕ਖ਼ͳͷ͔Θ͔Βͳ͍ JE TFUUMFNFOU@JE
TUBUVT GBJMVSF TVDDFTT

10 ঢ়گ͔Βਪଌ͞ΕΔڍಈ w ܾࡁॲཧϦΫΤετ͕ճ૸͍ͬͯΔ w ϦΫΤετͷॲཧ࣌ؒʹ͕ࠩ͋Δ w Ϩίʔυ͕ॏෳ w ҟͳΔϨεϙϯεΛฦ͍ͯ͠Δ

ਤղ 11

12 ਤղ ֎෦γεςϜ %# ճ໨

13 ਤղ ֎෦γεςϜ ճ໨ %#

14 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨

15 ਤղ ֎෦γεςϜ ճ໨ ճ໨ %#

16 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ ࣦഊ

17 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ ࣦഊ ࣦഊ
੒ޭ

18 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ ੒ޭ ࣦഊ ࣦഊ
੒ޭ

໰୊఺Λ੔ཧ 19

20 ໰୊఺ ϦΫΤετΛૹΔଆ w ಉ͡ϦΫΤετΛճૹͬͯ͠·͍ͬͯΔ ϦΫΤετΛड͚Δଆ "1*
w ಉ͡ϦΫΤετΛड͚ͨͱ͖ɺճ໨ͱճ໨Ͱ݁Ռ͕ҧ͍ͬͯΔɹ

21 ໰୊఺ ϦΫΤετΛૹΔଆ w ಉ͡ϦΫΤετΛճૹͬͯ͠·͍ͬͯΔ ϦΫΤετΛड͚Δଆ "1*
w ಉ͡ϦΫΤετΛड͚ͨͱ͖ɺճ໨ͱճ໨Ͱ݁Ռ͕ҧ͍ͬͯΔɹ ႈ౳ੑ͕ͳ͍

ႈ౳ੑΛ࣋ͨͤΔ 22

23 )08 w ॲཧͷঢ়ଶΛҟͳΔϓϩηεؒͰڞ༗͢Δ w ॲཧதͷ৔߹͸ॲཧΛʮ͠ͳ͍ʯ

24 ঢ়ଶ w 130$&44*/( ॲཧத w 46$$&44 ੒ޭ
w '"*-&% ࣦഊ

ਤղ 25

26 ਤղ ֎෦γεςϜ %# ճ໨ $BDIF 1SPDFTTJOH

27 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ $BDIF 1SPDFTTJOH

28 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ $BDIF 1SPDFTTJOH 3FUSZ

29 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ $BDIF 3FUSZ ੒ޭ
1SPDFTTJOH

30 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ $BDIF 4VDDFTT ੒ޭ
3FUSZ

31 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ ੒ޭ $BDIF 4VDDFTT
੒ޭ 3FUSZ

32 ਤղ ֎෦γεςϜ %# ճ໨ ճ໨ ੒ޭ $BDIF 4VDDFTT ੒ޭ
੒ޭ

34 ·ͱΊ w ෳ਺ճϦΫΤετ͕͘Δ͜ͱΛ૝ఆ͢Δ w ঢ়گʹԠͯ͡Ͳ͏ႈ౳ੑΛ୲อ͢Δ͔͸มΘΔ w ಛʹ֎෦αʔϏεͱ࿈ܞ͢Δͱ͜Ζ͸஫ҙ͢Δ

35 'BCMJDͰҰॹʹαʔϏεΛͭ͘Γ·ͤΜ͔ʁ

ͱ͜ΖͰ 36

37 POLDPQ

ΊͬͪΌ͍͍ɾɾɾ 38

39 GBCMJDPQ

40 GBCMJDPQ ˞ͳ͓ಈ࡞ݕূ͸ ͞Ε͓ͯΓ·ͤΜ

͝ਗ਼ௌ͋Γ͕ͱ͏͍͟͝·ͨ͠

More Decks by Kazushige Tominaga