How I fixed Node.js

My first open-source contribution

It was the lazy Saturday after Thanksgiving, and to burn off some of the extra calories from the preceding days I decided to break into the open-source world. I’d worked with node.js at Jut, so I was acquainted with the platform, though I had no experience with the source code. So I wandered into the issue tracker for the node.js repository and settled on issue 4049, a memory leak in the ChildProcess module.

ChildProcess

The ChildProcess module is a part of node.js that runs shell commands. You can run a shell command using ChildProcess.spawn(). Given a shell command, ChildProcess.spawn runs it and returns an object with fields called stdout and stderr. stdout and stderr are streams, so you can read data from them. Data from stdout corresponds to the output of the spawned process, and data from stderr describes errors that the spawned process encounters.

Streams are EventEmitters, and they emit events whenever their status changes. For instance, they emit a data event when they get new data, and they emit a close event when they have no more data and their underlying data source is empty. So the stdout stream for our child processes emits a data event when its ChildProcess’s shell command gives it some new data, and it emits a close event when the shell command is done and there’s no more data. Clients such as ChildProcess can add event handlers to streams using the on function. Event handlers are functions that will be called when a stream emits a particular event. Here’s a sketch of how it all fits together:

node ChildProcess diagram

And here’s a simple example that runs an echo command and logs the result:

var ChildProcess = require('child_process');

var process = ChildProcess.spawn('echo', ['hello']);

process.stdout.on('data', function(datum) {
    console.log('received datum: ', datum.toString());
});

That prints received datum: hello.

The bug

The node.js user jhenninger had found a combination of spawning processes, reading from their stdout streams, and killing the processes that caused a memory leak. A lot of my work at Jut involved running down memory leaks, so I figured I was qualified to attack this one.

The issue handily came with reproducing code. The code spawns a simple child process every 50 milliseconds, reads from its stdout stream, and promptly kills it. This should cause the ChildProcess object to have nothing left to do, so the garbage collector should free the memory allocated to it.  But this code contained some extra logic, powered by the weak.js library, that kept track of these garbage collections. This logic indicated that ChildProcess objects were not being freed. Here’s the script (I added some comments and changed some variable names from the original, for clarity):

var ChildProcess = require('child_process');
var weak = require('weak'); // nifty library that lets you fire a callback when an object is garbage collected

var child_processes_in_memory = 0;

function callback() {
  console.log(child_processes_in_memory--); // one fewer process is in memory now that this one has been freed
}

setInterval(function spawnKill() {
  var p = ChildProcess.spawn('yes'); // start a process running the "yes" command

  ++child_processes_in_memory; // p is now in memory, so increment child_processes_in_memory

  p.stdout.read(); // get some data from the process (since p is running "yes" the data looks like newline separated 'y' characters)
  p.kill(); // stop the process, this should free up all the resources associated with it enabling p to be freed

  weak(p, callback); // call callback() when p is freed

  gc(); // trigger an immediate garbage collection, so p will be deallocated right here if possible

}, 50);

The search

The first step was to witness the leak on my own machine. I downloaded the node.js source code, ran the script and lo: a memory leak. The sign of the memory leak was that the child_processes_in_memory variable was steadily increasing. If the ChildProcess objects were being freed as they should be, the callback would keep the value of child_processes_in_memory at 1 or 0.

Now it was time to dive into the code. I had three functions that I needed to understand before I could fix this leak: spawn, read, and kill. I decided to start with kill, because I had a hunch that was where the problem was.

I tracked down ChildProcess’s kill function, but all it did was call this._handle.kill(). To figure out what that meant, I had to go back to the ChildProcess constructor, where I saw the initializer this._handle = new Process();. Process is defined by the v8 engine that powers node.js. v8 is much more mature than Node, so I decided to operate for the moment under the assumption that Process was working okay, and the problem was in Node, not v8, so I didn’t inspect Process’s source code in any depth.

