REDACT: preventing database deadlocks from application-based transactions
Pages 591 - 594
Abstract
In this demonstration, we will present a database deadlocks prevention system that visualizes our algorithm for detecting hold-and-wait cycles that specify how resources (e.g., database tables) are locked and waited on to be locked during executions of SQL statements and utilizes those cycles information to prevent database deadlocks automatically.
References
[1]
S. Abdul Khalek and S. Khurshid. Automated SQL query generation for systematic testing of database engines. In Proc. IEEE/ACM ASE, pages 329–332. ACM, Sept. 2010.
[2]
J. Billington, S. Christensen, K. Van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber. The petri net markup language: concepts, technology, and tools. ICATPN’03, pages 483–505, Berlin, Heidelberg, 2003. Springer-Verlag.
[3]
C. Boyapati, R. Lee, and M. Rinard. Ownership types for safe programming: preventing data races and deadlocks. OOPSLA ’02, pages 211–230, New York, NY, USA, 2002. ACM.
[4]
E. G. Coffman, M. Elphick, and A. Shoshani. System deadlocks. ACM Comput. Surv., 3(2):67–78, 1971.
[5]
D. Engler and K. Ashcraft. Racerx: effective, static detection of race conditions and deadlocks. SOSP ’03, pages 237–252, New York, NY, USA, 2003. ACM.
[6]
P. Gerakios, N. Papaspyrou, and K. Sagonas. A type and effect system for deadlock avoidance in low-level languages. 7th ACM SIGPLAN TLDI ’11, pages 15–28, New York, NY, USA, 2011. ACM.
[7]
J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1st edition, 1992.
[8]
M. Grechanik, B. M. M. Hossain, U. Buy, and H. Wang. Preventing database deadlocks in applications. In To Appear at ESEC/FSE, 2013.
[9]
J. M. Hellerstein, M. Stonebraker, and J. Hamilton. Architecture of a database system. Found. Trends databases, 1(2):141–259, Feb. 2007.
[10]
M. Hofri. On timeout for global deadlock detection in decentralized database systems. Inf. Process. Lett., 51:295–302, September 1994.
[11]
M. V. Iordache, J. O. Moody, and P. J. Antsaklis. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation, 18(1):59–68, 2002.
[12]
H. Jula, D. Tralamazza, C. Zamfir, and G. Candea. Deadlock immunity: enabling systems to defend against deadlocks. OSDI’08, pages 295–308, Berkeley, CA, USA, 2008. USENIX Association.
[13]
S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ASPLOS XIII, pages 329–339, New York, NY, USA, 2008. ACM.
[14]
M. Nonemacher. Deadlocks in j2ee. Java Dev. Journal, Apr. 2006.
[15]
M. Poess and J. M. Stephens, Jr. Generating thousand benchmark queries in seconds. In Proc. 13th VLDB, pages 1045–1053. Morgan Kaufmann, Aug. 2004.
[16]
D. C. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. John Wiley & Sons, Inc., New York, NY, USA, 2nd edition, 2000.
[17]
D. R. Slutz. Massive stochastic testing of SQL. In Proc. 24rd VLDB, pages 618–622. Morgan Kaufmann, Aug. 1998.
[18]
Y. Wang, S. Lafortune, T. Kelly, M. Kudlur, and S. A. Mahlke. The theory of deadlock avoidance via discrete control. In POPL, pages 252–263, 2009.
[19]
A. Williams, W. Thies, and M. D. Ernst. Static deadlock detection for Java libraries. In ECOOP 2005, pages 602–629, Glasgow, Scotland, July 27–29, 2005.
Index Terms
- REDACT: preventing database deadlocks from application-based transactions
Recommendations
Preventing database deadlocks in applications
ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software EngineeringMany organizations deploy applications that use databases by sending Structured Query Language (SQL) statements to them and obtaining data that result from the execution of these statements. Since applications often share the same databases ...
Testing Database-Centric Applications for Causes of Database Deadlocks
ICST '13: Proceedings of the 2013 IEEE Sixth International Conference on Software Testing, Verification and ValidationMany organizations deploy applications that use databases by sending Structured Query Language (SQL) statements to them and obtaining data that result from executions of these statements. Since applications often share the same databases concurrently, ...
Moverness for Locks and Transactions
TASE '12: Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software EngineeringLocks are pervasive in multithreaded code. For software transactional memory (STM) to be widely adopted there must be a consensus on a semantics for programs that entail both locks and transactions, particularly for weakly isolated STMs. For instance, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
August 2013
738 pages
ISBN:9781450322379
DOI:10.1145/2491411
- General Chair:
- Bertrand Meyer,
- Program Chairs:
- Luciano Baresi,
- Mira Mezini
Copyright © 2013 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 18 August 2013
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
ESEC/FSE'13
Sponsor:
ESEC/FSE'13: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
August 18 - 26, 2013
Saint Petersburg, Russia
Acceptance Rates
Overall Acceptance Rate 112 of 543 submissions, 21%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 196Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)1
Reflects downloads up to 03 Mar 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in