アクターモデルの話

Transcript

1. ΞΫλʔϞσϧͷ࿩ 2017.10.21 RubySapporo.beam #3 ·͑ͩͱ΋͖

2. ࣗݾ঺հ @tmaeda (ג)͑ʹ͠ςοΫ ࠷ۙ͸RailsͷཪͰಈ͘SidekiqͷδϣϒΛॻ͘࢓ࣄ͕ଟ͍Ͱ ͢ ElixirΛ·ͬͨΓษڧதͰ͢

3. &-*9*3ͷίʔυྫ defmodule Greeter do def hello do receive do name

   -> IO.puts "Hello #{name}" end hello() end end greeter = spawn(Greeter, :hello, []) send(greeter, "World")

4. ࠓ೔͓࿩͍ͨ͜͠͠ͱ ΞΫλʔϞσϧ͕ੜ·Εͨഎܠ ΞΫλʔϞσϧ͸ԿΛղܾ͢Δͷ͔ʁ ΞΫλʔϞσϧͱͲ͏෇͖߹͑͹͍͍ͷ͔ʁ

5. ΞΫλʔϞσϧ Carl Hewitt 1973 https://en.wikipedia.org/wiki/Actor_model

6. πΠολʔ΋͋Δˠhttps://twitter.com/carlhewitt

7.  1977ͷHewittͷ࿦จ In recent years, there has been a shift

   from the centralized serial computing system to the distributed parallel computing network. (Laws for Communicating Parallel Processes)
 https://dspace.mit.edu/bitstream/handle/1721.1/41962/AI_WP_134A.pdf ڞײͰ͖·͢ʁ ͪΐͬͱ౰࣌ͷ༷ࢠΛௐ΂ͯΈ·͠ΐ͏

8. ʰ·Μ͕͸͡Ίͯ෺ޠʱʢ·Μ͕͸͡Ίͯ΋ͷ͕ͨΓʣͱ͸ɺ1978೥5݄6೔͔Β1984೥3݄31೔·ͰTBSܥྻ ہͰ์ૹ͞ΕͨμοΫεΠϯλʔφγϣφϧͱTBSڞಉ੡࡞ͷࢠڙ޲͚ͷڭཆ൪૊Ͱ͋Δɻશ305ճɻ

9. ࠷ॳͷίϯϐϡʔλ 1946 ENIAC

10. ࠷ॳͷίϯϐϡʔλωοτϫʔΫ 1950೥୅ޙ൒ Semi-Automatic Ground Environment

11. ֩౥ࡌരܸػͷܴܸͷܭࢉ https://www.youtube.com/watch?v=dF75jHfawtM

12. ࠷ॳͷεʔύʔίϯϐϡʔλʔ 1964 CDC 6600 10MHz

13. ೥ද 1946 ENIAC 1956 SAGE 1965 CDC6600 1971 Intel 4004

    740kHz 1957 Fortran 1958 LISP 1959 COBOL 1972 C, Smalltalk 1972 UNIX 1973 Ethernet 1969 ARPANET 50kbsp ͜ͷลͷࠒͷ࿩ˢ 1967 Thread

14.  ݚڀॴ΍܉ࣄࢪઃʹ͸ɺҰൠՈఉͰ͍͏ͱ͜Ζͷ1990೥ ୅ʙ2000೥୅૬౰ͷίϯϐϡʔλͱωοτϫʔΫ؀ڥ͕ ͋ͬͨͱ૝૾͞ΕΔɻ ͳΔ΄Ͳɺࢲ͕ݟ͍ͯͨ2000೥લޙͷ࿩ͩͱࢥ͑͹ɺ
 ڞײͰ͖Δɻ

15. Կ͕໰୊͔ͩͬͨʁ ϨʔείϯσΟγϣϯͷ༗໊ͳ໰୊ ۜߦޱ࠲ʹ10000ԁ͋Δ A͞Μ͕7000ԁҾ͖མͱͦ͏ͱ͢Δ B͞Μ͕8000ԁҾ͖མͱͦ͏ͱ͢Δ

