專利名稱：Cache一致性協(xié)議派生處理方法
技術(shù)領(lǐng)域：
本發(fā)明涉及計(jì)算技術(shù)領(lǐng)域，更具體地說，本發(fā)明涉及一種Cache —致性協(xié)議派生處理方法。
背景技術(shù)：
隨著半導(dǎo)體制造工藝的飛速發(fā)展，單核處理器的主頻已經(jīng)逐漸逼近極限，為了進(jìn)一步提高處理器的運(yùn)算速度，人們將多個(gè)處理器核集成在一個(gè)芯片上形成片上多處理器 (Chip Multi 一 Processor, CMP)。在CMP中，多個(gè)處理器核心對(duì)單一內(nèi)存空間的共享使得處理器和主存儲(chǔ)器之間的速度差距的矛盾更加突出，因此CMP設(shè)計(jì)必須采用多級(jí)高速緩存(Cache)，通過層次化的存儲(chǔ)結(jié)構(gòu)來緩解這一矛盾。Cache—致性協(xié)議作為多核處理器中的重要組成部分，直接影響到多核處理器的正確性設(shè)計(jì)和性能。Cache—致性協(xié)議是一種非常復(fù)雜的多方協(xié)議，其復(fù)雜度不僅體現(xiàn)在協(xié)議的設(shè)計(jì)上，也體現(xiàn)在協(xié)議的實(shí)現(xiàn)上。協(xié)議實(shí)現(xiàn)上的難度主要是如何以較小的硬件復(fù)雜度完成一個(gè)Cache 一致性協(xié)議單流程的處理，并保證訪存性能。

發(fā)明內(nèi)容
本發(fā)明所要解決的技術(shù)問題是針對(duì)現(xiàn)有技術(shù)中存在上述缺陷，提供一種簡(jiǎn)化了一致性協(xié)議處理邏輯的Cache —致性協(xié)議派生處理方法。根據(jù)本發(fā)明，提供了一種Cache —致性協(xié)議派生處理方法，其包括針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程依次執(zhí)行目錄訪問以及派生請(qǐng)求判斷；其中，在目錄訪問中，查詢一次請(qǐng)求地址對(duì)應(yīng)的數(shù)據(jù)在CPU內(nèi)部是否有比主存更新的副本，如有，則一次請(qǐng)求訪問最新副本；否則判定主存中數(shù)據(jù)是最新的，一次請(qǐng)求直接訪問主存；而且，對(duì)于CPU內(nèi)部有最新副本的情況，生成作為所述一次請(qǐng)求的派生請(qǐng)求的二次請(qǐng)求，所述二次請(qǐng)求將最新副本回寫主存，并且將該最新副本置為無效，或者直接將CPU中的副本置為無效；其中，在派生請(qǐng)求判斷中,判斷一次請(qǐng)求是否有派生請(qǐng)求,如果一次請(qǐng)求有派生請(qǐng)求,則使該一次請(qǐng)求不能從一次請(qǐng)求隊(duì)列釋放。優(yōu)選地，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行地址沖突判斷；其中，在地址沖突判斷中，比較一次請(qǐng)求的地址和目前尚未完成的所有請(qǐng)求地址，如有相同則視為有地址沖突，記錄地址沖突信息，并使所述一次請(qǐng)求等待下一次處理。優(yōu)選地，尚未完成的所有請(qǐng)求地址包括一次請(qǐng)求隊(duì)列、訪存請(qǐng)求隊(duì)列以及其他懸掛隊(duì)列中所有有效條目的地址信息，所述地址信息中包括了未完成的派生請(qǐng)求的請(qǐng)求地址。優(yōu)選地，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行結(jié)構(gòu)沖突判斷；其中，在結(jié)構(gòu)沖突判斷中，不同的一次請(qǐng)求的處理需要不同的隊(duì)列資源，根據(jù)目錄訪問的查詢結(jié)果確定本次請(qǐng)求處理需要的隊(duì)列資源，判斷所需隊(duì)列資源是否可得。如果本次請(qǐng)求處理需要的隊(duì)列資源可用，則判定該一次請(qǐng)求無結(jié)構(gòu)沖突；如果本次請(qǐng)求處理需要的隊(duì)列資源不可用，則判定該一次請(qǐng)求存在結(jié)構(gòu)沖突，該一次請(qǐng)求需要等待下一次處理。優(yōu)選地，對(duì)于沒有派生請(qǐng)求的一次請(qǐng)求，如果所述一次請(qǐng)求若無地址沖突和結(jié)構(gòu)沖突，則從一次請(qǐng)求隊(duì)列釋放。優(yōu)選地，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行可發(fā)射判斷；其中，在可發(fā)射判斷中，判斷當(dāng)前的一次請(qǐng)求是否可以發(fā)射，如果判斷可以發(fā)射則繼續(xù)處理，如果判斷不可以發(fā)射則使一次請(qǐng)求處于等待處理的狀態(tài)。在本發(fā)明的Cache —致性協(xié)議派生處理方法中，對(duì)一致性的處理，采用請(qǐng)求派生處理的辦法，即一個(gè)請(qǐng)求可能多次發(fā)射，多次經(jīng)過一致性流水線處理，每次發(fā)射完成對(duì)部分一致性協(xié)議的處理，復(fù)雜的協(xié)議處理流程要經(jīng)過多次發(fā)射多次處理，才完成對(duì)整個(gè)流程的處理。這樣就將一個(gè)復(fù)雜的協(xié)議處理流程進(jìn)行了分解，簡(jiǎn)化了一致性協(xié)議處理邏輯。本發(fā)明上述實(shí)施例的一致性協(xié)議處理邏輯，采用流水處理技術(shù)，對(duì)一致性請(qǐng)求進(jìn)行多次處理，不·會(huì)成為訪存帶寬的瓶頸，不會(huì)損失訪存性能。


