Promiseのメモリーリークについて

Question

こちらより

Node.js における Promise の位置付けという説明で

現在の仕様で Promies を使ったとして、例外をキャッチしなかった際に容易にメモリリークやファイルディスクリプタのリークが起きることは想像しやすく、やはりNodeコアの中でも簡単にリークが作り込めてしまうような状況にするべきではない、リークが気づきにくくなる位なら異常終了した方がマシ

このような記載があります。

例外をキャッチしなかった際にメモリーリークが発生するパターンは例えばどのようなものがあるのでしょうか？

ファイルディスクリプタのリークは、file.closeし忘れだと思いますが
メモリーリークするパターンが想像できません。

Answer 1

https://developer.mozilla.org/ja/docs/Web/JavaScript/Reference/Global_Objects/Promise
https://github.com/domenic/promises-unwrapping/blob/master/docs/states-and-fates.md

をみると後続then/catchチェーンが処理されるまではPromiseの状態はpendingとあり、例えば途中で例外が発生したとすると、catchされる以前にはcatchへ引き渡すためのエラー情報を保持しているはずです。またthenチェーンではopen状態のリソース(例えばDBへのコネクションやI/O中のファイルディスクリプターなど)を継続して参照するということをよく行うでしょうから、そのようなリソースの後始末はthen or catchがチェーンされるまでは「だれもやってくれる人がいない」はずです。

catchを呼び忘れてしまったという状況を考えると、使用中のリソースは多分クローズされないままになっているはずですし、Promiseの内部にエラー情報が保持されたままになるでしょう。pending状態のPromiseがPromiseのランタイム機構の中で参照が保持されていないと仮定すると、ユーザープログラムの中でどこからも参照されていなければいずれはGCで回収されると思います。しかし、その場合でも開放できるのはPromise内部に保持されていたエラー情報だけのはずであり、リソースのクローズはいつまでたっても行う機会がないはずです。

・・・といったようなことを言っているのではないかと思いました。

Comments

[退会済みユーザー]

ご回答ありがとうございます。
おかげさまで理解できました。
ありがとうございます。

Answer 2

この話を知るためには過去のNode.jsがハンドリングされない例外をどう扱ってきたかという話を知っておく必要があります。
uncaughtException で検索すると幾つか記事が出てくるかと思います。手前味噌ですが、自分のブログにも言及があります。

http://yosuke-furukawa.hatenablog.com/entry/2016/07/12/103734

この記事は長いのでまとめると、

『結局今までのNode.jsでは意図しない例外が出た時にプロセスが落ちていたが、Promiseでは落ちなくなった』

というのが前提になっています。

このため、今までは意図しない例外が発生したらプロセスが落ちてリークが起きてなかった(隠れてた)のに、 Promise化する事によってその問題が顕在化される恐れがある、というのが僕が書いた「リーク」の意図です。

もちろんちゃんと書けばリークの影響も少なくできるとは思います。

Comments

[退会済みユーザー]

ご回答ありがとうございます。
そういう経緯があってのお話だったのですね。
おかげさまで理解できました。