マルチスレッディングの仕組み (2016)

Transcript

1. ϚϧνεϨοσΟϯάͷ࢓૊Έ inside multi-threading Laurent Esnault, Vice President of Engineering ϩϗϯɾΤϊʔ
2. ༻ޠղઆ
3. ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
4. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
5. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
6. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ • ϢʔβʔΠϯλϑΣʔε0, ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
7. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ • ϢʔβʔΠϯλϑΣʔε0, ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
8. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ • ϢʔβʔΠϯλϑΣʔε0, ϓϦΤϯϓςΟϒϞʔυ • 04͕εέδϡʔϧΛ؅ཧ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
9. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
   - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ • ϢʔβʔΠϯλϑΣʔε0, ϓϦΤϯϓςΟϒϞʔυ • 04͕εέδϡʔϧΛ؅ཧ • ۭ͍͍ͯΔίΞΛ͢΂ͯར༻Ͱ͖Δ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
10. • ϓϩηεಉ࢜ͰεέδϡʔϧΛ؅ཧ
    - ໌ࣔత·ͨ͸҉ࣔత*%-& • ར༻Ͱ͖ΔίΞ͸ݸͷΈ • ϢʔβʔΠϯλϑΣʔε0, ϓϦΤϯϓςΟϒϞʔυ • 04͕εέδϡʔϧΛ؅ཧ • ۭ͍͍ͯΔίΞΛ͢΂ͯར༻Ͱ͖Δ • ϢʔβʔΠϯλϑΣʔε/( ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
11. ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
12. U U $16 $16 ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
13. ϓϩηε" U U $16 $16 *%-& ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
14. ϓϩηε" ϓϩηε# U U $16 $16 *%-& *%-& ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
15. ϓϩηε" ϓϩηε" ϓϩηε# U U $16 $16 *%-& *%-& ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
16. ϓϩηε" ϓϩηε" ϓϩηε# U U $16 $16 U U $16 $16 *%-& *%-& ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
17. ϓϩηε" ϓϩηε# ϓϩηε" ϓϩηε" ϓϩηε# U U $16 $16 U U $16 $16 *%-& *%-& ϓϦΤϯϓςΟϒϞʔυ ίΦϖϥςΟϒϞʔυ ༻ޠղઆ
18. ϓϦΤϯϓςΟϒϞʔυ
19. ϓϦΤϯϓςΟϒϞʔυ • %#%
20. ϓϦΤϯϓςΟϒϞʔυ • %#% • 42-
21. ϓϦΤϯϓςΟϒϞʔυ • %#% • 42- • )551
22. σϞϯετϨʔγϣϯ %ϓϩηεΛϓϦΤϯϓςΟϒϞʔυͰ࣮ߦ͢Δ
23. BE PREPARED NOT SCARED ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
24. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
25. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
26. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
27. ΦϯϥΠϯυΩϡϝϯτ
28. ΦϯϥΠϯυΩϡϝϯτ
29. ࣮ߦϞʔυ
30. ࣮ߦϞʔυ ϝιουϓϩύςΟ
31. • ϓϦΤϯϓςΟϒ࣮ߦՄ ࣮ߦϞʔυ ϝιουϓϩύςΟ
32. • ϓϦΤϯϓςΟϒ࣮ߦՄ • ϓϦΤϯϓςΟϒ࣮ߦෆՄ ࣮ߦϞʔυ ϝιουϓϩύςΟ
33. • ϓϦΤϯϓςΟϒ࣮ߦՄ • ϓϦΤϯϓςΟϒ࣮ߦෆՄ • ಛʹઃఆ͠ͳ͍ ࣮ߦϞʔυ ϝιουϓϩύςΟ
34. • ϓϦΤϯϓςΟϒ࣮ߦՄ • ϓϦΤϯϓςΟϒ࣮ߦෆՄ • ಛʹઃఆ͠ͳ͍ ࣮ߦϞʔυ ίϯύΠϥʔʹΑΔνΣοΫ ϝιουϓϩύςΟ
35. • ϓϦΤϯϓςΟϒ࣮ߦՄ • ϓϦΤϯϓςΟϒ࣮ߦෆՄ • ಛʹઃఆ͠ͳ͍ • ϓϦΤϯϓςΟϒରԠ ࣮ߦϞʔυ ίϯύΠϥʔʹΑΔνΣοΫ ϝιουϓϩύςΟ
36. • ϓϦΤϯϓςΟϒ࣮ߦՄ • ϓϦΤϯϓςΟϒ࣮ߦෆՄ • ಛʹઃఆ͠ͳ͍ • ϓϦΤϯϓςΟϒରԠ • ϓϦΤϯϓςΟϒඇରԠ ࣮ߦϞʔυ ίϯύΠϥʔʹΑΔνΣοΫ ϝιουϓϩύςΟ
37. σϞϯετϨʔγϣϯ ࣮ߦϞʔυ
38. ॳΊʹݺ͹ΕΔ
    ϓϩδΣΫτϝιου͚ͩ มߋ͢Ε͹ྑ͍ ϙΠϯτ
39. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ
    • Πϯλʔϓϩηεม਺͸࢖༻ېࢭ
    • ϢʔβʔΠϯλϑΣʔεແ͠
    ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
40. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ
    • Πϯλʔϓϩηεม਺͸࢖༻ېࢭ
    • ϢʔβʔΠϯλϑΣʔεແ͠
    ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
41. ίΦϖϥςΟϒ
42. ίΦϖϥςΟϒ <>myVar:=<>myVar+1
43. ίΦϖϥςΟϒ <>myVar:=<>myVar+1 IDLE IDLE
44. ϓϦΤϯϓςΟϒ <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 IDLE IDLE
45. ϓϦΤϯϓςΟϒ <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 <>myVar:=<>myVar+1 IDLE IDLE IDLE
46. <>myVar:=<>myVar+1 CLEAR SEMAPHORE("myVar") If(Not(Semaphore("myVar";1000))) ϓϦΤϯϓςΟϒ End if
47. ΠϯλʔϓϩηεΛ࢖ΘͣʹͲ͏΍ͬͯ
    ϓϩηεؒͰ৘ใΛ΍ΓऔΓ͢Δͷ
48. $"--
    803,&3
49. $"--
    803,&3 • ໊લ͕෇͞ΕͨϝοηʔδϘοΫε
50. $"--
    803,&3 • ໊લ͕෇͞ΕͨϝοηʔδϘοΫε • ϝιουΛ࣮ߦ͢ΔͨΊͷϓϩηε
51. $"--
    803,&3 • ໊લ͕෇͞ΕͨϝοηʔδϘοΫε • ϝιουΛ࣮ߦ͢ΔͨΊͷϓϩηε • $"--
    803,&3ͰϝοηʔδΛಧ͚Δ
    - Ҿ਺͸/FX
    QSPDFTTʹࣅ͍ͯΔ
    - ೚ҙͷϓϩδΣΫτϝιου
    - ೚ҙͷύϥϝʔλʔ
52. myWorker ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε
53. myWorker CALL WORKER("myWorker"; "myMethod";$param) ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε
54. myWorker CALL WORKER("myWorker"; "myMethod";$param) ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε
55. myWorker CALL WORKER("myWorker"; "myMethod";$param) ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε you’ve got mail!
56. myWorker ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε CALL WORKER("myWorker"; "myMethod";$param)
57. myWorker ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε CALL WORKER("myWorker"; "myMethod";$param)
58. myWorker ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε myMethod($param) CALL WORKER("myWorker"; "myMethod";$param)
59. myWorker ΞϓϦέʔγϣϯϓϩηε myWorkerϓϩηε CALL WORKER("myWorker"; "myMethod";$param)
60. σϞϯετϨʔγϣϯ ϓϩηεؒͷσʔλ௨৴
61. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ
    • Πϯλʔϓϩηεม਺͸࢖༻ېࢭ
    • ϢʔβʔΠϯλϑΣʔεແ͠
    ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
62. BE PREPARED NOT SCARED • Ϗοτ൛
    • ίϯύΠϧϞʔυ
    • ϓϦΤϯϓςΟϒରԠίϚϯυ
    • Πϯλʔϓϩηεม਺͸࢖༻ېࢭ
    • ϢʔβʔΠϯλϑΣʔεແ͠
    ৺ߏ͕͑େࣄ ҟม΍ࡂ֐ΛʰාΕΔͳ४උͤΑʱ
    ʢ๺ถͷඪޠʣ
63. Ͳ͏΍ͬͯϓϦΤϯϓςΟϒϓϩηεͷ
    ϢʔβʔΠϯλϑΣʔεΛ࡞੒͢Δͷ
64. $"--
    '03.
65. $"--
    '03. • ΢Πϯυ΢ຖʹϝοηʔδϘοΫε
66. $"--
    '03. • ΢Πϯυ΢ຖʹϝοηʔδϘοΫε • ϑΥʔϜͷίϯςΩετͰϝιουΛ࣮ߦ͢Δ
67. $"--
    '03. • ΢Πϯυ΢ຖʹϝοηʔδϘοΫε • ϑΥʔϜͷίϯςΩετͰϝιουΛ࣮ߦ͢Δ • $"--
    '03.ͰϝοηʔδΛಧ͚Δ
    - Ҿ਺͸$"--
    803,&3ʹࣅ͍ͯΔ
    - ೚ҙͷϓϩδΣΫτϝιου
    - ೚ҙͷύϥϝʔλʔ
68. myWindow ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
69. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
70. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
71. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢ you’ve got mail!
72. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
73. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
74. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢ myMethod($param)
75. myWindow CALL FORM($myWindow; "myMethod";$param) ϓϩηε·ͨ͸ϫʔΧʔ myWindow΢Πϯυ΢
76. σϞϯετϨʔγϣϯ ΢Πϯυ΢ؒͷϝοηʔδૹड৴
77. Ϗοτ൛
78. Ϗοτ൛ Windows Mac
79. v12 Ϗοτ൛ Windows Mac
80. v12 Ϗοτ൛ Windows Mac v13 OD BC
81. v12 Ϗοτ൛ Windows Mac v13 OD BC v15 OD BC
82. v12 v15 Rx Ϗοτ൛ Windows Mac v13 OD BC v15 OD BC
83. v12 v15 Rx v15 R5 Ϗοτ൛ Windows Mac v13 OD BC v15 OD BC
84. v12 v15 Rx v15 R5 v16 Ϗοτ൛ Windows Mac v13 OD BC v15 OD BC
85. ϓϦΤϯϓςΟϒϞʔυ ΫϥΠΞϯταʔόʔ σʔλϕʔε 42- )551 TUBUJD EZOBNJD ϥϯήʔδ
86. ·ͱΊ
87. ·ͱΊ • Ϗοτ൛
    ֦ுੑ ͓ΑͼॲཧྗΞοϓͷجૅ εέʔϥϏϦςΟ ύϑΥʔϚϯε
88. ·ͱΊ • Ϗοτ൛
    ֦ுੑ ͓ΑͼॲཧྗΞοϓͷجૅ εέʔϥϏϦςΟ ύϑΥʔϚϯε • ඇಉظϝοηʔδ
    ؆୯͔ͭೳ཰తͳϓϩηεؒ௨৴
    ηϚϑΥʔෆཁɾσουϩοΫճආ
89. ·ͱΊ • Ϗοτ൛
    ֦ுੑ ͓ΑͼॲཧྗΞοϓͷجૅ εέʔϥϏϦςΟ ύϑΥʔϚϯε • ඇಉظϝοηʔδ
    ؆୯͔ͭೳ཰తͳϓϩηεؒ௨৴
    ηϚϑΥʔෆཁɾσουϩοΫճආ • ૣ଎ɹɹΛೖखͯ͠׳Ε͓͖ͯ·͠ΐ͏
    3