Metronomes in JavaScript

My job nowadays involves a lot of music and JavaScript. You know what musicians really care about? Paychecks (support your local musicians, go to concerts, donā€™t steal music from indie musicians). But also: keeping time.

Keeping time in JavaScript is kind of a joke, not just because time is a social construct (this is the Jenn Schiffer social engineering at work), but because itā€™s really easy to write code that blocks the timekeeper. Remember: JavaScript inherently only has one thread, which it uses for everything: painting your buttons, looping through arrays, mining bitcoin, scrolling. Everything. This means that most of the time, you write blocking code, but it only blocks for a little bit ā€“ 1ms here and there. And thatā€™s ok! Visually you donā€™t notice that kind of latency, and letā€™s be honest: it takes like 400ms to download the scripts, whatā€™s 1ms?

1ms starts getting in the way when itā€™s actually 5ms, or 40 ms, or when youā€™re trying to have a metronome run correctly. I made a typing delay experiment to see how much delay people could tolerate, and just for typing alone some people got really antsy around 200ms (shout out to the section of the population who thought they were heroes because they could tolerate infinity delay because of how bad ssh latency is. Thatā€™s not heroic, thatā€™s Stockholm syndrome. Complain to your sys admins).

When I changed that to an audio delay experiment, musicians started complaining around 40ms. And that was just audio delay, not an actual metronome. Imagine that fucking with your audio too! So, keeping time is really important ā€“ but how do we actually do that in JavaScript?

In general, when we want to not block in JavaScript (and do better than setInterval, who is the friend you invite to a party but shows up like +/- 4h to it), we do one of two things: start writing async functions, or move code to a Worker (Surma has a great article about workers everyone should read). In particular, for audio things, thereā€™s a third option: using the Web Audio clock ā€“ Chris Wilson has a great blog post about how to do your own audio scheduling which is an oldie but a goodie! (turns out not much changes in 4 years in the Web Audio spec world). Anyway, I wanted to compare these three approaches, and see how bad the latency was.

Play with the experiment

Me being me, I made a whole demo to test and compare these approaches. I built 3 kinds of metronomes:

You can run them on your own in that Glitch, but if you only want the results, here they are.

Results

Setup

There are 3 metronomes, that each tick 20 times, and after each tick, a callback function is called. For the first 2 metronomes, in this callback you also make the audio tick (except for the Web Audio scheduler metronome, which makes the audio tick on its own time). The graphs below log the difference between the audioContext.currentTime of successive ticks.

šŸ¤” The unrealistic case

This is when youā€™re literally doing 0 work in between the clock ticks. This is probably never going to happen in a real app unless itā€™s ā€¦ just an actual metronome i guess. In this case, the difference between successive ticks looks ok for all metronomes ā€“ I mean, why wouldnā€™t it be? Youā€™re not scrolling, youā€™re not doing any work, whatā€™s there to block the ticks? Thereā€™s still a bit of variance between each ticks, but thatā€™s because we know we canā€™t schedule anything (except for the Web Audio clock) to be exactly 0.5s away.

šŸ¤¢ The awful case

Here we are doing 0.5 seconds of fake work on the main thread, after each tick. This is where things get really dodgy. Because that fake work is blocking, that means that all the metronome callbacks are kind of screwed, and their ticks are delayed by at least 0.5s. In the second metronome, even though weā€™re calling setInterval() in a Worker, it makes no difference because the work from the previous tick is blocking, so it automatically delays the next tick. In the Web Audio case, we can hear the ticks correctly (the green line), but the callback (which you would use to display things to the screen), is delayed for the same reason as the other metronomes. Friends donā€™t let friends do work on the main thread.

šŸ˜° The better, but still not great case

When we have a big chunk of blocking work, a good approach is to chunk it up in smaller work. There are several ways to do this. I split each 0.5s of work into smaller 5ms chunks, and then do each of them in a requestAnimationFrame. This is ok, but a bit wasteful (it makes your work take longer than necessary). A better approach is to use tasks (see this sample code from the proxx game), but the results werenā€™t going to be that different in this case, so I didnā€™t bother. Anyway, this experiment looks better! Now our ticks are only delayed by about 5ms, which might be ok for your use case. The bad main thread setInterval metronome is still doing poorly because thereā€™s still work on the main thread and it keeps time on the main thread, so time is still wibbly wobbly in this case.

šŸ¤© The optimal case

All workers all the time! If you can, do all this expensive work in a Worker! If we move the work we have to do in the callback completely off the main thread, then this setup basically looks the same as the unrealistic ā€œthereā€™s no work being done everā€ case ā€“ the key distinction is that itā€™s really ā€œthereā€™s no work being done on the main thread ever. Hurray!

What have I learned from this

Hope this helps at least one of you!


Thanks to Surma for proof reading this and letting me steal his horrific ā€œblock for a fixed timeā€ sample code (itā€™s this. I know you want to look).

« The perils of tensor.dataSync() monica.css »