16. ͜Μͳίʔυ if Ҿ͖མͱֹ͠ <= ࢒ߴ ࢒ߴ -= Ҿ͖མͱֹ͠ return true

    else return false end

17. ϚϧνεϨουͰಈ͔͢ͱʁ "͞Μ #͞Μ ޱ࠲ ࢒ߴ଍ΓΔʁ ࢒ߴ଍ΓΔʁ 0, 0, ԁҾ͖མͱ͠ ԁҾ͖མͱ͠

    ࢒ߴ10000ԁ ࢒ߴ͕ϚΠφεԁʂ

18. ϩοΫͰղܾʁ ͜͜ͰϩοΫΛ͔͚Δ(1౓ʹ1ͭͷεϨου͔͠ڐ͞ͳ͍) if Ҿ͖མͱֹ͠ <= ࢒ߴ ࢒ߴ -= Ҿ͖མͱֹ͠ return

    true else return false end ͜͜ͰϩοΫΛղ์ ϩοΫΛ͠๨ΕΔ ղ์͠๨ΕΔ ΊΜͲ͍͘͞ ෆ҆

19. ೥ද 1946 ENIAC 1956 SAGE 1965 CDC6600 1971 Intel 4004

    740kHz 1957 Fortran 1958 LISP 1959 COBOL 1972 C, Smalltalk 1972 UNIX 1973 Ethernet 1969 ARPANET 50kbsp ͜ͷลͷࠒͷ࿩ˢ 1967 Thread

20. ΧϓηϧԽͯ͠σʔλΛकΔ ͷ͕ΦϒδΣΫτࢦ޲ͷ ໨తͷ1ͭͩͬͨͷʹ…

21. ΞΫλʔϞσϧ શͯ͸ΞΫλʔͰ͋Δɻ(OOPͰ͍͏ͱ͜Ζͷʮશͯ͸ΦϒδΣΫτͰ͋Δʯͱࣅ͍ͯΔ) ΞΫλʔ͸ ܭࢉͰ͖Δɻ ༗ݶͷ৽͍͠ΞΫλʔΛੜ੒Ͱ͖Δɻ ଞͷΞΫλʔ΁༗ݶͷϝοηʔδΛૹΕΔɻ ࣍ʹड͚Δϝοηʔδ΁ͷ४උ͕Ͱ͖Δ(ঢ়ଶΛอ࣋Ͱ͖Δ)ɻ ϝʔϧϘοΫεΛ࣋ͪɺಧ͍ͨϝοηʔδΛ1ͭͣͭॱ൪ʹॲཧ͢Δɻ ※ϝοηʔδ͕ಧ͘ॱং͸ෆఆ ※ϝοηʔδ͸ಧ͔ͳ͍͔΋͠Εͳ͍

