×

\(JiTI\): Tracing memory references for data race detection. (English) Zbl 0923.68041

D’Hollander, E. H. (ed.) et al., Parallel computing: fundamentals, applications and new directions. Conference ParCo 97, Bonn, Germany, September 19-22, 1997. Amsterdam: North-Holland/ Elsevier. Adv. Parallel Comput. 12, 327-334 (1998).
Summary: This paper presents a methodology to combine a record/replay mechanism with data race detection. It is shown that such a combination has a lot of advantages and that it will enable the user to detect synchronisation as well as functional errors. The paper focuses on the detection of data races in general and the problem of finding all memory references issued by a program in particular. To this end, a special instrumenter, \(JiTI\), is proposed. \(JiTI\) was designed to find all memory references without introducing a prohibitive overhead.
For the entire collection see [Zbl 0898.00028].

MSC:

68N99 Theory of software
68P05 Data structures
PDFBibTeX XMLCite