Logical Time Coherence Maintenance
Bronis R. de Supinski · 1998
We apply techniques based on isotach logical time to the problem of maintaining a coherent shared memory.In isotach logical time systems, processes can predict and control the logical times at which their messages are received.This control over the logical receive time of messages provides a powerful basis for implementing coherence protocols.My wife, Ronnie, has been an invaluable source of support and assistance.She encouraged me to return to school when she perceived that I could never feel fulfilled in the job I had.I am deeply grateful for her willingness to be the primary breadwinner for our family, while living away from her parents and her sister's family.Most of all, I thank Ronnie for our two wonderful children.There are more reasons than I can mention that I am grateful to my advisor, Paul Reynolds.I came to the University of Virginia because he convinced the Dean's Office to provide funding for me despite my letters of recommendation arriving late.His advice, which I value greatly, has always been available when I needed it, whether on the little details about academic life or on more important matters about life in general.And, I will never forget how well he has always spoken of me, even in places I am sure he never imagined himself discussing his students.I am also very grateful to my co-