University of Illinois at Urbana-Champaign Block I logo
university of illinois at urbana-champaign

Department of Computer Science

Back to Listing

I2PC Seminar Series - Volition: Scalable and Precise Sequential Consistency Violation Detection

Event Type
Other
Sponsor
Illinois-Intel Parallelism Center
Location
Siebel Center 2405
Date
Apr 25, 2013   4:00 - 5:00 pm   Central Time
Speaker
Xuehai Qian (University of Illinois)
Cost
Free
Originating Calendar
I2PC Events

Illinois-Intel Parallelism Center (I2PC) Distinguished Speaker Series
                          http://i2pc.cs.illinois.edu/

Thursday, April 25th, 4-5pm Central Time, Siebel Center 2405

=======================================================

 Volition: Scalable and Precise Sequential Consistency Violation Detection

                                     Xuehai Qian
                                University of Illinois


ABSTRACT: Sequential Consistency (SC) is the most intuitive memory model, and SC Violations (SCVs) produce unintuitive, typically incorrect executions. Most prior SCV detection schemes have used data races as proxies for SCVs, which is highly imprecise. Other schemes that have targeted data-race cycles are either too conservative or are designed only for two-processor cycles and snoopy-based systems. In this talk, I will present Volition, the first hardware scheme that detects Sequential Consistency Violations (SCVs) in a relaxed-consistency machine precisely, in a scalable manner, and for an arbitrary number of processors in the cycle. Volition enhances programmability, while inducing negligible traffic and execution overhead.

BIO: Xuehai Qian is a Ph.D candidate in the Department of Computer Science at the University of Illinois, Urbana-Champaign. His research focuses on multicore and parallel computer architecture, and programming models for parallelism. He received an MS in Computer Science from the Institute of Computing Technology (ICT), Chinese Academy of Sciences (CAS), and a BS in Computer Engineering from Beihang University, Beijing.

=======================================================

The talk will be streamed live at this link:
* http://media.cs.illinois.edu/live/I2PClive.asx

Questions to the speaker for live response can be directed to our chat
moderator:
* http://i2pc.cs.illinois.edu/chat

A complete list of seminars (with archived copies of past talks) is
available here:
* http://i2pc.cs.illinois.edu/seminars.html

link for robots only