题目：Efficient Techniques for Static Scheduling, Software Synthesis, Mapping and Scheduling of Synchronous Dataflow (SDF) Graphs 报告人：Dr. Zonghua Gu 时间: 10:00 on June 11th, 2009 (Thursday) 地点: Room 109, Meng Minwei Building Abstract: Synchronous Dataflow (SDF) is a widely-used model-of-computation for signal processing and multimedia applications. I will first present a two-step approach to static scheduling and software synthesis of a SDF graph on a single processor: we first use model-checking to obtain a static schedule with the objective of minimizing the data buffer size, then synthesize efficient code from the static schedule with the objective of minimizing code size and performance overheads due to runtime dynamic decisions. I will then present techniques for mapping a Homogeneous Synchronous Dataflow (HSDF) graph onto a multiprocessor platformwith the objective of maximizing system throughput. We compare two optimization approaches based on branch-and-bound and SAT-solving to explore the design space of all possible actor-to-processor mappings and static order schedules on each processor. In the Logic-Based Benders Decomposition (LBBD) approach, we decompose the problem into a master problem of finding a feasible actor mapping and scheduling, and a sub-problem of deadlock-checking and throughput computation. In the Integrated approach, we integrate branch-and-bound search into the SAT engine to achieve more effective search tree pruning and better scalability. I will also briefly mention other research topics in my research group, including: task/message mapping/scheduling for TTP-bus-based distributed embedded systems, scheduling and schedulability analysis for multiprocessor and runtime reconfigurable FPGAs, etc.
|
| 今天是： |
Dr. Zonghua Gu received his B.Sc. degree rom the University of Science and Technology of China in 1993, and his Ph.D. degree in computer science and engineering from the University of Michigan, USA in 2004. He is currently an assistant professor in the Department of Computer Science and Engineering at Hong Kong University of Science and Technology, China. His research area is real-time embedded systems.