کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
9657398 1441789 2005 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Dynamic inference of polymorphic lock types
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Dynamic inference of polymorphic lock types
چکیده انگلیسی
We present FindLocks, an approach for automatically proving the absence of data races in multi-threaded Java programs, using a combination of dynamic and static analysis. The program in question is instrumented so that when executed it will gather information about locking relationships. This information is then used to automatically generate annotations needed to type check the program using the Race-Free Java type system. Programs that type check are sure to be free from races. We call this technique dynamic annotation inference. We describe the design and implementation of our approach, and our experience applying the tool to a variety of Java programs. We have found that when using a reasonably comprehensive test suite, which is easy for small programs but harder for larger ones, the approach generates useful annotations.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 58, Issue 3, December 2005, Pages 366-383
نویسندگان
, , ,