Advances in GPU Research and Practice

Table of Contents

Cover image

Title page

Copyright

Dedication

List of Contributors

Preface

Acknowledgments

Part 1: Programming and Tools

Chapter 1: Formal analysis techniques for reliable GPU programming: current solutions and call to action

Abstract

Acknowledgments

1 GPUs in Support of Parallel Computing

2 A quick introduction to GPUs

3 Correctness issues in GPU programming

4 The need for effective tools

5 Call to Action

Chapter 2: SnuCL: A unified OpenCL framework for heterogeneous clusters

Abstract

Acknowledgments

1 Introduction

2 OpenCL

3 Overview of SnuCL framework

4 Memory management in SnuCL Cluster

5 SnuCL extensions to OpenCL

6 Performance evaluation

7 Conclusions

Chapter 3: Thread communication and synchronization on massively parallel ...