Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
PHP の GC の話 | PDF
[go: Go Back, main page]
Uploaded byy-uti
PDF, PPTX19,804 views

PHP の GC の話

第 87 回 PHP 勉強会での発表資料です。PHP の処理系に採用されている参照カウント方式の GC と循環参照を回収するアルゴリズムについて簡単に説明します。また、特定の限られた状況で循環参照の回収が処理速度に悪影響を与えることを、簡単なサンプルプログラムを用いて示します。

Embed presentation

Download as PDF, PPTX
1 / 156
2 / 156
3 / 156
4 / 156
5 / 156
6 / 156
7 / 156
8 / 156
9 / 156
10 / 156
11 / 156
12 / 156
13 / 156
14 / 156
15 / 156
16 / 156
17 / 156
18 / 156
19 / 156
20 / 156
21 / 156
22 / 156
23 / 156
24 / 156
25 / 156
26 / 156
27 / 156
28 / 156
29 / 156
30 / 156
31 / 156
32 / 156
33 / 156
34 / 156
35 / 156
36 / 156
37 / 156
38 / 156
39 / 156
40 / 156
41 / 156
42 / 156
43 / 156
44 / 156
45 / 156
Most read
46 / 156
47 / 156
48 / 156
49 / 156
50 / 156
51 / 156
52 / 156
53 / 156
54 / 156
55 / 156
Most read
56 / 156
57 / 156
58 / 156
59 / 156
60 / 156
61 / 156
62 / 156
63 / 156
64 / 156
65 / 156
66 / 156
67 / 156
68 / 156
69 / 156
70 / 156
71 / 156
72 / 156
73 / 156
74 / 156
75 / 156
76 / 156
77 / 156
78 / 156
79 / 156
80 / 156
81 / 156
82 / 156
83 / 156
84 / 156
85 / 156
86 / 156
87 / 156
88 / 156
89 / 156
90 / 156
91 / 156
92 / 156
93 / 156
94 / 156
95 / 156
96 / 156
97 / 156
98 / 156
99 / 156
100 / 156
101 / 156
102 / 156
103 / 156
104 / 156
105 / 156
106 / 156
107 / 156
108 / 156
109 / 156
110 / 156
111 / 156
112 / 156
113 / 156
114 / 156
115 / 156
116 / 156
117 / 156
118 / 156
119 / 156
120 / 156
121 / 156
122 / 156
123 / 156
124 / 156
125 / 156
126 / 156
127 / 156
128 / 156
129 / 156
130 / 156
131 / 156
132 / 156
133 / 156
134 / 156
135 / 156
136 / 156
137 / 156
138 / 156
139 / 156
140 / 156
141 / 156
142 / 156
143 / 156
144 / 156
145 / 156
146 / 156
147 / 156
148 / 156
149 / 156
150 / 156
151 / 156
Most read
152 / 156
153 / 156
154 / 156
155 / 156
156 / 156
PHP の GC の話 2015/02/27 第87回PHP勉強会
なぜ GC の話を？ 言語処理系の実装を知るのは良い勉強になる GC はとても面白い ◦ 巧妙なアルゴリズム ◦ 高速化のための実装上の (低水準な) 工夫 両方まとめて楽しめる。しかも「本物の」コードで 2015/02/27 第87回 PHP 勉強会 2
なぜ GC の話を？ 言語処理系の実装を知るのは良い勉強になる GC はとても面白い ◦ 巧妙なアルゴリズム ◦ 高速化のための実装上の (低水準な) 工夫 両方まとめて楽しめる。しかも「本物の」コードで 今日はこちらの話を中心に・・・ 2015/02/27 第87回 PHP 勉強会 3
自己紹介 内山 雄司 ◦ 株式会社ピコラボ ◦ @y__uti ◦ http://y-uti.hatenablog.jp 好きな話題 ◦ 機械学習とその周辺分野（ほぼ仕事） ◦ 楽しいけれど数学は不真面目だったので色々つらい ◦ プログラミング言語処理系（学生のときの研究分野／今は趣味） ◦ 去年あたり？から HHVM とか PHP7 とか盛り上がっていて楽しい ◦ PHP dis 2015/02/27 第87回 PHP 勉強会 4
目次 GC って何？ GC の仕組み 循環参照を持つゴミの回収 gc_disable() の話 2015/02/27 第87回 PHP 勉強会 5
GC って何？ 2015/02/27 第87回 PHP 勉強会 6
Wikipedia によると・・・ ガベージコレクション (garbage collection; GC) とは、 プログラムが動的に確保したメモリ領域のうち、不要になった領 域を自動的に解放する機能 である。 2015/02/27 第87回 PHP 勉強会 7 http://ja.wikipedia.org/wiki/ガベージコレクション
memory_limit PHP のスクリプトが使えるメモリの上限 2015/02/27 第87回 PHP 勉強会 8 $ cat php.ini ... ; Maximum amount of memory a script may consume (128MB) ; http://php.net/memory-limit memory_limit = 128M ...
メモリ不足のプログラム 128M を使いきってしまうと？ 2015/02/27 第87回 PHP 勉強会 9 <?php $a1 = range(1, 200000); echo '1'; $a2 = range(1, 200000); echo '2'; $a3 = range(1, 200000); echo '3'; $a4 = range(1, 200000); echo '4'; $a5 = range(1, 200000); echo '5'; 見慣れた？エラー 1234PHP Fatal error: Allowed memory size of 134217728 bytes exhausted (tried to allocate 32 bytes) in ... on line 6
プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 10 memory_limit = 128M
array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 11
array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 12 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 13 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 14 $a1 $a2
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 15 $a1 $a2 $a3
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 16 $a1 $a2 $a3 $a4
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 17 $a1 $a2 $a3 $a4
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 18 $a1 $a2 $a3 $a4 PHP Fatal Error
変更版のプログラム 同じ変数 $a1 に代入する 2015/02/27 第87回 PHP 勉強会 19 <?php $a1 = range(1, 200000); echo '1'; $a1 = range(1, 200000); echo '2'; $a1 = range(1, 200000); echo '3'; $a1 = range(1, 200000); echo '4'; $a1 = range(1, 200000); echo '5'; これはメモリ不足にならず実行できる 12345 どうして実行できるの？ ◦ PHP には「ごみ集め」 (Garbage Collection) の仕組みがあるから
PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 20 memory_limit = 128M
array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 21
array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 22 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 23 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 24 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 25 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 26 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 27 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 28 $a1 PHP Fatal Error
PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 29 memory_limit = 128M
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 30 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 31 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 32 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 33 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 34 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 35 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 36 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 37 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 38 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 39 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 40 $a1
array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 41 $a1 ←もう使わない
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 42 $a1
array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 43 $a1 Happy!
GC の仕組み 2015/02/27 第87回 PHP 勉強会 44
GC の基本 「もう使わない」ことをどのように知るのか？ 2015/02/27 第87回 PHP 勉強会 45 <?php $a1 = range(1, 200000); array(1, 2, ..., 200000) $a1 問題：10000 を表示するには？ echo $a1[9999]; // 10000
GC の基本 「もう使わない」ことをどのように知るのか？ 2015/02/27 第87回 PHP 勉強会 46 <?php $a1 = range(1, 200000); $a1 = range(200001, 400000); array(200001, ..., 400000) array(1, 2, ..., 200000) $a1 問題：10000 を表示するには？ echo $a1[9999]; // 210000 ◦ 無理
GC の基本 「もう使わない」ことをどのように知るのか？ ◦ とても難しい 「もう使えない」ことを知る ◦ わりと簡単 ◦ 辿れないものは使えない 2015/02/27 第87回 PHP 勉強会 47 array(200001, ..., 400000) array(1, 2, ..., 200000) $a1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 48
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 49 $a1 = new MyList(); 1$a1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 50 $a1->next = new MyList(); 1$a1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 51 $a1->next->next = new MyList(); 1$a1 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 52 $a2 = new MyList(); 1$a1 1 $a2 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 53 $a2->next = $a1->next; 1$a1 2 $a2 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 54 $a1->next->next->next = new MyList(); 1$a1 2 $a2 1 11
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 55 $a1->next->next->next->next = $a1->next->next->next; 1$a1 2 $a2 2 11
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 56 $a2 = new MyList(); 1$a1 2 $a2 2 10 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 57 $a1 = new MyList(); 1$a1 1 $a2 2 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 58 unset($a1); 0 1 $a2 2 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 59 unset($a1); 0 $a2 2 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 60 unset($a1); $a2 1 1 1
PHP の GC 参照カウント方式 ◦ 自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 61 unset($a1); $a2 1 1 1 これは？→
循環参照を持つごみの回収 2015/02/27 第87回 PHP 勉強会 62
循環参照 参照カウント方式の弱点 ◦ 参照関係に循環があると矢印の数が 0 にならないまま辿れなくなる ◦ だんだん溜まっていき最後にはメモリ不足になってしまう PHP 5.2 まで ◦ 辿れなくなる前に自分で unset しなければいけなかった ◦ つらい・・・普通バグる 2015/02/27 第87回 PHP 勉強会 63 $a2 1 1 1
循環参照の GC PHP 5.3 以降 ◦ 循環参照の問題にも対応 文献 ◦ Concurrent Cycle Collection in Reference Counted Systems ◦ http://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon01Concurrent.pdf ◦ http://www.ibm.com/ にアクセスして論文名でサイト内検索すれば見つかる 2015/02/27 第87回 PHP 勉強会 64 http://php.net/manual/ja/features.gc.collecting-cycles.php
循環参照の GC PHP 5.3 以降 ◦ 循環参照の問題にも対応 たとえば以下の状態から・・・ 2015/02/27 第87回 PHP 勉強会 65 1$a1 $a2 2 2 1 1 1 2 2 2
循環参照の GC - Release 参照カウントが 0 になった場合 ◦ ゴミなので回収する（通常の参照カウント方式） 2015/02/27 第87回 PHP 勉強会 66 unset($a1); 0 $a2 2 2 1 1 1 2 2 2
循環参照の GC - PossibleRoot 参照カウントが減ったがまだ 0 ではない場合 ◦ ゴミができてしまった「かもしれない」 ◦ 候補として覚えておく 2015/02/27 第87回 PHP 勉強会 67 $a2 1 2 1 1 1 2 2 2 やばい奴ら
循環参照の GC 必要に応じて候補をチェックする ◦ メモリ不足になった ◦ gc_collect_cycles() が呼ばれた ◦ 覚えきれなくなった (上限 10,000) 2015/02/27 第87回 PHP 勉強会 68 $a2 1 2 1 1 1 2 2 2 やばい奴ら
循環参照の GC はじめに ◦ この図の全体を見渡すと・・・ 2015/02/27 第87回 PHP 勉強会 69 $a2 1 2 1 1 1 2 2 2 やばい奴ら ここはゴミ→
循環参照の GC - MarkRoots 候補のオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 70 $a2 1 2 1 1 1 2 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 71 $a2 1 2 1 0 1 2 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 72 $a2 1 2 1 0 1 1 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 73 $a2 1 2 1 0 1 1 1 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 74 $a2 1 2 1 0 1 0 1 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 75 $a2 1 2 1 0 1 0 1 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 76 $a2 1 2 1 0 1 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 77 $a2 1 2 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 78 $a2 1 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 79 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 80 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 今の状態 ◦ 候補から到達できるオブジェクトは灰色 ◦ 灰色以外からの参照のみカウント 2015/02/27 第87回 PHP 勉強会 81 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 82 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 83 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 84 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 85 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ 2015/02/27 第87回 PHP 勉強会 86 $a2 0 0 1 0 0 0 0 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 87 $a2 0 0 1 0 0 0 1 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 88 $a2 0 0 1 0 0 1 1 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 89 $a2 0 0 1 0 0 1 2 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 90 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 91 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 92 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 93 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 94 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 95 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 今の状態 ◦ 到達できるオブジェクトは黒 ◦ 到達できないオブジェクトは白 2015/02/27 第87回 PHP 勉強会 96 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 97 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 98 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 99 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 100 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 101 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 102 $a2 0 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 103 $a2 0 1 0 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 104 $a2 0 1 0 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 105 $a2 0 1 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 106 $a2 0 1 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 107 $a2 1 1 2 2 やばい奴ら
循環参照の GC - CollectWhite 今の状態 ◦ 到達できるオブジェクトのみ残っている 2015/02/27 第87回 PHP 勉強会 108 $a2 1 1 2 2 やばい奴ら
gc_disable() の話 2015/02/27 第87回 PHP 勉強会 109
循環参照の GC (再考) 最初の状態が以下だったとしたら・・・ 2015/02/27 第87回 PHP 勉強会 110 1$a1 $a2 2 3 1 1 1 2 2 2
循環参照の GC - Release 参照カウントが 0 になった場合 ◦ ゴミなので回収する（通常の参照カウント方式） 2015/02/27 第87回 PHP 勉強会 111 unset($a1); 0 $a2 2 3 1 1 1 2 2 2
循環参照の GC - PossibleRoot 参照カウントが減ったがまだ 0 ではない場合 ◦ ゴミができてしまった「かもしれない」 ◦ 候補として覚えておく 2015/02/27 第87回 PHP 勉強会 112 $a2 1 3 1 1 1 2 2 2 やばい奴ら
循環参照の GC - MarkRoots 候補のオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 113 $a2 1 3 1 1 1 2 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 114 $a2 1 3 1 0 1 2 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 115 $a2 1 3 1 0 1 1 2 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 116 $a2 1 3 1 0 1 1 1 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 117 $a2 1 3 1 0 1 0 1 2 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 118 $a2 1 3 1 0 1 0 1 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 119 $a2 1 3 1 0 1 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 120 $a2 1 3 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 121 $a2 1 2 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 122 $a2 0 2 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 123 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - MarkGray 今の状態 ◦ 候補から到達できるオブジェクトは灰色 ◦ 灰色以外からの参照のみカウント 2015/02/27 第87回 PHP 勉強会 124 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 125 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 126 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 127 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 128 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ 2015/02/27 第87回 PHP 勉強会 129 $a2 0 1 1 0 0 0 0 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 130 $a2 0 1 1 0 0 0 1 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 131 $a2 0 1 1 0 0 1 1 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 132 $a2 0 1 1 0 0 1 2 1 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 133 $a2 0 1 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 134 $a2 0 1 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 135 $a2 0 1 1 0 0 1 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 136 $a2 0 1 1 0 0 1 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 137 $a2 1 1 1 0 0 1 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 138 $a2 1 1 1 1 0 1 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 139 $a2 1 1 1 1 0 2 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 140 $a2 1 1 1 1 1 2 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 141 $a2 1 2 1 1 1 2 2 2 やばい奴ら
循環参照の GC - ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 142 $a2 1 3 1 1 1 2 2 2 やばい奴ら
循環参照の GC - Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 143 $a2 1 3 1 1 1 2 2 2 やばい奴ら
循環参照の GC ゴミなど一つも無かった ◦ 時間の無駄 2015/02/27 第87回 PHP 勉強会 144 $a2 1 3 1 1 1 2 2 2 やばい奴ら
ところで 2015/02/27 第87回 PHP 勉強会 145
ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回 PHP 勉強会 146 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a);
ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回 PHP 勉強会 147 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 1 ◦ doSomething 実行前
ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回 PHP 勉強会 148 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 2 $foo ◦ doSomething 実行中
ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回 PHP 勉強会 149 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 1 ◦ doSomething 実行後
gc_disable() の使いどころ 原則 ◦ 普通は gc_disable() なんて考えなくてよい ◦ メモリリークの元 次のようなプログラムは検討の余地あり ◦ 巨大なグラフ (or 木, リスト, ...) を辿りながら処理する ◦ そのグラフは循環参照によるゴミを出さない 2015/02/27 第87回 PHP 勉強会 150
実験 こんなデータ構造を作って各要素を引数に関数を呼ぶ 2015/02/27 第87回 PHP 勉強会 151 1 ・・・ 1 1 ・・・ 1 1 1 ・・・ ・・・ 配列 リスト
実験 こんなデータ構造を作って各要素を引数に関数を呼ぶ 2015/02/27 第87回 PHP 勉強会 152 1 ・・・ 1 1 ・・・ 1 1 1 ・・・ ・・・ 配列 リスト 配列の要素数によって循環参照の GC が 発生したり発生しなかったりする
実験 プログラム (データ構造を組み立てる部分は省略) 2015/02/27 第87回 PHP 勉強会 153 ... gc_collect_cycles(); $start = microtime(true); for ($i = 0; $i < 10; ++$i) { foreach ($arrayOfList as $list) { doSomething($list); // doSomething は空の関数 } } $end = microtime(true); ◦ $arrayOfList の要素数を変更しながら ($end - $start) を計測 ◦ $list の長さは固定 (100 とした)
実験結果 2015/02/27 第87回 PHP 勉強会 154 PHP 5.6.5 との比較 memory_limit=1024M として実験 Core i5-3337U 1.80GHz
実験結果 2015/02/27 第87回 PHP 勉強会 155 PHP 7.0.0 との比較 memory_limit=1024M として実験 Core i5-3337U 1.80GHz
おわり ありがとうございました 2015/02/27 第87回 PHP 勉強会 156

More Related Content

PDF
例外設計における大罪
byTakuto Wada
 
PDF
DDDとクリーンアーキテクチャでサーバーアプリケーションを作っている話
byJustSystems Corporation
 
PDF
C#でわかる こわくないMonad
byKouji Matsui
 
PDF
ヤフー社内でやってるMySQLチューニングセミナー大公開
byYahoo!デベロッパーネットワーク
 
PPT
メタプログラミングって何だろう
byKota Mizushima
 
PPTX
PHPとシグナル、その裏側
bydo_aki
 
PDF
Javaのログ出力: 道具と考え方
byTaku Miyakawa
 
PDF
Dockerfile を書くためのベストプラクティス解説編
byMasahito Zembutsu
 
例外設計における大罪
byTakuto Wada
 
DDDとクリーンアーキテクチャでサーバーアプリケーションを作っている話
byJustSystems Corporation
 
C#でわかる こわくないMonad
byKouji Matsui
 
ヤフー社内でやってるMySQLチューニングセミナー大公開
byYahoo!デベロッパーネットワーク
 
メタプログラミングって何だろう
byKota Mizushima
 
PHPとシグナル、その裏側
bydo_aki
 
Javaのログ出力: 道具と考え方
byTaku Miyakawa
 
Dockerfile を書くためのベストプラクティス解説編
byMasahito Zembutsu
 

What's hot

PPTX
分散システムについて語らせてくれ
byKumazaki Hiroki
 
PDF
SQLアンチパターン 幻の第26章「とりあえず削除フラグ」
byTakuto Wada
 
PDF
こんなに使える！今どきのAPIドキュメンテーションツール
bydcubeio
 
PDF
テスト文字列に「うんこ」と入れるな
byKentaro Matsui
 
PPTX
PHP と SAPI と ZendEngine3 と
bydo_aki
 
PDF
モダン PHP テクニック 12 選 ―PsalmとPHP 8.1で今はこんなこともできる！―
byshinjiigarashi
 
PDF
ElasticSearch+Kibanaでログデータの検索と視覚化を実現するテクニックと運用ノウハウ
byKentaro Yoshida
 
PDF
イミュータブルデータモデル(世代編)
byYoshitaka Kawashima
 
ODP
Goのサーバサイド実装におけるレイヤ設計とレイヤ内実装について考える
bypospome
 
PDF
できる！並列・並行プログラミング
byPreferred Networks
 
PDF
Where狙いのキー、order by狙いのキー
byyoku0825
 
PDF
モジュールの凝集度・結合度・インタフェース
byHajime Yanagawa
 
PDF
RSA暗号運用でやってはいけない n のこと #ssmjp
bysonickun
 
PDF
ソーシャルゲーム案件におけるDB分割のPHP実装
byinfinite_loop
 
PDF
何となく勉強した気分になれるパーサ入門
bymasayoshi takahashi
 
PDF
RedmineのFAQとアンチパターン集
byakipii Oga
 
PDF
JIT のコードを読んでみた
byy-uti
 
KEY
やはりお前らのMVCは間違っている
byKoichi Tanaka
 
PPT
Glibc malloc internal
byMotohiro KOSAKI
 
PDF
関数型プログラミングのデザインパターンひとめぐり
byKazuyuki TAKASE
 
分散システムについて語らせてくれ
byKumazaki Hiroki
 
SQLアンチパターン 幻の第26章「とりあえず削除フラグ」
byTakuto Wada
 
こんなに使える！今どきのAPIドキュメンテーションツール
bydcubeio
 
テスト文字列に「うんこ」と入れるな
byKentaro Matsui
 
PHP と SAPI と ZendEngine3 と
bydo_aki
 
モダン PHP テクニック 12 選 ―PsalmとPHP 8.1で今はこんなこともできる！―
byshinjiigarashi
 
ElasticSearch+Kibanaでログデータの検索と視覚化を実現するテクニックと運用ノウハウ
byKentaro Yoshida
 
イミュータブルデータモデル(世代編)
byYoshitaka Kawashima
 
Goのサーバサイド実装におけるレイヤ設計とレイヤ内実装について考える
bypospome
 
できる！並列・並行プログラミング
byPreferred Networks
 
Where狙いのキー、order by狙いのキー
byyoku0825
 
モジュールの凝集度・結合度・インタフェース
byHajime Yanagawa
 
RSA暗号運用でやってはいけない n のこと #ssmjp
bysonickun
 
ソーシャルゲーム案件におけるDB分割のPHP実装
byinfinite_loop
 
何となく勉強した気分になれるパーサ入門
bymasayoshi takahashi
 
RedmineのFAQとアンチパターン集
byakipii Oga
 
JIT のコードを読んでみた
byy-uti
 
やはりお前らのMVCは間違っている
byKoichi Tanaka
 
Glibc malloc internal
byMotohiro KOSAKI
 
関数型プログラミングのデザインパターンひとめぐり
byKazuyuki TAKASE
 

Viewers also liked

PPTX
『例えば、PHPを避ける』以降PHPはどれだけ安全になったか
byHiroshi Tokumaru
 
PDF
PHP、おまえだったのか。 いつもHTTPメッセージを 運んでくれたのは。
bysasezaki
 
PDF
なぜ、PHPのmbstring.func_overloadをdeprecatedにするのに5年かかったのか? - 慢心、環境の違い
bysasezaki
 
PDF
営業・運用を支える "気付ける" 管理画面
byMasao Maeda
 
PPTX
知ってるようで意外と知らないPHPの便利関数
byWataru Terada
 
PDF
PHPの今とこれから2015
byRui Hirokawa
 
PDF
みんなそろそろ707やめようぜ (;´Д｀)
byYasutaka Hamada
 
PDF
脆弱性もバグ、だからテストしよう PHPカンファンレス2015
byichikaway
 
PDF
いまどきのPHP開発現場 -2015年秋-
byMasashi Shinbara
 
『例えば、PHPを避ける』以降PHPはどれだけ安全になったか
byHiroshi Tokumaru
 
PHP、おまえだったのか。 いつもHTTPメッセージを 運んでくれたのは。
bysasezaki
 
なぜ、PHPのmbstring.func_overloadをdeprecatedにするのに5年かかったのか? - 慢心、環境の違い
bysasezaki
 
営業・運用を支える "気付ける" 管理画面
byMasao Maeda
 
知ってるようで意外と知らないPHPの便利関数
byWataru Terada
 
PHPの今とこれから2015
byRui Hirokawa
 
みんなそろそろ707やめようぜ (;´Д｀)
byYasutaka Hamada
 
脆弱性もバグ、だからテストしよう PHPカンファンレス2015
byichikaway
 
いまどきのPHP開発現場 -2015年秋-
byMasashi Shinbara
 

Similar to PHP の GC の話

PDF
PHPの今とこれから2023
byRui Hirokawa
 
PDF
PHP5.6からPHP7.0への移行
byYasuo Ohgaki
 
PDF
マーク＆スイープ勉強会
by7shi
 
PDF
PHP初心者セッション2023 〜ChatGPT時代の簡単な始め方〜
byHideo Kashioka
 
PDF
PHP5.5新機能「ジェネレータ」初心者入門
bykwatch
 
PPTX
PHPCON_TOKYO_2022_Bigginer.pptx
byHideo Kashioka
 
PPTX
PHP基礎勉強会
byYuji Otani
 
PDF
PHPコアから読み解くPHP5.5
byYahoo!デベロッパーネットワーク
 
PDF
PHPの今とこれから2025 (PHP Conference Japan 2025)
byRui Hirokawa
 
PDF
PHPの今とこれから2019
byRui Hirokawa
 
PDF
GC黄金時代
byNarihiro Nakamura
 
PDF
PHP & Queue
bysasezaki
 
PDF
PHPの今とこれから 2013
byRui Hirokawa
 
PDF
最近の PHP の話
byy-uti
 
PDF
知って得する標準関数の使い方
bySoudai Sone
 
PDF
Modern PHP Programming @ PFI Seminar
bySotaro Karasawa
 
PDF
PHP language update 201211
byMoriyoshi Koizumi
 
PPTX
PHP基本的関数QUIZ
byWataru Terada
 
PDF
03 var array_flow_func
by文樹 高橋
 
PDF
アルゴリズム＋データ構造勉強会（9）
bynoldor
 
PHPの今とこれから2023
byRui Hirokawa
 
PHP5.6からPHP7.0への移行
byYasuo Ohgaki
 
マーク＆スイープ勉強会
by7shi
 
PHP初心者セッション2023 〜ChatGPT時代の簡単な始め方〜
byHideo Kashioka
 
PHP5.5新機能「ジェネレータ」初心者入門
bykwatch
 
PHPCON_TOKYO_2022_Bigginer.pptx
byHideo Kashioka
 
PHP基礎勉強会
byYuji Otani
 
PHPコアから読み解くPHP5.5
byYahoo!デベロッパーネットワーク
 
PHPの今とこれから2025 (PHP Conference Japan 2025)
byRui Hirokawa
 
PHPの今とこれから2019
byRui Hirokawa
 
GC黄金時代
byNarihiro Nakamura
 
PHP & Queue
bysasezaki
 
PHPの今とこれから 2013
byRui Hirokawa
 
最近の PHP の話
byy-uti
 
知って得する標準関数の使い方
bySoudai Sone
 
Modern PHP Programming @ PFI Seminar
bySotaro Karasawa
 
PHP language update 201211
byMoriyoshi Koizumi
 
PHP基本的関数QUIZ
byWataru Terada
 
03 var array_flow_func
by文樹 高橋
 
アルゴリズム＋データ構造勉強会（9）
bynoldor
 

More from y-uti

PDF
anyenv + phpenv + php-build が便利すぎる件
byy-uti
 
PDF
Task Spooler を試した
byy-uti
 
PDF
目で見る過学習と正則化
byy-uti
 
PDF
PECL operator で演算子オーバーロード
byy-uti
 
PDF
潜在ディリクレ配分法
byy-uti
 
PDF
分類問題 - 機械学習ライブラリ scikit-learn の活用
byy-uti
 
PDF
Windows で拡張モジュールをビルドしてみた
byy-uti
 
PDF
Active Object
byy-uti
 
PDF
OPcache の最適化器の今
byy-uti
 
PDF
Windows で PHP をビルドしてみた
byy-uti
 
PDF
ロジスティック回帰入門
byy-uti
 
PDF
Kaggle の Titanic チュートリアルに挑戦した話
byy-uti
 
PDF
PHP-ML で手書き数字認識
byy-uti
 
PDF
PHP カンファレンス福岡 参加報告
byy-uti
 
PDF
PECL を数えてみた
byy-uti
 
PDF
JIT for PHP を試した
byy-uti
 
PDF
RFC: "var" Deprecation
byy-uti
 
PDF
スパース推定
byy-uti
 
PDF
PHP カンファレンス福岡 2017 参加報告
byy-uti
 
PDF
論文紹介 Identifying Implementation Bugs in Machine Learning based Image Classifi...
byy-uti
 
anyenv + phpenv + php-build が便利すぎる件
byy-uti
 
Task Spooler を試した
byy-uti
 
目で見る過学習と正則化
byy-uti
 
PECL operator で演算子オーバーロード
byy-uti
 
潜在ディリクレ配分法
byy-uti
 
分類問題 - 機械学習ライブラリ scikit-learn の活用
byy-uti
 
Windows で拡張モジュールをビルドしてみた
byy-uti
 
Active Object
byy-uti
 
OPcache の最適化器の今
byy-uti
 
Windows で PHP をビルドしてみた
byy-uti
 
ロジスティック回帰入門
byy-uti
 
Kaggle の Titanic チュートリアルに挑戦した話
byy-uti
 
PHP-ML で手書き数字認識
byy-uti
 
PHP カンファレンス福岡 参加報告
byy-uti
 
PECL を数えてみた
byy-uti
 
JIT for PHP を試した
byy-uti
 
RFC: "var" Deprecation
byy-uti
 
スパース推定
byy-uti
 
PHP カンファレンス福岡 2017 参加報告
byy-uti
 
論文紹介 Identifying Implementation Bugs in Machine Learning based Image Classifi...
byy-uti
 

Recently uploaded

PDF
基礎から学ぶ PostgreSQL の性能監視 (PostgreSQL Conference Japan 2025 発表資料)
byNTT DATA Technology & Innovation
 
PDF
PCCC25（設立25年記念PCクラスタシンポジウム）：東京大学情報基盤センター テーマ１/２/３「Society5.0の実現を目指す『計算・データ・学習...
byPC Cluster Consortium
 
PDF
安価な ロジック・アナライザを アナライズ(?),Analyze report of some cheap logic analyzers
byたけおか しょうぞう
 
PDF
visionOS TC「新しいマイホームで過ごすApple Vision Proとの新生活」
bySugiyama Yugo
 
PDF
第25回FA設備技術勉強会_自宅で勉強するROS・フィジカルAIアイテム.pdf
byTomohiroKusu
 
PDF
PCCC25（設立25年記念PCクラスタシンポジウム）：株式会社アルゴグラフィックス テーマ１「ARGO北見テクノセンターのご紹介」
byPC Cluster Consortium
 
PPTX
DrupalCon Nara 2025の記録 .
byiPride Co., Ltd.
 
基礎から学ぶ PostgreSQL の性能監視 (PostgreSQL Conference Japan 2025 発表資料)
byNTT DATA Technology & Innovation
 
PCCC25（設立25年記念PCクラスタシンポジウム）：東京大学情報基盤センター テーマ１/２/３「Society5.0の実現を目指す『計算・データ・学習...
byPC Cluster Consortium
 
安価な ロジック・アナライザを アナライズ(?),Analyze report of some cheap logic analyzers
byたけおか しょうぞう
 
visionOS TC「新しいマイホームで過ごすApple Vision Proとの新生活」
bySugiyama Yugo
 
第25回FA設備技術勉強会_自宅で勉強するROS・フィジカルAIアイテム.pdf
byTomohiroKusu
 
PCCC25（設立25年記念PCクラスタシンポジウム）：株式会社アルゴグラフィックス テーマ１「ARGO北見テクノセンターのご紹介」
byPC Cluster Consortium
 
DrupalCon Nara 2025の記録 .
byiPride Co., Ltd.
 

PHP の GC の話

  • 1.
    PHP の GCの話 2015/02/27 第87回PHP勉強会
  • 2.
    なぜ GC の話を？ 言語処理系の実装を知るのは良い勉強になる GCはとても面白い ◦ 巧妙なアルゴリズム ◦ 高速化のための実装上の (低水準な) 工夫 両方まとめて楽しめる。しかも「本物の」コードで 2015/02/27 第87回 PHP 勉強会 2
  • 3.
    なぜ GC の話を？ 言語処理系の実装を知るのは良い勉強になる GCはとても面白い ◦ 巧妙なアルゴリズム ◦ 高速化のための実装上の (低水準な) 工夫 両方まとめて楽しめる。しかも「本物の」コードで 今日はこちらの話を中心に・・・ 2015/02/27 第87回 PHP 勉強会 3
  • 4.
    自己紹介 内山 雄司 ◦ 株式会社ピコラボ ◦@y__uti ◦ http://y-uti.hatenablog.jp 好きな話題 ◦ 機械学習とその周辺分野（ほぼ仕事） ◦ 楽しいけれど数学は不真面目だったので色々つらい ◦ プログラミング言語処理系（学生のときの研究分野／今は趣味） ◦ 去年あたり？から HHVM とか PHP7 とか盛り上がっていて楽しい ◦ PHP dis 2015/02/27 第87回 PHP 勉強会 4
  • 5.
  • 6.
  • 7.
    Wikipedia によると・・・ ガベージコレクション (garbagecollection; GC) とは、 プログラムが動的に確保したメモリ領域のうち、不要になった領 域を自動的に解放する機能 である。 2015/02/27 第87回 PHP 勉強会 7 http://ja.wikipedia.org/wiki/ガベージコレクション
  • 8.
    memory_limit PHP のスクリプトが使えるメモリの上限 2015/02/27 第87回PHP 勉強会 8 $ cat php.ini ... ; Maximum amount of memory a script may consume (128MB) ; http://php.net/memory-limit memory_limit = 128M ...
  • 9.
    メモリ不足のプログラム 128M を使いきってしまうと？ 2015/02/27 第87回PHP 勉強会 9 <?php $a1 = range(1, 200000); echo '1'; $a2 = range(1, 200000); echo '2'; $a3 = range(1, 200000); echo '3'; $a4 = range(1, 200000); echo '4'; $a5 = range(1, 200000); echo '5'; 見慣れた？エラー 1234PHP Fatal error: Allowed memory size of 134217728 bytes exhausted (tried to allocate 32 bytes) in ... on line 6
  • 10.
  • 11.
    array(1, 2, ...,200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 11
  • 12.
    array(1, 2, ...,200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 12 $a1
  • 13.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 13 $a1
  • 14.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 14 $a1 $a2
  • 15.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 15 $a1 $a2 $a3
  • 16.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 16 $a1 $a2 $a3 $a4
  • 17.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 17 $a1 $a2 $a3 $a4
  • 18.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) プログラム実行の様子 2015/02/27 第87回 PHP 勉強会 18 $a1 $a2 $a3 $a4 PHP Fatal Error
  • 19.
    変更版のプログラム 同じ変数 $a1 に代入する 2015/02/27第87回 PHP 勉強会 19 <?php $a1 = range(1, 200000); echo '1'; $a1 = range(1, 200000); echo '2'; $a1 = range(1, 200000); echo '3'; $a1 = range(1, 200000); echo '4'; $a1 = range(1, 200000); echo '5'; これはメモリ不足にならず実行できる 12345 どうして実行できるの？ ◦ PHP には「ごみ集め」 (Garbage Collection) の仕組みがあるから
  • 20.
    PHP に GCがなかったら 2015/02/27 第87回 PHP 勉強会 20 memory_limit = 128M
  • 21.
    array(1, 2, ...,200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 21
  • 22.
    array(1, 2, ...,200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 22 $a1
  • 23.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 23 $a1
  • 24.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 24 $a1
  • 25.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 25 $a1
  • 26.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 26 $a1
  • 27.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 27 $a1
  • 28.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) array(1, 2, ..., 200000) PHP に GC がなかったら 2015/02/27 第87回 PHP 勉強会 28 $a1 PHP Fatal Error
  • 29.
    PHP には GCがあるので 2015/02/27 第87回 PHP 勉強会 29 memory_limit = 128M
  • 30.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 30 $a1
  • 31.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 31 $a1 ←もう使わない
  • 32.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 32 $a1
  • 33.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 33 $a1 ←もう使わない
  • 34.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 34 $a1
  • 35.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 35 $a1 ←もう使わない
  • 36.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 36 $a1
  • 37.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 37 $a1 ←もう使わない
  • 38.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 38 $a1
  • 39.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 39 $a1 ←もう使わない
  • 40.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 40 $a1
  • 41.
    array(1, 2, ...,200000) array(1, 2, ..., 200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 41 $a1 ←もう使わない
  • 42.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 42 $a1
  • 43.
    array(1, 2, ...,200000) PHP には GC があるので 2015/02/27 第87回 PHP 勉強会 43 $a1 Happy!
  • 44.
  • 45.
    GC の基本 「もう使わない」ことをどのように知るのか？ 2015/02/27 第87回PHP 勉強会 45 <?php $a1 = range(1, 200000); array(1, 2, ..., 200000) $a1 問題：10000 を表示するには？ echo $a1[9999]; // 10000
  • 46.
    GC の基本 「もう使わない」ことをどのように知るのか？ 2015/02/27 第87回PHP 勉強会 46 <?php $a1 = range(1, 200000); $a1 = range(200001, 400000); array(200001, ..., 400000) array(1, 2, ..., 200000) $a1 問題：10000 を表示するには？ echo $a1[9999]; // 210000 ◦ 無理
  • 47.
    GC の基本 「もう使わない」ことをどのように知るのか？ ◦ とても難しい 「もう使えない」ことを知る ◦わりと簡単 ◦ 辿れないものは使えない 2015/02/27 第87回 PHP 勉強会 47 array(200001, ..., 400000) array(1, 2, ..., 200000) $a1
  • 48.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 48
  • 49.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 49 $a1 = new MyList(); 1$a1
  • 50.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 50 $a1->next = new MyList(); 1$a1 1
  • 51.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 51 $a1->next->next = new MyList(); 1$a1 1 1
  • 52.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 52 $a2 = new MyList(); 1$a1 1 $a2 1 1
  • 53.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 53 $a2->next = $a1->next; 1$a1 2 $a2 1 1
  • 54.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 54 $a1->next->next->next = new MyList(); 1$a1 2 $a2 1 11
  • 55.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 55 $a1->next->next->next->next = $a1->next->next->next; 1$a1 2 $a2 2 11
  • 56.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 56 $a2 = new MyList(); 1$a1 2 $a2 2 10 1
  • 57.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 57 $a1 = new MyList(); 1$a1 1 $a2 2 1 1
  • 58.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 58 unset($a1); 0 1 $a2 2 1 1
  • 59.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 59 unset($a1); 0 $a2 2 1 1
  • 60.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 60 unset($a1); $a2 1 1 1
  • 61.
    PHP の GC 参照カウント方式 ◦自分に入ってくる矢印 (= 参照) の数を記録しておく ◦ 矢印の数が 0 になったら「もう使えない」 2015/02/27 第87回 PHP 勉強会 61 unset($a1); $a2 1 1 1 これは？→
  • 62.
  • 63.
    循環参照 参照カウント方式の弱点 ◦ 参照関係に循環があると矢印の数が 0にならないまま辿れなくなる ◦ だんだん溜まっていき最後にはメモリ不足になってしまう PHP 5.2 まで ◦ 辿れなくなる前に自分で unset しなければいけなかった ◦ つらい・・・普通バグる 2015/02/27 第87回 PHP 勉強会 63 $a2 1 1 1
  • 64.
    循環参照の GC PHP 5.3以降 ◦ 循環参照の問題にも対応 文献 ◦ Concurrent Cycle Collection in Reference Counted Systems ◦ http://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon01Concurrent.pdf ◦ http://www.ibm.com/ にアクセスして論文名でサイト内検索すれば見つかる 2015/02/27 第87回 PHP 勉強会 64 http://php.net/manual/ja/features.gc.collecting-cycles.php
  • 65.
    循環参照の GC PHP 5.3以降 ◦ 循環参照の問題にも対応 たとえば以下の状態から・・・ 2015/02/27 第87回 PHP 勉強会 65 1$a1 $a2 2 2 1 1 1 2 2 2
  • 66.
    循環参照の GC -Release 参照カウントが 0 になった場合 ◦ ゴミなので回収する（通常の参照カウント方式） 2015/02/27 第87回 PHP 勉強会 66 unset($a1); 0 $a2 2 2 1 1 1 2 2 2
  • 67.
    循環参照の GC -PossibleRoot 参照カウントが減ったがまだ 0 ではない場合 ◦ ゴミができてしまった「かもしれない」 ◦ 候補として覚えておく 2015/02/27 第87回 PHP 勉強会 67 $a2 1 2 1 1 1 2 2 2 やばい奴ら
  • 68.
    循環参照の GC 必要に応じて候補をチェックする ◦ メモリ不足になった ◦gc_collect_cycles() が呼ばれた ◦ 覚えきれなくなった (上限 10,000) 2015/02/27 第87回 PHP 勉強会 68 $a2 1 2 1 1 1 2 2 2 やばい奴ら
  • 69.
    循環参照の GC はじめに ◦ この図の全体を見渡すと・・・ 2015/02/27第87回 PHP 勉強会 69 $a2 1 2 1 1 1 2 2 2 やばい奴ら ここはゴミ→
  • 70.
    循環参照の GC -MarkRoots 候補のオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 70 $a2 1 2 1 1 1 2 2 2 やばい奴ら
  • 71.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 71 $a2 1 2 1 0 1 2 2 2 やばい奴ら
  • 72.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 72 $a2 1 2 1 0 1 1 2 2 やばい奴ら
  • 73.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 73 $a2 1 2 1 0 1 1 1 2 やばい奴ら
  • 74.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 74 $a2 1 2 1 0 1 0 1 2 やばい奴ら
  • 75.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 75 $a2 1 2 1 0 1 0 1 1 やばい奴ら
  • 76.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 76 $a2 1 2 1 0 1 0 0 1 やばい奴ら
  • 77.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 77 $a2 1 2 1 0 0 0 0 1 やばい奴ら
  • 78.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 78 $a2 1 1 1 0 0 0 0 1 やばい奴ら
  • 79.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 79 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 80.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 80 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 81.
    循環参照の GC -MarkGray 今の状態 ◦ 候補から到達できるオブジェクトは灰色 ◦ 灰色以外からの参照のみカウント 2015/02/27 第87回 PHP 勉強会 81 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 82.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 82 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 83.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 83 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 84.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 84 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 85.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 85 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 86.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ 2015/02/27 第87回 PHP 勉強会 86 $a2 0 0 1 0 0 0 0 1 やばい奴ら
  • 87.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 87 $a2 0 0 1 0 0 0 1 1 やばい奴ら
  • 88.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 88 $a2 0 0 1 0 0 1 1 1 やばい奴ら
  • 89.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 89 $a2 0 0 1 0 0 1 2 1 やばい奴ら
  • 90.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 90 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 91.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 91 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 92.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 92 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 93.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 93 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 94.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 94 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 95.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 95 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 96.
    循環参照の GC -Scan 今の状態 ◦ 到達できるオブジェクトは黒 ◦ 到達できないオブジェクトは白 2015/02/27 第87回 PHP 勉強会 96 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 97.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 97 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 98.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 98 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 99.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 99 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 100.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 100 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 101.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 101 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 102.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 102 $a2 0 0 1 0 0 1 2 2 やばい奴ら
  • 103.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 103 $a2 0 1 0 0 1 2 2 やばい奴ら
  • 104.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 104 $a2 0 1 0 1 2 2 やばい奴ら
  • 105.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 105 $a2 0 1 1 2 2 やばい奴ら
  • 106.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 106 $a2 0 1 1 2 2 やばい奴ら
  • 107.
    循環参照の GC -CollectWhite 矢印を辿りながら ◦ 「白」のオブジェクトを回収する 2015/02/27 第87回 PHP 勉強会 107 $a2 1 1 2 2 やばい奴ら
  • 108.
    循環参照の GC -CollectWhite 今の状態 ◦ 到達できるオブジェクトのみ残っている 2015/02/27 第87回 PHP 勉強会 108 $a2 1 1 2 2 やばい奴ら
  • 109.
  • 110.
  • 111.
    循環参照の GC -Release 参照カウントが 0 になった場合 ◦ ゴミなので回収する（通常の参照カウント方式） 2015/02/27 第87回 PHP 勉強会 111 unset($a1); 0 $a2 2 3 1 1 1 2 2 2
  • 112.
    循環参照の GC -PossibleRoot 参照カウントが減ったがまだ 0 ではない場合 ◦ ゴミができてしまった「かもしれない」 ◦ 候補として覚えておく 2015/02/27 第87回 PHP 勉強会 112 $a2 1 3 1 1 1 2 2 2 やばい奴ら
  • 113.
    循環参照の GC -MarkRoots 候補のオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 113 $a2 1 3 1 1 1 2 2 2 やばい奴ら
  • 114.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 114 $a2 1 3 1 0 1 2 2 2 やばい奴ら
  • 115.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 115 $a2 1 3 1 0 1 1 2 2 やばい奴ら
  • 116.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 116 $a2 1 3 1 0 1 1 1 2 やばい奴ら
  • 117.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 117 $a2 1 3 1 0 1 0 1 2 やばい奴ら
  • 118.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 118 $a2 1 3 1 0 1 0 1 1 やばい奴ら
  • 119.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 119 $a2 1 3 1 0 1 0 0 1 やばい奴ら
  • 120.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 120 $a2 1 3 1 0 0 0 0 1 やばい奴ら
  • 121.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 121 $a2 1 2 1 0 0 0 0 1 やばい奴ら
  • 122.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 122 $a2 0 2 1 0 0 0 0 1 やばい奴ら
  • 123.
    循環参照の GC -MarkGray 矢印を辿りながら ◦ 参照カウントを 1 減らす ◦ 辿ったオブジェクトを「灰色」にする 2015/02/27 第87回 PHP 勉強会 123 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 124.
    循環参照の GC -MarkGray 今の状態 ◦ 候補から到達できるオブジェクトは灰色 ◦ 灰色以外からの参照のみカウント 2015/02/27 第87回 PHP 勉強会 124 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 125.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 125 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 126.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 126 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 127.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 127 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 128.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする 2015/02/27 第87回 PHP 勉強会 128 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 129.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ 2015/02/27 第87回 PHP 勉強会 129 $a2 0 1 1 0 0 0 0 1 やばい奴ら
  • 130.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 130 $a2 0 1 1 0 0 0 1 1 やばい奴ら
  • 131.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 131 $a2 0 1 1 0 0 1 1 1 やばい奴ら
  • 132.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 132 $a2 0 1 1 0 0 1 2 1 やばい奴ら
  • 133.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 133 $a2 0 1 1 0 0 1 2 2 やばい奴ら
  • 134.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 134 $a2 0 1 1 0 0 1 2 2 やばい奴ら
  • 135.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 135 $a2 0 1 1 0 0 1 2 2 やばい奴ら
  • 136.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 136 $a2 0 1 1 0 0 1 2 2 やばい奴ら
  • 137.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 137 $a2 1 1 1 0 0 1 2 2 やばい奴ら
  • 138.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 138 $a2 1 1 1 1 0 1 2 2 やばい奴ら
  • 139.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 139 $a2 1 1 1 1 0 2 2 2 やばい奴ら
  • 140.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 140 $a2 1 1 1 1 1 2 2 2 やばい奴ら
  • 141.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 141 $a2 1 2 1 1 1 2 2 2 やばい奴ら
  • 142.
    循環参照の GC -ScanBlack 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 142 $a2 1 3 1 1 1 2 2 2 やばい奴ら
  • 143.
    循環参照の GC -Scan 矢印を辿りながら ◦ 参照カウントが 0 なら「白」にする ◦ 1 以上なら「黒」にして・・・ ◦ 減らしてしまった参照カウントを戻していく 2015/02/27 第87回 PHP 勉強会 143 $a2 1 3 1 1 1 2 2 2 やばい奴ら
  • 144.
    循環参照の GC ゴミなど一つも無かった ◦ 時間の無駄 2015/02/27第87回 PHP 勉強会 144 $a2 1 3 1 1 1 2 2 2 やばい奴ら
  • 145.
  • 146.
    ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回PHP 勉強会 146 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a);
  • 147.
    ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回PHP 勉強会 147 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 1 ◦ doSomething 実行前
  • 148.
    ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回PHP 勉強会 148 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 2 $foo ◦ doSomething 実行中
  • 149.
    ゴミの候補はいつできる？ 関数を呼ぶだけでゴミの候補が増える (引数の型による) 2015/02/27 第87回PHP 勉強会 149 <?php $a = new MyList(); function doSomething($foo) {} doSomething($a); $a 1 ◦ doSomething 実行後
  • 150.
    gc_disable() の使いどころ 原則 ◦ 普通はgc_disable() なんて考えなくてよい ◦ メモリリークの元 次のようなプログラムは検討の余地あり ◦ 巨大なグラフ (or 木, リスト, ...) を辿りながら処理する ◦ そのグラフは循環参照によるゴミを出さない 2015/02/27 第87回 PHP 勉強会 150
  • 151.
    実験 こんなデータ構造を作って各要素を引数に関数を呼ぶ 2015/02/27 第87回 PHP勉強会 151 1 ・・・ 1 1 ・・・ 1 1 1 ・・・ ・・・ 配列 リスト
  • 152.
    実験 こんなデータ構造を作って各要素を引数に関数を呼ぶ 2015/02/27 第87回 PHP勉強会 152 1 ・・・ 1 1 ・・・ 1 1 1 ・・・ ・・・ 配列 リスト 配列の要素数によって循環参照の GC が 発生したり発生しなかったりする
  • 153.
    実験 プログラム (データ構造を組み立てる部分は省略) 2015/02/27 第87回PHP 勉強会 153 ... gc_collect_cycles(); $start = microtime(true); for ($i = 0; $i < 10; ++$i) { foreach ($arrayOfList as $list) { doSomething($list); // doSomething は空の関数 } } $end = microtime(true); ◦ $arrayOfList の要素数を変更しながら ($end - $start) を計測 ◦ $list の長さは固定 (100 とした)
  • 154.
    実験結果 2015/02/27 第87回 PHP勉強会 154 PHP 5.6.5 との比較 memory_limit=1024M として実験 Core i5-3337U 1.80GHz
  • 155.
    実験結果 2015/02/27 第87回 PHP勉強会 155 PHP 7.0.0 との比較 memory_limit=1024M として実験 Core i5-3337U 1.80GHz
  • 156.