NDLI: Expected deadlock time in a multiprocessing system

Content Provider	ACM Digital Library
Author	Compton, Kevin J. Ravishankar, Chinya
Copyright Year	1995
Abstract	We consider multiprocessing systems where processes make independent, Poisson distributed resource requests with mean arrival time 1. We assume that resources are not released. It is shown that the expected deadlock time is never less than 1, no matter how many processes and resources are in the system. Also, the expected number of processes blocked by deadlock time is one-half more than half the number of initially active processes. We obtain expressions for system statistics such as expected deadlock time, expected total processing time, and system efficiency, in terms of Abel sums. We derive asymptotic expressions for these statistics in the case of systems with many processes and the case of systems with a fixed number of processes. In the latter, generalizations of the Ramanujan $\textit{Q}-function$ arise. we use singularity analysis to obtain asymptotics of coefficients of generalized $\textit{Q}-functions.$
Starting Page	562
Ending Page	583
Page Count	22
File Format	PDF
ISSN	00045411
e-ISSN	1557735X
DOI	10.1145/210346.210412
Journal	Journal of the ACM (JACM)
Volume Number	42
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1995-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Asymptotic analysis Expected time analysis Singularity analysis
Content Type	Text
Resource Type	Article
Subject	Hardware and Architecture Information Systems Control and Systems Engineering Artificial Intelligence 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

Deadlock avoidance revisited

Memory Requirements in a Multiprocessing Environment

Termination, deadlock, and divergence

Testing Deadlock-Freedom of Computer Systems

Design of Minimum-Cost Deadlock-Free Systems

Synthesis of a Class of Deadlock-Free Petri Nets

Busy Period Analysis of a Time-Sharing System: transform inversion

Message Waiting Time in a Packet Switching System

Analysis of Real Time Multiprogramming

Expected deadlock time in a multiprocessing system

Similar Documents

Deadlock avoidance revisited

Memory Requirements in a Multiprocessing Environment

Termination, deadlock, and divergence

Testing Deadlock-Freedom of Computer Systems

Design of Minimum-Cost Deadlock-Free Systems

Synthesis of a Class of Deadlock-Free Petri Nets

Busy Period Analysis of a Time-Sharing System: transform inversion

Message Waiting Time in a Packet Switching System

Analysis of Real Time Multiprogramming

Expected deadlock time in a multiprocessing system