結(jié)合附圖，并通過參考下面的詳細(xì)描述，將會(huì)更容易地對(duì)本發(fā)明有更完整的理解并且更容易地理解其伴隨的優(yōu)點(diǎn)和特征，其中圖I示意性地示出了根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議處理部件的結(jié)構(gòu)圖。圖2示意性地示出了根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議一次請(qǐng)求處理的流程圖。圖3示意性地示出了根據(jù)本發(fā)明實(shí)施例的單次訪存請(qǐng)求的處理流程的具體示例。需要說明的是，附圖用于說明本發(fā)明，而非限制本發(fā)明。注意，表示結(jié)構(gòu)的附圖可能并非按比例繪制。并且，附圖中，相同或者類似的元件標(biāo)有相同或者類似的標(biāo)號(hào)。
具體實(shí)施例方式為了使本發(fā)明的內(nèi)容更加清楚和易懂，下面結(jié)合具體實(shí)施例和附圖對(duì)本發(fā)明的內(nèi)容進(jìn)行詳細(xì)描述。圖I示意性地示出了根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議處理部件的結(jié)構(gòu)圖。如圖I所示，根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議處理流水線結(jié)構(gòu)是基于目錄I的一致性處理協(xié)議，目錄I是CPU內(nèi)部Cache中所有數(shù)據(jù)塊的分布與修改狀態(tài)的副本，是對(duì)所有一次請(qǐng)求進(jìn)行協(xié)議處理的依據(jù)。進(jìn)入一致性處理之前的所有一次請(qǐng)求在一次請(qǐng)求隊(duì)列3中進(jìn)行緩存和排序。進(jìn)入一致性處理流水線2的一次請(qǐng)求依據(jù)目錄狀態(tài)按照協(xié)議規(guī)則可能生成發(fā)往CPU的二次請(qǐng)求、發(fā)往主存的訪存請(qǐng)求、返回的響應(yīng)，它們存入相應(yīng)的二次請(qǐng)求隊(duì)列4、訪存請(qǐng)求隊(duì)列5、響應(yīng)隊(duì)列6。CPU對(duì)每一個(gè)二次請(qǐng)求的處理將會(huì)返回一個(gè)回答，依次緩存在回答隊(duì)列7中。一個(gè)回答可能會(huì)引起一個(gè)訪存請(qǐng)求或者一個(gè)響應(yīng)。 在根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議派生處理方法中，對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行地址沖突判斷、目錄訪問、結(jié)構(gòu)沖突判斷、以及派生請(qǐng)求判斷。在地址沖突判斷中，比較一次請(qǐng)求的地址和目前尚未完成的所有請(qǐng)求地址，如有相同則視為有地址沖突，需要記錄地址沖突信息,并使所述一次請(qǐng)求等待下一次處理。其中，尚未完成的所有請(qǐng)求地址包括一次請(qǐng)求隊(duì)列3、訪存請(qǐng)求隊(duì)列5、及其他懸掛隊(duì)列中所有有效條目的地址信息(其中包括了未完成的派生請(qǐng)求的請(qǐng)求地址)。在目錄訪問中，查詢一次請(qǐng)求地址對(duì)應(yīng)的數(shù)據(jù)在CPU內(nèi)部是否有比主存更新的副本，如有，則一次請(qǐng)求訪問最新副本；否則判定主存中數(shù)據(jù)是最新的，一次請(qǐng)求直接訪問主存。對(duì)于CPU內(nèi)部有最新副本的情況，需要生成一個(gè)二次請(qǐng)求將最新副本回寫主存，并且將該最新副本置為 無效，或者直接將CPU中的副本置為無效；這個(gè)二次請(qǐng)求雖然是由該一次請(qǐng)求生成的，但是生成后的處理過程和該一次請(qǐng)求無關(guān)，稱其為派生請(qǐng)求。在結(jié)構(gòu)沖突判斷中，不同的一次請(qǐng)求的處理需要不同的隊(duì)列資源，根據(jù)目錄訪問的查詢結(jié)果確定本次請(qǐng)求處理需要的隊(duì)列資源，判斷所需隊(duì)列資源是否可得。如果本次請(qǐng)求處理需要的隊(duì)列資源可用，則判定該一次請(qǐng)求無結(jié)構(gòu)沖突；如果本次請(qǐng)求處理需要的隊(duì)列資源不可用，則判定該一次請(qǐng)求存在結(jié)構(gòu)沖突，該一次請(qǐng)求需要等待下一次處理。沒有地址沖突、且沒有結(jié)構(gòu)沖突的一次請(qǐng)求才能被處理。在派生請(qǐng)求判斷中，判斷一次請(qǐng)求是否有派生請(qǐng)求，如果一次請(qǐng)求有派生請(qǐng)求,則使該一次請(qǐng)求不能從一次請(qǐng)求隊(duì)列釋放。也就是說，有派生請(qǐng)求的一次請(qǐng)求本次處理不能從一次請(qǐng)求隊(duì)列釋放，但是，待這個(gè)派生請(qǐng)求處理完畢后，原來的一次請(qǐng)求會(huì)再次通過一次性處理流程，此時(shí)一次請(qǐng)求一定不會(huì)有派生請(qǐng)求，此時(shí)若無地址沖突和結(jié)構(gòu)沖突就能得到完全的處理，從一次請(qǐng)求隊(duì)列3釋放。具體地說，圖2示意性地示出了根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議一次請(qǐng)求處理的流程圖。如圖2所示，根據(jù)本發(fā)明實(shí)施例的Cache —致性協(xié)議一次請(qǐng)求處理包括一次請(qǐng)求等待處理步驟SI，此時(shí)一次請(qǐng)求等待處理，例如在經(jīng)過預(yù)定時(shí)間之后進(jìn)入可發(fā)射判斷步驟S2 ；可發(fā)射判斷步驟S2，用于判斷當(dāng)前的一次請(qǐng)求是否可以發(fā)射，如果判斷可以發(fā)射則處理進(jìn)入地址沖突判斷步驟S3，如果判斷不可以發(fā)射則處理回到一次請(qǐng)求等待處理步驟SI ；地址沖突判斷步驟S3，用于針對(duì)當(dāng)前的一次請(qǐng)求進(jìn)行地址沖突判斷；S卩，比較一次請(qǐng)求的地址和目前尚未完成的所有請(qǐng)求地址，如有相同地址則視為有地址沖突，需要記錄地址沖突信息，并等待下一次處理，處理回到一次請(qǐng)求等待處理步驟SI ;如果沒有相同地址，處理進(jìn)入目錄訪問步驟S4 ；目錄訪問步驟S4，用于查詢一次請(qǐng)求地址對(duì)應(yīng)的數(shù)據(jù)在CPU內(nèi)部是否有比主存更新的副本，如有，則訪問最新副本；否則主存中數(shù)據(jù)是最新的，直接訪問主存。結(jié)構(gòu)沖突判斷步驟S5，用于針對(duì)當(dāng)前的一次請(qǐng)求進(jìn)行結(jié)構(gòu)沖突判斷，其中，根據(jù)目錄訪問的查詢結(jié)果確定本次請(qǐng)求處理需要的隊(duì)列資源，判斷所需隊(duì)列資源是否可得；如果本次請(qǐng)求處理需要的隊(duì)列資源可用，則判定該一次請(qǐng)求無結(jié)構(gòu)沖突，處理進(jìn)入派生請(qǐng)求判斷步驟S5 ;如果本次請(qǐng)求處理需要的隊(duì)列資源不可用，則判定該一次請(qǐng)求存在結(jié)構(gòu)沖突，該一次請(qǐng)求需要等待下一次處理，處理回到一次請(qǐng)求等待處理步驟SI ；派生請(qǐng)求判斷步驟S6 ;用于針對(duì)當(dāng)前的一次請(qǐng)求進(jìn)行派生請(qǐng)求判斷，其中，判斷當(dāng)前的一次請(qǐng)求是否有派生請(qǐng)求；如果判斷結(jié)構(gòu)是肯定的(即，有派生請(qǐng)求)，則處理回到一次請(qǐng)求等待處理步驟SI，否則處理進(jìn)入一次請(qǐng)求釋放步驟S7 ；
一次請(qǐng)求釋放步驟S7，用于從一次請(qǐng)求隊(duì)列3中釋放當(dāng)前的一次請(qǐng)求。需要說明的是，雖然圖2示出了地址沖突判斷步驟S3和結(jié)構(gòu)沖突判斷步驟S5先于派生請(qǐng)求判斷步驟S6之前執(zhí)行的情況，但是地址沖突判斷步驟S3和結(jié)構(gòu)沖突判斷步驟S5也可以在派生請(qǐng)求判斷步驟S6之后執(zhí)行；但是，目錄訪問步驟S4應(yīng)當(dāng)先于結(jié)構(gòu)沖突判斷步驟S5和派生請(qǐng)求判斷步驟S6之前執(zhí)行。圖3示意性地示出了根據(jù)本發(fā)明實(shí)施例的單次訪存請(qǐng)求的處理流程的具體示例。圖3的具體示例以目錄狀態(tài)為CPU內(nèi)有最新可修改副本，訪存請(qǐng)求為原子請(qǐng)求時(shí)，單次訪存請(qǐng)求的處理流程來舉例說明如何采用派生處理技術(shù)簡(jiǎn)化一致性協(xié)議單流程的處理。其中，點(diǎn)畫線部分表示的操作為一次請(qǐng)求不發(fā)射，派生出的取臟數(shù)據(jù)回寫主存的動(dòng)作。更具體地說，在單次訪存請(qǐng)求的處理流程中
a) CPU向Cache —致性協(xié)議處理部件發(fā)出原子請(qǐng)求，查詢目錄得請(qǐng)求數(shù)據(jù)在CPU內(nèi)有最新可修改副本，一次請(qǐng)求暫不處理，轉(zhuǎn)入b)生成派生請(qǐng)求；b) Cache 一致性協(xié)議處理部件將目錄的該請(qǐng)求地址數(shù)據(jù)狀態(tài)置為無效，向有最新可修改副本的CPU(圖3中示出了有最新可修改副本的CPU為發(fā)出一次請(qǐng)求的CPU的情況，但是實(shí)際上，有最新可修改副本的CPU也有可能是別的CPU)發(fā)送取數(shù)置無效(取出最新可修改副本，并將該最新可修改副本置無效)的二次請(qǐng)求；c)有最新可修改副本的CPU將Cache中對(duì)應(yīng)的地址數(shù)據(jù)狀態(tài)置為無效，返回帶臟數(shù)據(jù)的回答；至此CPU的Cache中沒有請(qǐng)求地址的數(shù)據(jù)副本；d) Cache 一致性協(xié)議處理部件收到回答后將最新數(shù)據(jù)寫入主存；e) 一次請(qǐng)求再次查詢目錄，此時(shí)目錄中對(duì)應(yīng)地址數(shù)據(jù)的狀態(tài)為無效，最新數(shù)據(jù)僅存在于主存中，向存控發(fā)送取并改請(qǐng)求；f)存儲(chǔ)控制器返回讀響應(yīng)數(shù)據(jù)；g)Cache 一致性協(xié)議處理部件收到讀響應(yīng)數(shù)據(jù)后，向發(fā)出一次請(qǐng)求的CPU返回帶數(shù)據(jù)響應(yīng)。在本發(fā)明上述實(shí)施例的Cache —致性協(xié)議派生處理方法中，對(duì)一致性的處理，采用請(qǐng)求派生處理的辦法，即一個(gè)請(qǐng)求可能多次發(fā)射，多次經(jīng)過一致性流水線處理，每次發(fā)射完成對(duì)部分一致性協(xié)議的處理，復(fù)雜的協(xié)議處理流程要經(jīng)過多次發(fā)射多次處理，才完成對(duì)整個(gè)流程的處理。這樣就將一個(gè)復(fù)雜的協(xié)議處理流程進(jìn)行了分解，簡(jiǎn)化了一致性協(xié)議處理邏輯。本發(fā)明上述實(shí)施例的一致性協(xié)議處理邏輯，采用流水處理技術(shù)，對(duì)一致性請(qǐng)求進(jìn)行多次處理，不會(huì)成為訪存帶寬的瓶頸，不會(huì)損失訪存性能。此外，需要說明的是，除非特別指出，否則說明書中的術(shù)語“第一”、“第二”、“第三”等描述僅僅用于區(qū)分說明書中的各個(gè)組件、元素、步驟等，而不是用于表示各個(gè)組件、元素、步驟之間的邏輯關(guān)系或者順序關(guān)系等?？梢岳斫獾氖?，雖然本發(fā)明已以較佳實(shí)施例披露如上，然而上述實(shí)施例并非用以限定本發(fā)明。對(duì)于任何熟悉本領(lǐng)域的技術(shù)人員而言，在不脫離本發(fā)明技術(shù)方案范圍情況下，都可利用上述揭示的技術(shù)內(nèi)容對(duì)本發(fā)明技術(shù)方案作出許多可能的變動(dòng)和修飾，或修改為等同變化的等效實(shí)施例。因此，凡是未脫離本發(fā)明技術(shù)方案的內(nèi)容，依據(jù)本發(fā)明的技術(shù)實(shí)質(zhì)對(duì)以上實(shí)施例所做的任何簡(jiǎn)單修改、等同變化及修飾，均仍屬于本發(fā)明技術(shù)方案保護(hù)的范圍內(nèi)。
權(quán)利要求
1.一種Cache —致性協(xié)議派生處理方法，其特征在于包括 針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程依次執(zhí)行目錄訪問以及派生請(qǐng)求判斷； 其中，在目錄訪問中，查詢一次請(qǐng)求地址對(duì)應(yīng)的數(shù)據(jù)在CPU內(nèi)部是否有比主存更新的副本，如有，則一次請(qǐng)求訪問最新副本；否則判定主存中數(shù)據(jù)是最新的，一次請(qǐng)求直接訪問主存；而且,對(duì)于CPU內(nèi)部有最新副本的情況，生成作為所述一次請(qǐng)求的派生請(qǐng)求的二次請(qǐng)求，所述二次請(qǐng)求將最新副本回寫主存，并且將該最新副本置為無效，或者直接將CPU中的最新副本置無效； 其中,在派生請(qǐng)求判斷中,其中判斷一次請(qǐng)求是否有派生請(qǐng)求,如果一次請(qǐng)求有派生請(qǐng)求，則使該一次請(qǐng)求不能從一次請(qǐng)求隊(duì)列釋放。
2.根據(jù)權(quán)利要求I所述的Cache—致性協(xié)議派生處理方法，其特征在于，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行地址沖突判斷；其中，在地址沖突判斷中，比較一次請(qǐng)求的地址和目前尚未完成的所有請(qǐng)求地址，如有相同則視為有地址沖突，記錄地址沖突信息，并使所述一次請(qǐng)求等待下一次處理。
3.根據(jù)權(quán)利要求3所述的Cache—致性協(xié)議派生處理方法，其特征在于，尚未完成的所有請(qǐng)求地址包括一次請(qǐng)求隊(duì)列、訪存請(qǐng)求隊(duì)列以及其他懸掛隊(duì)列中所有有效條目的地址信息，所述地址信息中包括了未完成的派生請(qǐng)求的請(qǐng)求地址。
4.根據(jù)權(quán)利要求I或2所述的Cache—致性協(xié)議派生處理方法，其特征在于，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行結(jié)構(gòu)沖突判斷；其中，在結(jié)構(gòu)沖突判斷中，不同的一次請(qǐng)求的處理需要不同的隊(duì)列資源，根據(jù)目錄訪問的查詢結(jié)果確定本次請(qǐng)求處理需要的隊(duì)列資源，判斷所需隊(duì)列資源是否可得。如果本次請(qǐng)求處理需要的隊(duì)列資源可用，則判定該一次請(qǐng)求無結(jié)構(gòu)沖突；如果本次請(qǐng)求處理需要的隊(duì)列資源不可用，則判定該一次請(qǐng)求存在結(jié)構(gòu)沖突，該一次請(qǐng)求需要等待下一次處理。
5.根據(jù)權(quán)利要求I或2所述的Cache—致性協(xié)議派生處理方法，其特征在于，對(duì)于無派生請(qǐng)求的一次請(qǐng)求，如果所述一次請(qǐng)求若無地址沖突和結(jié)構(gòu)沖突，則從一次請(qǐng)求隊(duì)列釋放。
6.根據(jù)權(quán)利要求I或2所述的Cache—致性協(xié)議派生處理方法，其特征在于，還針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程執(zhí)行可發(fā)射判斷；其中，在可發(fā)射判斷中，判斷當(dāng)前的一次請(qǐng)求是否可以發(fā)射，如果判斷可以發(fā)射則繼續(xù)處理，如果判斷不可以發(fā)射則使一次請(qǐng)求處于等待處理的狀態(tài)。
全文摘要
本發(fā)明提供了一種Cache一致性協(xié)議派生處理方法。針對(duì)每一個(gè)一次請(qǐng)求的一致性處理流程依次執(zhí)行目錄訪問以及派生請(qǐng)求判斷；在目錄訪問中，查詢一次請(qǐng)求地址對(duì)應(yīng)的數(shù)據(jù)在CPU內(nèi)部是否有比主存更新的副本，如有，則一次請(qǐng)求訪問最新副本；否則判定主存中數(shù)據(jù)是最新的，一次請(qǐng)求直接訪問主存；而且，對(duì)于CPU內(nèi)部有最新副本的情況，生成作為所述一次請(qǐng)求的派生請(qǐng)求的二次請(qǐng)求，所述二次請(qǐng)求或?qū)⒆钚赂北净貙懼鞔妫⑶覍⒃撟钚赂北局脼闊o效，或?qū)PU內(nèi)最新副本置為無效；在派生請(qǐng)求判斷中，判斷一次請(qǐng)求是否有派生請(qǐng)求，如果一次請(qǐng)求有派生請(qǐng)求，則使該一次請(qǐng)求不能從一次請(qǐng)求隊(duì)列釋放。
文檔編號(hào)G06F9/38GK102929800SQ201210396169
公開日2013年2月13日 申請(qǐng)日期2012年10月17日 優(yōu)先權(quán)日2012年10月17日
發(fā)明者鄭衛(wèi)華, 王夢(mèng)嘉, 張清波, 許勇, 鄭方, 高紅光 申請(qǐng)人:無錫江南計(jì)算技術(shù)研究所