美国亚利桑那州立大学 Yann-Hang Lee教授讲学通知

 应我校计算机学院、软件学院院长王亚东教授邀请,美国亚利桑那州立大学(Arizona State University)Yann-Hang Lee教授将于2015年9月28日来我校讲学。


讲座题目:Probe Effect and Data Race Analyses for Embedded Software on Multi-core Processors


讲座时间:2015年9月28日,上午9:00-11:00


讲座地点:综合楼701 


欢迎我校相关专业的老师和同学参加!


 讲座摘要:


    Multi-core processor has been applied widely in server and desktop systems. Given its advantages of high performance and energy efficiency, the technology has received a great interest in embedded application domains where multiple execution threads are often adopted to handle concurrent events. While porting multi-threaded embedded software to a multi-core processor with SMP-ready RTOS seems straightforward, developers may be cautious that synchronization errors that are benign on a uniprocessor system may surface in multiprocessor execution. Furthermore, the non-deterministic behavior of multi-threaded embedded software makes dynamic analysis, cyclic debugging, and program instrumentation difficult. Any instrumentation overhead for gathering execution information may change the execution of a program, and lead to distorted analysis results, i.e., probe effect.


    In this talk, we will present a framework that tackles the non-determinism and probe effect incurred in dynamic analysis of embedded software. The talk largely consists of three parts. First, we discuss a deterministic replay framework to provide reproducible execution. Once a program execution is recorded, software instrumentation can be safely applied during replay without any probe effect. Second, a discussion of probe effect is presented and a simulation-based analysis is proposed to detect any execution changes caused by instrumentation. Lastly, we will look into data race detection algorithms that help to remove data races for the correctness of program execution. The focus is to make the detection efficient for C/C++ programs, and to increase scalability of the detection on multi-core machines. 


专家简介:


     Yann-Hang Lee received his Ph.D. degree in Computer, Information, and Control Engineering from the University of Michigan, Ann Arbor, MI, in 1984. From December 1984 to August 1988, he was a research staff member at the Architecture Analysis and Design Group, IBM Thomas J. Watson Research Center, Yorktown Heights, NY. He joined Computer and Information Sciences Department, University of Florida, Gainesville, FL, in 1988, and was the chair of the Computer Science and Engineering program at Arizona State University from 2008 to 2013. He is currently a professor in the School of Computing, Informatics, and Decision Systems Engineering, Arizona State University. 


Dr. Lee's research interests are in the areas of real-time computing, embedded systems, software engineering, distributed systems, and performance evaluation. Currently, his research projects are focused on various software issues of mission and safety critical real-time embedded systems, service-oriented distributed embedded systems, Internet of Things, and system support for embedded software. 

新闻分类: