On Wed, 27 Apr 2011 12:08:28 BST, Catalin Marinas said:
The current version of the ARM ARM says "unpredictable". But this general definition of "unpredictable" does not allow it to deadlock (hardware) or have security implications. It is however allowed to corrupt data.
Not allowed to have security implications, but is allowed to corrupt data.
*boggle* :)
(The problem being, of course, that if the attacker is able to predict/control what gets corrupted, it can easily end up leveraged into a security implication.)