Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs

Abstract

Atomic operations are a key primitive in parallel computing systems. The standard implementation mechanism for atomic operations uses mutual exclusion locks. In an object-based programming system the natural granularity is to give each object its own lock. Each operation can then make its execution atomic by acquiring and releasing the lock for the object that it accesses. But this fine lock granularity may have high synchronization overhead. To achieve good performance it may be necessary to reduce the overhead by coarsening the granularity at which the computation locks objects.

In this paper we describe a static analysis technique — lock coarsening — designed to automatically increase the lock granularity in object-based programs with atomic operations. We have implemented this technique in the context of a parallelizing compiler for irregular, object-based programs. Experiments show these algorithms to be effective in reducing the lock overhead to negligible levels.

Sponsored by the PRAXIS XXI program administrated by Portugal's JNICT — Junta National de Investigação Científica e Tecnológica, and holds a Fulbright travel grant.

Supported in part by an Alfred P. Sloan Research Fellowship.