Valid Debugging for Distributed Shared Memory

P. Kearns,N. Jarymowycz
2002-06-24
Abstract:Distributed shared memory has been used as an academic research tool for more than a decade. Its wide-spread acceptance and commercial use have been hindered by a lack of support for writing real applications. In particular, DSM debugging tools are almost non-existent. A unified approach to debugging distributed shared memory applications is difficult because of the variations in memory coherence provided by different systems. Furthermore, the behavior of traditional debugging techniques must be modified to cope with relaxed memory consistency semantics. We present a minimal set of debugger commands which must be implemented for useful debugging of DSM programs and explain the notion of valid debugging. The behavior of the commands is defined and proven valid for a specific implementation of sequentially consistent shared memory. Finally we discuss extending this functionality to relaxed consistency systems and applying related techniques for locating programming errors.
Computer Science
What problem does this paper attempt to address?