次來將非冪等函數(shù)變換或轉(zhuǎn)換成冪等函數(shù)。在一些實(shí)施例中，代碼聚集器模塊510可組合任 何合適數(shù)目的函數(shù)(諸如轉(zhuǎn)移函數(shù)、冪等函數(shù)和回歸函數(shù))以形成冪等工作流。
[0060] 要理解，取決于具體應(yīng)用，圖5中未示出的任意數(shù)量的附加的軟件組件可以被包括 在有形的計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)500內(nèi)。盡管用結(jié)構(gòu)特征和/或方法專用的語言描述了本主 題，但可以理解，所附權(quán)利要求書中定義的主題不必限于上述具體結(jié)構(gòu)特征或方法。相反， 上文所描述的具體結(jié)構(gòu)特征和方法是作為實(shí)現(xiàn)權(quán)利要求書的示例形式公開的。
[0061] 圖6是用于生成冪等工作流的示例方法的過程流程圖。方法600可用任何適當(dāng)?shù)挠?jì) 算設(shè)備(諸如圖1的計(jì)算設(shè)備100)來實(shí)現(xiàn)。
[0062] 在框602,代碼分離器模塊120可檢測分布式代碼。如以上所討論的，分布式代碼可 包括可按連續(xù)和同步方式在任何合適數(shù)目的計(jì)算設(shè)備內(nèi)執(zhí)行的任何合適的源代碼。在一些 實(shí)施例中，分布式代碼可包括可在任何合適數(shù)目的計(jì)算設(shè)備上執(zhí)行的各函數(shù)。
[0063] 在框604,代碼分離器模塊120可標(biāo)識(shí)分布式代碼中的連續(xù)、同步函數(shù)。在一些實(shí)施 例中，一連續(xù)、同步函數(shù)可在先前執(zhí)行的連續(xù)、同步函數(shù)之后被執(zhí)行。在框606,代碼分離器 模塊120可標(biāo)識(shí)冪等函數(shù)、邊界函數(shù)和中間函數(shù)。如以上所討論的，在錯(cuò)誤的情況下可重啟 冪等函數(shù)。冪等函數(shù)還可被執(zhí)行任何合適的次數(shù)并返回相同的輸出值。在一些示例中，邊界 函數(shù)可包括分布式代碼中可包括兩個(gè)分開的計(jì)算設(shè)備、進(jìn)程或角色等中的執(zhí)行指令的任何 部分。在本文中也被稱為非冪等函數(shù)的中間函數(shù)可在操作執(zhí)行期間修改各參數(shù)的值。在一 些示例中，中間函數(shù)可基于計(jì)算設(shè)備的狀態(tài)修改這些參數(shù)的值。
[0064]在框608,代碼分離器模塊120可創(chuàng)建持久工作流數(shù)據(jù)庫。在一些實(shí)施例中，持久工 作流數(shù)據(jù)庫可存儲(chǔ)與冪等工作流有關(guān)的任何合適的信息。例如，持久工作流數(shù)據(jù)庫可存儲(chǔ) 包括在冪等工作流中的函數(shù)，諸如冪等函數(shù)和邊界函數(shù)等等。持久工作流數(shù)據(jù)庫還可存儲(chǔ) 每一函數(shù)的諸如輸入值和輸出值之類的數(shù)據(jù)以及在函數(shù)的執(zhí)行期間發(fā)生的最后一個(gè)錯(cuò)誤 等等。
[0065]在框610,代碼生成器122可創(chuàng)建對(duì)應(yīng)于環(huán)境和輸入的初始化函數(shù)。如上所述，初始 化函數(shù)可包括任何合適的輸入值和任何合適量的要執(zhí)行的源代碼。例如，初始化函數(shù)可建 立附加函數(shù)將在其中執(zhí)行的計(jì)算設(shè)備的狀態(tài)或環(huán)境。
[0066] 在框612,代碼生成器122可將邊界函數(shù)拆分成純邊界函數(shù)和中間函數(shù)。在文本中 也被稱為轉(zhuǎn)移函數(shù)的純邊界函數(shù)可包括可從本地計(jì)算設(shè)備或進(jìn)程等轉(zhuǎn)移到遠(yuǎn)程計(jì)算設(shè)備 或進(jìn)程等的任何合適的源代碼。在本文中也被稱為非冪等函數(shù)的中間函數(shù)可包括來自邊界 函數(shù)的可基于計(jì)算設(shè)備的狀態(tài)修改參數(shù)的任何合適量的源代碼。
[0067]在框614,代碼生成器122可通過將環(huán)境作為遠(yuǎn)程會(huì)話中的參數(shù)來傳遞來遞歸地處 置邊界跳躍。在一些實(shí)施例中，該環(huán)境可表示計(jì)算設(shè)備的狀態(tài)。在一些示例中，代碼生成器 122可生成使得轉(zhuǎn)移函數(shù)能夠接收與本地計(jì)算設(shè)備或遠(yuǎn)程計(jì)算設(shè)備的環(huán)境相對(duì)應(yīng)的參數(shù)的 代碼。
[0068] 在框616,代碼生成器122可通過將標(biāo)記和事務(wù)(在本文中也被稱為函數(shù))添加到冪 等數(shù)據(jù)庫中來將中間函數(shù)轉(zhuǎn)換成冪等函數(shù)。這些標(biāo)記可指示函數(shù)之前是否已被執(zhí)行過。在 一些實(shí)施例中，標(biāo)記可指示函數(shù)將被執(zhí)行并返回輸出值還是返回來自先前執(zhí)行的輸出值。 例如，標(biāo)記可指示函數(shù)尚未被執(zhí)行。在一些實(shí)施例中，函數(shù)可被執(zhí)行并且輸出值可在框618 被存儲(chǔ)在冪等數(shù)據(jù)庫中。如果函數(shù)被再次執(zhí)行，則該函數(shù)可返回存儲(chǔ)在冪等數(shù)據(jù)庫中的來 自該函數(shù)的先前執(zhí)行的輸出值。
[0069]在框620,代碼生成器122可使用持久工作流數(shù)據(jù)庫來定義每一函數(shù)的輸入。在一 些實(shí)施例中，每一輸入值可包括每一先前執(zhí)行的函數(shù)的輸出值的并集。在框622，代碼聚集 器124可使用針對(duì)輸入和輸出值的持久工作流數(shù)據(jù)庫將初始函數(shù)、冪等函數(shù)和邊界函數(shù)縫 合在一起。在一些實(shí)施例中，初始函數(shù)、冪等函數(shù)和邊界函數(shù)的組合可形成冪等工作流。在 框624,代碼聚集器124可在執(zhí)行冪等工作流后返回最終輸出。
[0070]圖6的過程流程圖不旨在指示方法600的各步驟要以任何特定次序來執(zhí)行或者在 每一種情況下都要包括方法600的所有步驟。此外，取決于具體的應(yīng)用，任意數(shù)量的附加步 驟可被包括到方法600內(nèi)。
【主權(quán)項(xiàng)】
1. 一種用于生成冪等工作流的系統(tǒng)，包括： 執(zhí)行處理器可執(zhí)行代碼的處理器； 存儲(chǔ)器，該存儲(chǔ)器存儲(chǔ)處理器可執(zhí)行代碼，其中所述處理器可執(zhí)行代碼在被所述處理 器執(zhí)行時(shí)使得所述處理器： 檢測分布式代碼； 標(biāo)識(shí)所述分布式代碼中的邊界函數(shù)； 將所述邊界函數(shù)分成轉(zhuǎn)移函數(shù)、非冪等函數(shù)和回歸函數(shù)； 將所述非冪等函數(shù)轉(zhuǎn)換成冪等函數(shù)； 組合所述轉(zhuǎn)移函數(shù)、所述冪等函數(shù)和所述回歸函數(shù)以形成所述冪等工作流。2. 如權(quán)利要求1所述的系統(tǒng)，其特征在于，所述處理器可執(zhí)行代碼在被所述處理器執(zhí)行 時(shí)使得所述處理器將所述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù)和所述回歸函數(shù)存儲(chǔ)在持久工作流數(shù) 據(jù)庫中。3. 如權(quán)利要求2所述的系統(tǒng)，其特征在于，所述處理器可執(zhí)行代碼在被所述處理器執(zhí)行 時(shí)使得所述處理器將具有所述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù)和所述回歸函數(shù)的輸入陣列存儲(chǔ) 在所述持久工作流數(shù)據(jù)庫中。4. 如權(quán)利要求3所述的系統(tǒng)，其特征在于，所述輸入陣列包括與每一先前執(zhí)行的函數(shù)相 對(duì)應(yīng)的輸出值的并集。5. 如權(quán)利要求1所述的系統(tǒng)，其特征在于，所述邊界函數(shù)包括從本地進(jìn)程到遠(yuǎn)程進(jìn)程的 轉(zhuǎn)移。6. -種用于生成冪等工作流的方法，包括： 檢測分布式代碼； 標(biāo)識(shí)所述分布式代碼中的邊界函數(shù)； 將所述邊界函數(shù)分成轉(zhuǎn)移函數(shù)、非冪等函數(shù)和回歸函數(shù)； 通過生成與所述非冪等函數(shù)相對(duì)應(yīng)的標(biāo)記來將所述非冪等函數(shù)轉(zhuǎn)換成冪等函數(shù)，其中 所述標(biāo)記指示所述非冪等函數(shù)是否已被執(zhí)行；以及 組合所述轉(zhuǎn)移函數(shù)、所述冪等函數(shù)和所述回歸函數(shù)以形成所述冪等工作流。7. 如權(quán)利要求6所述的方法，其特征在于，包括將所述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù)和所 述回歸函數(shù)存儲(chǔ)在持久工作流數(shù)據(jù)庫中。8. 如權(quán)利要求7所述的方法，其特征在于，包括將具有所述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù) 或所述回歸函數(shù)的輸入陣列存儲(chǔ)在所述持久工作流數(shù)據(jù)庫中。9. 如權(quán)利要求8所述的方法，其特征在于，所述輸入陣列包括與每一先前執(zhí)行的函數(shù)相 對(duì)應(yīng)的輸出值的并集。10. 如權(quán)利要求6所述的方法，其特征在于，所述邊界函數(shù)包括從本地進(jìn)程到遠(yuǎn)程進(jìn)程 的轉(zhuǎn)移。11. 如權(quán)利要求6所述的方法，其特征在于，冪等函數(shù)包括從所述冪等函數(shù)的多次執(zhí)行 中產(chǎn)生單個(gè)輸出值的代碼。12. 如權(quán)利要求6所述的方法，其特征在于，冪等函數(shù)包括從所述冪等函數(shù)的多次執(zhí)行 中產(chǎn)生單個(gè)輸出值的代碼。13. 如權(quán)利要求7所述的方法，其特征在于，所述持久工作流數(shù)據(jù)庫包括表示在執(zhí)行所 述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù)或所述回歸函數(shù)時(shí)生成的錯(cuò)誤的字段。14. 如權(quán)利要求6所述的方法，其特征在于，如果所述標(biāo)記指示所述轉(zhuǎn)移函數(shù)、所述非冪 等函數(shù)或所述回歸函數(shù)先前已被執(zhí)行，則返回來自所述轉(zhuǎn)移函數(shù)、所述非冪等函數(shù)或所述 回歸函數(shù)的先前執(zhí)行的輸出值。15. 如權(quán)利要求7所述的方法，其特征在于，所述持久工作流數(shù)據(jù)庫包括表示所述轉(zhuǎn)移 函數(shù)、所述非冪等函數(shù)或所述回歸函數(shù)中的指令數(shù)的指令數(shù)值。
【專利摘要】本文中描述了用于生成冪等工作流的各方法和系統(tǒng)。在一示例中，方法包括檢測分布式代碼并標(biāo)識(shí)分布式代碼中的邊界函數(shù)。該方法還可包括將邊界函數(shù)分成轉(zhuǎn)移函數(shù)、非冪等函數(shù)和回歸函數(shù)。此外，該方法可包括通過生成與該非冪等函數(shù)相對(duì)應(yīng)的標(biāo)記來將該非冪等函數(shù)轉(zhuǎn)換成冪等函數(shù)，其中該標(biāo)記指示該非冪等函數(shù)是否已被執(zhí)行。此外，該方法可包括組合轉(zhuǎn)移函數(shù)、冪等函數(shù)和回歸函數(shù)以形成冪等工作流。
【IPC分類】G06F9/44
【公開號(hào)】CN105579957
【申請(qǐng)?zhí)枴緾N201480048016
【發(fā)明人】B·戈帕爾, Y·拉布奈茨, A·辛普森, J·魯普卡, K·朱, R·塔伯安達(dá), S·凱韓尼安
【申請(qǐng)人】微軟技術(shù)許可有限責(zé)任公司
【公開日】2016年5月11日
【申請(qǐng)日】2014年8月28日
【公告號(hào)】EP3039534A1, US20150067095, WO2015031549A1