專(zhuān)利名稱(chēng)：一種配置規(guī)則檢查方法及裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及網(wǎng)絡(luò)設(shè)備管理技術(shù)，特別涉及一種配置規(guī)則檢查方法及裝置。
背景技術(shù)：
在使用各種網(wǎng)絡(luò)設(shè)備為用戶(hù)提供各種網(wǎng)絡(luò)服務(wù)時(shí)，需要對(duì)網(wǎng)絡(luò)設(shè)備進(jìn)行配置。通常，網(wǎng)絡(luò)管理員在網(wǎng)元管理設(shè)備(EM，Element Manager)側(cè)準(zhǔn)備好配置數(shù)據(jù)，并通過(guò)批量配置的方式或以數(shù)據(jù)恢復(fù)的方式下發(fā)到網(wǎng)絡(luò)設(shè)備單元(NE，Network Element，簡(jiǎn)稱(chēng)網(wǎng)元)。網(wǎng)元在根據(jù)這些配置數(shù)據(jù)更新設(shè)備配置之前必須對(duì)配置數(shù)據(jù)的有效性和一致性進(jìn)行檢查，以防網(wǎng)元管理設(shè)備側(cè)因?yàn)楣芾砘驅(qū)崿F(xiàn)等因素下發(fā)不合法的數(shù)據(jù)，對(duì)網(wǎng)元的正常運(yùn)行帶來(lái)不安全影響。對(duì)配置數(shù)據(jù)進(jìn)行有效性和一致性檢查的規(guī)則稱(chēng)為配置規(guī)則，相應(yīng)地，對(duì)配置數(shù)據(jù)的有效性和一致性所進(jìn)行的檢查稱(chēng)為配置規(guī)則檢查?，F(xiàn)有技術(shù)中存在兩種進(jìn)行配置規(guī)則檢查的方法，下面分別予以介紹。
第一種方法使用對(duì)象約束語(yǔ)言(OCL，Object Constraint Language)來(lái)描述配置規(guī)則。該方法首先需要對(duì)配置數(shù)據(jù)進(jìn)行對(duì)象化建模，并在對(duì)象模型的基礎(chǔ)上描述對(duì)象配置操作的前置條件、后置條件和對(duì)象的不變式；然后開(kāi)發(fā)OCL翻譯器，將其翻譯成JAVA、SQL或C++等目標(biāo)代碼，最后將翻譯后的代碼與目標(biāo)系統(tǒng)的代碼一起編譯運(yùn)行。
從性能方面考慮，該配置規(guī)則檢查方法存在以下缺點(diǎn)1、由于OCL語(yǔ)言本身只是提供了一種基于不變式的用于描述約束的完整的語(yǔ)法，并沒(méi)有考慮規(guī)則檢查的效率問(wèn)題，使得配置規(guī)則檢查的效率很低。例如，如下所示的表示員工中至少有一人大于50歲的不變式
inv:selt.employee->select(p|p.age＞50)->notEmpty()被翻譯為偽代碼將是如下形式For我的員工集合中的每一個(gè)成員pif(p.age＞50)then將p放入臨時(shí)集合SEnd for；S.size()＞0；一方面，上述翻譯的性能顯然不如如下形式For我的員工集合中的每一個(gè)成員pif(p.age＞50)then return OK；End for；而這種智能的調(diào)整優(yōu)化很難在翻譯過(guò)程中自動(dòng)實(shí)現(xiàn)；另一方面，對(duì)象不變式是對(duì)象的整個(gè)生命周期都必須滿(mǎn)足的規(guī)則，由于OCL本身并沒(méi)有考慮對(duì)象不變式檢查的執(zhí)行時(shí)機(jī)，所以，如果不對(duì)上述規(guī)則作優(yōu)化，則對(duì)對(duì)象模型的任何修改都將觸發(fā)該不變式的檢查，其性能損失將是非常巨大的。
2、該方法要求將OCL翻譯成目標(biāo)代碼并與目標(biāo)軟件系統(tǒng)集成。這個(gè)翻譯過(guò)程要求定義目標(biāo)代碼與OCL數(shù)據(jù)類(lèi)型之間的映射和轉(zhuǎn)換關(guān)系，定義能與OCL語(yǔ)法元素對(duì)應(yīng)的對(duì)象數(shù)據(jù)訪(fǎng)問(wèn)接口，這將增加對(duì)數(shù)據(jù)訪(fǎng)問(wèn)的間接性和轉(zhuǎn)換要求，導(dǎo)致配置規(guī)則檢查效率的降低。
第二種方法按照OCL的思想將配置規(guī)則分為對(duì)象配置操作的前置條件、后置條件和對(duì)象的不變式，并使用普通的編程語(yǔ)言，例如C、C++或JAVA語(yǔ)言開(kāi)發(fā)，然后將這些規(guī)則檢查的代碼編譯成一個(gè)動(dòng)態(tài)鏈接庫(kù)(DLL)。規(guī)則檢查對(duì)數(shù)據(jù)的訪(fǎng)問(wèn)通過(guò)預(yù)先標(biāo)準(zhǔn)化的接口進(jìn)行，這個(gè)接口的實(shí)現(xiàn)由規(guī)則檢查DLL的使用者在初始化DLL時(shí)注冊(cè)。
該方法雖然使用了C、C++或JAVA語(yǔ)言實(shí)現(xiàn)，但該方法還是基于OCL的思想，沒(méi)有就如何提高配置規(guī)則檢查的效率提出有效的解決方案。
由上述分析可見(jiàn)，現(xiàn)有配置規(guī)則檢查方法的效率較低。

