计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
1998年
4期
302-307
,共6页
分布式计算%强稳定性质%局部稳定性质%等价类划分%相关事件
分佈式計算%彊穩定性質%跼部穩定性質%等價類劃分%相關事件
분포식계산%강은정성질%국부은정성질%등개류화분%상관사건
分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质,如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题,常通过构造一致全局系统状态来检测稳定性质.本文研究可以在任意系统状态上计算的稳定性质,基于相关事件的概念,定义了强稳定性质和局部稳定性质,证明了局部稳定性质是强稳定性质,存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质.证明了分布式废码是强稳定性质,修正了以前的结论.第一次给出了稳定性质的等价类分类,定义了在任意系统状态上稳定性质的语义.给出了检测强稳定性质的局部算法和控制算法.本文结论的理论意义在于揭示了稳定性质间的共性和异性,其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法.
分佈式計算中的穩定性質是那些在計算中一旦成立將保持成立的性質,如分佈式死鎖、分佈式終止和分佈式廢碼等.穩定性質檢測是分佈式計算中的重要問題,常通過構造一緻全跼繫統狀態來檢測穩定性質.本文研究可以在任意繫統狀態上計算的穩定性質,基于相關事件的概唸,定義瞭彊穩定性質和跼部穩定性質,證明瞭跼部穩定性質是彊穩定性質,存在不是跼部穩定性質的彊穩定性質和不是彊穩定性質的穩定性質.證明瞭分佈式廢碼是彊穩定性質,脩正瞭以前的結論.第一次給齣瞭穩定性質的等價類分類,定義瞭在任意繫統狀態上穩定性質的語義.給齣瞭檢測彊穩定性質的跼部算法和控製算法.本文結論的理論意義在于揭示瞭穩定性質間的共性和異性,其實踐意義在于可由一類穩定性質的檢測算法得到另一類穩定性質的檢測算法.
분포식계산중적은정성질시나사재계산중일단성립장보지성립적성질,여분포식사쇄、분포식종지화분포식폐마등.은정성질검측시분포식계산중적중요문제,상통과구조일치전국계통상태래검측은정성질.본문연구가이재임의계통상태상계산적은정성질,기우상관사건적개념,정의료강은정성질화국부은정성질,증명료국부은정성질시강은정성질,존재불시국부은정성질적강은정성질화불시강은정성질적은정성질.증명료분포식폐마시강은정성질,수정료이전적결론.제일차급출료은정성질적등개류분류,정의료재임의계통상태상은정성질적어의.급출료검측강은정성질적국부산법화공제산법.본문결론적이론의의재우게시료은정성질간적공성화이성,기실천의의재우가유일류은정성질적검측산법득도령일류은정성질적검측산법.
