Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A linear algorithm of a deadlock avoidance for nonpreemptible resources - MaRDI portal

A linear algorithm of a deadlock avoidance for nonpreemptible resources

From MaRDI portal

Publication:2266581

Jump to:navigation, search

DOI10.1016/0020-0190(84)90103-0zbMath0561.68022OpenAlexW2074329100MaRDI QIDQ2266581

Publication date: 1984

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(84)90103-0

zbMATH Keywords

resource allocation deadlock competing processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cites Work

This page was built for publication: A linear algorithm of a deadlock avoidance for nonpreemptible resources

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2266581&oldid=14831033"