Enhancing Distributed Resource Monitor Via Monotonic State Reduction Technique

• Main Authors: Chih, Kechiang, 遲克強
• Other Authors: Chen, Lungpin
• Format: Others
• Language: zh-TW
• Published: 2012
• Online Access: http://ndltd.ncl.edu.tw/handle/73783243346380461936

碩士 === 東海大學 === 資訊工程學系 === 100 === With the continuous evolution of network applications, analyzing whether the distributed components satisfy a certain global predicate has become an import issue. A global predicate is a logical statement defined on states of the processes in a distributed system. Detecting global predicates has been difficult due to the combinatorial nature of process states. This thesis discusses the state compression approaches which combines a sequence of execution states into a single representative state in the sense that the detection results still remain correct. This thesis develops an efficient state consolidation algorithm for the global predicates of distributed resource management applications.