PHPでファイル書き込み後にメモリが解放されない（PHPの問題ではない

Question

原因または解決策をご存知の方がいらっしゃいましたら教えて下さい。

topコマンドでメモリ使用量を追いながら以下のスクリプトを実行すると、
実行終了後もa.pdfのファイルサイズと同じ分だけメモリが解放されません。
ファイルサイズは150MBほどです。

<?php
$input_path = '/tmp/a.pdf';
$output = fopen('/tmp/b.pdf', 'wb');
fwrite($output, file_get_contents($input_path));
fclose($output);

その後以下を実行するとメモリ使用量は元に戻ります。

rm /tmp/b.pdf

よろしくお願いします。

Answer 1

topコマンドでメモリ使用量を追いながら以下のスクリプトを実行すると、
実行終了後もa.pdfのファイルサイズと同じ分だけメモリが解放されません。
ファイルサイズは150MBほどです。

top の何を見ていますか？ 恐らくそれはディスクキャッシュによるものです。

プログラムが終了してもカーネルが b.pdf をメモリにキャッシュしているため、見せかけのメモリ使用量は減りません。

Linux の free コマンドの -/+ buffers/cache の行を見れば、ディスクキャッシュを除いた実際の使用量が確認できます。

Comments

[popup]

ありがとうございます、大変勉強になりました。
ディスクキャッシュの存在をしらず、
memoryのfreeのところだけを見ていました。

watch -n 1 free

で継続的に観測したところ、free, buffers, cachedの合計は減少していませんでした。

Answer 2

/tmp がメモリの上にramdiskのような形で作られているのでそれでその分のメモリが消費されているということでしょうか。
出力するファイル名を /home/user1/1.pdf とかに変更してみてはどうでしょう?

Comments

[popup]

ありがとうございます。

/tmp以外のディレクトリに出力した場合には、このような現象はおきませんでした。
/tmpは他と違って”揮発性”をもったディレクトリなんですね。

Answer 3

よくわからないんですが、
file_get_contentsは一旦変数に保存するそうで、それが保持されているっぽいですね。

fwrite($output, file_get_contents($input_path));

を

$pdf = file_get_contents($input_path);
fwrite($output, $pdf);
unset($pdf);

としたら、リークしないんじゃないでしょうか？ 予想ですが…

Comments

[popup]

回答ありがとうございます。
継続して調べていたところ、

cp /tmp/a.pdf /tmp/b.pdf

でもメモリは解放されないままでした。
そこで、os側の機能だと思い調べたところこのようなドキュメントを見つけました。
http://www.ibiblio.org/pub/Linux/docs/fsstnd/old/fsstnd-1.2.txt
3.11 が/tmpディレクトリに関する章で、
> /tmp may be on a RAM disk. /var/tmp should never be located on a RAM
device.
だそうです。