In: Proc. of the 15th Annual International Symposium on Computer Architecture, Honolulu 1988, pages 308-315. New York: IEEE Piscataway, 1988.
Abstract: A family of dynamic cache-consistency-protocols for shared-bus multiprocessor systems is considered. The performance of these protocols has been studied extensively using detailed simulation models and generalized timed Petri-net models.