22. ΞΫλʔϞσϧͰղܾ "͞Μ #͞Μ ޱ࠲ SFDFJWF 0, ԁҾ͖མͱ͠ ԁҾ͖མͱ͠ ࢒ߴ10000ԁ ϝʔϧϘοΫε

    ࢒ߴνΣοΫͯ͠ ԁҾ͖མͱ࣮͠ߦ /( SFDFJWF ϝοηʔδ͸ඞͣ
 1݅ͣͭॱ൪ʹ
 ॲཧ͞ΕΔ

23. ΞΫλʔϞσϧ
 ʮΦϒδΣΫτʯͱಡΈସ͑ͯΈΔ શͯ͸ΞΫλʔͰ͋Δɻ ΞΫλʔ͸ ܭࢉͰ͖Δɻ ༗ݶͷ৽͍͠ΞΫλʔΛੜ੒Ͱ͖Δɻ ଞͷΞΫλʔ΁༗ݶͷϝοηʔδΛૹΕΔɻ ࣍ʹड͚Δϝοηʔδ΁ͷ४උ͕Ͱ͖Δ(ঢ়ଶΛอ࣋Ͱ͖Δ)ɻ ϝʔϧϘοΫεΛ࣋ͪɺಧ͍ͨϝοηʔδΛ1ͭͣͭॱ൪ʹॲཧ͢Δɻ ΦϒδΣΫτ

    ΦϒδΣΫτ ΦϒδΣΫτ ΦϒδΣΫτ ͚͕ͩ͜͜ OOPʹͳ͍ಛ௃

24. ΞΫλʔϞσϧ͸ ΦϒδΣΫτࢦ޲ʹ ฒߦ࣮ߦʹର͢ΔΧϓηϧԽ Λ௥Ճͨ͠΋ͷͩͱ ߟ͑ΒΕΔ

25. https://media.pragprog.com/titles/pb7con/actors.pdf Chapter5 Actors More Object-Oriented than Objects

26. ΞΫλʔϞσϧͷ࢖͍ํ ݪٛతʹ͸ʮશͯΛΞΫλʔͱ͢ΔʯͷͰɺObjectΛnew͢ ΔΑ͏ͳؾ࣋ͪͰͲΜͲΜΞΫλʔΛ࡞͍͍ͬͯ(Erlang/ Elixir༻ޠͰݴ͏ͱɺprocessΛspawn͍͍ͯ͠)ɻ ΞΫλʔϞσϧ͸ΦϒδΣΫτࢦ޲ͱ΄΅ಉ͡ߟ͑ํͳͷ ͰɺΦϒδΣΫτࢦ޲ͷߟ͑ํΛྲྀ༻ͯ͠ϓϩάϥϜΛ૊ ΜͰ͍͍ɻσβΠϯύλʔϯͱ͔ɻ

27. &-*9*3ͷίʔυྫ վ defmodule Greeter do def start do spawn(__MODULE__, :loop,

    []) end def hello(greeter, name) do send(greeter, {:hello, name}) end # ͜͜͸privateͬΆ͍ؾ࣋ͪ def loop do receive do {:hello, name} -> IO.puts "Hello #{name}" end loop() end end greeter = Greeter.start Greeter.hello(greeter, name) ࣮૷ͷৄࡉ ϓϩηεͷىಈͱ͔ɺ
    ϝοηʔδͷ΍ΓऔΓͷੜʑ͍͠
    ͱ͜Ζ ͸Ӆ͢

28. ͱݴΘΕ·ͯ͠΋ʜ ຊ౰ʹશ෦ΞΫλʔͰ͍͍ͷʁ Integer͢Β΋ʁ
 ˠຊ౰ʹඞવੑ͕͋ΔͷͰ͋Ε͹ɺ΍ͬͯ΋͍͍ɻ
 CounterΞΫλʔͱ͔Ͷɻ RailsͰΞϓϦ૊ΜͰΔͱThreadΛ࢖͍͍ͨ৔໘ͳΜͯ໓ଟʹͳ͍Μͩ ͚Ͳ…
 →Ϛετυϯ͸Sidekiqδϣϒͷմ
 https://github.com/tootsuite/mastodon/tree/master/app/workers

29. ·ͱΊ ΞΫλʔϞσϧ͸ΦϒδΣΫτࢦ޲Λฒߦ؀ڥͰ΋ؾܰʹ࢖͑Δ Α͏ʹमਖ਼ͨ͠΋ͷͱߟ͑ΒΕΔͷͰɺΞΫλʔ͸༑ୡɺා͘ͳ ͍Α ιʔγϟϧωοτϫʔΫతͳػೳΛؚΉΞϓϦέʔγϣϯͰ͸ ΦϒδΣΫτάϥϑ͕ෳࡶʹͳΓ͕ͪͳͷͰ݁ߏ࢖͑Δ৔໘͕ ͋Δ ͦ͏͸ݴͬͯ΋ɺ࢖͍͗͢ΔͱύϑΥʔϚϯεͷ໰୊ͱ͔ಈ͖͕ ෆఆͰΘ͔Γʹ͘͘ͳͬͨΓ͢ΔͷͰઅ౓Λ࣋ͭඞཁ͕͋Γͦ͏