MPSoC Design Space Exploration Based on Static Analysis of Process Network Model

프로세스 네트워크 모델의 정적 분석에 기반을 둔 다중 프로세서 시스템 온 칩 설계 공간 탐색

  • Ahn, Yong-Jin (School of Electrical Engineering and Computer Sciences/ Electrical Engineering, Seoul National University) ;
  • Choi, Ki-Young (School of Electrical Engineering and Computer Sciences/ Electrical Engineering, Seoul National University)
  • 안용진 (서울대학교 전기컴퓨터공학부) ;
  • 최기영 (서울대학교 전기컴퓨터공학부)
  • Published : 2007.10.25

Abstract

In this paper, we introduce a new design environment for efficient multiprocessor system-on-chip design space exploration. The design environment takes a process network model as input system specification. The process network model has been widely used for modeling signal processing applications because of its excellent modeling power. However, it has limitation in predictability, which could cause severe problem for real time systems. This paper proposes a new approach that enables static analysis of a process network model by converting it to a hierarchical synchronous dataflow model. For efficient design space exploration in the early design step, mapping application to target architectures has been a crucial part for finding better solution. In this paper, we propose an efficient mapping algorithm. Our mapping algorithm supports both single bus architecture and multiple bus architecture. In the experiments, we show that the automatic conversion approach of the process network model for static analysis is performed successfully for several signal processing applications, and show the effectiveness of our mapping algorithm by comparing it with previous approaches.

본 논문에서는 다중프로세서 시스템 온 칩 설계를 효율적으로 하기 위한 한 설계 방법론 및 환경을 제시한다. 본 논문에서 제시하는 설계 환경은 SystemC로 작성된 프로세스 네트워크 모델을 입력으로 한다. 프로세스 네트워크 모델은 뛰어난 모델링 파워를 가지고 있지만 정적 분석이 불가능하기 때문에 시스템의 성능을 미리 예측하기가 힘들다는 단점이 있어서 실시간 시스템을 설계할 때 심각한 문제를 발생할 수도 있다. 따라서 본 논문에서는 이를 보완하기 위해서 주어진 프로세스 네트워크 모델을 자동으로 정적 분석이 가능한 모델로 바꾸는 방법을 제시한다. 또한, 설계 과정에서 초기에 효율적인 설계 공간 탐색을 위해서는 애플리케이션을 어떻게 타켓 아키텍처에 잘 매핑할 지 결정하는 문제가 아주 중요하다고 할 수 있다. 따라서 본 논문에서는 효율적인 매핑을 할 수 있도록 하는 알고리즘을 제시한다. 매핑 과정에서 정적 스케줄링 방법을 사용하여 시스템의 성능을 예측하게 되는데 본 논문에서 제시하는 알고리즘은 단일 버스 구조뿐만 아니라 다중 버스 구조에서도 성능 예측이 가능하도록 한다. 실험에서는 본 논문에서 제시한 방법으로 여러 멀티미디어 예제를 가지고 그들의 프로세스 네트워크 모델들이 성공적으로 정적 분석이 가능한 모델로 자동 변환됨을 보이고 이전 연구들과 비교하여 매핑 알고리즘의 효율성을 보인다.

Keywords

References

  1. G. Kahn, 'The semantics of a simple language for parallel programming,' in Proc. of the IFIP Congress, pp. 471-475, Amsterdam, Netherlands, Aug. 1974
  2. E. A. Lee and D. G. Messerschmitt, 'Static scheduling of synchronous data flow programs for digital signal processing,' IEEE Trans. on Computer, Vol. C-36, no. 1, pp. 24-35. Jan. 1987 https://doi.org/10.1109/TC.1987.5009446
  3. The SUIF 1.x compiler system. http://suif.stanford.edu/suif/suif1/index.html
  4. K. Han and J. Kim, 'Quantum-inspired evolutionary algorithm for a class of combinatorial optimization,' IEEE Trans. on Evolutionary Computation, Vol. 6, no. 6, pp. 580-593, Dec. 2002 https://doi.org/10.1109/TEVC.2002.804320
  5. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli, 'Metropolis: An integrated electronic system design environment,' Computer, Vol 36, no. 4, pp. 45-52, Apr. 2003 https://doi.org/10.1109/MC.2003.1193228
  6. A. D. Pimentel and C. Erbas, 'A systematic approach to exploring embedded system architectures at multiple abstraction levels,' IEEE Trans. on Computers, Vol. 55, no. 2, pp. 99-112, Feb. 2006 https://doi.org/10.1109/TC.2006.16
  7. S. Ha and E. A. Lee, 'Compile-time scheduling of dynamic constructs in dataflow program graphs,' IEEE Trans. on Computers, Vol. 46, no. 7, pp. 768-778, Jul. 1997 https://doi.org/10.1109/12.599897
  8. M. Sgroi, L. Lavagno, Y. Watanabe and A. Sangiovanni-Vincentelli, 'Synthesis of embedded software using free-choice Petri nets,' in Proc. of DAC, pp. 805-810, New Orleans, USA, Jun. 1999
  9. T.-Y. Yen, Hardware-Software Cosynthesis of Distributed Embedded Systems. Ph.D. dissertation, Dept. Electrical Engineering, Princeton Univ., Princeton, NJ, Jun. 1996
  10. H. Oh and S. Ha, 'A hardware-software cosynthesis technique based on heterogeneous multiprocessor scheduling,' In Proc. of CODES, pp. 183-187, San Diego, USA, May 1999
  11. D. Engels and S. Devadas, 'A new approach to solving the hardware-software partitioning problem in embedded system design,' In Proc. of SBCCI, pp. 275-280, Manaus, Brazil, Sep. 2000
  12. E. Zitzler, M. Laumanns, and L. Thiele, SPEA2: Improving the Strength Pareto Evolutionary Algorithm, Technical Report 103, Gloriastrasse 35, CH-8092 Zurich, Switerland, 2001
  13. K. Deb, S. Agrawal, A. Pratap, and T. Meyarivan, 'A fast elitist non-dominated sorting genetic algorithm for multiobjective optimization: NSGA-II,' In PPSN, pp 849-858, Paris, France, Sep. 2000
  14. E. Zitzler and S. Kunzli, 'Indicator-based selection in multiobjective search,' In PPSN, pp. 832-842, Birmingham, UK, Dec. 2004
  15. A. Girault, B. Lee, and E. A. Lee, 'Hierarchical finite state machines with multiple concurrency models,' IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol. 18, no. 6, pp. 742-760, Jun. 1999 https://doi.org/10.1109/43.766725
  16. S. Bleuler, M. Laumanns, L. Thiele, and E. Zitzler, 'PISA - A platform and programming language independent interface for search algorithms,' In Proc. of Conference on EMO, pp. 494-508, Faro, Portugal, Apr. 2003
  17. R. P. Dick and N. K. Jha, 'MOGAC: A multiobjective genetic algorithm for hardwaresoftware co-synthesis of distributed embedded systems,' IEEE Trans. on Computer- Aided Design of Integrated Circuits and Systems, Vol. 17, no. 10, pp. 920-935, Oct. 1998 https://doi.org/10.1109/43.728914
  18. S. Kirkpatrick, C. Gelatt, and M. P. Vecchi, 'Optimization by simulated annealing,' Science, Vol. 220, no. 4598, pp. 671-680, May 1983 https://doi.org/10.1126/science.220.4598.671
  19. S. Yoon, S. Park, and S. Chae, 'Implementation of an h.264 decoder with template-based communication refinement,' in Proc. of APCCAS, pp. 570-573, Singapore, Singapore, Dec. 2006