中邏輯過程的矩形沿著時間 軸重疊的時段對應(yīng)于其中發(fā)生并行操作的時段。
[0034] 邏輯過程A和B彼此同步，例如通過在開始時間向彼此發(fā)送消息。從邏輯過程A 到邏輯過程B的發(fā)送（在圖1中為ml)向邏輯過程B通知為Lab的時間滯后。因此，邏輯 過程B可以在時段Bl期間執(zhí)行仿真，在時段Bl期間，L'的時間流逝。由于邏輯過程A已 經(jīng)從邏輯過程B接收到具有L'BA = 0的消息（nl)，所以邏輯過程A不能執(zhí)行仿真，并且進 入待機狀態(tài)以等待來自邏輯過程B的消息。
[0035] 在與L'AB對應(yīng)的時間流逝之后，邏輯過程B停止仿真的執(zhí)行，并且向邏輯過程A發(fā) 送消息（n2)。該消息允許邏輯過程A的執(zhí)行，直到對應(yīng)于具有為0時間滯后的流逝的L'ab 的時段結(jié)束（即，直到時段L'AB+0結(jié)束，或者時段Al結(jié)束）。然后，邏輯過程B進入待機狀 態(tài)并且等待來自邏輯過程A的消息。
[0036] 響應(yīng)于接收到允許執(zhí)行的消息（n2)，邏輯過程A在時段Al中執(zhí)行仿真，在時段Al 期間，Lab的時間流逝。在對應(yīng)于Lab的時間流逝之后（S卩，在對應(yīng)于從仿真開始的2L'ab 的時間流逝之后），邏輯過程A停止仿真的執(zhí)行并且向邏輯過程B發(fā)送消息（m2)。該消息 允許邏輯過程B的執(zhí)行，直到具有為L'AB的時間滯后的時段BI( =Al)結(jié)束（即，直到時 段L'AB+L' 結(jié)束或者時段B2結(jié)束）。然后，邏輯過程A進入待機狀態(tài)并且等待來自邏輯過 程B的消息。
[0037]響應(yīng)于來自邏輯過程A的消息（m2)，邏輯過程B退出待機模式，并且在時段B2期 間執(zhí)行仿真。在時段B2流逝后，邏輯過程B停止仿真的執(zhí)行并且向邏輯過程A發(fā)送消息 (n3)以允許邏輯過程A在為A2的時段期間執(zhí)行。然后，邏輯過程B進入待機狀態(tài)并且等待 來自邏輯過程A的消息。
[0038] 邏輯過程A和B重復(fù)這一操作并且執(zhí)行仿真，同時維持在它們之間的同步。然而， 由于沒有發(fā)生并行執(zhí)行，所以不可能增加執(zhí)行的速度。因此，將在整個仿真的開始之前的預(yù) 定時段設(shè)置為初始時間偏移，并且預(yù)定邏輯過程被預(yù)先執(zhí)行。然后，并行執(zhí)行兩個邏輯過 程。
[0039] 圖2圖示了根據(jù)本實施例的邏輯過程以及具有初始偏移時段的邏輯過程的第一 示例性操作。類似于圖1，圖2圖示了其中由邏輯過程A和B執(zhí)行仿真的配置，并且L' BA為 OG^ab 關(guān) 〇,l'ba = 〇)。
[0040] 在本實施例中，邏輯過程A的初始時間偏移由Sa表示，邏輯過程B的初始時間偏 移由Sb表示，并且初始偏移時段SSa-Sb = (L'BA-L'AB)/2表達。邏輯過程的初始時間偏移 是從預(yù)定參考時間到當邏輯過程開始仿真處理時的時間流逝的時間量。
[0041] 因此，邏輯過程A和B的初始偏移時段（Sa-Sb)是在邏輯過程A的處理開始時間和 邏輯過程B的處理開始時間之間的差值。例如，在圖1中圖示的邏輯過程A和B的初始偏 移時段（Sa-Sb)為0,并且兩個邏輯過程基本上同時開始處理。
[0042] 在圖2中，其中L'BA = 0,初始偏移時段被表達為Sb-Sa =L'AB/2。這意味著邏輯過 程B比邏輯過程A早初始偏移時段（L'm/2)執(zhí)行仿真。也就是說，邏輯過程B在邏輯過程 A的執(zhí)行開始時間預(yù)先開始處理（時段B0)。在開始時間，邏輯過程A發(fā)送消息給在另一側(cè) 上的邏輯過程B以允許邏輯過程B提前處理，直到時段Bl結(jié)束。同時，邏輯過程A進入待 機狀態(tài)以等待來自邏輯過程B的消息。
[0043] 響應(yīng)于接收到消息，邏輯過程B開始仿真。在對應(yīng)于初始偏移時段（L'AB/2)的時 段流逝之后，邏輯過程B發(fā)送允許邏輯過程A執(zhí)行直到時段Al結(jié)束的消息。由于此時對應(yīng) 于所允許的時間滯后L'AB的時間還未流逝，所以邏輯過程B繼續(xù)仿真的執(zhí)行（前進到時段 BI)。
[0044] 響應(yīng)于接收到執(zhí)行允許消息，邏輯過程A在時段Al中執(zhí)行仿真，在時段Al期間， L' #/2的時間流逝。在對應(yīng)于從仿真開始起L'AB的時間流逝之后，邏輯過程A結(jié)束仿真執(zhí) 行時段A1，并且向邏輯過程B發(fā)送消息以允許執(zhí)行，直到時段B2結(jié)束。邏輯過程B結(jié)束仿 真執(zhí)行時段B1，并且向邏輯過程A發(fā)送消息以允許執(zhí)行，直到時段A2結(jié)束。同時，邏輯過程 B響應(yīng)于該消息開始在時段B2中的仿真的執(zhí)行。
[0045] 響應(yīng)于接收到執(zhí)行允許消息，邏輯過程A在時段A2中執(zhí)行仿真。在對應(yīng)于從仿真 開始起I. 5XL' 的時間流逝之后，邏輯過程A結(jié)束仿真執(zhí)行時段A2,并且向邏輯過程B發(fā) 送消息以允許執(zhí)行，直到時段B3結(jié)束。邏輯過程B結(jié)束仿真執(zhí)行時段B2,并且向邏輯過程 A發(fā)送消息以允許執(zhí)行，直到時段A3結(jié)束。同時，邏輯過程B響應(yīng)于該消息開始在時段B3 中的仿真的執(zhí)行。
[0046] 邏輯過程A和B重復(fù)這一操作并且并行執(zhí)行仿真，同時維持它們之間的同步。這 使得能夠降低仿真執(zhí)行的總體時間。
[0047] 即使在L'ffi和L'BA都不為0 尹0,L'BA尹0)時，邏輯過程的并行執(zhí)行的時段 也可以通過允許預(yù)定邏輯過程的先行而被增加，其中時間的預(yù)定時段被設(shè)置為初始偏移時 段。圖3圖示了根據(jù)實施例的邏輯過程以及具有初始偏移時段的邏輯過程的第二示例性操 作。類似于圖1和圖2,圖3圖示了其中由邏輯過程A和B執(zhí)行仿真的配置。此處，1；#和 L'BA 都不為 0 (L，AB 關(guān) 0,L'BA = 0)。
[0048] 同樣，邏輯過程A的初始時間偏移由Sa表示，邏輯過程B的初始時間偏移由&表 示，并且初始偏移時段SSa-Sb = (L'BA-L'AB)/2表達。此處，初始偏移時段被設(shè)置為滿足 Sa-Sb = (L'BA-L' AB) /2>0 (即，L'BA>L'J，并且邏輯過程A比邏輯過程B早預(yù)定初始偏移時 段（L'BA-L\B)/2)執(zhí)行仿真。
[0049] 具體而言，在開始時間，邏輯過程B向邏輯過程A發(fā)送消息（nl)以允許執(zhí)行，直到 對應(yīng)于時間滯后L'BA的時段（Al)結(jié)束。同時，邏輯過程A開始在時段AO中的仿真，在時段 AO期間，（L'm-L、)/2的時間流逝。此處，邏輯過程B進入待機狀態(tài)并且等待來自邏輯過 程A的消息。
[0050] 在對應(yīng)于（L'BA-L' AB) /2的時間流逝之后，邏輯過程A向邏輯過程B發(fā)送消息（ml) 以允許執(zhí)行，直到對應(yīng)于時間滯后L'AB的時段（BI)結(jié)束。由于此時對應(yīng)于所允許的時段Al 的時間還未流逝，所以邏輯過程A繼續(xù)仿真的執(zhí)行（前進到時段Al)。
[0051] 響應(yīng)于接收到執(zhí)行允許消息（ml)，邏輯過程B執(zhí)行仿真，直到時段Bl結(jié)束，在時段 81期間，1^+〇^-1^)/2(=〇^+1；。/2)的時間流逝。在時段81中的仿真的執(zhí)行之 后，邏輯過程B向邏輯過程A發(fā)送消息（n2)以允許執(zhí)行，直到時段A2結(jié)束。
[0052] 在對應(yīng)于從開始點起1\4的時間流逝之后（S卩，在對應(yīng)于從時段Al開始起 L'BA-(L'BA-L'AB)/2 = (L'AB+L'BA)/2的時間流逝之后），邏輯過程A結(jié)束仿真執(zhí)行時段Al。 然后，邏輯過程A向邏輯過程B發(fā)送消息（m2)以允許執(zhí)行，直到時段B2結(jié)束。時段Al的 開始時間和時段Bl的開始時間基本上與從仿真開始時流逝時段AO之后的時間點相同。對 應(yīng)于時段Al和Bl中的每個時段的時間基本上等于（L'm+L、)/2。
[0053] 因此，邏輯過程A和B接收允許基本上同時執(zhí)行直到下一時段（A2和B2)相應(yīng)結(jié) 束的消息，并且基本上同時在下一時段中執(zhí)行處理。邏輯過程A和B重復(fù)這一操作并且并 行執(zhí)行仿真，同時維持它們之間的同步。通過允許預(yù)定邏輯過程的先行，能夠增加邏輯過程 的并行執(zhí)行的時段，并且降低仿真執(zhí)行的總體時間。
[0054] 盡管在以上描述中由兩個邏輯過程執(zhí)行仿真，仿真也可以由三個或者更多個邏輯 過程類似地執(zhí)行。此處，一個邏輯過程從多個其他邏輯過程接收執(zhí)行允許消息。在這種情 況中，該一個邏輯過程在由多個消息所允許的所有時段中的最短時段期間執(zhí)行處理，假定 允許直至最短時段結(jié)束的處理。
[0055] 在如上所述設(shè)置每個邏輯過程的初始時間偏移中，在諸如樹形配置或者其中每個 過程一次發(fā)送一個消息的配置的簡單通信鏈路配置的情況中可以分析地計算初始時間偏 移。也就是說，每個初始時間偏移可以通過求解聯(lián)立方程，Sa-Sb= (L'm-L'ab)/^、Sb-Sc = (L'cb-L' BC) /2、......、Sk-Sz = (L'ZK-L'