In other words, motion JPEG2000, and it's decoded by (no doubt extremely expensive) hardware. There's no way a general-purpose CPU can decode in realtime otherwise.
So, presumably they could have swapped to commodity hardware a while ago.
Though lets be honest, they'd probably use Windows anyways and that probably would happen.
Edit: obviously, that's not how most movies are shown here :D
The fastest one that runs on a CPU, Kakadu (proprietary), is far behind.
How does that matter? It was a reply to your incorrect claim:
> it's decoded by (no doubt extremely expensive) hardware
https://www.intopix.com/JPEG2000
Most post-production software that reads/writes DCPs will be using a GPU JPEG2000 encoder & decoder, like this from Comprimato: