Raksit Ashok

dblp:15/4687 · DBLP profile ↗
← Back
7ranked-venue papers
2as first author
0since 2021 · last 2011
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 7 · 2 first-authorSoftware engineering, systems software and programming languages · 3 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
3 papers
Energy-efficient computing · 50% Memory systems · 47% Embedded and real-time systems · 2%
Software engineering, system software, and programming languages
1 paper
Compilers and program optimization · 100%

Topics — the 11 heaviest of 13, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Memory systems › cache
cache organization
0.012004
Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004
Energy-efficient computing
memory system energy
0.012004
Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004
Energy-efficient computing › low-power design
power optimization
0.012004
Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004
Memory systems
cache design
0.012002
Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002
Energy-efficient computing › power management › memory power management
cache energy reduction
0.012001
Cool-cache for hot multimedia · MICRO 2001
Memory systems
cache management
0.012001
Cool-cache for hot multimedia · MICRO 2001
Memory systems › cache › CPU cache
data cache
0.012001
Cool-cache for hot multimedia · MICRO 2001
Energy-efficient computing
power management
0.012001
Cool-cache for hot multimedia · MICRO 2001
Memory systems › memory management › virtual memory
address translation
0.022004
Coupling compiler-enabled and conventional memory accessing for energy efficiency · ACM Trans. Comput. Syst. 2004
Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002
Memory systems › memory management
virtual memory
0.012002
Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency · ASPLOS 2002
Embedded and real-time systems › soft real-time systems
real-time multimedia
0.012001
Cool-cache for hot multimedia · MICRO 2001

Methods — techniques the papers use, named apart from their topics

