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
Adaptive and efficient abortable mutual exclusion - MaRDI portal

Adaptive and efficient abortable mutual exclusion (Q2943766)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Adaptive and efficient abortable mutual exclusion
scientific article

    Statements

    Adaptive and efficient abortable mutual exclusion (English)
    0 references
    0 references
    0 references
    4 September 2015
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references