發(fā)明內(nèi)容
有鑒于此，本發(fā)明實(shí)施例所公開(kāi)的配置規(guī)則檢查方法中，提供了一種提高配置規(guī)則檢查效率的方法。
本發(fā)明實(shí)施例所公開(kāi)的配置規(guī)則檢查裝置中，提供了一種提高配置規(guī)則檢查效率的裝置。
為達(dá)到上述目的，本發(fā)明實(shí)施例的技術(shù)方案具體是這樣實(shí)現(xiàn)的一種配置規(guī)則檢查方法，該方法將被管理對(duì)象之間的約束關(guān)系分為三種對(duì)象自身的內(nèi)部約束、不同類(lèi)對(duì)象間的關(guān)系約束和同類(lèi)對(duì)象間的關(guān)系約束；在對(duì)象發(fā)生配置變更時(shí)，對(duì)所述對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，由依賴(lài)者或被依賴(lài)者中的一方對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
一種配置規(guī)則檢查裝置，該裝置包括內(nèi)部約束檢查模塊和不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊；所述內(nèi)部約束檢查模塊，用于在對(duì)象發(fā)生配置變更時(shí)，對(duì)所述對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；所述不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊，用于在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
由上述技術(shù)方案可見(jiàn)，本發(fā)明實(shí)施例的通過(guò)對(duì)約束關(guān)系進(jìn)行分類(lèi)，并通過(guò)定義配置依賴(lài)關(guān)系，使得每次配置變更之后，配置規(guī)則檢查僅局限在存在配置依賴(lài)關(guān)系的對(duì)象關(guān)系上，避免了對(duì)模型中所有對(duì)象的遍歷檢查。并且，通過(guò)約定實(shí)現(xiàn)配置依賴(lài)關(guān)系檢查的執(zhí)行歸屬，避免了存在依賴(lài)關(guān)系的兩個(gè)對(duì)象重復(fù)檢查同一個(gè)依賴(lài)關(guān)系，提高了配置規(guī)則檢查的效率。


