JVM の仕組みを理解して PHP で実装してみよう

Ί΋Γʔ +7.ͷ࢓૊ΈΛཧղͯ͠ 1)1Ͱ࣮૷ͯ͠ΈΑ͏ /FYUCFBU5FDI#BSɿ+BWB+7.ࡇΓ 1

Ί΋Γʔ NNS ෳ਺ͷϕϯνϟʔاۀ΍ελʔτ Ξοϓاۀɼ্৔اۀͰιϑτ΢Σ ΞΤϯδχΞ΍$50ͱͯ͠׆ಈɻ ීஈ͸3VCZͱ5ZQF4DSJQUॻ͍ͯ ·͢ɻ 2 NNS NNS

3 NEW!

1)1Ͱ+7.ͷ࣮૷ !1)1FS,BJHJ 4 1)1Ͱ3VCZ7.ͷ࣮૷ !3VCZ,BJHJ աڈͷ࡞඼ʜ

7.ʢ7JSUVBM.BDIJOFʣͷ࢓૊Έ +7.ͷ࣮૷ํ๏ 1)1Ͱͷ࣮૷ํ๏ %&.0 5 ͋͐͡Μͩ

஫ҙࣄ߲ 6

࣮૷ͷ͠΍͢͞ͷ؍఺Ͱ+%,Λڭࡐͱ͠·͢ ίϯύΠϥʹ͍ͭͯ͸࿩͠·ͤΜ 1)1 +BWBͷॻ͖ํʹ͍ͭͯ͸࿩͠·ͤΜ +7.4QFDJ fi DBUJPOͷৄ͍͠ಡΈํʹ͍ͭͯ͸ 7 ஫ҙࣄ߲ ࿩͠·ͤΜ

8 ϦϙδτϦͷ͝঺հ IUUQTHJUIVCDPNQIQKBWBQIQKBWB

ଟ͘ͷਓ͕֤ʑͷ޷͖ͳݴޠͰ +7.Λ࣮૷͢Δ͜ͱ͕ྲྀߦΓ·ͨ͠Ͷ ʢ೥લʣ 9

ࠓ͸--.΋͋Γɼੲ΄Ͳ࣮૷ʹ ۤ৺͠ͳ͍ͩΖ͏ͱࢥ͍·͢ɻ ϓϩάϥϛϯάॳ৺ऀͷํ΋௅ઓ͕Ͱ͖Δ ͱͯ΋ྑ͍࣌୅͕౸དྷ͖ͯ͠·ͨ͠ɻ 10

ͷͰͥͻ௅ઓͯ͠ΈͯͶʂ 11

7. 7JSUVBM.BDIJOF ʹ͍ͭͯ 12

+7.Λ࣮૷͢Δʹ͋ͨͬͯ7.ͷཧղ͸ඇৗʹॏཁͰ͢ɻ 7.͸7JSUVBM.BDIJOFͱ͍͍ɼͦͷίϯϐϡʔλͷಈ࡞Λιϑτ΢ΣΞ্Ͱ࠶ݱ ͢Δ΋ͷͰ͢ɻ ྫ͑͹7JSUVBM#PYͳͲ͕Πϝʔδʹ͍ۙΜ͡Όͳ͍Ͱ͠ΐ͏͔ɻ ͨͩɼ͜ΕΒͷ΄ͱΜͲ͸ɼ+7.ͷΑ͏ͳ7.ͱ͸গ͠ҟͳΓ·͢ɻ 13
7. 7JSUVBM.BDIJOF ʹ͍ͭͯ

ҰํͰɼ+7.ʢ+BWB7JSUVBM.BDIJOFʣ΍;FOE7. 1)1༻ͷ7JSUVBM.BDIJOF ɼ 3VCZ7.ͳͲ͸શ͘ҟͳΓ·͢ɻ ઌ΄Ͳͷྫ͸ϋʔυ΢ΣΞϨϕϧͷ΋ͷͰ͕͢ɼ͜ΕΒ͸ΞϓϦέʔγϣϯϨϕϧ ͷ΋ͷͰ͢ɻ 7.ͱॻ͍͍ͯͯ΋ɼ͍͔ͭ͘छྨ͕͋ΔΜͩɼͱ͓΅͓͖͑ͯ·͠ΐ͏ɻ
࣍ʹྫͷਤΛࣔ͠·͢ɻ 14 7. 7JSUVBM.BDIJOF ʹ͍ͭͯ

