Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael R. Marty

dblp:11/2921 · DBLP profile ↗
← Back
9ranked-venue papers
3as first author
0since 2021 · last 2014
0009-0006-1364-8596ORCID · corroborated

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

Systems, architecture and hardware · 9 · 3 first-authorSoftware engineering, systems software and programming languages · 2 · 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
8 papers
Memory systems · 34% Cloud and datacenter computing · 24% Interconnection networks and networks-on-chip · 21%

Topics — the 20 heaviest of 21, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Memory systems
cache coherence
0.342007
Virtual hierarchies to support server consolidation · ISCA 2007
LogTM-SE: Decoupling Hardware Transactional Memory from Caches · HPCA 2007
Coherence Ordering for Ring-based Chip Multiprocessors · MICRO 2006
Interconnection networks and networks-on-chip
arbitration
0.212014
Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement · IEEE Trans. Computers 2014
Cloud and datacenter computing
datacenter network
0.112010
Energy proportional datacenter networks · ISCA 2010
Cloud and datacenter computing › quality of service
differentiated service
0.112010
Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010
Cloud and datacenter computing
quality of service
0.112010
Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010
Memory systems › cache coherence
directory-based coherence
0.112007
Virtual hierarchies to support server consolidation · ISCA 2007
Parallel and multicore computing › transactional memory
hardware transactional memory
0.112007
LogTM-SE: Decoupling Hardware Transactional Memory from Caches · HPCA 2007
Processor architecture and microarchitecture
chip multiprocessor
0.132010
Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010
Coherence Ordering for Ring-based Chip Multiprocessors · MICRO 2006
Improving Multiple-CMP Systems Using Token Coherence · HPCA 2005
Memory systems
cache design
0.112006
ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006
Memory systems › cache
chip multiprocessor cache
0.112006
ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006
Memory systems › cache management › storage caching
cooperative caching
0.112006
ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006
Distributed systems › replication › partial replication
selective replication
0.112006
ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006
Processor architecture and microarchitecture
many-core architecture
0.112014
Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement · IEEE Trans. Computers 2014
Parallel and multicore computing
task allocation
0.112014
Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement · IEEE Trans. Computers 2014
Memory systems › cache coherence › cache coherence protocol
token coherence
0.112005
Improving Multiple-CMP Systems Using Token Coherence · HPCA 2005
Energy-efficient computing
power management
0.012010
Energy proportional datacenter networks · ISCA 2010
Cloud and datacenter computing › resource management › shared resource management
shared resource fairness
0.012010
Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010
Cloud and datacenter computing › virtualization › virtual machine management
server consolidation
0.012007
Virtual hierarchies to support server consolidation · ISCA 2007
Parallel and multicore computing
transactional memory
0.012007
LogTM-SE: Decoupling Hardware Transactional Memory from Caches · HPCA 2007
Cloud and datacenter computing › virtualization › virtual machine memory management
virtual machine memory sharing
0.012007
Virtual hierarchies to support server consolidation · ISCA 2007

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

