Testing atomicity of composed concurrent operations

Ohad Shacham, Nathan Bronson, Alex Aiken, Mooly Sagiv, Martin Vechev, Eran Yahav

نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

ملخص

We address the problem of testing atomicity of composed concurrent operations. Concurrent libraries help programmers exploit parallel hardware by providing scalable concurrent operations with the illusion that each operation is executed atomically. However, client code often needs to compose atomic operations in such a way that the resulting composite operation is also atomic while preserving scalability. We present a novel technique for testing the atomicity of client code composing scalable concurrent operations. The challenge in testing this kind of client code is that a bug may occur very rarely and only on a particular interleaving with a specific thread configuration. Our technique is based on modular testing of client code in the presence of an adversarial environment; we use commutativity specifications to drastically reduce the number of executions explored to detect a bug. We implemented our approach in a tool called COLT, and evaluated its effectiveness on a range of 51 realworld concurrent Java programs. Using COLT, we found 56 atomicity violations in Apache Tomcat, Cassandra, MyFaces Trinidad, and other applications. Copyright is held by the author / owner(s).

اللغة الأصليةالإنجليزيّة
عنوان منشور المضيفOOPSLA'11 - Proceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications
الصفحات51-64
عدد الصفحات14
المعرِّفات الرقمية للأشياء
حالة النشرنُشِر - 2011
الحدث2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11 - Portland, OR, الولايات المتّحدة
المدة: ٢٢ أكتوبر ٢٠١١٢٧ أكتوبر ٢٠١١

سلسلة المنشورات

الاسمProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

!!Conference

!!Conference2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11
الدولة/الإقليمالولايات المتّحدة
المدينةPortland, OR
المدة٢٢/١٠/١١٢٧/١٠/١١

All Science Journal Classification (ASJC) codes

  • !!Software

بصمة

أدرس بدقة موضوعات البحث “Testing atomicity of composed concurrent operations'. فهما يشكلان معًا بصمة فريدة.

قم بذكر هذا