15 7. 7JSUVBM.BDIJOF ʹ͍ͭͯ macOS VirtualBox (VM) JVM Java ϓϩάϥϜ
JVM Java ϓϩάϥϜ Zend VM PHPϓϩάϥϜ

ͦͯ͠ɼ΄ͱΜͲͷΞϓϦέʔγϣϯϨϕϧͷ7.͸ελοΫϚγϯʹ͍͔ۙͨͪͰ ࣮ͯ͠૷͞Ε͍ͯ·͢ʢ%BMWJLͳͲ͸আ͘ʣɻ ΋ͪΖΜ+7.΋3VCZ7.΋ελοΫϚγϯͷΑ͏ͳܗͰɼ$16ͷ΄ͱΜͲ ʢY͸ʣ͸ϨδελϚγϯͰ͢ɻ ελοΫϚγϯͱ͸ɼࢦఆ͞Ε͍͔ͨͭ͘ͷϨδελ্ʹԿ͔Λ֨ೲ͢ΔͷͰ͸ͳ ͘ɼσʔλΛελοΫʢੵΈ্͛ʣͳ͕Βɼॲཧ͍ͯ͘͠ํ๏Ͱ͢ɻ
ҰํϨδελϚγϯ͸ɼ͋Β͔͡ΊܾΊΒΕͨϨδελͱݺ͹ΕΔྖҬʹ஋Λ֨ೲ ͯ͠ܭࢉΛߦ͍ͬͯ͘΋ͷͰ͢ɻ 16 7. 7JSUVBM.BDIJOF ʹ͍ͭͯ

ϨδελϚγϯͷݩΛ֞ؒݟ͍ͨͷͰ͋Ε͹ɼΞηϯϒϦݴޠΛॻ͍ͯɼ֤$16ʹ ࠷దԽ͞ΕͨܗͰτϥϯεύΠϧ͢Ε͹ɼ͋Δఔ౓ཧղͰ͖ΔΜ͡Όͳ͍͔ͳͱࢥ͍ ·͢ɻ ༨ஊͰ͕͢ɼελοΫϚγϯ͸Ұ෦ͷϨδελϚγϯͷ࢓૊ΈΛऔΓೖΕ͍ͯΔ͜ͱ ΋͋Γ·͢ɻ 17 7. 7JSUVBM.BDIJOF
ʹ͍ͭͯ

ελοΫϚγϯ ʙ Λٙࣅ໋ྩηοτͰܭࢉ͢Δʙ 18

Λٙࣅ໋ྩηοτͰܭࢉ͢Δ 19 7. 7JSUVBM.BDIJOF ʹ͍ͭͯ constadd (operand: 1)
constadd (operand: 2) constadd (operand: 3) plus plus output - constadd ໋ྩ͸ 1 ͭͷΦϖϥϯυΛऔΓɼͦΕΛελοΫ ʹϓογϡ͢Δ໋ྩ - plus ͸ελοΫ͔Β 2 ͭ஋Λϙοϓ͠ɼͦΕΛՃࢉͨ͠΋ͷ ΛελοΫʹϓογϡ͢Δ໋ྩ - output ͸ελοΫ͔ΒҰͭϙοϓ͠ग़ྗ͢Δ໋ྩ - ্هͷ 3 ͭͷ໋ྩͰ࣮ݱՄೳͰ͢ɻ͜ͷҰ࿈ͷྲྀΕΛ໋ྩ γʔέϯεͱݴͬͨΓ͠·͢ɻ

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 1 ελοΫʹ 1 Λϓογϡ

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 1 ελοΫʹ 2 Λϓογϡ 2

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 1 2 ͭͷσʔλΛϙοϓ 2 3 Ճࢉͨ݁͠ՌΛϓογϡ

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 3 ελοΫʹ 3 Λϓογϡ 3

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 3 2 ͭͷσʔλΛϙοϓ 3 6 Ճࢉͨ݁͠ՌΛϓογϡ

constadd (operand: 2) constadd (operand: 3) plus plus output ελοΫ 6 1 ͭͷσʔλΛϙοϓ

