CHOI, J.-D., LEE, K., LOGINOV, A., O'CALLAHAN, R., SARKAR , V., AND SRIDHARAN , M. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Berlin, Germany, June). ACM SIGPLAN Notices 37, 5 (May 2002), pp. 258--269.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....overhead numbers for characterization and repair code. 8. Related Work Data races are a well known source of problems in multithreaded programs and much work has been done to address them. Previous work on data race detection includes software implementations of race detectors (e.g. [3, 6, 18, 21, 22]) hardware based proposals to detect violations of consistency models [9] and theoretical work (e.g. 1, 4, 15] The work most related to ours is RecPlay by Ronsse and De Bosschere [21] which describes a multi pass race debugging tool that uses software instrumentation to detect data races and ....

J.-D. Choi et al. Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs. In ACM SIGPLAN 2002.

....other technology is being used. For example, coverage can be measured for cloned tests. The static technologies (static analysis and formal verification) besides being used directly for finding bugs, can be used to create information that is useful for other tech nologies. Choi et al. s work [8] is a nice example of the use of static analysis to optimize run time race detection. Instrumentation is an enabling technology that is a required part of many technologies. The instrumentation technology needed for all the dynamic technologies and for off line race detection is virtually ....

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 258 269, 2002.

....verification techniques [5] and the Race Condition Checker for Java [7] and the programming language Guava [0] use type checking techniques. Eraser [11] and Nondeterminator 2 [3] analyze dynamic executions, finding races beyond those evident in the given execution. Some new work by Choi et al. [4] allegedly improves precision and performance by some combination of static and dynamic techniques. The meta level compilation technique in metal [6] has been used to implement checks for various locking related errors. In some sense, our technique is similar in flavor to some of these checks, in ....

Jong-Deok Choi, Keunwoo Lee, Alexey Loginov, Robert O'Callahan, Vivek Sarkar, and Manu Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the 2002.

.... the statements that may happen in parallel or not [10, 11, 12, 13] this is a prerequisite for detecting data races statically [18] A wide range of methods has been proposed and evaluated for detecting deadlocks statically [4] Dynamic analysis can detect shared memory accesses at run time [3, 8, 14, 16]. All these approaches require complete knowledge about the program to be analyzed. In this paper, we promote a different approach, focusing on the thread schedule rather than on the program code. We look at the difference between a failure inducing schedule (as the one in Figure 4) and another ....

....Dynamic analysis. If one is willing to pay the overhead, data races like the examples in this paper can also be detected dynamically, for instance by monitoring all shared memory references [8, 16] The overhead of dynamic detection can be considerably reduced by combining it with static analysis [3, 14]. However, data races are just one class of problems induced by concurrency, and each problem class must be addressed by an individually designed dynamic analysis. Our approach, in contrast, is not restricted to a specific problem class but it requires that the concurrency problem manifests ....

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2002. To appear.

No context found.

CHOI, J.-D., LEE, K., LOGINOV, A., O'CALLAHAN, R., SARKAR , V., AND SRIDHARAN , M. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation (Berlin, Germany, June). ACM SIGPLAN Notices 37, 5 (May 2002), pp. 258--269.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.

No context found.

J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridhara. Efficient and precise datarace detection for multithreaded objectoriented programs. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 258--269, 2002.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded objectoriented programs. In PLDI, June 2002.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN '02 Conference on Program Language Design and Implementation, 2002.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded objectoriented programs. In PLDI, June 2002.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded objectoriented programs. In PLDI, June 2002.

No context found.

J.-D. Choi and et al. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the SIGPLAN 2002.

No context found.

J.-D. Choi et al. Efficient and precise datarace detection for multithreaded objectoriented programs. In PLDI, June 2002.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC