Scheduling and analysis of real-time tasks with parallel critical sections

Yang Wang; Xu Jiang; Nan Guan; Mingsong Lv; Dong Ji; Wang Yi

doi:10.1145/3489517.3530611

Scheduling and analysis of real-time tasks with parallel critical sections

Yang Wang, Xu Jiang^*, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi

^*Corresponding author for this work

Department of Computer Science

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

2 Citations (Scopus)

Abstract

Locks are the most widely used mechanisms to coordinate simultaneous accesses to exclusive shared resources. While locking protocols and associated schedulability analysis techniques have been extensively studied for sequential real-time tasks, work for parallel tasks largely lags behind. In the limited existing work on this topic, a common assumption is that a critical section must execute sequentially. However, this is not necessarily the case with parallel programming languages. In this paper, we study the analysis of parallel heavy real-time tasks (the density of which is greater than 1) with critical sections in parallel structures. We show that applying existing analysis techniques directly could be unsafe or much pessimistic for the considered model, and develop new techniques to address these problems. Comprehensive experiments are conducted to evaluate the performance of our method.

Original language	English
Title of host publication	DAC '22: Proceedings of the 59th ACM/IEEE Design Automation Conference
Publisher	IEEE
Pages	1255-1260
ISBN (Print)	9781450391429
DOIs	https://doi.org/10.1145/3489517.3530611
Publication status	Published - 2022
Event	59th ACM/IEEE Design Automation Conference (DAC 2022) - San Francisco, United States Duration: 10 Jul 2022 → 14 Jul 2022

Publication series

Name	Proceedings - Design Automation Conference
ISSN (Print)	0738-100X

Conference

Conference	59th ACM/IEEE Design Automation Conference (DAC 2022)
Abbreviated title	DAC ’22
Place	United States
City	San Francisco
Period	10/07/22 → 14/07/22

Bibliographical note

Full text of this publication does not contain sufficient affiliation information. With consent from the author(s) concerned, the Research Unit(s) information for this record is based on the existing academic department affiliation of the author(s).

Funding

This work was partially supported by the National Natural Science Foundation of China (NSFC 62102072) and Research Grants Council of Hong Kong (GRF 15206221)

RGC Funding Information

RGC-funded

Access Output

10.1145/3489517.3530611

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{e404daa14ad04c919108d8950d929de8,

title = "Scheduling and analysis of real-time tasks with parallel critical sections",

abstract = "Locks are the most widely used mechanisms to coordinate simultaneous accesses to exclusive shared resources. While locking protocols and associated schedulability analysis techniques have been extensively studied for sequential real-time tasks, work for parallel tasks largely lags behind. In the limited existing work on this topic, a common assumption is that a critical section must execute sequentially. However, this is not necessarily the case with parallel programming languages. In this paper, we study the analysis of parallel heavy real-time tasks (the density of which is greater than 1) with critical sections in parallel structures. We show that applying existing analysis techniques directly could be unsafe or much pessimistic for the considered model, and develop new techniques to address these problems. Comprehensive experiments are conducted to evaluate the performance of our method.",

author = "Yang Wang and Xu Jiang and Nan Guan and Mingsong Lv and Dong Ji and Wang Yi",

note = "Full text of this publication does not contain sufficient affiliation information. With consent from the author(s) concerned, the Research Unit(s) information for this record is based on the existing academic department affiliation of the author(s).; 59th ACM/IEEE Design Automation Conference (DAC 2022), DAC {\textquoteright}22 ; Conference date: 10-07-2022 Through 14-07-2022",

year = "2022",

doi = "10.1145/3489517.3530611",

language = "English",

isbn = "9781450391429",

series = "Proceedings - Design Automation Conference",

publisher = "IEEE",

pages = "1255--1260",

booktitle = "DAC '22: Proceedings of the 59th ACM/IEEE Design Automation Conference",

address = "United States",

}

Wang, Y, Jiang, X, Guan, N, Lv, M, Ji, D & Yi, W 2022, Scheduling and analysis of real-time tasks with parallel critical sections. in DAC '22: Proceedings of the 59th ACM/IEEE Design Automation Conference. Proceedings - Design Automation Conference, IEEE, pp. 1255-1260, 59th ACM/IEEE Design Automation Conference (DAC 2022), San Francisco, California, United States, 10/07/22. https://doi.org/10.1145/3489517.3530611

Scheduling and analysis of real-time tasks with parallel critical sections. / Wang, Yang; Jiang, Xu; Guan, Nan et al.
DAC '22: Proceedings of the 59th ACM/IEEE Design Automation Conference. IEEE, 2022. p. 1255-1260 (Proceedings - Design Automation Conference).

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

TY - GEN

T1 - Scheduling and analysis of real-time tasks with parallel critical sections

AU - Wang, Yang

AU - Jiang, Xu

AU - Guan, Nan

AU - Lv, Mingsong

AU - Ji, Dong

AU - Yi, Wang

N1 - Full text of this publication does not contain sufficient affiliation information. With consent from the author(s) concerned, the Research Unit(s) information for this record is based on the existing academic department affiliation of the author(s).

PY - 2022

Y1 - 2022

N2 - Locks are the most widely used mechanisms to coordinate simultaneous accesses to exclusive shared resources. While locking protocols and associated schedulability analysis techniques have been extensively studied for sequential real-time tasks, work for parallel tasks largely lags behind. In the limited existing work on this topic, a common assumption is that a critical section must execute sequentially. However, this is not necessarily the case with parallel programming languages. In this paper, we study the analysis of parallel heavy real-time tasks (the density of which is greater than 1) with critical sections in parallel structures. We show that applying existing analysis techniques directly could be unsafe or much pessimistic for the considered model, and develop new techniques to address these problems. Comprehensive experiments are conducted to evaluate the performance of our method.

AB - Locks are the most widely used mechanisms to coordinate simultaneous accesses to exclusive shared resources. While locking protocols and associated schedulability analysis techniques have been extensively studied for sequential real-time tasks, work for parallel tasks largely lags behind. In the limited existing work on this topic, a common assumption is that a critical section must execute sequentially. However, this is not necessarily the case with parallel programming languages. In this paper, we study the analysis of parallel heavy real-time tasks (the density of which is greater than 1) with critical sections in parallel structures. We show that applying existing analysis techniques directly could be unsafe or much pessimistic for the considered model, and develop new techniques to address these problems. Comprehensive experiments are conducted to evaluate the performance of our method.

UR - http://www.scopus.com/inward/record.url?scp=85137428460&partnerID=8YFLogxK

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-85137428460&origin=recordpage

U2 - 10.1145/3489517.3530611

DO - 10.1145/3489517.3530611

M3 - RGC 32 - Refereed conference paper (with host publication)

SN - 9781450391429

T3 - Proceedings - Design Automation Conference

SP - 1255

EP - 1260

BT - DAC '22: Proceedings of the 59th ACM/IEEE Design Automation Conference

PB - IEEE

T2 - 59th ACM/IEEE Design Automation Conference (DAC 2022)

Y2 - 10 July 2022 through 14 July 2022

ER -

Scheduling and analysis of real-time tasks with parallel critical sections

Abstract

Publication series

Conference

Bibliographical note

Funding

RGC Funding Information

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

GRF: Building a Theoretical Foundation for Real-time ROS

Cite this

Scheduling and analysis of real-time tasks with parallel critical sections

Abstract

Publication series

Conference

Bibliographical note

Funding

RGC Funding Information

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Projects

GRF: Building a Theoretical Foundation for Real-time ROS

Cite this