probabilistic arbitration · 0.3distance-based weighting · 0.3hybrid arbitration · 0.2execution-driven simulation · 0.1full-system simulation · 0.1simulation · 0.1model checking · 0.1
YearPublicationVenuePosition
2014 Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement
abstract
Many-core processors will have many processing cores with a network-on-chip (NoC) that provides access to shared resources such as main memory and on-chip caches. However, locally-fair arbitration in multi-stage NoC can lead to globally unfair access to shared resources and impact system-level performance depending on where each task is physically placed. In this work, we propose an arbitration to provide equality-of-service (EoS) in the network and provide support for location-oblivious task placement. We propose using probabilistic arbitration combined with distance-based weights to achieve EoS and overcome the limitation of round-robin arbiter. However, the complexity of probabilistic arbitration results in high area and long latency which negatively impacts performance. In order to reduce the hardware complexity, we propose an hybrid arbiter that switches between a simple arbiter at low load and a complex arbiter at high load. The hybrid arbiter is enabled by the observation that arbitration only impacts the overall performance and global fairness at a high load. We evaluate our arbitration scheme with synthetic traffic patterns and GPGPU benchmarks. Our results shows that hybrid arbiter that combines round-robin arbiter with probabilistic distance-based arbitration reduces performance variation as task placement is varied and also improves average IPC.
Gwangsun Kim, Michael Mihn-Jong Lee, John Kim 0001, Jae W. Lee, Dennis Abts, Michael R. Marty
IEEE Trans. Computers6
2010 Approximating age-based arbitration in on-chip networks
abstract
The on-chip network of emerging many-core CMPs enables the sharing of numerous on-chip components. This on-chip network needs to ensure fairness when accessing the shared resources. In this work, we propose providing equality of service (EoS) in future many-core CMPs on-chip networks by leveraging distance, or hop count, to approximate the age of packets in the network. We propose probabilistic arbitration combined with distance-based weights to achieve EoS and overcome the limitation of conventional round-robin arbiter. We describe how nonlinear weights need to be used with probabilistic arbiters and propose three different arbitration weight metrics - fixed weight, constantly increasing weight, and variably increasing weight. By only modifying the arbitration of an on-chip router, we do not require any additional buffers or virtual channels and create a complexity-effective mechanism for achieving EoS.
Michael Mihn-Jong Lee, John Kim 0001, Dennis Abts, Michael R. Marty, Jae W. Lee
PACT4
2010 Energy proportional datacenter networks
abstract
Numerous studies have shown that datacenter computers rarely operate at full utilization, leading to a number of proposals for creating servers that are energy proportional with respect to the computation that they are performing.
Dennis Abts, Michael R. Marty, Philip M. Wells, Peter Klausler
ISCA2
2010 Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs
abstract
Emerging many-core chip multiprocessors will integrate dozens of small processing cores with an on-chip interconnect consisting of point-to-point links. The interconnect enables the processing cores to not only communicate, but to share common resources such as main memory resources and I/O controllers. In this work, we propose an arbitration scheme to enable equality of service (EoS) in access to a chip's shared resources. That is, we seek to remove any bias in a core's access to a shared resource based on its location in the CMP. We propose using probabilistic arbitration combined with distance-based weights to achieve EoS and overcome the limitation of conventional round-robin arbiter. We describe how nonlinear weights need to be used with probabilistic arbiters and propose three different arbitration weight metrics - fixed weight, constantly increasing weight, and variably increasing weight. By only modifying the arbitration of an on-chip router, we do not require any additional buffers or virtual channels and create a simple, low-cost mechanism for achieving EoS. We evaluate our arbitration scheme across a wide range of traffic patterns. In addition to providing EoS, the proposed arbitration has additional benefits which include providing quality-of-service features (such as differentiated service) and providing fairness in terms of both throughput and latency that approaches the global fairness achieved with age-base arbitration - thus, providing a more stable network by achieving high sustained throughput beyond saturation.
Michael Mihn-Jong Lee, John Kim 0001, Dennis Abts, Michael R. Marty, Jae W. Lee
MICRO4
2007 LogTM-SE: Decoupling Hardware Transactional Memory from Caches
abstract
This paper proposes a hardware transactional memory (HTM) system called LogTM Signature Edition (LogTM-SE). LogTM-SE uses signatures to summarize a transactions read-and write-sets and detects conflicts on coherence requests (eager conflict detection). Transactions update memory "in place" after saving the old value in a per-thread memory log (eager version management). Finally, a transaction commits locally by clearing its signature, resetting the log pointer, etc., while aborts must undo the log. LogTM-SE achieves two key benefits. First, signatures and logs can be implemented without changes to highly-optimized cache arrays because LogTM-SE never moves cached data, changes a blocks cache state, or flash clears bits in the cache. Second, transactions are more easily virtualized because signatures and logs are software accessible, allowing the operating system and runtime to save and restore this state. In particular, LogTM-SE allows cache victimization, unbounded nesting (both open and closed), thread context switching and migration, and paging
Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos 0001, Mark D. Hill, Michael M. Swift, David A. Wood 0001
HPCA3
2007 Virtual hierarchies to support server consolidation
abstract
Server consolidation is becoming an increasingly popular technique to manage and utilize systems. This paper develops CMP memory systems for server consolidation where most sharing occurs within Virtual Machines (VMs). Our memory systems maximize shared memory accesses serviced within a VM, minimize interference among separate VMs, facilitate dynamic reassignment of VMs to processors and memory, and support content-based page sharing among VMs. We begin with a tiled architecture where each of 64 tiles contains a processor, private L1 caches, and an L2 bank. First, we reveal why single-level directory designs fail to meet workload consolidation goals. Second, we develop the paper's central idea of imposing a two-level virtual (or logical) coherence hierarchy on a physically flat CMP that harmonizes with VM assignment. Third, we show that the best of our two virtual hierarchy (VH) variants performs 12-58% better than the best alternative flat directory protocol when consolidating Apache, OLTP, and Zeus commel workloads on our simulated 64-core CMP.
Michael R. Marty, Mark D. Hill
ISCA1
2006 ASR: Adaptive Selective Replication for CMP Caches
abstract
The large working sets of commercial and scientific workloads stress the L2 caches of chip multiprocessors (CMPs). Some CMPs use a shared L2 cache to maximize the on-chip cache capacity and minimize off-chip misses. Others use private L2 caches, replicating data to limit the delay due to global wires and minimize cache access time. Recent hybrid proposals use selective replication to balance latency and capacity, but their static replication rules result in performance degradation for some combinations of workloads and system configurations. This paper proposes adaptive selective replication (ASR), a mechanism that dynamically monitors workload behavior to control replication. ASR replicates cache blocks only when it estimates the benefit of replication (lower L2 hit latency) exceeds the cost (more L2 misses). Full-system simulations of 8-processor CMPs show that ASR provides robust performance: improving performance by as much as 29% versus shared caches, 19% versus private caches, and 12% versus CMP-NuRapid and Victim Replication. Furthermore, while ASR does not improve the performance of all workloads, it provides performance stability by always performing at least comparably to the best alternative including cooperative caching
Bradford M. Beckmann, Michael R. Marty, David A. Wood 0001
MICRO2
2006 Coherence Ordering for Ring-based Chip Multiprocessors
abstract
Ring interconnects may be an attractive solution for future chip multiprocessors because they can enable faster links than buses and simpler switches than arbitrary switched interconnects. Moreover, a ring naturally orders requests sufficiently to enable directory-less coherence, but not in the total order that buses provide for snooping coherence. Existing cache coherence protocols for rings either establish a (total) ordering point (ORDERING-POINT) or use a greedy order (GREEDY-ORDER) with unbounded retries. In this work, we propose a new class of ring protocols, RING-ORDER, in which requests complete in ring position order to achieve two benefits. First, RING-ORDER improves performance relative to ORDERING-POINT by activating requests immediately instead of waiting for them to reach the ordering point. Second, it improves performance stability relative to GREEDY-ORDER by not using retries. Thus, the new RING-ORDER combines the best of ORDERING-POINT (good performance stability) with the best of GREEDY-ORDER (good average performance)
Michael R. Marty, Mark D. Hill
MICRO1
2005 Improving Multiple-CMP Systems Using Token Coherence
abstract
Improvements in semiconductor technology now enable chip multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems will have caches that must be kept coherent. Coherence is a particular challenge for multiple-CMP (M-CMP) systems. One approach is to use a hierarchical protocol that explicitly separates the intra-CMP coherence protocol from the inter-CMP protocol, but couples them hierarchically to maintain coherence. However, hierarchical protocols are complex, leading to subtle, difficult-to-verify race conditions. Furthermore, most previous hierarchical protocols use directories at one or both levels, incurring indirections - and thus extra latency - for sharing misses, which are common in commercial workloads. In contrast, this paper exploits the separation of correctness substrate and performance policy in the recently-proposed token coherence protocol to develop the first M-CMP coherence protocol that is flat for correctness, but hierarchical for performance. Via model checking studies, we show that flat correctness eases verification. Via simulation with micro-benchmarks, we make new protocol variants more robust under contention. Finally, via simulation with commercial workloads on a commercial operating system, we show that new protocol variants can be 10-50% faster than a hierarchical directory protocol.
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood 0001
HPCA1