由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法
【專利摘要】本發(fā)明公開了一種由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，包括：S1、傳輸列表的邏輯分解并將傳輸列表按對(duì)象歸屬地劃分；S2、非線性部分優(yōu)化，利用非線性部分不等式的表格化來(lái)繼續(xù)縮小范圍，用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性部分不等式；S3、“代理”代碼定制，對(duì)于只包含線性表達(dá)式的組，可以用“代理”代碼；S4、消息結(jié)構(gòu)化編碼解碼，所述消息是指為把傳輸列表發(fā)送給數(shù)據(jù)擁有者而所用的消息；S5、列表驅(qū)動(dòng)的數(shù)據(jù)打包拆包，所述列表是指?jìng)鬏斄斜?。本發(fā)明使用了表達(dá)式分析程序來(lái)自動(dòng)化傳輸列表的壓縮方案的定制，然后根據(jù)表達(dá)式分析程序的分析結(jié)果來(lái)生成能實(shí)現(xiàn)這些壓縮方案的程序代碼，具有操作容易、通信效率高的優(yōu)點(diǎn)。
【專利說(shuō)明】由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法

【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及并行計(jì)算機(jī)程序的數(shù)據(jù)通信研宄領(lǐng)域，特別涉及一種由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法。

【背景技術(shù)】
[0002]以往解決并行計(jì)算的傳輸列表壓縮問題的時(shí)候，有三種方案。這些方案不包括用傳統(tǒng)的文件壓縮算法壓縮傳輸列表，原因是那些壓縮算法的實(shí)時(shí)性達(dá)不到要求。
[0003]第一種方案適用于某些特定的并行計(jì)算流程，這些流程已經(jīng)有專用的軟件封裝數(shù)據(jù)通信過(guò)程了，例如Hypre、PESTc、ScaLAPACK等。封裝的功能一般包括了傳輸列表的壓縮，因此應(yīng)用程序自身代碼不用管傳輸列表。由于并行計(jì)算流程的特殊性，這些專用軟件往往能為傳輸列表找到很簡(jiǎn)短的表示方式。這是因?yàn)樵谳^窄應(yīng)用范圍內(nèi)，傳輸列表往往是很有規(guī)律的，明確了規(guī)律之后就容易找到其最佳的表示方式。還有更幸運(yùn)的情況，傳輸列表甚至不需要包含在數(shù)據(jù)通信消息中，這是因?yàn)樵谀承┓浅Ｌ厥獾牟⑿杏?jì)算流程里，專用軟件的程序可以在數(shù)據(jù)擁有者節(jié)點(diǎn)安排一段代碼扮演“代理”的角色。這類“代理”可以在擁有者處通過(guò)計(jì)算生成一份一模一樣的傳輸列表，替請(qǐng)求者遞交給數(shù)據(jù)擁有者。
[0004]第二種方案適用于某些簡(jiǎn)化的并行計(jì)算流程。這些流程非常簡(jiǎn)單，簡(jiǎn)單到可以配套“通用”軟件框架來(lái)封裝數(shù)據(jù)通信。典型的例子是Map-Reduce。這里“通用”打引號(hào)是因?yàn)槟侵皇怯?jì)算部分的通用，通信部分的流程則要按照簡(jiǎn)化的固定的模式來(lái)走。通信部分的簡(jiǎn)化使傳輸列表很結(jié)構(gòu)化，有固定形式、甚至能預(yù)先確定，因此軟件框架不需要知道數(shù)據(jù)的具體專業(yè)領(lǐng)域的信息，也不需要應(yīng)用程序代碼的幫助，就能做好傳輸列表的壓縮甚至“代理”。
[0005]第三種方案適用于通用的并行計(jì)算流程。這些流程通常使用通用的數(shù)據(jù)通信支持庫(kù)來(lái)實(shí)現(xiàn)(例如MP1、PVM等)，但需要程序自主管理數(shù)據(jù)傳輸過(guò)程。這種方法的數(shù)據(jù)傳輸，可以使用雙邊通信功能，也可以用單邊通信功能。其中，雙邊是指數(shù)據(jù)請(qǐng)求者和數(shù)據(jù)擁有者兩邊，單邊則特指數(shù)據(jù)請(qǐng)求者這一邊。雙邊通信需要兩邊都知道傳輸列表。數(shù)據(jù)請(qǐng)求者當(dāng)然是知道傳輸列表的，問題在于怎樣讓數(shù)據(jù)擁有者得到傳輸列表，和前面說(shuō)的一樣，可以把傳輸列表先發(fā)送給數(shù)據(jù)擁有者，也可以在擁有者處定制一份“代理”代碼來(lái)計(jì)算出一份一模一樣的傳輸列表。不管是發(fā)送還是計(jì)算，一旦應(yīng)用程序的自身代碼讓兩邊都有了傳輸列表，雙邊通信就能很默契地高效完成了。單邊通信實(shí)際上是由單邊激發(fā)通信，真正的通信過(guò)程仍然要兩邊都參與。單邊通信與雙邊通信的區(qū)別在于單邊通信自動(dòng)化了把傳輸列表發(fā)給數(shù)據(jù)擁有者的過(guò)程，因此單邊通信不可能使用“代理”代碼，并且對(duì)傳輸列表只能采取機(jī)械化的表示方式。
[0006]上述第一種方案的缺點(diǎn)是專業(yè)領(lǐng)域上的適用面窄，其缺點(diǎn)的原因是需要針對(duì)非常特殊的并行計(jì)算流程，利用數(shù)據(jù)的專業(yè)領(lǐng)域信息，來(lái)定制傳輸列表的表示方式和“代理”代碼。換到另外一種應(yīng)用，專業(yè)領(lǐng)域上的差別可以是非常大的。
[0007]上述第二種方案的缺點(diǎn)是計(jì)算流程上的適用面窄。其缺點(diǎn)的原因是并行計(jì)算流程過(guò)度簡(jiǎn)化，不能適應(yīng)很多應(yīng)用的計(jì)算需求。
[0008]上述第三種方案的缺點(diǎn)是程序優(yōu)化難度大，程序開發(fā)成本高。對(duì)于雙邊通信，應(yīng)用程序要在自身代碼中自主定制傳輸列表的表示方式和“代理”代碼，過(guò)程繁瑣。對(duì)于單邊通信，由于傳輸列表已經(jīng)被機(jī)械化地自動(dòng)處理了，所以程序優(yōu)化空間小，無(wú)法為傳輸列表選擇較好的表示方式，也無(wú)法用“代理”代碼來(lái)減少傳輸列表的發(fā)送。單邊通信的優(yōu)化，最直接的做法往往是換成合理的雙邊通信。


【發(fā)明內(nèi)容】

[0009]本發(fā)明的主要目的在于克服現(xiàn)有技術(shù)的缺點(diǎn)與不足，提供一種由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，用于實(shí)現(xiàn)并行計(jì)算傳輸列表的表示方式和“代理”代碼的定制和實(shí)現(xiàn)。
[0010]為了達(dá)到上述目的，本發(fā)明采用以下技術(shù)方案:
[0011]由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，包括下述步驟:
[0012]S1、傳輸列表的邏輯分解并將傳輸列表按對(duì)象歸屬地劃分，由于邏輯命題“對(duì)象在某地”在數(shù)學(xué)中可以用“對(duì)象的位置在某地范圍內(nèi)”這種不等式所表示，所以所述劃分是通過(guò)求解由多維的不等式組得到的，而不等式組的求解可以先根據(jù)不等式之間的依賴關(guān)系拆分為相互獨(dú)立的小不等式組，以降低求解的復(fù)雜度，這就是所述的邏輯分解；
[0013]S2、非線性部分優(yōu)化，利用非線性部分不等式的表格化來(lái)繼續(xù)縮小范圍，用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性部分不等式；
[0014]S3、“代理”代碼定制，對(duì)于只包含線性表達(dá)式的組，只要該組表達(dá)式中的“常量”是在數(shù)據(jù)擁有者節(jié)點(diǎn)上可知的，那么該組就可以用“代理”代碼；
[0015]S4、消息結(jié)構(gòu)化編碼解碼，所述消息是指為把傳輸列表發(fā)送給數(shù)據(jù)擁有者而所用的消息；
[0016]S5、列表驅(qū)動(dòng)的數(shù)據(jù)打包拆包，所述列表是指?jìng)鬏斄斜?，所述?shù)據(jù)打包是按照列表所指定的順序，把發(fā)往某節(jié)點(diǎn)的數(shù)據(jù)集中放入一個(gè)消息中，以便用該消息把數(shù)據(jù)成批地發(fā)送給那個(gè)節(jié)點(diǎn)；數(shù)據(jù)拆包就是該消息的接收者把數(shù)據(jù)從消息中取出來(lái)；
[0017]上述步驟S1-S5都和傳輸列表中的對(duì)象的邏輯位置有關(guān)，這些對(duì)象都存儲(chǔ)在并行計(jì)算中邏輯概念上的共享數(shù)組時(shí)里，都被傳輸列表按照某種邏輯順序來(lái)排列，假設(shè)傳輸列表的順序是k維的，所請(qǐng)求的對(duì)象的數(shù)組是m維的，那么這段傳輸列表的序列的通項(xiàng)表達(dá)式就是關(guān)于k個(gè)變量的m維表達(dá)式，并且這k個(gè)變量變化的范圍都由傳輸請(qǐng)求指定。
[0018]優(yōu)選的，步驟SI中，邏輯分解首先是按照上述k個(gè)變量在這m維表達(dá)式中的分布，把這m維分成若干組，使得不同組的表達(dá)式包含不同的變量，然后把每一組的有線性表達(dá)式的維找出來(lái)；按對(duì)象歸屬地劃分是按照數(shù)組在不同節(jié)點(diǎn)上的分區(qū)，把傳輸列表分成若干個(gè)子表，每個(gè)子表中的對(duì)象都是一個(gè)節(jié)點(diǎn)的，不同子表的對(duì)象是不同節(jié)點(diǎn)的。
[0019]優(yōu)選的，當(dāng)指定某個(gè)節(jié)點(diǎn)時(shí)，這m維的表達(dá)式，為了讓其值落在該節(jié)點(diǎn)的區(qū)域內(nèi)，每一維都能對(duì)應(yīng)兩個(gè)不等式，一個(gè)是該維表達(dá)式的值不小于該節(jié)點(diǎn)區(qū)域在這一維的下界，另一個(gè)是該維表達(dá)式的值不大于該節(jié)點(diǎn)區(qū)域在這一維的上界；所述邏輯分解，首先將這2m個(gè)不等式分成相互獨(dú)立的若干組，每一組不等式的解都不會(huì)影響其它組的解；其次將容易求解的線性不等式找出來(lái)；求解這些不等式，可以把那k個(gè)變量在這個(gè)節(jié)點(diǎn)上指定有效對(duì)象的范圍算出來(lái)，這個(gè)范圍可以比變量的全局范圍小很多；求解不等式的過(guò)程用的是幾何方法，只處理線性表達(dá)式得到的不等式:每一個(gè)這樣的線性不等式都對(duì)應(yīng)一個(gè)超平面；所述超平面在多維空間中的性質(zhì)和平面在三維空間中的性質(zhì)類似，平面是超平面的特例，每一個(gè)這樣的超平面都有可能把數(shù)據(jù)請(qǐng)求所用的變量的全局范圍切掉一部分，所述全局范圍即為一個(gè)超立方；這些超平面都切完之后，就剩下一個(gè)相對(duì)較小的有界凸集了。
[0020]優(yōu)選的，步驟S2中，用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性部分不等式的方法是:遍歷所涉及的變量的取值范圍，逐點(diǎn)檢查非線性不等式是否成立；當(dāng)成立的點(diǎn)數(shù)所占比例低于事先確定的一個(gè)閾值時(shí)，就把非線性表達(dá)式轉(zhuǎn)變?yōu)楸砀瘢渲兄话蔷€性不等式成立的那些點(diǎn)，且表格的維數(shù)由非線性不等式所涉及的變量數(shù)決定。
[0021]優(yōu)選的，步驟S3中，所述“常量”需要在每個(gè)節(jié)點(diǎn)上都維護(hù)一個(gè)常量表，這個(gè)常量表的內(nèi)容是各個(gè)節(jié)點(diǎn)上的“常量”在表格所在節(jié)點(diǎn)的副本；所述的“常量”是指表達(dá)式中除了請(qǐng)求給定范圍的那些變量之外的量，這些量可以是存儲(chǔ)在應(yīng)用程序的變量中的，這些變量不是表達(dá)式中的那些變量；所述“常量”，是相對(duì)的常量，不是程序中絕對(duì)的常量。
[0022]優(yōu)選的，所述“常量”的維護(hù)，難點(diǎn)在于“常量”的同步更新，其同步更新的方法為:
[0023]在原節(jié)點(diǎn)上更新了 “常量”之后，在常量表所在節(jié)點(diǎn)上也做相應(yīng)地更新，保持副本與原本的一致性，常量表允許應(yīng)用程序做以下三方面的選擇:要保存哪些“常量”；哪些“常量”可以不需要通信，用給定的計(jì)算子程序可以異地更新；哪些“常量”需要通信來(lái)保持?jǐn)?shù)據(jù)同步；在常量表的幫助下，“代理”代碼可以沒有阻礙地對(duì)該組線性表達(dá)式進(jìn)行求值，從而避免了通過(guò)通信把組內(nèi)表達(dá)式信息發(fā)送給數(shù)據(jù)擁有者；“代理”代碼的模板是:先從常量表中取出所需的“常量”，再用超平面切割超立方體計(jì)算縮小的變量范圍，然后就可以在縮小的變量范圍內(nèi)遍歷各點(diǎn)，即遍歷在組所涉及的維上的投影，得到序列元素在這些維上的位置信息。
[0024]優(yōu)選的，步驟S4中，消息結(jié)構(gòu)化編碼解碼的具體方法為:
[0025]首先，對(duì)于步驟S3中確定可以用“代理”代碼的表達(dá)式組，該表達(dá)式組不需要放到消息中；
[0026]然后，所有要入到消息中的表達(dá)式，都按照下面格式來(lái)編碼:用一個(gè)整數(shù)來(lái)記錄表達(dá)式組的維數(shù)；用前述維數(shù)那么多個(gè)整數(shù)來(lái)記錄維號(hào)列表；用一個(gè)整數(shù)來(lái)記錄表達(dá)式邏輯樹的節(jié)點(diǎn)數(shù)；用節(jié)點(diǎn)數(shù)那么多個(gè)節(jié)點(diǎn)結(jié)構(gòu)來(lái)記錄節(jié)點(diǎn)內(nèi)容；用一個(gè)整數(shù)來(lái)記錄常量表長(zhǎng)度；用常量表長(zhǎng)度那么多個(gè)常量表結(jié)構(gòu)來(lái)記錄常量值；用一個(gè)整數(shù)來(lái)記錄該組表達(dá)式所涉及的變量數(shù)；用前述變量數(shù)那么多個(gè)整數(shù)來(lái)記錄變量在數(shù)據(jù)請(qǐng)求中的編號(hào)；用一個(gè)整數(shù)來(lái)記錄限定變量范圍的超平面數(shù)；對(duì)每個(gè)超平面，用前述變量數(shù)加一那么多個(gè)整數(shù)來(lái)記錄超平面的位置；按照上述格式來(lái)存表達(dá)式，就可以把數(shù)據(jù)請(qǐng)求編碼到消息中；解碼過(guò)程是按編碼過(guò)程反過(guò)來(lái)做的，即按上述格式把表達(dá)式組從消息中取出來(lái)。
[0027]優(yōu)選的，所述節(jié)點(diǎn)內(nèi)容包括節(jié)點(diǎn)編號(hào)、父節(jié)點(diǎn)編號(hào)、作為子節(jié)點(diǎn)里的序號(hào)、操作符編號(hào)、左操作元類型和編號(hào)以及右操作元類型和編號(hào)；
[0028]所述結(jié)構(gòu)內(nèi)容包括常量編號(hào)、常量類型編號(hào)、常量維數(shù)、常量各維大小以及常量數(shù)據(jù)。
[0029]優(yōu)選的，步驟S5中，列表的順序混合使用了兩種方式來(lái)指定，分別是“代理”代碼和列表的結(jié)構(gòu)化消息，這兩種方式結(jié)合起來(lái)，可以還原傳輸列表，對(duì)于可以用“代理”代碼的表達(dá)式組，組內(nèi)的順序用“代理”代碼來(lái)計(jì)算得到；對(duì)于不能用“代理”代碼的表達(dá)式組，則需要通信得到從步驟S4所生成的傳輸列表消息，并從消息中，取出表達(dá)式的信息，從而通過(guò)遍歷表達(dá)式涉及的變量的范圍，來(lái)得到組內(nèi)的順序。
[0030]優(yōu)選的，步驟S4和步驟S5的動(dòng)作都是要按具體情況來(lái)完成的，因此需要用代碼生成程序來(lái)生成對(duì)應(yīng)的代碼，這些代碼所需要的分析結(jié)果，是由表達(dá)式分析程序來(lái)產(chǎn)生的。
[0031]本發(fā)明與現(xiàn)有技術(shù)相比，具有如下優(yōu)點(diǎn)和有益效果:
[0032]1、本發(fā)明與上述第一、二種現(xiàn)有技術(shù)相比較，本發(fā)明使用了表達(dá)式分析程序來(lái)自動(dòng)化傳輸列表的壓縮方案的定制，具有應(yīng)用領(lǐng)域方面的適用面廣、并行算法方面的通用性好的優(yōu)點(diǎn)。事實(shí)上，前述現(xiàn)有技術(shù)的第一種情況(只為特定應(yīng)用領(lǐng)域特殊地定制壓縮方案)和第二種情況(只為特定并行計(jì)算流程特殊地定制壓縮方案)都是在支持軟件的底層代碼(即專用軟件代碼、軟件框架代碼)中根據(jù)具體情況手工定制壓縮方案的，而本發(fā)明的方案則是通過(guò)程序?qū)Ρ磉_(dá)式的分析來(lái)自動(dòng)定制壓縮方案，因此有這個(gè)優(yōu)點(diǎn)。
[0033]2、本發(fā)明用代碼生成程序生成能實(shí)現(xiàn)這些方案的程序代碼，把生成的這些代碼和應(yīng)用程序的其他代碼一起編譯，就能得到通信效率較高的并行計(jì)算程序。本發(fā)明與前述第三種現(xiàn)有技術(shù)的方案的區(qū)別在于，前述第三種現(xiàn)有技術(shù)方案為了適應(yīng)多種多樣的應(yīng)用和算法，需要大量地手工編寫傳輸列表的壓縮代碼，而本發(fā)明方案的這些代碼是通過(guò)代碼生成程序自動(dòng)生成的，因此有這個(gè)優(yōu)點(diǎn)。

