Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs

Stefan Kempf

ISBN 10: 395404840X / ISBN 13: 9783954048403

Published by Cuvillier Nov 2014, 2014

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -Atomic blocks are a programming language construct that marks sections of code that multiple threads may not execute concurrently. The implementation of the mutual exclusion is left to the compiler or the runtime system. To avoid race conditions however, developers are still responsible to detect all places in the code where atomic blocks are needed. It is of course also important that mutual exclusion is implemented efficiently. This thesis therefore pursues two goals. First, we develop a data dependence analysis that identifies potential critical sections in a parallel program, presents them to the programmer, and then adds atomic blocks to the code. Second, we enhance existing techniques ¿ software transactional memory (STM) and lock inference ¿ to implement atomic blocks. Our approach combines the advantages of STM and lock inference, which allows atomic blocks to be implemented more efficiently. The evaluation shows that our approach identifies atomic blocks that closely match those atomic blocks that an expert would add to the code. Compared to a pure STM or lock inference implementation, our combined approach to implement atomic blocks speeds up execution times by a factor between 1.1 and 6.3. 184 pp. Deutsch.

Seller Inventory # 9783954048403

Bibliographic Details

• Title: Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs
• Publisher: Cuvillier Nov 2014
• Publication Date: 2014
• Language: English
• ISBN 10: 395404840X
• ISBN 13: 9783954048403
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 210W x 148H x 10D millimeters 210 millimeters width by 148 millimeters height by 10 millimeters depth
• Weight: 246 grams

About this title

Synopsis

Atomic blocks are a programming language construct that marks sections of code that multiple threads may not execute concurrently. The implementation of the mutual exclusion is left to the compiler or the runtime system. To avoid race conditions however, developers are still responsible to detect all places in the code where atomic blocks are needed. It is of course also important that mutual exclusion is implemented efficiently. This thesis therefore pursues two goals. First, we develop a data dependence analysis that identifies potential critical sections in a parallel program, presents them to the programmer, and then adds atomic blocks to the code. Second, we enhance existing techniques - software transactional memory (STM) and lock inference - to implement atomic blocks. Our approach combines the advantages of STM and lock inference, which allows atomic blocks to be implemented more efficiently. The evaluation shows that our approach identifies atomic blocks that closely match those atomic blocks that an expert would add to the code. Compared to a pure STM or lock inference implementation, our combined approach to implement atomic blocks speeds up execution times by a factor between 1.1 and 6.3.