NDLI: A framework for deadlock detection in core ABS

Content Provider	Springer Nature Link
Author	Giachi, Elena Laneve, Cosimo Lienhardt, Michael
Copyright Year	2015
Abstract	We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations. Since this language features recursion and dynamic resource creation, deadlock detection is extremely complex and state-of-the-art solutions either give imprecise answers or do not scale. In order to augment precision and scalability, we propose a modular framework that allows several techniques to be combined. The basic component of the framework is a front-end inference algorithm that extracts abstract behavioral descriptions of methods, called contracts, which retain resource dependency information. This component is integrated with a number of possible different back-ends that analyze contracts and derive deadlock information. As a proof-of-concept, we discuss two such back-ends: (1) an evaluator that computes a fixpoint semantics and (2) an evaluator using abstract model checking.
Starting Page	1013
Ending Page	1048
Page Count	36
File Format	PDF
ISSN	16191366
Journal	Software and Systems Modeling
Volume Number	15
Issue Number	4
e-ISSN	16191374
Language	English
Publisher	Springer Berlin Heidelberg
Publisher Date	2015-01-29
Publisher Place	Berlin, Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Type inference Deadlock analysis Asynchronous method invocation Concurrent object groups Software Engineering/Programming and Operating Systems Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Information Systems Applications (incl. Internet) IT in Business
Content Type	Text
Resource Type	Article
Subject	Modeling and Simulation Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Introductory paper

Model aesthetics

Domain specific modeling

Models for digitalization

Heuristic search for equivalence checking

Synthesizing object life cycles from business process models

How to write a successful SoSyM submission

The 2015 “State of the Journal” report

Theme issue on Integrated Formal Methods

A framework for deadlock detection in core ABS

Similar Documents

Introductory paper

Model aesthetics

Domain specific modeling

Models for digitalization

Heuristic search for equivalence checking

Synthesizing object life cycles from business process models

How to write a successful SoSyM submission

The 2015 “State of the Journal” report

Theme issue on Integrated Formal Methods

A framework for deadlock detection in core ABS