標題: Detection of summative global predicates
作者: Chen, LB
Wu, IC
資訊工程學系
Department of Computer Science
關鍵字: distributed debugging;distributed system;global predicate;minimum global snapshot
公開日期: 1-May-2003
摘要: In many distributed systems, tokens are fundamental tools to manage resources shared by processes. Thus, monitoring tokens has become a significant problem in developing the distributed programs. This paper formulates the problems of monitoring tokens in terms of detecting the special global predicates, called summative global predicates. In this paper, several algorithms to detect various summative global predicates are developed and their time complexities are discussed.
URI: http://hdl.handle.net/11536/27932
ISSN: 0916-8532
期刊: IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
Volume: E86D
Issue: 5
起始頁: 976
結束頁: 980
Appears in Collections:Articles