Skip to main content
SpringerLink
Log in
Book cover

Advanced Multimedia and Ubiquitous Engineering pp 15–22Cite as

A Tasking Deadlock Detector for Ada 2012 Programs

  • Conference paper

  • 1603 Accesses

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 352))

Abstract

To avoid and resolve tasking deadlocks in Ada programs, it is indispensable to identify and detect all types of tasking deadlocks. Various combinations of synchronization waiting relations concerning synchronization waiting tasks may lead to various types of tasking deadlocks. As a substantial expansion of Ada 2005, Ada 2012 has many new facilities, and therefore, these changes have a great impact on Ada tasking deadlocks and their detection. Though a tasking deadlock detector for Ada 2005 and Ada 95 was developed, it cannot detect new types of tasking deadlocks in Ada 2012 programs. This paper presents a new tasking deadlock detector for Ada 2012 programs that we are developing. At first, we analyzed various types of tasking deadlocks concerning new synchronization waiting relations defined in Ada 2012. After that we designed the tasking deadlock detector, and implemented it.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barnes, J.: Programming in Ada 2012. Cambridge University Press (2014)

    Book  Google Scholar 

  2. Cheng, J.: A Classification of Tasking Deadlocks. ACM Ada Letters 10(5), 110–127 (1990)

    Article  Google Scholar 

  3. Cheng, J.: Task-Wait-For Graphs and Their Application to Handling Tasking Deadlocks. In: Proc. 3rd ACM Annual TRIAda Conference, pp. 376–390. ACM, New York (1990)

    Google Scholar 

  4. Cheng, J., Ushijima, K.: Tasking Deadlocks in Ada 95 Programs and Their Detection. In: Strohmeier, A. (ed.) Ada-Europe 1996. LNCS, vol. 1088, pp. 135–146. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  5. Cheng, J.: Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems. In: Pinho, L.M., González Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol. 4006, pp. 167–178. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  6. Ekiba, T., Goto, Y., Cheng, J.: New Types of Tasking Deadlocks in Ada 2012 Programs. ACM Ada Letters 33(1), 169–179 (2013)

    Article  Google Scholar 

  7. Nonaka, Y., Cheng, J., Ushijima, K.: A Tasking Deadlock Detector for Ada 95 Programs. Ada User Journal 20(1), 79–92 (1999)

    Google Scholar 

  8. ISO/IEC: ISO/IEC 8652:1987 (E): Information Technology - Programming Language - Ada (1987)

    Google Scholar 

  9. ISO/IEC: ISO/IEC 8652:1995 (E): Information Technology - Programming Language - Ada (1995)

    Google Scholar 

  10. ISO/IEC: ISO/IEC 8652:2007 (E), Ed. 3: Information Technology - Programming Language - Ada (2006)

    Google Scholar 

  11. ISO/IEC: ISO/IEC 8652:2012 (E): Information Technology - Programming Language - Ada (2012)

    Google Scholar 

  12. ISO/IEC: ISO/IEC 15291:1999 (E): Information Technology - Programming Language – Ada Semantic Interface Specification (ASIS) (2013)

    Google Scholar 

  13. Wang, B., Goto, Y., Cheng, J.: Queue Operation Related Tasking Deadlocks in Ada 2012 Programs. ACM Ada Letters 34(2), 9–25 (2014)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Computer Sciences, Saitama University, Saitama, 338-8570, Japan

    Bo Wang, Takeo Ekiba, Yuichi Goto & Jingde Cheng

Authors
  1. Bo Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Takeo Ekiba
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yuichi Goto
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jingde Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bo Wang .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Seoul University of Science & Technology, Seoul, Korea, Republic of (South Korea)

    James J. (Jong Hyuk) Park

  2. Institute of Computer Science and Information Engineering & National Ilan University, I-Lan, Taiwan

    Han-Chieh Chao

  3. Department of Computer Science, University of Georgia, Georgia, Georgia, USA

    Hamid Arabnia

  4. School of Computer Science and Engineering, The University of Aizu, Fukushima, Japan

    Neil Y. Yen

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, B., Ekiba, T., Goto, Y., Cheng, J. (2015). A Tasking Deadlock Detector for Ada 2012 Programs. In: Park, J., Chao, HC., Arabnia, H., Yen, N. (eds) Advanced Multimedia and Ubiquitous Engineering. Lecture Notes in Electrical Engineering, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47487-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-47487-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-47486-0

  • Online ISBN: 978-3-662-47487-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation