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
Deadlock freedom using edge locks - MaRDI portal

Deadlock freedom using edge locks (Q3956440)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deadlock freedom using edge locks
scientific article

    Statements

    Deadlock freedom using edge locks (English)
    0 references
    0 references
    1982
    0 references
    concurrency control
    0 references
    serializability
    0 references

    Identifiers