【專利附圖】

【附圖說(shuō)明】
[0034]圖1是本發(fā)明方法的流程圖。

【具體實(shí)施方式】
[0035]下面結(jié)合實(shí)施例及附圖對(duì)本發(fā)明作進(jìn)一步詳細(xì)的描述，但本發(fā)明的實(shí)施方式不限于此。
[0036]實(shí)施例
[0037]傳輸列表是并行計(jì)算程序的數(shù)據(jù)通信消息的重要組成部分，本發(fā)明要解決這種傳輸列表的自動(dòng)實(shí)時(shí)壓縮問題，并行計(jì)算把每個(gè)大規(guī)模任務(wù)分解成多個(gè)小規(guī)模任務(wù)，把每組大規(guī)模數(shù)據(jù)分成多組小規(guī)模數(shù)據(jù)，把分解后的任務(wù)和數(shù)據(jù)分配到不同的計(jì)算機(jī)節(jié)點(diǎn)上，進(jìn)行計(jì)算和處理，并且不時(shí)地進(jìn)行節(jié)點(diǎn)間的數(shù)據(jù)通信，以實(shí)現(xiàn)任務(wù)之間的協(xié)調(diào)，解決數(shù)據(jù)之間的依賴。數(shù)據(jù)通信通常由通信請(qǐng)求驅(qū)動(dòng)，這就像電子商務(wù)的物流由商品訂單驅(qū)動(dòng)一樣，和這些訂單一致的是，通信請(qǐng)求也要包含一份傳輸列表。這列表實(shí)際上是一個(gè)序列，其元素通項(xiàng)是要傳輸?shù)臄?shù)據(jù)所對(duì)應(yīng)的對(duì)象的邏輯位置。對(duì)于讀數(shù)據(jù)的請(qǐng)求，請(qǐng)求者節(jié)點(diǎn)把這些對(duì)象的位置發(fā)給數(shù)據(jù)擁有者節(jié)點(diǎn)之后，數(shù)據(jù)擁有者就可以按照這些位置找到要數(shù)據(jù)對(duì)應(yīng)的對(duì)象，然后就可以把對(duì)象的數(shù)據(jù)取出來(lái)打包發(fā)給請(qǐng)求者。對(duì)于寫數(shù)據(jù)的請(qǐng)求，請(qǐng)求者把位置序列連同數(shù)據(jù)一起發(fā)給數(shù)據(jù)擁有者，然后擁有者按位置把得到的數(shù)據(jù)更新到對(duì)應(yīng)的對(duì)象中。本發(fā)明就是要解決壓縮這類傳輸列表的問題，其中的壓縮是廣義的壓縮，不但選擇更簡(jiǎn)短的表示方式，而且通過(guò)一種叫“代理”代碼的計(jì)算機(jī)程序代碼，來(lái)盡可能地減少傳輸列表的發(fā)送。使用“代理代碼”可以減少傳輸列表的發(fā)送量，讓傳輸列表中必須發(fā)送的部分有更簡(jiǎn)短的表不方式，在保證傳輸實(shí)時(shí)性的前提下減少由傳輸列表產(chǎn)生的通信負(fù)荷。
[0038]如圖1所示，本實(shí)施例的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其中主要技術(shù)包含五個(gè)部分的功能中，分別是傳輸列表的(一)邏輯分解和按對(duì)象歸屬地劃分、(二)非線性部分優(yōu)化、(三)“代理”代碼定制、(四)消息結(jié)構(gòu)化編碼解碼和(五)列表驅(qū)動(dòng)的數(shù)據(jù)打包拆包。其中，第一、二部分都是表示方式的優(yōu)化，第三部分是定制好“代理”代碼，以便減少傳輸列表的發(fā)送量，第四部分是對(duì)必須發(fā)送的傳輸列表的消息進(jìn)行編碼和解碼，而第五部分則是用這種新型結(jié)構(gòu)的傳輸列表指揮的數(shù)據(jù)打包和拆包機(jī)制。由于前三部分都是可以預(yù)先處理的，最后這兩部分的效率是保證實(shí)時(shí)性的關(guān)鍵。
[0039]上述五部分和前述兩套電腦程序的對(duì)應(yīng)關(guān)系是:前三部分由表達(dá)式分析程序負(fù)責(zé)，后兩部分是代碼生成程序負(fù)責(zé)。
[0040]在具體介紹這五部分功能之前，先說(shuō)一下傳輸列表中對(duì)象的邏輯位置。這些對(duì)象是都是可以按照數(shù)組組織的，包括很復(fù)雜的數(shù)據(jù)結(jié)構(gòu)，都可以放到數(shù)組中。這里的數(shù)組是邏輯概念上的數(shù)組，是并行計(jì)算中的全局共享數(shù)組，在物理分布上允許數(shù)組跨節(jié)點(diǎn)存儲(chǔ)，每個(gè)節(jié)點(diǎn)都可以擁有這個(gè)數(shù)組中連續(xù)的一個(gè)區(qū)域。數(shù)組可以是一維的，也可以是多維的，不同的數(shù)組可以有不同的維數(shù)。傳輸列表首先是按照數(shù)據(jù)請(qǐng)求分段的，每段中的對(duì)象都是同一個(gè)數(shù)組的，而且對(duì)象在數(shù)組中的位置有通項(xiàng)表達(dá)式表示。由于數(shù)組可以是多維的，所以這里的通項(xiàng)表達(dá)式也對(duì)應(yīng)地可以是多維的。此外，這里的通項(xiàng)排列是按照對(duì)象在數(shù)據(jù)請(qǐng)求中的邏輯順序來(lái)排的。這里允許數(shù)據(jù)請(qǐng)求的邏輯順序是多維的，這個(gè)請(qǐng)求的維數(shù)不要求和數(shù)組的維數(shù)一樣，請(qǐng)求的維數(shù)由請(qǐng)求中使用了多少個(gè)變量來(lái)決定，并且要求變量的范圍(稱為變量的全局范圍)要在請(qǐng)求中明確地給出。因此，假設(shè)一個(gè)數(shù)據(jù)請(qǐng)求是k維的，所請(qǐng)求的對(duì)象的數(shù)組是m維的，那么這段傳輸列表的序列的通項(xiàng)表達(dá)式就是m維的，這些表達(dá)式都是關(guān)于數(shù)據(jù)請(qǐng)求給定的k個(gè)變量的(但不要求每個(gè)表達(dá)式都包含所有k個(gè)變量)，并且這里k個(gè)變量變化的范圍都由請(qǐng)求指定。
[0041]第一部分功能是傳輸列表的邏輯分解和按對(duì)象歸屬地劃分，在圖1中是Al部分。邏輯分解首先是按照上述k個(gè)變量在這m維表達(dá)式中的分布，把這m維分成若干組，使得不同組的表達(dá)式包含不同的變量，然后把每一組的有線性表達(dá)式的維找出來(lái)。按對(duì)象歸屬地劃分是按照數(shù)組在不同節(jié)點(diǎn)上的分區(qū)，把傳輸列表分成若干個(gè)子表，每個(gè)子表中的對(duì)象都是一個(gè)節(jié)點(diǎn)的，不同子表的對(duì)象是不同節(jié)點(diǎn)的。這里的分解和分劃是有關(guān)聯(lián)的，當(dāng)指定某個(gè)節(jié)點(diǎn)時(shí)，這m維的表達(dá)式，為了讓其值落在該節(jié)點(diǎn)的區(qū)域內(nèi)，每一維都能對(duì)應(yīng)兩個(gè)不等式，一個(gè)是該維表達(dá)式的值不小于該節(jié)點(diǎn)區(qū)域在這一維的下界，另一個(gè)是該維表達(dá)式的值不大于該節(jié)點(diǎn)區(qū)域在這一維的上界。因此，這部分功能中的分解，首先是為了把這2m個(gè)不等式分成相互獨(dú)立的若干組，每一組不等式的解都不會(huì)影響其它組的解，更重要的是在組內(nèi)求解不等式更容易；其次是為了把容易求解的線性不等式找出來(lái)。求解這些不等式，可以把那k個(gè)變量在這個(gè)節(jié)點(diǎn)上指定有效對(duì)象的范圍算出來(lái)，這個(gè)范圍可以比變量的全局范圍小很多。求解不等式的過(guò)程用的是幾何方法，只處理線性表達(dá)式得到的不等式:每一個(gè)這樣的線性不等式都對(duì)應(yīng)一個(gè)超平面(超平面是在多維空間中的性質(zhì)和平面在三維空間中的性質(zhì)類似，平面是超平面的特例)ο每一個(gè)這樣的超平面都有可能把數(shù)據(jù)請(qǐng)求所用的變量的全局范圍(一個(gè)超立方體)切掉一部分。這些超平面都切完之后，就剩下一個(gè)相對(duì)較小的有界凸集了。
[0042]第二部分功能是非線性部分的優(yōu)化，在圖1中是A2部分。上一部分利用線性部分的不等式縮小了描述請(qǐng)求的變量在指定節(jié)點(diǎn)上的范圍，這一部分嘗試用非線性部分不等式的表格化來(lái)繼續(xù)縮小范圍，得益于第一部分的不等式分組，這里可以只用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性不等式，其方法是遍歷所涉及的變量的取值范圍，逐點(diǎn)檢查非線性不等式是否成立；當(dāng)成立的點(diǎn)數(shù)所占比例低于事先確定的一個(gè)閾值時(shí)，就把非線性表達(dá)式轉(zhuǎn)變?yōu)楸砀?，其中只包含非線性不等式成立的那些點(diǎn)，且表格的維數(shù)由非線性不等式所涉及的變量數(shù)決定。這樣做，可以使請(qǐng)求的接收者(也就是數(shù)據(jù)擁有者)避免在非線性不等式不成立的點(diǎn)上求表達(dá)式的值，降低了接收者處理請(qǐng)求時(shí)的計(jì)算復(fù)雜度，但代價(jià)是使表達(dá)式的常量變多(表格中的值是增多的常量)，從而增大了發(fā)送請(qǐng)求的傳輸量。因此，非線性表達(dá)式的優(yōu)化必須用前述的閾值來(lái)控制，以便在傳輸量和計(jì)算量之間取得平衡。
[0043]第三部分功能是“代理”代碼的定制，在圖1中是A3部分，上面第一部分把表達(dá)式分組后，有一些組內(nèi)是只包含線性表達(dá)式的，另外有一些組包含了非線性表達(dá)式(有可能也包含線性表達(dá)式)。對(duì)于只包含線性表達(dá)式的組，有可能可以用“代理”代碼，只要該組表達(dá)式中的“常量”是在數(shù)據(jù)擁有者節(jié)點(diǎn)上可知的，那么該組就可以用“代理”代碼。為了讓“代理”代碼能夠處理好這些“常量”，需要在每個(gè)節(jié)點(diǎn)上都維護(hù)一個(gè)常量表，這個(gè)常量表的內(nèi)容是各個(gè)節(jié)點(diǎn)上的“常量”在表格所在節(jié)點(diǎn)的副本。應(yīng)當(dāng)明確的是，這里的“常量”是指表達(dá)式中除了請(qǐng)求給定范圍的那些變量之外的量，這些量可以是存儲(chǔ)在應(yīng)用程序的變量中的，只不過(guò)這些變量不是表達(dá)式中的那些變量。因此，這里的所謂“常量”，是相對(duì)的常量，不是程序中絕對(duì)的常量。這些“常量”的維護(hù)，難點(diǎn)在于“常量”的同步更新。在原節(jié)點(diǎn)上更新了 “常量”之后，在常量表所在節(jié)點(diǎn)上也要相應(yīng)地更新，來(lái)保持副本與原本的一致性。這些更新要盡可能地避免通信，因此，常量表允許應(yīng)用程序做以下三方面的選擇:要保存哪些“常量”；哪些“常量”可以不需要通信，用給定的計(jì)算子程序可以異地更新；哪些“常量”需要通信來(lái)保持?jǐn)?shù)據(jù)同步。在常量表的幫助下，“代理”代碼可以沒有阻礙地對(duì)該組線性表達(dá)式進(jìn)行求值，從而避免了通過(guò)通信把組內(nèi)表達(dá)式信息發(fā)送給數(shù)據(jù)擁有者?！按怼贝a的模板是:先從常量表中取出所需的“常量”，再用第一部分所提及的幾何方法(用超平面切割超立方體)計(jì)算縮小的變量范圍，然后就可以在縮小的變量范圍內(nèi)遍歷各點(diǎn)(在組所涉及的維上的投影)，得到序列元素在這些維上的位置信息。該模板被用于圖中的G2部分(生成代理)。
[0044]第四部分是消息結(jié)構(gòu)化編碼解碼，在圖1中是Gl部分，這里的消息是指為把傳輸列表發(fā)送給數(shù)據(jù)擁有者而所用的消息。簡(jiǎn)單來(lái)說(shuō)，這些消息要存放數(shù)據(jù)請(qǐng)求的表達(dá)式的信息。首先，每三部分的功能已經(jīng)確定了那些表達(dá)式組可以用“代理”代碼，從而那些表達(dá)式組不需要放到消息中；然后，所有要入到消息中的表達(dá)式，都按照下面格式來(lái)編碼:用一個(gè)整數(shù)來(lái)記錄表達(dá)式組的維數(shù)；用前述維數(shù)那么多個(gè)整數(shù)來(lái)記錄維號(hào)列表；用一個(gè)整數(shù)來(lái)記錄表達(dá)式邏輯樹的節(jié)點(diǎn)數(shù)；用節(jié)點(diǎn)數(shù)那么多個(gè)節(jié)點(diǎn)結(jié)構(gòu)來(lái)記錄節(jié)點(diǎn)內(nèi)容，節(jié)點(diǎn)內(nèi)容包括節(jié)點(diǎn)編號(hào)(一個(gè)整數(shù))，父節(jié)點(diǎn)編號(hào)(一個(gè)整數(shù))，作為子節(jié)點(diǎn)里的序號(hào)(一個(gè)整數(shù))，操作符編號(hào)(一個(gè)整數(shù))，左操作元類型和編號(hào)(兩個(gè)整數(shù)，類型包括子樹、常量和變量)，右操作元類型和編號(hào)(兩個(gè)整數(shù)，類型種類如前所述)；用一個(gè)整數(shù)來(lái)記錄常量表長(zhǎng)度；用常量表長(zhǎng)度那么多個(gè)常量表結(jié)構(gòu)來(lái)記錄常量值，結(jié)構(gòu)內(nèi)容包括常量編號(hào)(一個(gè)整數(shù))，常量類型編號(hào)(一個(gè)整數(shù))，常量維數(shù)(一個(gè)整數(shù))，常量各維大小(每維一個(gè)整數(shù))，常量數(shù)據(jù)(總共各維大小之乘積那么多個(gè)數(shù)據(jù)，每個(gè)數(shù)據(jù)項(xiàng)都用常量類型編號(hào)所對(duì)應(yīng)的類型來(lái)表示)；用一個(gè)整數(shù)來(lái)記錄該組表達(dá)式所涉及的變量數(shù)；用前述變量數(shù)那么多個(gè)整數(shù)來(lái)記錄變量在數(shù)據(jù)請(qǐng)求中的編號(hào)；用一個(gè)整數(shù)來(lái)記錄限定變量范圍的超平面數(shù)；對(duì)每個(gè)超平面，用前述變量數(shù)加一那么多個(gè)整數(shù)來(lái)記錄超平面的位置。按照上述格式來(lái)存表達(dá)式，就可以把數(shù)據(jù)請(qǐng)求編碼到消息中。解碼過(guò)程是按編碼過(guò)程反過(guò)來(lái)做的，換句話說(shuō)，就是按上述格式把表達(dá)式組從消息中取出來(lái)。我們可以看到，由于傳輸列表的這種消息是用表達(dá)式來(lái)表示的，其長(zhǎng)度會(huì)明顯地小于傳統(tǒng)的枚舉方式所需要的消息長(zhǎng)度。因此，這一部分功能能夠很大程度地優(yōu)化應(yīng)用程序的通信效率。
[0045]第五部分是列表驅(qū)動(dòng)的數(shù)據(jù)打包拆包，在圖1中是G3部分，這里的列表是指?jìng)鬏斄斜?，?jiǎn)單來(lái)說(shuō)，數(shù)據(jù)打包就是按照列表所指定的順序，把發(fā)往某節(jié)點(diǎn)的數(shù)據(jù)集中放入一個(gè)消息中，以便用該消息把數(shù)據(jù)成批地發(fā)送給那個(gè)節(jié)點(diǎn)；反過(guò)來(lái)，數(shù)據(jù)拆包就是該消息的接收者把數(shù)據(jù)從消息中取出來(lái)，其中，因?yàn)閿?shù)據(jù)接收者是知道傳輸列表的，所以接收者會(huì)知道各項(xiàng)數(shù)據(jù)對(duì)應(yīng)哪個(gè)對(duì)象。更具體地，列表的順序混合使用了兩種方式來(lái)指定，分別是“代理”代碼和列表的結(jié)構(gòu)化消息，這兩種方式結(jié)合起來(lái)，可以還原傳輸列表。對(duì)于可以用“代理”代碼的表達(dá)式組，組內(nèi)的順序用“代理”代碼來(lái)計(jì)算得到；對(duì)于不能用“代理”代碼的表達(dá)式組，則需要通信得到從第四部分功能所生成的傳輸列表消息，并從消息中，取出表達(dá)式的信息，從而通過(guò)遍歷表達(dá)式涉及的變量的范圍，來(lái)得到組內(nèi)的順序，有了這些順序，打包和拆包都是機(jī)械的動(dòng)作。
[0046]本實(shí)施例中，由于第四和第五部分功能的動(dòng)作都是要按具體情況來(lái)做的，因此需要用代碼生成程序來(lái)生成對(duì)應(yīng)的代碼。這些代碼所需要的前三部分功能的分析結(jié)果，是由表達(dá)式分析程序來(lái)產(chǎn)生的。
[0047]上述實(shí)施例為本發(fā)明較佳的實(shí)施方式，但本發(fā)明的實(shí)施方式并不受上述實(shí)施例的限制，其他的任何未背離本發(fā)明的精神實(shí)質(zhì)與原理下所作的改變、修飾、替代、組合、簡(jiǎn)化，均應(yīng)為等效的置換方式，都包含在本發(fā)明的保護(hù)范圍之內(nèi)。
【權(quán)利要求】
1.由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，包括下述步驟: 51、傳輸列表的邏輯分解并將傳輸列表按對(duì)象歸屬地劃分，由于邏輯命題“對(duì)象在某地”在數(shù)學(xué)中可以用“對(duì)象的位置在某地范圍內(nèi)”這種不等式所表示，所以所述劃分是通過(guò)求解由多維的不等式組得到的，而不等式組的求解可以先根據(jù)不等式之間的依賴關(guān)系拆分為相互獨(dú)立的小不等式組，以降低求解的復(fù)雜度，這就是所述的邏輯分解； 52、非線性部分優(yōu)化，利用非線性部分不等式的表格化來(lái)繼續(xù)縮小范圍，用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性部分不等式； 53、“代理”代碼定制，對(duì)于只包含線性表達(dá)式的組，只要該組表達(dá)式中的“常量”是在數(shù)據(jù)擁有者節(jié)點(diǎn)上可知的，那么該組就可以用“代理”代碼； 54、消息結(jié)構(gòu)化編碼解碼，所述消息是指為把傳輸列表發(fā)送給數(shù)據(jù)擁有者而所用的消息; 55、列表驅(qū)動(dòng)的數(shù)據(jù)打包拆包，所述列表是指?jìng)鬏斄斜?，所述?shù)據(jù)打包是按照列表所指定的順序，把發(fā)往某節(jié)點(diǎn)的數(shù)據(jù)集中放入一個(gè)消息中，以便用該消息把數(shù)據(jù)成批地發(fā)送給那個(gè)節(jié)點(diǎn)；數(shù)據(jù)拆包就是該消息的接收者把數(shù)據(jù)從消息中取出來(lái)； 上述步驟S1-S5都和傳輸列表中的對(duì)象的邏輯位置有關(guān)，這些對(duì)象都存儲(chǔ)在并行計(jì)算中邏輯概念上的共享數(shù)組時(shí)里，都被傳輸列表按照某種邏輯順序來(lái)排列，假設(shè)傳輸列表的順序是k維的，所請(qǐng)求的對(duì)象的數(shù)組是m維的，那么這段傳輸列表的序列的通項(xiàng)表達(dá)式就是關(guān)于k個(gè)變量的m維表達(dá)式，并且這k個(gè)變量變化的范圍都由傳輸請(qǐng)求指定。
2.根據(jù)權(quán)利要求1所述由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟SI中，邏輯分解首先是按照上述k個(gè)變量在這m維表達(dá)式中的分布，把這m維分成若干組，使得不同組的表達(dá)式包含不同的變量，然后把每一組的有線性表達(dá)式的維找出來(lái)；按對(duì)象歸屬地劃分是按照數(shù)組在不同節(jié)點(diǎn)上的分區(qū)，把傳輸列表分成若干個(gè)子表，每個(gè)子表中的對(duì)象都是一個(gè)節(jié)點(diǎn)的，不同子表的對(duì)象是不同節(jié)點(diǎn)的。
3.根據(jù)權(quán)利要求2所述由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，當(dāng)指定某個(gè)節(jié)點(diǎn)時(shí)，這m維的表達(dá)式，為了讓其值落在該節(jié)點(diǎn)的區(qū)域內(nèi)，每一維都能對(duì)應(yīng)兩個(gè)不等式，一個(gè)是該維表達(dá)式的值不小于該節(jié)點(diǎn)區(qū)域在這一維的下界，另一個(gè)是該維表達(dá)式的值不大于該節(jié)點(diǎn)區(qū)域在這一維的上界；所述邏輯分解，首先將這2m個(gè)不等式分成相互獨(dú)立的若干組，每一組不等式的解都不會(huì)影響其它組的解；其次將容易求解的線性不等式找出來(lái)；求解這些不等式，可以把那k個(gè)變量在這個(gè)節(jié)點(diǎn)上指定有效對(duì)象的范圍算出來(lái)，這個(gè)范圍可以比變量的全局范圍小很多；求解不等式的過(guò)程用的是幾何方法，只處理線性表達(dá)式得到的不等式:每一個(gè)這樣的線性不等式都對(duì)應(yīng)一個(gè)超平面；所述超平面在多維空間中的性質(zhì)和平面在三維空間中的性質(zhì)類似，平面是超平面的特例，每一個(gè)這樣的超平面都有可能把數(shù)據(jù)請(qǐng)求所用的變量的全局范圍切掉一部分，所述全局范圍即為一個(gè)超立方；這些超平面都切完之后，就剩下一個(gè)相對(duì)較小的有界凸集了。
4.根據(jù)權(quán)利要求1所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟S2中，用組內(nèi)涉及的變量的范圍來(lái)驗(yàn)證非線性部分不等式的方法是:遍歷所涉及的變量的取值范圍，逐點(diǎn)檢查非線性不等式是否成立；當(dāng)成立的點(diǎn)數(shù)所占比例低于事先確定的一個(gè)閾值時(shí)，就把非線性表達(dá)式轉(zhuǎn)變?yōu)楸砀?，其中只包含非線性不等式成立的那些點(diǎn)，且表格的維數(shù)由非線性不等式所涉及的變量數(shù)決定。
5.根據(jù)權(quán)利要求1所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟S3中，所述“常量”需要在每個(gè)節(jié)點(diǎn)上都維護(hù)一個(gè)常量表，這個(gè)常量表的內(nèi)容是各個(gè)節(jié)點(diǎn)上的“常量”在表格所在節(jié)點(diǎn)的副本；所述的“常量”是指表達(dá)式中除了請(qǐng)求給定范圍的那些變量之外的量，這些量可以是存儲(chǔ)在應(yīng)用程序的變量中的，這些變量不是表達(dá)式中的那些變量；所述“常量”，是相對(duì)的常量，不是程序中絕對(duì)的常量。
6.根據(jù)權(quán)利要求5所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，所述“常量”的維護(hù)，難點(diǎn)在于“常量”的同步更新，其同步更新的方法為: 在原節(jié)點(diǎn)上更新了 “常量”之后，在常量表所在節(jié)點(diǎn)上也做相應(yīng)地更新，保持副本與原本的一致性，常量表允許應(yīng)用程序做以下三方面的選擇:要保存哪些“常量”;哪些“常量”可以不需要通信，用給定的計(jì)算子程序可以異地更新；哪些“常量”需要通信來(lái)保持?jǐn)?shù)據(jù)同步；在常量表的幫助下，“代理”代碼可以沒有阻礙地對(duì)該組線性表達(dá)式進(jìn)行求值，從而避免了通過(guò)通信把組內(nèi)表達(dá)式信息發(fā)送給數(shù)據(jù)擁有者；“代理”代碼的模板是:先從常量表中取出所需的“常量”，再用超平面切割超立方體計(jì)算縮小的變量范圍，然后就可以在縮小的變量范圍內(nèi)遍歷各點(diǎn)，即遍歷在組所涉及的維上的投影，得到序列元素在這些維上的位置信息。
7.根據(jù)權(quán)利要求1所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟S4中，消息結(jié)構(gòu)化編碼解碼的具體方法為: 首先，對(duì)于步驟S3中確定可以用“代理”代碼的表達(dá)式組，該表達(dá)式組不需要放到消息中； 然后，所有要入到消息中的表達(dá)式，都按照下面格式來(lái)編碼:用一個(gè)整數(shù)來(lái)記錄表達(dá)式組的維數(shù)；用前述維數(shù)那么多個(gè)整數(shù)來(lái)記錄維號(hào)列表；用一個(gè)整數(shù)來(lái)記錄表達(dá)式邏輯樹的節(jié)點(diǎn)數(shù)；用節(jié)點(diǎn)數(shù)那么多個(gè)節(jié)點(diǎn)結(jié)構(gòu)來(lái)記錄節(jié)點(diǎn)內(nèi)容；用一個(gè)整數(shù)來(lái)記錄常量表長(zhǎng)度；用常量表長(zhǎng)度那么多個(gè)常量表結(jié)構(gòu)來(lái)記錄常量值；用一個(gè)整數(shù)來(lái)記錄該組表達(dá)式所涉及的變量數(shù)；用前述變量數(shù)那么多個(gè)整數(shù)來(lái)記錄變量在數(shù)據(jù)請(qǐng)求中的編號(hào)；用一個(gè)整數(shù)來(lái)記錄限定變量范圍的超平面數(shù)；對(duì)每個(gè)超平面，用前述變量數(shù)加一那么多個(gè)整數(shù)來(lái)記錄超平面的位置；按照上述格式來(lái)存表達(dá)式，就可以把數(shù)據(jù)請(qǐng)求編碼到消息中；解碼過(guò)程是按編碼過(guò)程反過(guò)來(lái)做的，即按上述格式把表達(dá)式組從消息中取出來(lái)。
8.根據(jù)權(quán)利要求7所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，所述節(jié)點(diǎn)內(nèi)容包括節(jié)點(diǎn)編號(hào)、父節(jié)點(diǎn)編號(hào)、作為子節(jié)點(diǎn)里的序號(hào)、操作符編號(hào)、左操作元類型和編號(hào)以及右操作元類型和編號(hào)； 所述結(jié)構(gòu)內(nèi)容包括常量編號(hào)、常量類型編號(hào)、常量維數(shù)、常量各維大小以及常量數(shù)據(jù)。
9.根據(jù)權(quán)利要求1所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟S5中，列表的順序混合使用了兩種方式來(lái)指定，分別是“代理”代碼和列表的結(jié)構(gòu)化消息，這兩種方式結(jié)合起來(lái)，可以還原傳輸列表，對(duì)于可以用“代理”代碼的表達(dá)式組，組內(nèi)的順序用“代理”代碼來(lái)計(jì)算得到；對(duì)于不能用“代理”代碼的表達(dá)式組，則需要通信得到從步驟S4所生成的傳輸列表消息，并從消息中，取出表達(dá)式的信息，從而通過(guò)遍歷表達(dá)式涉及的變量的范圍，來(lái)得到組內(nèi)的順序。
10.根據(jù)權(quán)利要求1所述的由序列通項(xiàng)表達(dá)式驅(qū)動(dòng)的并行計(jì)算傳輸列表實(shí)時(shí)壓縮方法，其特征在于，步驟S4和步驟S5的動(dòng)作都是要按具體情況來(lái)完成的，因此需要用代碼生成程序來(lái)生成對(duì)應(yīng)的代碼，這些代碼所需要的分析結(jié)果，是由表達(dá)式分析程序來(lái)產(chǎn)生的。
【文檔編號(hào)】H03M7/30GK104485967SQ201510010178
【公開日】2015年4月1日 申請(qǐng)日期:2015年1月8日 優(yōu)先權(quán)日:2015年1月8日
【發(fā)明者】吳峻峰, 許躍生, 張勇瑞, 林英展, 王健珊, 關(guān)文超, 何鴻愷, 李達(dá)超, 葉緯材, 張永東, 江穎 申請(qǐng)人:中山大學(xué)