> Doubling the size of the input is generally a big > performance hit that will be much more significant. Apart from cache locality issues, it's not, really.

> Doubling the size of the input is generally a big > performance hit that will be much more significant. Apart from cache locality issues, it's not, really. And for a linear scan like this prefetching does OK. And yes, Gecko normalizes JSON input to the JS engine. I don't have numbers, sorry. But yes, UTF-8 would be the other thing to try normalizing to; it has its own benefits and drawbacks when the system is considered as a whole.