ϨδελϚγϯͷ࢓૊Έ͸ $16ʹΑͬͯҟͳΔͷͰׂѪ͠·͢ 26

+7.ͷ࣮૷ํ๏ 27

7.ͷ࣮૷ํ๏͕֓ͶΘ͔Γ·ͨ͠ͶɻͰ͸ɼ࣮ࡍʹ+7.ͷ࣮૷ํ๏ʹ͍ͭͯཧղ ΛਂΊ͍͖ͯ·͠ΐ͏ɻ +7.͸DMBTTϑΝΠϧͱݺ͹ΕΔσʔλߏ଄ͷू߹Λ໋ྩͱղऍͯ͠ಈ࡞ͤ͞ΔΞ ϓϦέʔγϣϯϨϕϧͷ7.Ͱ͢ɻ DMBTTϑΝΠϧ͸ɼ+7.ͷن໿ʹଇΓɼҰൠతʹ͸+BWBϓϩάϥϜ͔ΒίϯύΠϧ ͞Ε·͢ɻ
͋Δ͍͸ɼ,PUMJO 4DBMBͷΑ͏ͳ+7.ݴޠͱݺ͹ΕΔϓϩάϥϜ΍ɼ΋ͪΖΜ ίϯύΠϥΛࣗ࡞ͯ͠+7.ݴޠͱ͢Ε͹ɼࣗ෼ࣗ਎ͷ޷͖ͳ΋ͷ΋ؚΈ·͢ɻ 28 +7.ͷ࣮૷ํ๏

ͦͯ͠ɼ͜ΕΒ͸+7.4QFD 5IF +BWB7JSUVBM.BDIJOF 4QFDJ fi DBUJPO ͱݺ͹ΕΔɼυΩϡϝϯτ͕ΦϯϥΠϯͰެ։͞Ε͓ͯΓɼ+7. Λࣗ࡞͢ΔڭՊॻͱ΋ͳΓ·͢ɻ
+%,͔Βɼจࣈྻॲཧͷ࠷దԽͳͲ͕͋Γ࣮૷͕൥ࡶʹͳΔͨΊɼखܰʹ΍Δ ͨΊʹ͸+%,Λਪ঑͠·͢ɻ +%,͕͍͍ײ͡ʹಈ͍ͨΒɼ+%,ͳͲʹγϑτ͍ͯ͘͜͠ͱΛ͓͢͢Ί͠ ·͢ɻ υΩϡϝϯτ͸ͪ͜ΒIUUQTEPDTPSBDMFDPNKBWBTFTQFDTKWNTTFIUNM 29 +7.ͷ࣮૷ํ๏

ͱ͸͍͑ʜ 30

௚ۙͰ͸--.΋ൃల͖͍ͯͯ͠ΔͷͰɼ$IBU(15ɼ$MBVEFɼ(FNJOJͳͲΛύʔτ φʔͱͯ͠ɼ࣮૷͢Δ΋શવ͋ΓͰ͢ɻ ྫ͑͹ɼDMBTTϑΝΠϧͷࠜఈͷσʔλߏ଄͸$MBTT'JMF4USVDUVSFͱݺ͹ΕΔ΋ͷ Ͱ͕͢ɼ$IBU(15PͰ΋ద੾ͳճ౴Λग़ͯ͘͠Ε·͢ɻ 31 +7.ͷ࣮૷ํ๏

32 +7.ͷ࣮૷ํ๏ +7.4QFDΛ௚઀ಡΜͰ͍͘৔߹ IUUQTEPDTPSBDMFDPNKBWBTFTQFDTKWNTTFIUNM KWNTIUNMKWNT $IBU(15ͱҰॹʹ࡞͍ͬͯ͘

ͦͯ͠$IBU(15ͱ͍ͬ͠ΐʹ ࡞͍ͬͯ͘৔߹͸ྫ΋ࣔͯ͘͠Ε·͢ 33

34 +7.ͷ࣮૷ํ๏ $IBU(15ͱҰॹʹ࡞͍ͬͯ͘ͱʜ

$MBTT'JMF4USVDUVSF͸DMBTTϑΝΠϧͷߏ଄Λఆٛ͢Δॏཁͳσʔλߏ଄Ͱ͢ɻ 㙽ʹ΋֯ʹ΋͜ͷ࢓૊ΈΛ஌Βͳ͚Ε͹ɼଞݴޠͰ࣮૷Ͱ͖·ͤΜɻ ຊࢿྉΛࢀߟʹ࣮૷தʹ͍᪴ͨ৔߹͸ɼͥͻ--.ʹฉ͖ͳ͕Β΍ͬͯ΋Β͑Δͱ εϜʔζ͔ͳͱࢥ͍·͢ɻ Ͱ͸ɼ$MBTT'JMF4USVDUVSFΛಡΈࠐΉ࢓૊Έ1)1Ͱ࣮૷ͭͭ͠ɼࠓճ͸ )FMMP8PSMEͷग़ྗΛΰʔϧͱ࣮ͯ͠૷·Ͱ΍ͬͯΈ·͠ΐ͏ɻ
)FMMP8PSMEͷग़ྗͰ͋Ε͹ɼ+7.4QFDʹهࡌ͞Ε͍ͯΔ಺༰͢΂ͯΛɼ ద੾ʹཧղ࣮ͯ͠૷͢Δඞཁ΋ͳ͍ͷͰɼָ࣮͘͠૷Ͱ͖Δ͜ͱؒҧ͍ͳ͠Ͱ͢ɻ 35 +7.ͷ࣮૷ํ๏

1)1Ͱͷ࣮૷ํ๏ 36

1)1ͰόΠφϦΛಡΉʹ͸ʜʁ 37

