（タイトル変更済み）PsySHには変数をunsetしてもリソースが解放されないバグがある

PHPマニュアルのリソースの項目を読むとこんな記述があります。

PHP 4 の Zend エンジンに導入されたリファレンスカウンティングシステムのおかげで、 あるリソースがもう参照されなくなった場合に (Java と全く同様に)、 そのリソースは自動的に削除されます。この場合、このリソースが作成した 全てのリソースは、ガベージコレクタにより開放されます。 このため、free_result 関数を用いて手動でメモリを開放する必要が生じるのはまれです。

$fp = fopen('test.txt', 'a');
fclose($fp);
while (true) { }

$fp = fopen('test.txt', 'a');
unset($fp);
while (true) { }

• flock(\$fp, LOCK_UN)でのロック解放はもちろん、fclose($fp)もちゃんと書こう
• 面倒だったら出来るだけSplFileObject使おう

訂正します。まさかこんなところで差がでるとは思っていなかったのですが、実際にwhileループではなく、psysh上で確認していました。

実際に最初記事に書いたとおりに試してみると、@hnwさんの仰る通り正しい挙動になりました。PsySHのシンボルテーブル管理方法に問題があると見たほうがいいかもしれません。

思い込みで誤った記事を書いてしまったことをお詫びします。お騒がせしました。