High-level transaction isolation architecture of InnoDB

[Yang Zhang]

I've noticed that Innodb seems to exhibit true serializability for the
serializable transaction isolation level. Does this mean it implements
predicate locking? Also out of curiosity, is it possible to set a
snapshot isolation transaction isolation level (is Innodb implemented
using MVCC)? Thanks in advance.
-- 
Yang Zhang
http://www.mit.edu/~y_z/