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 new algorithm for deadlock avoidance - MaRDI portal

A new algorithm for deadlock avoidance (Q1111010)

From MaRDI portal





scientific article; zbMATH DE number 4074458
Language Label Description Also known as
English
A new algorithm for deadlock avoidance
scientific article; zbMATH DE number 4074458

    Statements

    A new algorithm for deadlock avoidance (English)
    0 references
    0 references
    0 references
    0 references
    1988
    0 references
    This paper presents an algorithm for deadlock avoidance in a resource sharing environment with multiple types of resources, where the maximum claims of the individual processes are unknown a priori. A new copy of process ordering is introduced in place of resource ordering. We also present a preallocation algorithm for predicting the requests that could be granted. This predictor process runs on the fly with the underlying computation of the system. The resource manager runs a preallocation algorithm when it is idle (does not receive messages from the processes) or when the processes request for resources but the possibility of allocations has not been evaluated. The deadlock avoidance and the preallocation algorithms are suitable for both centralized and distributed systems.
    0 references
    centralized systems
    0 references
    distributed systems
    0 references
    deadlock avoidance
    0 references
    resource sharing environment
    0 references
    process ordering
    0 references
    preallocation algorithms
    0 references

    Identifiers