1)1ʹ΋όΠφϦΛಡΈࠐΉํ๏͕ఏ ڙ͞Ε͍ͯ·͢ɻ͜͏͍ͬͨέʔεͰ ͸GPQFO GSFBE VOQBDLͳͲ͕ ศརͰ͢ɻ DMBTTϑΝΠϧ͸σʔλߏ଄ͱ͸͍͑ɼ +40/ͷΑ͏ʹϚγϯϦʔμϒϧͰ΋
ώϡʔϚϯϦʔμϒϧͰ΋ͳ͘ɼόΠ φϦͰ͢ɻ 38 1)1ͰόΠφϦΛಡΉʹ͸ʜʁ

όΠφϦΛಡΈࠐΜͰ͍͘ྲྀΕ 39

40 όΠφϦΛಡΈࠐΜͰ͍͘ྲྀΕ ClassFile Structure ΛಡΈࠐΉ Constant Pool ΛಡΈࠐΉ ϝιουͷ৘ใΛಡΈࠐΉ Code
Attribute ΛಡΈࠐΉ ΦϖίʔυΛ࣮ߦ͢Δ ΦϖίʔυʢϓϩάϥϜʣΛ࣮ߦ͢ΔͨΊͷ  લॲཧ

$MBTT'JMF4USVDUVSF 41

$MBTT'JMF4USVDUVSF͸DMBTTϑΝΠϧ ͷϝλ৘ใͳͲ͕֨ೲ͞Ε͍ͯΔσʔλ ߏ଄Ͱ͢ɻ ྫ͑͹ɼίϯύΠϧ࣌ʹ༻͍ΒΕͨ +BWBͷόʔδϣϯɼ͜ͷ͋ͱղઆ͢ Δ+7.Λ࣮૷͢ΔࡍͷίΞͱͳΔ $POTUBOU1PPMɼϑΟʔϧυͷ৘ใɼ ϝιουͷ৘ใͳͲͰ͢ɻ
42 $MBTT'JMF4USVDUVSF

43 $MBTT'JMF4USVDUVSF $MBTT'JMF4USVDUVSF͸DMBTTϑΝΠϧ ͷϝλ৘ใͳͲ͕֨ೲ͞Ε͍ͯΔσʔλ ߏ଄Ͱ͢ɻ ྫ͑͹ɼίϯύΠϧ࣌ʹ༻͍ΒΕͨ +BWBͷόʔδϣϯɼ͜ͷ͋ͱղઆ͢ Δ+7.Λ࣮૷͢ΔࡍͷίΞͱͳΔ
$POTUBOU1PPMɼϑΟʔϧυͷ৘ใɼ ϝιουͷ৘ใͳͲͰ͢ɻ

$POTUBOU1PPM 44

