This paper I think has the information you're interested in: http://www.sigops.org/sosp/sosp09/papers/glerum-sosp09.pdf http://www.sigops.org/sosp/sosp09/papers

This paper I think has the information you're interested in: http://www.sigops.org/sosp/sosp09/papers/glerum-sosp09.pdf http://www.sigops.org/sosp/sosp09/papers/glerum-sosp09.pdf