BWoS: Formally Verified Block-based Work Stealing for Parallel Processing

被引：0
|
作者：
Wang, Jiawei [1 ,2 ,3 ]
Trach, Bohdan [1 ,2 ]
Fu, Ming [1 ,2 ]
Behrens, Diogo [1 ,2 ]
Schwender, Jonathan [1 ,2 ]
Liu, Yutao [1 ,2 ]
Lei, Jitang [1 ,2 ]
Vafeiadis, Viktor [4 ]
Härtig, Hermann [3 ]
Chen, Haibo [2 ,5 ]
机构：
[1] Huawei Dresden Research Center, Germany
[2] Huawei Central Software Institute
[3] Technische Universität Dresden, Germany
[4] Max Planck Institute for Software Systems, Germany
[5] Shanghai Jiao Tong University, China
来源：
Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023 | 2023年
关键词：
Engineering Village;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Block based - High probability - Multi-cores - Optimisations - Parallel processing - Performance - Probabilistics - Real-world - Runtimes - Scheduling techniques
引用
收藏
页码：833 / 850
相关论文
共 50 条
  • [41] The Effects of Native Language on Block-Based Programming Introduction: A Work in Progress with Hispanic Population
    Feijoo-Garcia, Pedro Guillermo
    McNamara, Keith, Jr.
    Stuart, Jacob
    2020 IEEE STCBP RESEARCH ON EQUITY AND SUSTAINED PARTICIPATION IN ENGINEERING, COMPUTING, AND TECHNOLOGY (RESPECT), VOL 1, 2020, : 206 - 207
  • [42] Let's Work Together: Improving Block-Based Environments by Supporting Synchronous Collaboration
    Tsan, Jennifer
    Rodriguez, Fernando J.
    Boyer, Kristy Elizabeth
    Lynch, Collin
    2017 IEEE BLOCKS AND BEYOND WORKSHOP (B&B), 2017, : 53 - 56
  • [43] Parallel Block-Based Simulated Annealing for the Single Machine Total Weighted Tardiness Scheduling Problem
    Bozejko, Wojciech
    Pempera, Jaroslaw
    Uchronski, Mariusz
    Wodecki, Mieczyslaw
    16TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING MODELS IN INDUSTRIAL AND ENVIRONMENTAL APPLICATIONS (SOCO 2021), 2022, 1401 : 758 - 765
  • [44] Load-balancing for a block-based parallel adaptive 4D Vlasov solver
    Hoenen, Olivier
    Violard, Eric
    EURO-PAR 2008 PARALLEL PROCESSING, PROCEEDINGS, 2008, 5168 : 822 - 832
  • [45] A fully parallel-pipelined architecture for full-search block-based motion estimation
    Sayed, M
    Badawy, W
    ICM 2002: 14TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2002, : 24 - 27
  • [46] Work in Progress: Native Language Consistency Effect on Learners' Introduction to Block-Based Instructional Technologies
    Feijoo-Garcia, Pedro G.
    McNamara, Keith, Jr.
    Stuart, Jacob
    PROCEEDINGS OF THE 20TH ANNUAL CONFERENCE ON INFORMATION TECHNOLOGY EDUCATION (SIGITE '19), 2019, : 147 - 147
  • [47] A WORK-STEALING BASED DYNAMIC LOAD BALANCING ALGORITHM FOR CONSERVATIVE PARALLEL DISCRETE EVENT SIMULATION
    Tang Wenjie
    Yao Yiping
    Zhu Feng
    Li Tianlin
    Song Xiao
    2017 WINTER SIMULATION CONFERENCE (WSC), 2017, : 798 - 809
  • [48] Design and Implementation of Block-Based Partitioning for Parallel Flip-Chip Power-Grid Analysis
    Wei, Chun-Jen
    Chen, Howard
    Chen, Sao-Jie
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2012, 31 (03) : 370 - 379
  • [49] Efficient Distributed Parallel Inference Strategies via Block-based DNN Structure in Edge-to-IoT Continuum
    Choi, Inhun
    Akhter, Sharmen
    Jeong, Hong-Ju
    Huh, Eui-Nam
    PROCEEDINGS OF THE 2024 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION TECHNOLOGY, ICIIT 2024, 2024, : 505 - 511
  • [50] Static magnetic dipole detection using vector linear prediction, Anderson functions, and block-based adaptive processing
    Otnes, Roald
    OCEANS 2007 - EUROPE, VOLS 1-3, 2007, : 532 - 537
12345