Enhancing Distributed Resource Monitor Via Monotonic State Reduction Technique
碩士 === 東海大學 === 資訊工程學系 === 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....
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2012
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/73783243346380461936 |
| Summary: | 碩士 === 東海大學 === 資訊工程學系 === 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.
|
|---|