Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael R. Marty
dblp:11/2921
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Memory systems
cache coherence |
0.3 | 4 | 2007 | 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.2 | 1 | 2014 | Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement · IEEE Trans. Computers 2014 |
Cloud and datacenter computing
datacenter network |
0.1 | 1 | 2010 | Energy proportional datacenter networks · ISCA 2010 |
Cloud and datacenter computing › quality of service
differentiated service |
0.1 | 1 | 2010 | Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010 |
Cloud and datacenter computing
quality of service |
0.1 | 1 | 2010 | Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPs · MICRO 2010 |
Memory systems › cache coherence
directory-based coherence |
0.1 | 1 | 2007 | Virtual hierarchies to support server consolidation · ISCA 2007 |
Parallel and multicore computing › transactional memory
hardware transactional memory |
0.1 | 1 | 2007 | LogTM-SE: Decoupling Hardware Transactional Memory from Caches · HPCA 2007 |
Processor architecture and microarchitecture
chip multiprocessor |
0.1 | 3 | 2010 | 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.1 | 1 | 2006 | ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006 |
Memory systems › cache
chip multiprocessor cache |
0.1 | 1 | 2006 | ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006 |
Memory systems › cache management › storage caching
cooperative caching |
0.1 | 1 | 2006 | ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006 |
Distributed systems › replication › partial replication
selective replication |
0.1 | 1 | 2006 | ASR: Adaptive Selective Replication for CMP Caches · MICRO 2006 |
Processor architecture and microarchitecture
many-core architecture |
0.1 | 1 | 2014 | Low-Overhead Network-on-Chip Support for Location-Oblivious Task Placement · IEEE Trans. Computers 2014 |
Parallel and multicore computing
task allocation |
0.1 | 1 | 2014 | 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.1 | 1 | 2005 | Improving Multiple-CMP Systems Using Token Coherence · HPCA 2005 |
Energy-efficient computing
power management |
0.0 | 1 | 2010 | Energy proportional datacenter networks · ISCA 2010 |
Cloud and datacenter computing › resource management › shared resource management
shared resource fairness |
0.0 | 1 | 2010 | 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.0 | 1 | 2007 | Virtual hierarchies to support server consolidation · ISCA 2007 |
Parallel and multicore computing
transactional memory |
0.0 | 1 | 2007 | LogTM-SE: Decoupling Hardware Transactional Memory from Caches · HPCA 2007 |
Cloud and datacenter computing › virtualization › virtual machine memory management
virtual machine memory sharing |
0.0 | 1 | 2007 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Low-Overhead Network-on-Chip Support for Location-Oblivious Task PlacementabstractMany-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. Computers | 6 |
| 2010 | Approximating age-based arbitration in on-chip networksabstractThe 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 |
PACT | 4 |
| 2010 | Energy proportional datacenter networksabstractNumerous 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 |
ISCA | 2 |
| 2010 | Probabilistic Distance-Based Arbitration: Providing Equality of Service for Many-Core CMPsabstractEmerging 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 |
MICRO | 4 |
| 2007 | LogTM-SE: Decoupling Hardware Transactional Memory from CachesabstractThis 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 |
HPCA | 3 |
| 2007 | Virtual hierarchies to support server consolidationabstractServer 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 |
ISCA | 1 |
| 2006 | ASR: Adaptive Selective Replication for CMP CachesabstractThe 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 |
MICRO | 2 |
| 2006 | Coherence Ordering for Ring-based Chip MultiprocessorsabstractRing 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 |
MICRO | 1 |
| 2005 | Improving Multiple-CMP Systems Using Token CoherenceabstractImprovements 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 |
HPCA | 1 |