Delay-Bounded Scheduling

被引：18

作者：

Emmi, Michael ^{[1
]}

Qadeer, Shaz ^{[2
]}

Rakamaric, Zvonimir ^{[3
]}

机构：

[1] Univ Paris Diderot, LIAFA, Paris, France

[2] Microsoft Res, Redmond, WA USA

[3] Univ British Columbia, Vancouver, BC V5Z 1M9, Canada

来源：

ACM SIGPLAN NOTICES | 2011年 / 46卷 / 01期

关键词：

Algorithms; Reliability; Testing; Verification; Concurrency; Asynchronous programs; Delay; Sequentialization; MODEL-CHECKING; CONCURRENT PROGRAMS; FRAMEWORK;

D O I：

10.1145/1925844.1926432

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We provide a new characterization of scheduling nondeterminism by allowing deterministic schedulers to delay their next-scheduled task. In limiting the delays an otherwise-deterministic scheduler is allowed, we discover concurrency bugs efficiently-by exploring few schedules-and robustly-i.e., independent of the number of tasks, context switches, or buffered events. Our characterization elegantly applies to any systematic exploration (e.g., testing, model checking) of concurrent programs with dynamic task-creation. Additionally, we show that certain delaying schedulers admit efficient reductions from concurrent to sequential program analysis.

引用

页码：411 / 422

页数：12

共 50 条

[1] Delay-Bounded Scheduling
Emmi, Michael
Qadeer, Shaz
Rakamaric, Zvonimir
[J]. POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 411 - 422
[2] Delay-Bounded Scheduling Without Delay!
Johnson, Andrew
Wahl, Thomas
[J]. COMPUTER AIDED VERIFICATION (CAV 2021), PT I, 2021, 12759 : 380 - 402
[3] Resource reservation and packet scheduling for prioritized delay-bounded multicast
Lin, LS
Liu, MS
Wuu, LC
[J]. IEEE INTERNATIONAL CONFERENCE ON NETWORKS 2000 (ICON 2000), PROCEEDINGS: NETWORKING TRENDS AND CHALLENGES IN THE NEW MILLENNIUM, 2000, : 341 - 345
[4] Delay-bounded packet scheduling of bursty traffic over wireless channels
Rajan, D
Sabharwal, A
Aazhang, B
[J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 2004, 50 (01) : 125 - 144
[5] Delay-Bounded Power-Efficient Packet Scheduling for Uplink Systems of LTE
Li, Zhenwei
Yin, Changchuan
Yue, Guangxin
[J]. 2009 5TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-8, 2009, : 277 - 280
[6] Delay-Bounded Scheduling in IEEE 802.15.4e DSME using Linear Programming
Meyer, Florian
Turau, Volker
[J]. 2019 15TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (DCOSS), 2019, : 659 - 666
[7] Tasks Scheduling and Resource Allocation in Heterogeneous Cloud for Delay-bounded Mobile Edge Computing
Zhao, Tianchu
Zhou, Sheng
Guo, Xueying
Niu, Zhisheng
[J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2017,
[8] Exact Algorithms for Delay-Bounded Steiner Arborescences
Held, Stephan
Rockel, Benjamin
[J]. 2018 55TH ACM/ESDA/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2018,
[9] Constructing Delay-bounded Multicast Tree with Optimal Delay Variation
Cheng, Hui
Cao, Jiannong
Wang, Xingwei
[J]. 2006 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-12, 2006, : 800 - 805
[10] Delay-bounded Sink Mobility in Wireless Sensor Networks
Gu, Yu
Ji, Yusheng
Li, Jie
Han, Biao
Zhao, Baohua
[J]. 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2012,

← 1 2 3 4 5 →