But two lines after the initialization of this._handle, I noticed the line this._handle.onexit = function(exitCode, signalCode) {. Based on the name, I figured this was likely where ChildProcess was supposed to clean up its resources after its process had been killed. The interesting part for me was this bit at the end of the function:

process.nextTick(flushStdio, self);

maybeClose(self);

The function name maybeClose suggested that this function doesn’t always succeed — a process might not end up closing. To figure out under what circumstances the process wouldn’t close, I went to maybeClose‘s definition:

function maybeClose(subprocess) {
  subprocess._closesGot++;

  if (subprocess._closesGot == subprocess._closesNeeded) {
    subprocess.emit('close', subprocess.exitCode, subprocess.signalCode);
  }
}

To interpret this, I had to find out what those _closesGot and _closesNeeded fields meant. I found their declarations in the spawn method: _closesNeeded is initialized to 1 and incremented for each output stream associated with the process, and _closesGot is initialized to 0 and only incremented here in maybeClose. The output streams for the ChildProcesses we are interested in are the stdout and stderr streams.

ChildProcess’s spawn method puts a close event handler on stdout and stderr, calling maybeClose in response to their close events. As we saw earlier, stdout and stderr emit these close events when all their data has been read and there’s no more data left to read. So the full shutdown procedure for a ChildProcess is: the shell command defining the process finishes, then the stdout and stderr streams close, then the ChildProcess object closes.

A ChildProcess object is an EventEmitter too, and it will emit a close event of its own once all its output streams have emitted close events. To get a better feel for how all these close events were interacting, I wanted to trace all the events my child processes were emitting. I implemented this with some tweaks to my test script – I numbered each of my child processes, and I overwrote their emit functions with a function that logged their number and then called the normal emit function. Here’s how it turned out:

var process_index = 0;

setInterval(function spawnKill() {
  var p = ChildProcess.spawn('yes'); // start a process running the "yes" command
  p.number = process_index++;
  var old_emit = p.emit; // save a reference to p's ordinary emit

  p.emit = function(type) { // overwrite p's emit
    console.log(p.number, type);
    old_emit.apply(p, arguments); // handle the event as we ordinarily would using p's original emit function
  };

  // ... rest of the script as above

Maybe I’m crazy, but I find hacks like that ridiculously beautiful. The way Javascript lets you freely manipulate your objects is one of the main reasons I love it. Anyway, running the script that way, I got to see every event that my ChildProcess objects were emitting, and sure enough, the ones that were never getting freed were never emitting close events either. By similarly tracing the emits from stderr and stdout, I found that stdout was not always closing. This meant that p was stuck at two _closesGot (the ones from this._handle.onexit and stderr), so it never could close itself.

If I took out the call to p.stdout.read(), all of the close events always fired. So somehow my call to p.stdout.read() was preventing p.stdout from closing once I killed the process p. To figure out why, I had to check out the code for read, defined in net.js. It looks like this:

Socket.prototype.read = function(n) {
  if (n === 0)
    return stream.Readable.prototype.read.call(this, n);

  this.read = stream.Readable.prototype.read;
  this._consuming = true;
  return this.read(n);
};

Our stdout and stderr here are actually Sockets, a subclass of Stream, so this is the function that gets called when I read from them. All the real reading work is handled by stream.Readable.prototype.read, but first Socket.prototype.read sets this._consuming to true the first time it is called with a nonzero argument. Since I invoke it like  p.stdout.read(), n is undefined, not 0. That means this._consuming does get set to true here.

The final piece of the puzzle was the flushStdio method of ChildProcess, which you may recall is the other method (besides maybeClose) that ChildProcess calls in this._handle.onexit. Here’s how it looked when I found it:

function flushStdio(subprocess) {
  if (subprocess.stdio == null) return;
  subprocess.stdio.forEach(function(stream, fd, stdio) {
    if (!stream || !stream.readable || stream._consuming)
      return;
    stream.resume();
  });
}

stream.resume() is a method that tells the stream to emit any data it has buffered, then tear itself down and emit a close event. That seems important. But look! We don’t call it if the stream has its _consuming field set. We set our stdout‘s _consuming to true when we called read() on it, so flushStdio didn’t call resume() on stdout. This seemed likely to be the cause of the memory leak.

The fix

I didn’t see any reason not to call resume() on streams that had _consuming set. So I replaced if (!stream || !stream.readable || stream._consuming) in the flushStdio function with if (!stream || !stream.readable) and reran the leak-generating script. Sure enough, no leak ensued! I had fixed node.js.

I’m not sure how the original broken code came into existence in the first place, but there had recently been a major refactor of how Node’s streams are implemented, so I guess this slipped through the cracks.

With the mystery solved, all that remained was to get my code into production. I wrote up a little test that spawns and kills a process and wait for the close event from it, made sure it failed on the master branch and passed on my branch, and opened a pull request against node with my change and the test. The reviewers noted that my test spawned a process using the yes command, which apparently doesn’t work on Windows. When I changed it to the more-universal echo command, they approved my commit, and just like that I was a node.js contributor!

So that’s the story of how I learned a new codebase, fixed a bug in node.js, and made the world a better place. Not too bad for the lazy Saturday after Thanksgiving!

8 thoughts on “How I fixed Node.js”

  1. That little wrapper pattern could have saved me a lot of time when I was debugging a websocket earlier… very clean!
    Please keep writing, I’ll read every post.

  2. var old_emit = p.emit; // save a reference to p’s ordinary emit

    p.emit = function(type) { // overwrite p’s emit
    console.log(p.number, type);
    old_emit.apply(p, arguments); // handle the event as we ordinarily would using p’s original emit function
    };

    From my understanding of javascript, what you wrote here doesn’t behave like I think you wanted it to. First you say you are saving a reference to old_emit, which is just a reference.

    var old_emit = p.emit;

    if you then change p.emit to something else say a function or a string, automatically old_emit is going to be changed as well to reference that value.

    var old_emit = p.emit;

    p.emit = {“asdf:”asdf”};

    (old_emit === {“asdf”:”asdf”}) // true

    1. Hey John, thanks for the comment! I think my way works though. Here’s a minimal script you can run to test it out:

      var p = {
          foo: function() {
               console.log('Dave is a master hacker');
          }
      };
      
      var old_foo = p.foo;
      p.foo = function() { console.log('John is a master hacker'); };
      old_foo();
      
      1. This works because reference of p.foo is simply changed to something else (in this case a new function).
        Old object still exists(and not garbage collected) because old_foo is still referencing to it.

      2. Great writeup! When doing this kind of functiondecoration in JS I prefer using an IIF (immidiately invoked function).

        p.emit = (function (emit) {
        return function () {
        //decoration goes here
        return emit.apply(p, arguments); })(p.emit);

        Now you don’t have to keep an additional variable in the outer scope.

Leave a Reply

Your email address will not be published. Required fields are marked *