Fine-grain interrupts and atomic heap transactions

The static-arena allocation method is shown to be very competitive with modern technology and improved over current technology, and a taxonomy of those methods is presented.