Event Scheduled for Jan 28, 2013
Event: ECE Special Systems Seminar Presentation-Supervisory Control of Software Execution for Failure Avoidance-Dr. Hongwei Liao-U.S. Airways- Tempe, AZ
Location: ITEB 336
Time: 11:00 am
Details of Event:
Abstract: Computer hardware has undergone a true revolution, moving from uniprocessor architectures to multicores. This trend forces parallel programming upon the average programmer, as only concurrent programs can exploit the full potential of multicore hardware. However, reasoning about concurrency is challenging for human programmers. Significant effort has been spent to eliminate concurrency bugs.
We adopt a model-based approach and investigate an important class of concurrency bugs, called circular-wait deadlocks, by leveraging Discrete Event Systems theory and Supervisory Control techniques. We formally define a new class of Petri nets, called Gadara nets, to systematically model multithreaded programs with lock allocation and release operations. Deadlock-freeness of a program corresponds to liveness of its Gadara net model. We establish necessary and sufficient conditions for liveness properties of Gadara nets. We propose a new optimal liveness-enforcing control synthesis methodology for Gadara nets. The method is based on structural analysis and converges in finite iterations. It is shown to be correct and maximally permissive with respect to the goal of liveness enforcement. Performance evaluations are conducted for comparing the original and controlled program models, using Discrete Event Simulation. The class of Gadara nets has been applied to the modeling of real-world programs, showing that our approach is scalable to large-scale software.
Bio: Hongwei Liao received the B.Eng. degree in electrical engineering and Dual B.Mgt. degree in business administration (with honors) from Shanghai Jiao Tong University, Shanghai, China, in 2007. He received the M.Sc. degree in electrical engineering-systems, the M.S.E. degree in industrial and operations engineering, and the Ph.D. degree in electrical engineering-systems from the University of Michigan, Ann Arbor, in 2009, 2011, and 2012, respectively.
He joined the Operations Research Group at US Airways, Tempe, AZ, in 2012, where he is an Analyst and Technologies Lead. He was an Intern at General Electric Global Research, Niskayuna, NY, in summer 2010, and an Intern at General Motors Global Research and Development, Warren, MI, in summer 2011. Dr. Liao received the Rackham Predoctoral Fellowship Award (2011) and the College of Engineering Distinguished Achievement Award (2011) from the University of Michigan, Ann Arbor. He is a member of Phi Kappa Phi and Tau Beta Pi.
Target Audience: Open to All
Sponsored By: Electrical and Computer Engineering
No Pamphlet/Flyer Available