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 条
  • [31] INTERPOLATIVE INTRA PREDICTION BY ADAPTING PROCESSING ORDER IN BLOCK-BASED IMAGE CODING
    Matsuda, Ichiro
    Ohtake, Yosuke
    Mochizuki, Shinta
    Fukai, Hironobu
    Itoh, Susumu
    2013 20TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2013), 2013, : 1646 - 1650
  • [32] Block-based Programming Learning Tool for ML and AI Education (Work in Progress)
    Amanuel, Yousuf
    Garlisch, Joshua
    Krugel, Johannes
    2024 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE, EDUCON 2024, 2024,
  • [33] Work in Progress: Block Pictogramming A Block-based Programming Learning Environment through Pictogram Content Creation
    Ito, Kazunari
    PROCEEDINGS OF THE 2020 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON 2020), 2020, : 1669 - 1673
  • [34] AN EASILY IMPLEMENTED, BLOCK-BASED FAST MARCHING METHOD WITH SUPERIOR SEQUENTIAL AND PARALLEL PERFORMANCE
    Yang, Jianming
    SIAM JOURNAL ON SCIENTIFIC COMPUTING, 2019, 41 (05): : C446 - C478
  • [35] A parallel block-based encryption schema for digital images using reversible cellular automata
    Mohamed, Faraoun Kamel
    ENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH, 2014, 17 (02): : 85 - 94
  • [36] A block-based parallel adaptive scheme for solving the 4D Vlasov equation
    Hoenen, Olivier
    Violard, Eric
    PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 108 - 117
  • [37] High-speed computer-generated hologram based on resource optimization for block-based parallel processing (vol 57, pg 3511, 2018)
    Kim, Dong-Wook
    Lee, Yoon-Hyuk
    Seo, Young-Ho
    APPLIED OPTICS, 2018, 57 (16) : 4569 - 4569
  • [38] Parallel Instruction of Text-based and Block-based Programming: On Novice Programmers' Computational Thinking Practices
    Jeon, Minji
    Kwon, Kyungbin
    TECHTRENDS, 2024, 68 (06) : 1033 - 1050
  • [39] Block-based two-dimensional wavelet transform running on graphics processing unit
    Song, Changhe
    Li, Yunsong
    Guo, Jie
    Lei, Jie
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2014, 8 (05): : 229 - 236
  • [40] Building Block-Based Synthesis and Intensification of Work-Heat Exchanger Networks (WHENS)
    Li, Jianping
    Demirel, Salih Emre
    Hasan, M. M. Faruque
    PROCESSES, 2019, 7 (01):
12345