Adve Named IEEE Fellow for 2012

12/8/2011

Prof. Sarita Adve was named a 2012 IEEE Fellow for her “contributions to shared memory semantics and parallel computing.”

Written by

University of Illinois computer science professor Sarita Adve has been named an IEEE Fellow for the class of 2012. Adve was selected for her “contributions to shared memory semantics and parallel computing.” Adve’s research in computer architecture and systems, parallel computing, and power and reliability-aware systems focuses on a full-systems view and is notable for its multidisciplinary collaborations.
Sarita Adve
Illinois computer science professor Sarita Adve

Adve’s broadest impact has been in hardware and software memory consistency models. She received the 2008 SIGARCH Maurice Wilkes award for this work, specifically “for formalization of memory consistency models, especially data-race free models, and their influence on both hardware and high-level languages.”

The memory consistency model lies at the heart of the semantics of any threaded software or hardware. Arguably, it has been one of the most challenging and contentious areas in concurrent hardware and software specification for many years. There is finally now a convergence in both the hardware and software communities. Adve has been a common thread and a leader in the multiple community-scale efforts that have driven this convergence.

The memory consistency model is a hardware/software interface, affecting programmability and performance. Unfortunately, designing a model satisfying all desirable properties has proven difficult. Sequential consistency is simplest to program, but most systems do not provide it for performance reasons. Instead, we had divergent models (often ambiguously specified) for different hardware.

Adve’s early work departed from the prevalent hardware-centric approaches to use a combined hardware/software view more appropriate for an interface. She observed that for well-synchronized programs (which she formalized as data-race-free), both sequential consistency and high performance can be provided. She developed a comprehensive framework to specify memory models as providing “sequential consistency for data-race-free programs.” Adve’s data-race-free model forms the foundation of the memory models for Java and C++.

Adve has been a leader in power- and reliability-aware architectures. Her group was among the first to recognize that significant power reductions required breaking traditional system boundaries in favor of a collaborative, cross-layer system-wide power management framework. The GRACE project she led was the first to demonstrate a prototype system where the hardware, operating system, network, and applications all adapted collaboratively to minimize energy while still meeting real-time quality of service requirements.

Most recently, Adve’s work has challenged the research community to rethink how both parallel languages and parallel hardware are designed.  Adve recently won honors for her DeNovo system, which exploits emerging software trends in disciplined parallel programming to make hardware simpler, higher performance, and lower energy, all at the same time. As their first step, Adve and her research team have developed a cache coherence protocol and consistency model that takes an order of magnitude less time to verify and runs some applications in less than half the time with less than half the network traffic and cache misses than the state-of-the-art. The simplicity and low network and cache traffic means that the performance increases come with significant power and energy benefits, a rarity in hardware design.

Professor Adve received the Maurice Wilkes Award in 2008, an IBM Faculty Award in 2005, was named a UIUC University Scholar in 2004, and received an Alfred P. Sloan Research Fellowship in 1998, an IBM University Partnership award in 1997 and 1998, and a NSF CAREER award in 1995.

She served on the National Science Foundation's CISE directorate's advisory committee from 2003 to 2005 and on the expert group to revise the Java memory model from 2001 to 2005. She co-led the Intel/Microsoft funded Universal Parallel Computing Research Center (UPCRC) at Illinois as its director of research in its founding year (2008-09). She currently serves on the board of directors for ACM SIGARCH and the Computing Research Association (CRA).

 


Share this story

This story was published December 8, 2011.