compiler-enabled cache disambiguation · 0.1speculative cache access · 0.1static speculation · 0.0
YearPublicationVenuePosition
2011 Automated locality optimization based on the reuse distance of string operations
abstract
String operations such as memcpy, memset and memcmp account for a nontrivial amount of Google datacenter resources. String operations hurt processor cache efficiency when the data accessed is not reused shortly thereafter. Such cache pollution can be avoided by using nontemporal memory access to bypass L2/L3 caches. As reuse distance varies greatly across different memcpy static call contexts in the same program, an efficient solution needs to be call context sensitive. We propose a novel solution to this problem using the page protection mechanism to measure reuse distance and the GCC feedback directed optimization mechanism to generate nontemporal memory access instructions at the appropriate static code contexts. First, the compiler inserts instrumentation for calls to string operations. Then a run time library measures reuse distance using the page protection mechanism during a representative profiling run. The compiler finally generates calls to specialized string operations that use nontemporal operations for the arguments with large reuse distance. We present a full implementation and initial results including speedup on large datacenter applications.
Silvius Rus, Raksit Ashok, Xinliang David Li
CGO2
2010 Lightweight feedback-directed cross-module optimization
abstract
Cross-module inter-procedural compiler optimization (IPO) and Feedback-Directed Optimization (FDO) are two important compiler techniques delivering solid performance gains. The combination of IPO and FDO delivers peak performance, but also multiplies both techniques' usability problems. In this paper, we present LIPO, a novel static IPO framework, which integrates IPO and FDO. Compared to existing approaches, LIPO no longer requires writing of the compiler's intermediate representation, eliminates the link-time inter-procedural optimization phase entirely, and minimizes code re-generation overhead, thus improving scalability by an order of magnitude. Compared to an FDO baseline, and without further specific tuning, LIPO improves performance of SPEC2006 INT by 2.5%, and of SPEC2000 INT by 4.4%, with up to 23% for one benchmarks. We confirm our scalability results on a set of large industrial applications, demonstrating 2.9% performance improvements on average. Compile time overhead for full builds is less than 30%, incremental builds take a few seconds on average, and storage requirements increase by only 24%, all compared to the FDO baseline.
Xinliang David Li, Raksit Ashok, Robert Hundt
CGO2
2008 Synchronization coherence: A transparent hardware mechanism for cache coherence and fine-grained synchronization
Yao Guo 0001, Vladimir Vlassov, Raksit Ashok, Richard Weiss 0001, Csaba Andras Moritz
J. Parallel Distributed Comput.3
2004 Coupling compiler-enabled and conventional memory accessing for energy efficiency
abstract
This article presents Cool-Mem, a family of memory system architectures that integrate conventional memory system mechanisms, energy-aware address translation, and compiler-enabled cache disambiguation techniques, to reduce energy consumption in general-purpose architectures. The solutions provided in this article leverage on interlayer tradeoffs between architecture, compiler, and operating system layers. Cool-Mem achieves power reduction by statically matching memory operations with energy-efficient cache and virtual memory access mechanisms. It combines statically speculative cache access modes, a dynamic content addressable memory-based (CAM-based) Tag-Cache used as backup for statically mispredicted accesses, different conventional multilevel associative cache organizations, embedded protection checking along all cache access mechanisms, as well as architectural organizations to reduce the power consumed by address translation in virtual memory. Because it is based on speculative static information, a superset of the predictable program information available at compile-time, our approach removes the burden of provable correctness in compiler analysis passes that extract static information. This makes Cool-Mem highly practical, applicable for large and complex applications, without having any limitations due to complexity issues in our compiler passes or the presence of precompiled static libraries. Based on extensive evaluation, for both SPEC2000 and Mediabench applications, we obtain from 6% to 19% total energy savings in the processor, with performance ranging from 1.5% degradation to 6% improvement, for the applications studied. We have also compared Cool-Mem to several prior arts and have found Cool-Mem to perform better in almost all cases.
Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz
ACM Trans. Comput. Syst.1
2003 Cool-Cache: A compiler-enabled energy efficient data caching framework for embedded/multimedia processors
abstract
The unique characteristics of multimedia/embedded applications dictate media-sensitive architectural and compiler approaches to reduce the power consumption of the data cache. Our goal is exploring energy savings for embedded/multimedia workloads without sacrificing performance. Here, we present two complementary media-sensitive energy-saving techniques that leverage static information. While our first technique is applicable to existing architectures, in our second technique we adopt a more radical approach and propose a new tagless caching architecture by reevaluating the architecture--compiler interface.Our experiments show that substantial energy savings are possible in the data cache. Across a wide range of cache and architectural configurations, we obtain up to 77% energy savings, while the performance varies from 14% improvement to 4% degradation depending on the application.
Osman S. Unsal, Raksit Ashok, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz
ACM Trans. Embed. Comput. Syst.2
2002 Cool-Mem: combining statically speculative memory accessing with selective address translation for energy efficiency
abstract
This paper presents Cool-Mem, a family of memory system architectures that integrate conventional memory system mechanisms, energy-aware address translation, and compiler-enabled cache disambiguation techniques, to reduce energy consumption in general purpose architectures. It combines statically speculative cache access modes, a dynamic CAM based Tag-Cache used as backup for statically mispredicted accesses, various conventional multi-level associative cache organizations, embedded protection checking along all cache access mechanisms, as well as architectural organizations to reduce the power consumed by address translation in virtual memory. Because it is based on speculative static information, the approach removes the burden of provable correctness in compiler analysis passes that extract static information. This makes Cool-Mem applicable for large and complex applications, without having any limitations due to complexity issues in the compiler passes or the presence of precompiled static libraries. Based on extensive evaluation, for both SPEC2000 and Mediabench applications, 12% to 20% total energy savings are obtained in the processor, with performance ranging from 1.2% degradation to 8% improvement, for the applications studied.
Raksit Ashok, Saurabh Chheda, Csaba Andras Moritz
ASPLOS1
2001 Cool-cache for hot multimedia
abstract
We claim that the unique characteristics of multimedia applications dictate media-sensitive architectural and compiler approaches to reduce the power consumption of the data cache. Our motivation is exploring energy savings for real-time multimedia workloads without sacrificing performance. In this paper, we present two complementary media-sensitive energy-saving techniques that leverage static information. While our first technique is applicable to existing architectures, in our second technique we adopt a more radical approach and propose a new caching architecture by re-evaluating the architecture-compiler interface. Our experiments show that substantial energy savings are possible in the data cache. Across a wide range of cache and architectural configurations we obtain up to 77% energy savings, while the performance varies from 14% improvement to 4% degradation depending on the application.
Osman S. Unsal, Raksit Ashok, Israel Koren, C. Mani Krishna 0001, Csaba Andras Moritz
MICRO2