Consider this piece of cake... ehm, code:
'use strict'
function doWork () {
return new Promise(function (resolve, reject) {
// work work work...
// Done! But... where's the resolve() ???
})
}
doWork().then(function doMoreWork () {
// Some more work to do...
})
Once the function in the Promise's constructor finishes...
- Is the
Promise
object garbage-collectible? - Is
doMoreWork()
garbage-collectible?
My guess is that doMoreWork()
cannot be GC-ed directly because the Promise keeps a reference to it, but once the promise's body finishes and returns the execution context to the upper (?) scope, the stack unwinds (because there is no more statements here to be executed) and the Promise becomes unreachable, thus being garbage-collectible.
Can you confirm that my understanding of this topic is correct?
How could I empirically observe this behaviour? In other words, how can I monitor what objects are being GC-ed and when? I develop purely in Node.js, if that makes any difference.
Promise
object is collectable if it has no references pointing to it. If it is useddoWork().then(...)
a temporary reference is created. So until.then
does not block anymore there is a reference to the object so it cannot be collecteddoMoreWork
is also not collectible because thePromise
object has a reference to itThe statement
doWork().then(...)
can be replaced bySo you can imagine that you are using the
Promise
object directly, so the "Upper"-Scope is where the object is used.Objects are generally collected when there are no more references to it. Even if the code is in a Promise it is just an object and the call to
then
is chained, so the object is being usedTo see if an object is garbage-collectible you can create a test and look for memory leak (through task manager). If your code is written properly, everything gets collected.
There is nothing keeping reference to the promise so it will be garbage collected. The promise is the only thing keeping reference to the function
doMoreWork
so it will be garbage collected too.The GC in V8 never necessarily collects an object. For instance if this is your whole program, it would be a waste of time to run any GC in the first place.