Buffer optimal static scheduling with a throughput constraint for synchronous dataflow applications on multiprocessors
- Authors
- Shin, Tae-ho; Oh, Hyunok; Ha, Soonhoi
- Issue Date
- Nov-2010
- Publisher
- IEEE
- Keywords
- Buffer size minimization; Static scheduling; Synchronous dataflow graph; Throughput constraint
- Citation
- 2010 International SoC Design Conference, ISOCC 2010, pp.298 - 301
- Indexed
- SCOPUS
- Journal Title
- 2010 International SoC Design Conference, ISOCC 2010
- Start Page
- 298
- End Page
- 301
- URI
- https://scholarworks.bwise.kr/hanyang/handle/2021.sw.hanyang/173453
- DOI
- 10.1109/SOCDC.2010.5682911
- ISSN
- 0000-0000
- Abstract
- This paper determines a static scheduling and the minimal size of arc buffers for a given synchronous dataflow (SDF) graph, satisfying a throughput constraint. Unlike the previous work, we assume that the target architecture and the mapping information are given. In addition we consider the unfolding of the SDF graph to improve the throughput. To solve this problem, we adopt answer set programming (ASP) with constraint programming (CP) technique which always finds optimal solutions. The proposed ASP+CP formulation is compact enough to list the scheduling rules in 27 lines and could be applied to a small-but-practical size of coarse-grain SDF graphs successfully.
- Files in This Item
-
Go to Link
- Appears in
Collections - 서울 공과대학 > 서울 정보시스템학과 > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.