45 $POTUBOU1PPM $POTUBOU1PPM͸$MBTT'JMF 4USVDUVSFͷσʔλߏ଄ͷҰ෦Ͱ +7.ʹͱͬͯಛʹίΞͱͳΔσʔλߏ଄ Ͱ͢ɻ ੔਺ɼจࣈྻɼϝιου໊ʢҾ਺ؚ ΉʣͳͲͷσʔλ͕֨ೲ͞Ε͍ͯ·͢ɻ
͜ΕΒΛऔΓग़͢͜ͱʹΑͬͯ)FMMP 8PSMEΛग़ྗ͢Δ͜ͱ͕Ͱ͖ΔΑ͏ ʹͳΓ·͢ɻ

ϝιου 46

47 ϝιου ϝιου͸ɼ$MBTT'JMF4USVDUVSFͷ σʔλߏ଄ͷҰ෦ͰɼΞΫηεम০ࢠ ΍ɼҾ਺ͷ৘ใΛɼͲͷ$POTUBOU 1PPM͔Βࢀর͢Δ͔Λ͍ࣔͯ͠Δ΋ͷ Ͱ͢ɻ ͜ΕΛಡΈࠐΉ͜ͱͰɼ)FMMP
8PSMEͷग़ྗ͕࣮૷͞Ε͍ͯΔ QVCMJDTUBUJDNBJO 4USJOH<> BSHT ͷ৘ใ͕औಘͰ͖·͢ɻ

$PEF"UUSJCVUF 48

$PEF"UUSJCVUF͸$MBTT'JMF4USVDUVSF Ͱఆٛ͞Ε͍ͯΔͷϝιουͷσʔλߏ଄ͷ Ұ෦Ͱ͢ɻ ϝιουʹଐੑͱͯ͠ϓϩάϥϜͷ৘ใ͕ ෇ਵ͍ͯ͠·͢ɻ $MBTT'JMF4USVDUVSFࣗମͷ"UUSJCVUFͱ ͯ͠ɼίʔυͷߦ਺Λ֨ೲ͍ͯ͠Δଐੑͷ
৘ใͳͲ͕͋Γ·͢ɻ 49 $PEF"UUSJCVUF

Φϖίʔυͷ࣮ߦ 50

Φϖίʔυʢ0Q$PEF0QFSBUJPO$PEFʣ͸ɼ໋ྩΛ୹͘ϚγϯϦʔμϒϧʹදݱ͠ ͍ͯΔ΋ͷͰ͢ɻ·ͨҾ਺ͷ͜ͱΛΦϖϥϯυͱ͍͍·͢ɻ $PEF"UUSJCVUFΛಡΈࠐΉ͜ͱͰɼ͜ͷ໋ྩΛऔಘͰ͖·͢ɻ 51 Φϖίʔυͷ࣮ߦ B2 00 02
12 03 B6 00 04 B1 getstatic ͷΦϖίʔυ getstatic ͷΦϖϥϯυ (Constant Pool ͷ2 ൪໨)

ώϡʔϚϯϦʔμϒϧͰ͸ͳ͍ͷͰɼཧղ ͕೉͍͠Ͱ͕͢ɼ͜ΕΒΛώϡʔϚϯϦʔ μϒϧʹͨ͠΋ͷ͕͋ΓɼͦΕΒΛχʔϞ χοΫʢNOFNPOJDʣͱݺΜͩΓ͠· ͢ɻ ΞηϯϒϦݴޠΛॻ͍ͨ͜ͱ͕͋Δਓ ͸ɼͳΜͱͳ͘Πϝʔδ͔ͭ͘ͳͱࢥ͍ ·͢ɻ
+BWB͸KBWBQDίϚϯυͰɼͲ͏͍͏ ίʔυ͔೷͚·͢ɻ 52 Φϖίʔυͷ࣮ߦ

͜ͷKBWBQίϚϯυͱ ಉ͡ΦϖίʔυΛ࣮૷͢Ε͹Α͍Ͱ͢ 53

KBWB-BOH4ZTUFN͸1)1ͷ OBNFTQBDFΛ͏·͘׆༻ͯ͠ʜ 55

%&.0 57 IUUQTHJTUHJUIVCDPNNNSEEDFBGFDFFBGCFDBBF

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

JVM の仕組みを理解して PHP で実装してみよう

JVM の仕組みを理解して PHP で実装してみよう

More Decks by memory

Other Decks in Programming

Featured

Transcript