2016年3月15日
An implementation of exception handling with collateral task abortion
Journal of Information Processing
- ,
- ,
- 巻
- 24
- 号
- 2
- 開始ページ
- 439
- 終了ページ
- 449
- 記述言語
- 英語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2197/ipsjjip.24.439
- 出版者・発行元
- Information Processing Society of Japan
In this paper, an implementation of exception handling for task-parallel languages is proposed such that all running parallel tasks in a try block with an exception are automatically aborted as soon as possible. In parallel tree search, exception handling that allows such a collateral task abortion is useful when the objective is to complete the search as soon as one solution is found or to allow a worker to abort the traversal of a subtree that is found to be redundant by another worker, even when it has been initiated. However, few existing task-parallel languages, such as Cilk Plus and X10, have this capability. In this study, we enhanced a task-parallel language, Tascell, with this capability. Since the Tascell compiler is implemented as a translator to C code, techniques are required for implementing the non-local exit mechanism with cleanup code execution in the “finally” clauses. We achieved this implementation by exploiting nested functions, which are already used in the temporary backtracking mechanism of Tascell. We also modified the task scheduler provided by Tascell such that a worker can abort a task after it is started. When aborting a task, the scheduler also aborts all its descendant tasks. We evaluated our implementation in terms of overheads and time taken to abort tasks.
- リンク情報
- ID情報
-
- DOI : 10.2197/ipsjjip.24.439
- ISSN : 1882-6652
- ISSN : 0387-5806
- SCOPUS ID : 84961174957