Validations confirm that the protocol performs lightpath actions correctly under both normal and any time out conditions,with its no deadlock,no livelock,and other good properties.
英
美
- 分析和驗證結果表明 ,協(xié)議在網(wǎng)絡(luò )正常和超時(shí)故障條件下均能確保對光通道的建立、修改、拆除和查詢(xún)等操作無(wú)誤 ,具有無(wú)死鎖、無(wú)活鎖、完整性和容錯性等重要性質(zhì)
