130。應(yīng)理解網(wǎng)絡(luò)100 僅用于說明目的，以及適合于與在此所述的示例性實(shí)施例一起使用的網(wǎng)絡(luò)可以具有任何數(shù) 目的節(jié)點(diǎn)。節(jié)點(diǎn)110、120、130可以是電子設(shè)備，諸如個(gè)人計(jì)算機(jī)、平板電腦、服務(wù)器、路由 器、交換機(jī)或定制電子網(wǎng)絡(luò)設(shè)備等其它能力。例如，第一節(jié)點(diǎn)110、第二節(jié)點(diǎn)120和第三節(jié)點(diǎn) 130可以是具有轉(zhuǎn)發(fā)功能的設(shè)備，使得節(jié)點(diǎn)110、120和130能接收入站接口的進(jìn)入信息、處 理信息來確定信息的下一目的地、以及將信息轉(zhuǎn)發(fā)到出站接口的下一目的地。
[0033] 根據(jù)示例性實(shí)施例，網(wǎng)絡(luò)100可以包括控制器140,用于與第一節(jié)點(diǎn)110、第二節(jié)點(diǎn) 120和第三節(jié)點(diǎn)130通信。如圖1所示，控制器140可以直接或間接地連接到節(jié)點(diǎn)110、120、 130〇
[0034] 控制器140可以能發(fā)出命令和/或制定將由節(jié)點(diǎn)110、120和130執(zhí)行或應(yīng)用的規(guī) 貝1J。例如，控制器140可以以硬件或軟件實(shí)現(xiàn)網(wǎng)絡(luò)轉(zhuǎn)發(fā)邏輯，其確定節(jié)點(diǎn)110、120、130的轉(zhuǎn) 發(fā)平面應(yīng)當(dāng)如何轉(zhuǎn)發(fā)所接收的消息。
[0035] 控制器140可以通過制定設(shè)備模型、子模型或聯(lián)網(wǎng)原語和將模型、子模型或原語 轉(zhuǎn)發(fā)到節(jié)點(diǎn)110、120、130來控制節(jié)點(diǎn)110、120、130的轉(zhuǎn)發(fā)平面。聯(lián)網(wǎng)原語可以表示分配節(jié) 點(diǎn)110、120、130的基本聯(lián)網(wǎng)功能，諸如"實(shí)現(xiàn)輪詢調(diào)度"。子模型可以表示提供能由不同設(shè) 備使用的功能的劃分或模塊化組的網(wǎng)絡(luò)原語的集合。模型可以表示共同定義或描述實(shí)現(xiàn)該 模型的設(shè)備的期望聯(lián)網(wǎng)行為的子模型或原語的集合。因此，模型可以描述用于設(shè)備的轉(zhuǎn)發(fā) 平面的期望行為。在下文中關(guān)于圖6詳細(xì)地討論模型、子模型和原語。
[0036] 不同模型、子模型或原語可以發(fā)送到節(jié)點(diǎn)110、120和130中的每一個(gè)或節(jié)點(diǎn)110、 120、130可以被發(fā)送相同或覆蓋模型、子模型或原語。
[0037] 使用圖1中所述的配置，控制器140可以充當(dāng)能控制網(wǎng)絡(luò)100中的路由或轉(zhuǎn)發(fā)策 略的集中機(jī)構(gòu)。由此，網(wǎng)絡(luò)管理者可以改變控制器140的轉(zhuǎn)發(fā)策略，其然后指示個(gè)體節(jié)點(diǎn) 110、120、130實(shí)現(xiàn)何種策略。替選地或附加地，控制器140可以基于預(yù)定因素或通過監(jiān)視網(wǎng) 絡(luò)100的狀態(tài)來動(dòng)態(tài)地設(shè)置轉(zhuǎn)發(fā)策略。
[0038] 為了實(shí)現(xiàn)節(jié)點(diǎn)110、120、130的期望行為，控制器可以制定規(guī)則，諸如網(wǎng)絡(luò)路由規(guī) 則和/或網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則，并且將規(guī)則發(fā)送到節(jié)點(diǎn)110、120、130。在圖2中示出了示例性網(wǎng)絡(luò) 轉(zhuǎn)發(fā)規(guī)則200。
[0039] 網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則200可以描述在某些條件下、諸如在接收到進(jìn)入數(shù)據(jù)包時(shí)節(jié)點(diǎn)的期 望行為?？梢愿鶕?jù)一個(gè)或多個(gè)函數(shù)標(biāo)識(shí)符210來指定期望行為。函數(shù)標(biāo)識(shí)符210可以識(shí)別 表示執(zhí)行一個(gè)或多個(gè)任務(wù)的所定義的過程或步驟的集合的函數(shù)。由函數(shù)標(biāo)識(shí)符210識(shí)別的 函數(shù)可以是算法、源代碼、程序或子程序、例程或子例程、過程或方法（諸如Java方法）等 其他可能。
[0040] 函數(shù)標(biāo)識(shí)符210 (例如函數(shù)名）可以提供將由函數(shù)實(shí)現(xiàn)的期望功能的高級(jí)描述。然 而，可以存在實(shí)現(xiàn)由函數(shù)標(biāo)識(shí)符210建議的功能的許多方式。例如，如果函數(shù)標(biāo)識(shí)符210建 議該函數(shù)對(duì)列表排序（例如函數(shù)標(biāo)識(shí)符210是" S〇rt_list"），則該函數(shù)能使用許多不同公 知的排序算法（例如冒泡排序、插入排序、快速排序等等）來實(shí)現(xiàn)列表排序。
[0041] 如果實(shí)現(xiàn)網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則200的轉(zhuǎn)發(fā)設(shè)備可以或可以不具有網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則200的本 原預(yù)定實(shí)現(xiàn)或由函數(shù)標(biāo)識(shí)符210識(shí)別的函數(shù)，由控制器創(chuàng)建規(guī)則200。因此，在轉(zhuǎn)發(fā)設(shè)備不 本原地實(shí)現(xiàn)規(guī)則規(guī)則200或由函數(shù)標(biāo)識(shí)符210識(shí)別的函數(shù)的情況下，可以在網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則 200中指定缺省或通用實(shí)現(xiàn)220。缺省或通用實(shí)現(xiàn)可以是由實(shí)現(xiàn)由函數(shù)標(biāo)識(shí)符210建議的 功能的控制器提供的推薦算法。
[0042] 然而，如果轉(zhuǎn)發(fā)設(shè)備本原地實(shí)現(xiàn)規(guī)則200或由函數(shù)標(biāo)識(shí)符210識(shí)別的函數(shù)的預(yù)定 版本，與通用或缺省實(shí)現(xiàn)220相比，本原預(yù)定實(shí)現(xiàn)可以更有效或者更改進(jìn)。因此，網(wǎng)絡(luò)轉(zhuǎn)發(fā) 規(guī)則200提供指定通用或缺省實(shí)現(xiàn)220是否可以被覆蓋的"可覆蓋？ "標(biāo)志230。如果將 "可覆蓋？ "標(biāo)志230設(shè)置為"是"或"1"，例如，則轉(zhuǎn)發(fā)設(shè)備可以忽略通用或缺省實(shí)現(xiàn)220， 以使用轉(zhuǎn)發(fā)設(shè)備的預(yù)定本原實(shí)現(xiàn)的實(shí)現(xiàn)來取代。如果將"可覆蓋？ "標(biāo)志230設(shè)置為"否" 或"〇"，則轉(zhuǎn)發(fā)設(shè)備可以不忽略由控制器建議的實(shí)現(xiàn)220并且可以使用實(shí)現(xiàn)220,代替由轉(zhuǎn) 發(fā)設(shè)備實(shí)現(xiàn)的本原實(shí)現(xiàn)。
[0043] -個(gè)或多個(gè)網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則200可以收集在可以從控制器發(fā)送到具有轉(zhuǎn)發(fā)功能的 一個(gè)或多個(gè)設(shè)備的網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則的規(guī)范中。網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則的集合可以封裝為模型或子模 型。這樣的集合可以由共同標(biāo)識(shí)符識(shí)別。個(gè)體網(wǎng)絡(luò)轉(zhuǎn)發(fā)規(guī)則200也可以由個(gè)體標(biāo)識(shí)符識(shí)別， 以及規(guī)則200內(nèi)的函數(shù)也可以由函數(shù)標(biāo)識(shí)符210識(shí)別。
[0044] 上述標(biāo)識(shí)符中的任何一個(gè)可以用來提供有關(guān)將由函數(shù)、規(guī)則、模型或子模型實(shí)現(xiàn) 的期望作用或功能的提示。例如，一個(gè)共同執(zhí)行的任務(wù)是找到路由表中的子網(wǎng)掩碼的最長(zhǎng) 前綴匹配。通過命名函數(shù)，例如"l〇ng est_prefiX_match"或"LPM"，控制器可以提供該函數(shù) 提供執(zhí)行該通用任務(wù)的算法的實(shí)現(xiàn)的提示。
[0045] 因此，實(shí)現(xiàn)接收該函數(shù)、規(guī)則、模型或子模型的轉(zhuǎn)發(fā)功能的轉(zhuǎn)發(fā)設(shè)備可以分析函 數(shù)、規(guī)則、模型或子模型的標(biāo)識(shí)符。轉(zhuǎn)發(fā)設(shè)備可以分析用于該提示的標(biāo)識(shí)符，諸如與建議將 由函數(shù)、規(guī)則、模型或子模型執(zhí)行的作用或功能的標(biāo)識(shí)符有關(guān)的語義信息。除標(biāo)識(shí)符外，諸 如函數(shù)、規(guī)則、模型或子模型的頭部的指定位置中的其他信息。
[0046] 在識(shí)別與標(biāo)識(shí)符有關(guān)的提示后，可以將該提示與描述由轉(zhuǎn)發(fā)設(shè)備本原實(shí)現(xiàn)的預(yù)定 功能的數(shù)據(jù)庫中的標(biāo)識(shí)符相比。例如，圖3描述由轉(zhuǎn)發(fā)設(shè)備本原實(shí)現(xiàn)的功能的實(shí)現(xiàn)數(shù)據(jù)庫 300。應(yīng)注意到盡管圖3中的實(shí)現(xiàn)數(shù)據(jù)庫300涉及函數(shù)，也可以在實(shí)現(xiàn)數(shù)據(jù)庫300或另一數(shù) 據(jù)庫中提供與規(guī)則、模型和子模型有關(guān)的信息。
[0047] 實(shí)現(xiàn)數(shù)據(jù)庫300可以存在于轉(zhuǎn)發(fā)設(shè)備。替選地，實(shí)現(xiàn)數(shù)據(jù)庫300可以存在于遠(yuǎn)離 轉(zhuǎn)發(fā)設(shè)備的位置，并且可以由轉(zhuǎn)發(fā)設(shè)備經(jīng)由網(wǎng)絡(luò)訪問。
[0048] 實(shí)現(xiàn)數(shù)據(jù)庫300可以提供用于由與實(shí)現(xiàn)數(shù)據(jù)庫300相關(guān)聯(lián)的轉(zhuǎn)發(fā)設(shè)備本原實(shí)現(xiàn)的 一個(gè)或多個(gè)函數(shù)的實(shí)現(xiàn)細(xì)節(jié)。實(shí)現(xiàn)細(xì)節(jié)可以基于函數(shù)標(biāo)識(shí)符索引。例如，實(shí)現(xiàn)數(shù)據(jù)庫300 可以包括用于第一函數(shù)的標(biāo)識(shí)符310和實(shí)現(xiàn)312、用于第二函數(shù)的標(biāo)識(shí)符320和實(shí)現(xiàn)322、 以及用于第三函數(shù)的標(biāo)識(shí)符330和實(shí)現(xiàn)332。實(shí)現(xiàn)312、322、332提供用于實(shí)現(xiàn)由函數(shù)ID 310、320、330描述的功能的細(xì)節(jié)（例如算法）。實(shí)現(xiàn)312、322、332可以以編譯模式存儲(chǔ)，使 得能由轉(zhuǎn)發(fā)設(shè)備執(zhí)行實(shí)現(xiàn)312、322、332，而不需要編譯實(shí)現(xiàn)312、322、332。
[0049] 在接收包括函數(shù)的規(guī)則后，轉(zhuǎn)發(fā)設(shè)備可以分析用于實(shí)現(xiàn)如上所述的提示的規(guī)則 或函數(shù)。例如，可以從規(guī)則或函數(shù)提取語義信息并且將其與函數(shù)標(biāo)識(shí)符310、320、330比 較來確定在提示和函數(shù)標(biāo)識(shí)符310、320、330中的一個(gè)或多個(gè)之間是否存在緊密匹配。匹 配不需要是精確匹配。例如，提示可以指定用在規(guī)則中的函數(shù)實(shí)現(xiàn)"l〇nge St_prefiX_ match"。這樣的提示可以匹配到與標(biāo)識(shí)符"longest_prefix_match"（例如精確匹配）或 " longest-pref ix-match"或"LPM"或該標(biāo)識(shí)符的變體相關(guān)聯(lián)的實(shí)現(xiàn)數(shù)據(jù)庫300中的函數(shù)。
[0050] 如果在實(shí)現(xiàn)數(shù)據(jù)庫300中識(shí)別用于該規(guī)則或函數(shù)的匹配，則與實(shí)現(xiàn)數(shù)據(jù)庫300相 關(guān)聯(lián)的轉(zhuǎn)發(fā)設(shè)備可以使用本原實(shí)現(xiàn)312、322、332，代替由從控制器發(fā)送的規(guī)則建議的實(shí)現(xiàn)。 在下文中參考圖4描述這樣的過程。
[0051] 在步驟410,實(shí)現(xiàn)轉(zhuǎn)發(fā)功能的轉(zhuǎn)發(fā)設(shè)備可以從控制器接收規(guī)范。規(guī)范可以包括利用 該函數(shù)的規(guī)則。在一些實(shí)施例中，規(guī)范可以指定與諸如子模型標(biāo)識(shí)符或模型標(biāo)識(shí)符的提示 相關(guān)聯(lián)的子模型或模型，包括規(guī)則和/或聯(lián)網(wǎng)原語的集合。
[0052] 在步驟415,轉(zhuǎn)發(fā)設(shè)備可以檢查規(guī)則和/或函數(shù)來確定該函數(shù)是否可被覆蓋。例 如，轉(zhuǎn)發(fā)設(shè)備可以檢查規(guī)則和/或函數(shù)的"可覆蓋？"標(biāo)志的存在。
[0053] 如果在步驟415發(fā)現(xiàn)規(guī)則或函數(shù)可覆蓋，則在步驟420轉(zhuǎn)發(fā)設(shè)備可以將在規(guī)范中 指定的函數(shù)、規(guī)則、模型或子模型與由轉(zhuǎn)發(fā)設(shè)備本原實(shí)現(xiàn)的已知函數(shù)、規(guī)則、模型或子模型 的列表進(jìn)行比較。例如，已知函數(shù)、規(guī)則、模型或子模型的列表可以存儲(chǔ)在由標(biāo)識(shí)符索引的 實(shí)現(xiàn)數(shù)據(jù)庫中。在步驟430,可以在數(shù)據(jù)庫中查找（例如通過散列在規(guī)范中指定的函數(shù)、規(guī) 貝1J、模型或子模型）在規(guī)范中指定的函數(shù)、規(guī)則、模型或子模型來確定相應(yīng)的本原實(shí)現(xiàn)是否 存在于實(shí)現(xiàn)數(shù)據(jù)庫中。
[0054] 如果在步驟415未發(fā)現(xiàn)函數(shù)可覆蓋，則處理可以進(jìn)行到步驟450。<