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 条
  • [1] BWoS: Formally Verified Block-basedWork Stealing for Parallel Processing
    Wang, Jiawei
    Trach, Bohdan
    Fu, Ming
    Behrens, Diogo
    Schwender, Jonathan
    Liu, Yutao
    Lei, Jitang
    Vafeiadis, Viktor
    Haertig, Hermann
    Chen, Haibo
    PROCEEDINGS OF THE 17TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION, OSDI 2023, 2023, : 833 - 850
  • [2] Parallel Processing on Block-based Gauss-Jordan Algorithm for Desktop Grid
    Shang, Yizi
    Lu, Guiming
    Shang, Ling
    Wang, Guangqian
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (03) : 739 - 759
  • [3] Parallel implementations of block-based motion vector estimation for video compression on four parallel processing systems
    Tan, M
    Siegel, JM
    Siegel, HJ
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1999, 27 (03) : 195 - 225
  • [4] Parallel Implementations of Block-Based Motion Vector Estimation for Video Compression on Four Parallel Processing Systems
    Min Tan
    Janet M. Siegel
    Howard Jay Siegel
    International Journal of Parallel Programming, 1999, 27 : 195 - 225
  • [5] Block-based parallel intra prediction scheme for HEVC
    Jiang, Jie
    Guo, Baolong
    Mo, Wei
    Fan, Kefeng
    Journal of Multimedia, 2012, 7 (04): : 289 - 294
  • [6] Block-Based Programming Abstractions for Explicit Parallel Computing
    Feng, Annette
    Tilevich, Eli
    Feng, Wu-chun
    2015 IEEE BLOCKS AND BEYOND WORKSHOP (BLOCKS AND BEYOND), 2015, : 71 - 75
  • [7] A Block-Based Parallel Decoding Architecture for Convolutional Codes
    Su, Chengyi
    Zhang, Yu
    Pan, Changyong
    Wan, Xiaofeng
    2010 5TH INTERNATIONAL ICST CONFERENCE ON COMMUNICATIONS AND NETWORKING IN CHINA (CHINACOM), 2010,
  • [8] A Block-Based Pass-Parallel SPIHT Algorithm
    Jin, Yongseok
    Lee, Hyuk-Jae
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2012, 22 (07) : 1064 - 1075
  • [9] High-speed computer-generated hologram based on resource optimization for block-based parallel processing
    Kim, Dong-Wook
    Lee, Yoon-Hyuk
    Seo, Young-Ho
    APPLIED OPTICS, 2018, 57 (13) : 3511 - 3518
  • [10] Confidence-Based Work Stealing in Parallel Constraint Programming
    Chu, Geoffrey
    Schulte, Christian
    Stuckey, Peter J.
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, 2009, 5732 : 226 - +
12345