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
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 2011
אירוע2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11 - Portland, OR, ארצות הברית
משך הזמן: 22 אוק׳ 201127 אוק׳ 2011

סדרות פרסומים

שםProceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

כנס

כנס2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA'11
מדינה/אזורארצות הברית
עירPortland, OR
תקופה22/10/1127/10/11

ASJC Scopus subject areas

  • ???subjectarea.asjc.1700.1712???

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Testing atomicity of composed concurrent operations'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי