[Python-Dev] Have a big machine and spare time? Here's a possible Python bug. (original) (raw)

Tim Peters tim.peters at gmail.com
Fri May 24 21:14:45 EDT 2019


[Tim]

Key invariants: ... 2. nfp2lasta[pa->nfreepools] == pa if and only if pa is the only arena in usablearenas with that many free pools.

Ack! Scratch that. I need a nap :-(

In fact if that equality holds, it means that nfp2lasta entry has to change if pa is moved and pa->prevarena has the same count of free pools.

So forget about the explanation and just think about the goal - the details will work themselves out ;-)



More information about the Python-Dev mailing list