文章基本信息

标题：Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking
本地全文：下载
作者：James Robb ; Bj{"o}rn B. Brandenburg
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2020
卷号：165
页码：6:1-6:23
DOI：10.4230/LIPIcs.ECRTS.2020.6
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：Prior work has produced multiprocessor real-time locking protocols that ensure asymptotically optimal bounds on priority inversion, that support fine-grained nesting of critical sections, or that are independence-preserving under clustered scheduling. However, while several protocols manage to come with two out of these three desirable features, no protocol to date accomplishes all three. Motivated by this gap in capabilities, this paper introduces the Group Independence-Preserving Protocol (GIPP), the first protocol to support fine-grained nested locking, guarantee a notion of independence preservation for fine-grained nested locking, and ensure asymptotically optimal priority-inversion bounds. As a stepping stone, this paper further presents the Clustered k-Exclusion Independence-Preserving Protocol (CKIP), the first asymptotically optimal independence-preserving k-exclusion lock for clustered scheduling. The GIPP and the CKIP rely on allocation inheritance (a.k.a. migratory priority inheritance) as a key mechanism to accomplish independence preservation.
关键词：multiprocessor real-time locking; nested locking; independence preservation; suspension-oblivious analysis; priority inversion; asymptotically optimal blocking; RNLP; OMIP