On Mon, 20 Dec 2010 22:34:12 -0500, Andrew Lutomirski luto@mit.edu wrote:
But five seconds is a *long* time, and anything short enough that the interrupt actually gets turned off in normal use risks the same race.
Right, so eliminating any race seems like the basic requirement. Can that be done?