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

Department of Computer Science

Computer Science Department Master Calendar

skip to events

calendar tabs

  •  All 
  • Month
  • Week
  • Day
  • (Selected tab) Detail

Event Detail Information

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

SpeakerXuehai Qian (University of Illinois)
Date Apr 25, 2013
Time 4:00 pm - 5:00 pm   Central Time
Location Siebel Center 2405
Cost Free
Sponsor Illinois-Intel Parallelism Center
Contact Meg Osfar
Event type Other
Views 3384
Originating Calendar I2PC Events

Illinois-Intel Parallelism Center (I2PC) Distinguished Speaker Series

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:

Questions to the speaker for live response can be directed to our chat

A complete list of seminars (with archived copies of past talks) is
available here:

link for robots only