Implementation of MSI directory coherence protocol and Dynamic Self Invalidation (Lebeck and Wood, ISCA'95)