圖1為本發(fā)明實(shí)施例中對(duì)象之間的配置依賴(lài)關(guān)系模型示意圖。
圖2為本發(fā)明實(shí)施例中對(duì)對(duì)象A的配置變更操作進(jìn)行不變式檢查的執(zhí)行流程示意圖。
圖3為本發(fā)明實(shí)施例中對(duì)對(duì)象B的配置變更操作進(jìn)行不變式檢查的執(zhí)行流程示意圖。
圖4為本發(fā)明實(shí)施例中配置規(guī)則檢查裝置的組成結(jié)構(gòu)示意圖。
具體實(shí)施例方式
為使本發(fā)明的目的、技術(shù)方案及優(yōu)點(diǎn)更加清楚明白，以下參照附圖并舉實(shí)施例，對(duì)本發(fā)明作進(jìn)一步詳細(xì)說(shuō)明。
本發(fā)明主要針對(duì)現(xiàn)有基于不變式的配置規(guī)則檢查方案，提出提高配置規(guī)則檢查效率的配置規(guī)則檢查方法。
按照OCL的定義，對(duì)象不變式是指對(duì)同類(lèi)所有對(duì)象實(shí)例在任意時(shí)刻都必需滿(mǎn)足的約束，也可以理解為對(duì)象在整個(gè)生命周期都必須滿(mǎn)足的規(guī)則。
如果不考慮檢查效率，遵循對(duì)象不變式的概念，一種最簡(jiǎn)單通用的方式就是完成任意配置操作之后，都將網(wǎng)元中所有配置對(duì)象的不變式檢查執(zhí)行一遍，用偽碼表示為如下形式for(each對(duì)象in配置模型){執(zhí)行不變式檢查；if(檢查失敗)return配置操作失?。粆return配置操作成功；若假設(shè)網(wǎng)元已經(jīng)創(chuàng)建的對(duì)象數(shù)是10000個(gè)，每個(gè)對(duì)象的不變式有5條，每條不變式的檢查執(zhí)行時(shí)間平均為0.1ms(假設(shè)對(duì)象模型的所有數(shù)據(jù)存放在數(shù)據(jù)庫(kù)中，并且使用性能最高的內(nèi)存數(shù)據(jù)庫(kù)，即索引和數(shù)據(jù)全部在內(nèi)存中，不需要訪(fǎng)問(wèn)硬盤(pán)，0.1ms為從10000條記錄中找到和查詢(xún)條件匹配的一條記錄的時(shí)間)，那么每個(gè)修改對(duì)象模型的操作僅為了執(zhí)行規(guī)則檢查需要消耗5s。而由于網(wǎng)元的大量數(shù)據(jù)更新一般會(huì)影響或中斷業(yè)務(wù)，用戶(hù)對(duì)該過(guò)程有較高的性能要求，例如在基站系統(tǒng)中，要求網(wǎng)元每秒能夠執(zhí)行30條以上的配置操作(單條配置操作是對(duì)一個(gè)配置對(duì)象的增刪改操作)，上述方式中，每個(gè)修改對(duì)象模型的操作僅為了執(zhí)行規(guī)則檢查就需要消耗5s，遠(yuǎn)遠(yuǎn)達(dá)不到每秒執(zhí)行30條以上操作的性能需求。
配置規(guī)則檢查就是檢查用戶(hù)對(duì)配置對(duì)象的配置變更，保證所作的配置變更符合各類(lèi)對(duì)象之間的約束關(guān)系。為了提高配置規(guī)則檢查的效率，并保證配置規(guī)則檢查能夠全面覆蓋所有約束關(guān)系，本發(fā)明在分析被管理對(duì)象(MO)配置模型的基礎(chǔ)上，將MO之間的約束關(guān)系，即不變式分成了三類(lèi)，并根據(jù)這三類(lèi)約束關(guān)系的不同特點(diǎn)采取了不同的不變式檢查方式。三類(lèi)約束關(guān)系的定義如下1、對(duì)象自身的內(nèi)部約束這種約束關(guān)系是某個(gè)對(duì)象實(shí)例自身的內(nèi)部約束關(guān)系。例如，對(duì)象屬性的取值范圍、對(duì)象內(nèi)不同屬性之間的約束關(guān)系等。
2、不同類(lèi)對(duì)象間的關(guān)系約束這種約束關(guān)系是存在配置依賴(lài)關(guān)系的不同類(lèi)型對(duì)象之間的關(guān)聯(lián)約束關(guān)系。例如，對(duì)象A依賴(lài)于對(duì)象B的屬性必須滿(mǎn)足某些條件、對(duì)象A依賴(lài)于對(duì)象B的個(gè)數(shù)限制等。
3、同類(lèi)對(duì)象間的關(guān)系約束這種約束關(guān)系是相同類(lèi)型、不同對(duì)象實(shí)例之間的約束關(guān)系。例如。同類(lèi)型對(duì)象的最大實(shí)例個(gè)數(shù)、同類(lèi)型對(duì)象的某種屬性必須唯一等。
對(duì)于上述對(duì)象自身的內(nèi)部約束，在對(duì)象發(fā)生配置變更時(shí)執(zhí)行對(duì)象自身的不變式檢查。由于對(duì)象自身的不變式檢查只涉及對(duì)象自身屬性的約束檢查，不需要訪(fǎng)問(wèn)對(duì)象配置模型的其他數(shù)據(jù)(即不需要訪(fǎng)問(wèn)數(shù)據(jù)庫(kù))，執(zhí)行效率較高，因此，本發(fā)明技術(shù)方案優(yōu)化這類(lèi)約束關(guān)系的執(zhí)行時(shí)機(jī)所取得的優(yōu)化效果是顯而易見(jiàn)的。這里，配置變更是指對(duì)對(duì)象進(jìn)行增加、刪除或修改的操作。
對(duì)于上述不同類(lèi)對(duì)象間的關(guān)系約束，在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，由依賴(lài)者或被依賴(lài)者中的一方對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
圖1為本發(fā)明實(shí)施例中對(duì)象之間的配置依賴(lài)關(guān)系模型示意圖。參見(jiàn)圖1，A、B、C表示三類(lèi)MO，圖中的單向箭頭表示配置依賴(lài)關(guān)系。配置依賴(lài)關(guān)系的語(yǔ)義為若A配置依賴(lài)于B，則說(shuō)明當(dāng)B的一個(gè)或多個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，可能破壞A與B之間的配置約束關(guān)系；此時(shí)，除了對(duì)B進(jìn)行對(duì)象自身的內(nèi)部約束不變式檢查之外，還必需對(duì)A和B的不同類(lèi)對(duì)象間的關(guān)系約束進(jìn)行檢查，這樣才能保證整個(gè)配置模型的一致性。
為了實(shí)現(xiàn)對(duì)圖1所示不同類(lèi)對(duì)象間的關(guān)系約束進(jìn)行高效率的配置規(guī)則檢查，本發(fā)明約定當(dāng)兩個(gè)對(duì)象之間存在一個(gè)配置依賴(lài)時(shí)，由依賴(lài)者或被依賴(lài)中中的一方對(duì)該配置依賴(lài)關(guān)系進(jìn)行不變式檢查。該約定能夠有效避免依賴(lài)者和被依賴(lài)者雙方都執(zhí)行重復(fù)的檢查。
同時(shí)，為方便起見(jiàn)，本發(fā)明為每一個(gè)配置依賴(lài)關(guān)系指定一個(gè)名字，約定為<source><target>。例如，B依賴(lài)于A(yíng)的配置依賴(lài)關(guān)系，在圖中表示為B指向A的箭頭，命名為ba。按照上面約定其配置依賴(lài)關(guān)系的不變式檢查可以由B實(shí)現(xiàn)，也可以由A實(shí)現(xiàn)。
基于上述對(duì)約束關(guān)系的分類(lèi)，以及圖1所示對(duì)配置依賴(lài)關(guān)系的定義，可以為每一個(gè)MO定義如下所示的三個(gè)不變式檢查接口以實(shí)現(xiàn)配置規(guī)則檢查class MOItf{… …bool inner_invarant()；//對(duì)象自身的內(nèi)部約束檢查bool asso_invarant(ASSO_NAME asso)；//不同類(lèi)對(duì)象間的關(guān)系約束檢查bool class_invarant()；//同類(lèi)對(duì)象間的關(guān)系約束檢查… …}上述偽代碼中，ASSO_NAME表示關(guān)聯(lián)關(guān)系名，例如，圖1所示ab、ba和ca即為關(guān)聯(lián)關(guān)系名。
下面以圖1所示對(duì)象模型和配置依賴(lài)關(guān)系為例對(duì)本發(fā)明執(zhí)行對(duì)象不變式檢查的時(shí)機(jī)進(jìn)行舉例說(shuō)明。
圖2為本發(fā)明實(shí)施例中對(duì)對(duì)象A的配置變更操作進(jìn)行不變式檢查的執(zhí)行流程示意圖。參見(jiàn)圖2，ENV表示執(zhí)行環(huán)境，MIB為管理信息庫(kù)，屬性列表表示配置變更所涉及的屬性列表，所有對(duì)MO的配置變更操作都表現(xiàn)為ENV對(duì)MIB的操作，這些配置變更操作包括如圖所示的增加(Create)、修改(Modify)和刪除(Delete)。
對(duì)圖2所示執(zhí)行流程的說(shuō)明如下第1步ENV向MIB下發(fā)針對(duì)對(duì)象A的配置變更，這些配置變更可能包括對(duì)對(duì)象A某些屬性的增加、刪除或修改。
第2步MIB對(duì)對(duì)象A進(jìn)行配置變更。
第3步MIB通知對(duì)象A執(zhí)行對(duì)象自身的內(nèi)部約束檢查。
本步驟中，可以使用上述偽代碼中的接口函數(shù)inner_invarant()實(shí)現(xiàn)對(duì)象自身的內(nèi)部約束檢查。
第4步由于對(duì)象B配置依賴(lài)于對(duì)象A，因此，本步驟中需要對(duì)象A與對(duì)象B之間的不同類(lèi)對(duì)象間的關(guān)系約束檢查。如前所述，這個(gè)檢查可以由依賴(lài)者實(shí)現(xiàn)，也可以由被依賴(lài)者實(shí)現(xiàn)，這里，以由依賴(lài)者實(shí)現(xiàn)為例，因此，MIB通知對(duì)象B執(zhí)行對(duì)象A與對(duì)象B之間的不同類(lèi)對(duì)象間的關(guān)系約束檢查。
本步驟中，可以使用上述偽代碼中的接口函數(shù)asso_invarant()實(shí)現(xiàn)對(duì)象自身的內(nèi)部約束檢查，參數(shù)為ba。
第5步本步驟與第4步類(lèi)似，由于對(duì)象C配置依賴(lài)于對(duì)象A，因此，MIB通知對(duì)象C執(zhí)行對(duì)象A與對(duì)象C之間的不同類(lèi)對(duì)象間的關(guān)系約束檢查。
至此，結(jié)束圖2所示不變式檢查的執(zhí)行流程。
按照與圖2相同的思想，可以得到如圖3所示的對(duì)對(duì)象B的配置變更操作進(jìn)行不變式檢查的執(zhí)行流程示意圖。對(duì)圖3所示流程的說(shuō)明如下第1步ENV向MIB下發(fā)針對(duì)對(duì)象B的配置變更，這些配置變更可能包括對(duì)對(duì)象B某些屬性的增加、刪除或修改。
第2步MIB對(duì)對(duì)象B進(jìn)行配置變更。
第3步MIB通知對(duì)象B執(zhí)行對(duì)象自身的內(nèi)部約束檢查。
本步驟中，可以使用上述偽代碼中的接口函數(shù)inner_invarant()實(shí)現(xiàn)對(duì)象自身的內(nèi)部約束檢查。
第4步由于對(duì)象A配置依賴(lài)于對(duì)象B，因此，MIB通知對(duì)象A執(zhí)行對(duì)象A與對(duì)象B之間的不同類(lèi)對(duì)象間的關(guān)系約束檢查。
本步驟中，可以使用上述偽代碼中的接口函數(shù)asso_invarant()實(shí)現(xiàn)對(duì)象自身的內(nèi)部約束檢查，參數(shù)為ab。
至此，結(jié)束圖3所示不變式檢查的執(zhí)行流程。
下面對(duì)本發(fā)明配置規(guī)則檢查裝置的具體實(shí)施方式
進(jìn)行說(shuō)明。
圖4為本發(fā)明實(shí)施例中配置規(guī)則檢查裝置的組成結(jié)構(gòu)示意圖。參見(jiàn)圖4，該裝置包括內(nèi)部約束檢查模塊401和不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊402。
其中，內(nèi)部約束檢查模塊401，用于在對(duì)象發(fā)生配置變更時(shí)，對(duì)對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊402，用于在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，對(duì)不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
在圖4所示裝置中還可以進(jìn)一步包括同類(lèi)對(duì)象間的關(guān)系約束模塊，用于對(duì)同類(lèi)對(duì)象間的關(guān)系約束進(jìn)行不變式檢查。
由上述實(shí)施例可見(jiàn)，本發(fā)明實(shí)施例通過(guò)對(duì)約束關(guān)系進(jìn)行分類(lèi)，并通過(guò)定義配置依賴(lài)關(guān)系，使得每次配置變更之后，配置規(guī)則檢查僅局限在存在配置依賴(lài)關(guān)系的對(duì)象關(guān)系上，避免了對(duì)模型中所有對(duì)象的遍歷檢查。并且，通過(guò)約定實(shí)現(xiàn)配置依賴(lài)關(guān)系檢查的執(zhí)行歸屬，避免了存在依賴(lài)關(guān)系的兩個(gè)對(duì)象重復(fù)檢查同一個(gè)依賴(lài)關(guān)系，提高了配置規(guī)則檢查的效率。
下面以圖1所示配置依賴(lài)關(guān)系為例，對(duì)比說(shuō)明本發(fā)明技術(shù)方案與現(xiàn)有配置規(guī)則檢查方法的執(zhí)行效率。
假設(shè)為A、B和C每個(gè)類(lèi)型各創(chuàng)建2個(gè)對(duì)象，采用現(xiàn)有技術(shù)方案所需的配置規(guī)則檢查次數(shù)如表1所示

表1按照本發(fā)明技術(shù)方案，根據(jù)不變式類(lèi)型和配置依賴(lài)關(guān)系對(duì)配置規(guī)則檢查方案進(jìn)行優(yōu)化之后，所需的配置規(guī)則檢查次數(shù)如表2所示

表2可見(jiàn)，本發(fā)明技術(shù)方案對(duì)減少配置規(guī)則檢查次數(shù)的優(yōu)化效率是非常明顯的，特別是當(dāng)系統(tǒng)中的對(duì)象類(lèi)型個(gè)數(shù)和對(duì)象實(shí)例個(gè)數(shù)增加時(shí)，本發(fā)明技術(shù)方案與現(xiàn)有技術(shù)方案的差距將迅速上升。將一個(gè)網(wǎng)元的配置對(duì)象類(lèi)型和實(shí)例個(gè)數(shù)參數(shù)化，可以通過(guò)公式看出優(yōu)化前后的效率比。
假設(shè)對(duì)象類(lèi)型個(gè)數(shù)為M，當(dāng)前所有類(lèi)型對(duì)象實(shí)例個(gè)數(shù)為N，任意兩個(gè)對(duì)象類(lèi)型之間存在一個(gè)單向的配置依賴(lài)關(guān)系。此時(shí)模型內(nèi)存在的依賴(lài)關(guān)系總數(shù)為M(M-1)/2，平均每個(gè)對(duì)象類(lèi)型對(duì)外存在(M-1)/2個(gè)依賴(lài)關(guān)系，在此基礎(chǔ)上執(zhí)行單個(gè)對(duì)象的增加操作。
現(xiàn)有技術(shù)的執(zhí)行次數(shù)為N+1..............................(自身不變式檢查次數(shù))+(N+1)M(M-1)/2............(每個(gè)對(duì)象檢查時(shí)將對(duì)外關(guān)聯(lián)關(guān)系檢查一遍)＝(N+1)(1+M(M-1)/2)＝O(N*M2) (1)采用本發(fā)明技術(shù)方案優(yōu)化之后的執(zhí)行次數(shù)為1................................(自身不變式檢查次數(shù))+M/2............................(不同類(lèi)對(duì)象間的關(guān)系約束檢查次數(shù))＝1+M/2＝O(M) (2)上述式子中，O()表示時(shí)間復(fù)雜度。由(1)式和(2)式可見(jiàn)，采用本發(fā)明技術(shù)方案優(yōu)化后，配置規(guī)則檢查的時(shí)間復(fù)雜度降低了N*M倍。在一個(gè)典型網(wǎng)元系統(tǒng)中，可能M＝100，N＝10000甚至更多，這種效率提升將是非常明顯的。
由上述分析可見(jiàn)，本發(fā)明技術(shù)方案通過(guò)區(qū)分不變式的類(lèi)型，定義配置依賴(lài)關(guān)系，并根據(jù)各類(lèi)不變式的不同特點(diǎn)為其確定不同的執(zhí)行時(shí)機(jī)，極大地提高了基于不變式的配置規(guī)則檢查的效率，解決了批量配置對(duì)性能的要求。
以上所述僅為本發(fā)明的較佳實(shí)施例而已，并非用于限定本發(fā)明的保護(hù)范圍。凡在本發(fā)明的精神和原則之內(nèi)所作的任何修改、等同替換、改進(jìn)等，均應(yīng)包含在本發(fā)明的保護(hù)范圍之內(nèi)。
權(quán)利要求
1.一種配置規(guī)則檢查方法，其特征在于，該方法將被管理對(duì)象之間的約束關(guān)系分為三種對(duì)象自身的內(nèi)部約束、不同類(lèi)對(duì)象間的關(guān)系約束和同類(lèi)對(duì)象間的關(guān)系約束；在對(duì)象發(fā)生配置變更時(shí)，對(duì)所述對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，由依賴(lài)者或被依賴(lài)者中的一方對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述對(duì)象自身的內(nèi)部約束為對(duì)象實(shí)例自身的內(nèi)部約束關(guān)系。
3.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述不同類(lèi)對(duì)象間的關(guān)系約束為存在配置依賴(lài)關(guān)系的不同類(lèi)型對(duì)象之間的關(guān)聯(lián)約束關(guān)系。
4.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述同類(lèi)對(duì)象間的關(guān)系約束為相同類(lèi)型、不同對(duì)象實(shí)例之間的約束關(guān)系。
5.根據(jù)權(quán)利要求3所述的方法，其特征在于，所述配置依賴(lài)關(guān)系表示當(dāng)被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，對(duì)被依賴(lài)者進(jìn)行對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查，并對(duì)所述被依賴(lài)者與依賴(lài)者之間的配置依賴(lài)關(guān)系執(zhí)行不變式檢查。
6.根據(jù)權(quán)利要求1至5任一項(xiàng)所述的方法，其特征在于，所述配置變更為進(jìn)行增加、刪除或修改操作。
7.一種配置規(guī)則檢查裝置，其特征在于，該裝置包括內(nèi)部約束檢查模塊和不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊；所述內(nèi)部約束檢查模塊，用于在對(duì)象發(fā)生配置變更時(shí)，對(duì)所述對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；所述不同類(lèi)對(duì)象間的關(guān)系約束檢查模塊，用于在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。
8.根據(jù)權(quán)利要求7所述的裝置，其特征在于，所述裝置進(jìn)一步包括同類(lèi)對(duì)象間的關(guān)系約束模塊；所述同類(lèi)對(duì)象間的關(guān)系約束模塊，用于對(duì)同類(lèi)對(duì)象間的關(guān)系約束進(jìn)行不變式檢查。
9.根據(jù)權(quán)利要求7或8所述的裝置，其特征在于，所述配置變更為進(jìn)行增加、刪除或修改操作。
全文摘要
本發(fā)明實(shí)施例中公開(kāi)了一種配置規(guī)則檢查方法，該方法將被管理對(duì)象之間的約束關(guān)系分為三種對(duì)象自身的內(nèi)部約束、不同類(lèi)對(duì)象間的關(guān)系約束和同類(lèi)對(duì)象間的關(guān)系約束；在對(duì)象發(fā)生配置變更時(shí)，對(duì)所述對(duì)象自身的內(nèi)部約束執(zhí)行不變式檢查；在被依賴(lài)者的至少一個(gè)對(duì)象實(shí)例發(fā)生配置變更時(shí)，由依賴(lài)者或被依賴(lài)者中的一方對(duì)所述不同類(lèi)對(duì)象間的關(guān)系約束執(zhí)行不變式檢查。本發(fā)明實(shí)施例中還公開(kāi)了一種配置規(guī)則檢查裝置。應(yīng)用本發(fā)明能夠極大地提高基于不變式的配置規(guī)則檢查的效率，解決批量配置對(duì)性能的要求。
文檔編號(hào)H04L29/06GK101013966SQ20071008010
公開(kāi)日2007年8月8日 申請(qǐng)日期2007年2月9日 優(yōu)先權(quán)日2007年2月9日
發(fā)明者鄭銘, 陳春媛 申請(qǐng)人:華為技術(shù)有限公司