專利名稱：基于狀態(tài)變量的誤差檢測和/或校正的制作方法
技術(shù)領(lǐng)域：
本申請一般地涉及計算領(lǐng)域，更具體地涉及基于狀態(tài)變量的誤差檢測和/或校正。
背景技術(shù)：
可能存在眾多的設(shè)計目的和操作目的，包括延遲(latency)、吞吐量、面積、成本和功率。這些設(shè)計目的和操作目的的相對重要性會隨著實現(xiàn)技術(shù)、應(yīng)用程序和支持工具的趨勢而變化。然而，如果可編程設(shè)計或?qū)Ｓ迷O(shè)計正確地工作，那么這些設(shè)計和操作目的或度量(metric)可以是相關(guān)的。因此，對用于誤差檢測、診斷和校正的技術(shù)和工具的開發(fā)會具有極為重要的重要性。用于誤差檢測、診斷和校正的技術(shù)和工具的重要性在低功率設(shè)計和 /或低功率設(shè)備操作和調(diào)試中(諸如可以在有挑戰(zhàn)性的條件和嚴(yán)格的計算資源與能量約束下工作的無線系統(tǒng)和移動系統(tǒng))甚至?xí)摺Ｓ捎诳赡艿臒崦舳群瓦B續(xù)的工作模式，具有強(qiáng)調(diào)的重要性的其他類型的系統(tǒng)包括在數(shù)據(jù)中心中使用的計算機(jī)和通信設(shè)備。

發(fā)明內(nèi)容
本發(fā)明的實施例包括與基于狀態(tài)變量的針對計算的誤差檢測和/或校正相關(guān)聯(lián)的方法、裝置和制造品。在各實施例中，方法可以包括第一計算平臺接收使用一個或多個輸入數(shù)據(jù)在第二計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值。該一組一個或多個狀態(tài)變量可以定義在截取處之后的計算。在各實施例中，該方法還可以包括第一計算平臺檢測在第二計算平臺上進(jìn)行的計算的一個或多個誤差。檢測可以至少部分地基于計算的截取處的一組一個或多個狀態(tài)變量。在各實施例中，該方法還可以包括第三計算平臺確定一組一個或多個校正，以及第三計算平臺向第二計算平臺提供該一組一個或多個校正。第一計算平臺和第三計算平臺可以是同一計算平臺或者不同的計算平臺。在各實施例中，確定可以包括求解具有多個變量的線性方程組，其中，來自一個或多個狀態(tài)變量中的獨立狀態(tài)變量對應(yīng)于線性方程組的變量。在各實施例中，該方法還可以包括第一計算平臺使用相同的一個或多個輸入數(shù)據(jù)在第一計算平臺上進(jìn)行相同的計算，以及第一計算平臺對在第一計算平臺上進(jìn)行的計算的對應(yīng)截取處的一組一個或多個狀態(tài)變量的對應(yīng)的一個或多個當(dāng)前值進(jìn)行采集。檢測可以包括對在第二計算平臺和第一計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值分別進(jìn)行比較。在各實施例中，截取處可以包括完整的截取處，該完整的截取處包括對該截取處之后的計算進(jìn)行定義的所有狀態(tài)變量。在各實施例中，截取處可以包括部分截取處，該部分截取處包括對該截取處之后的計算進(jìn)行定義的所有狀態(tài)變量的子集。在各實施例中，計算可以是在第二計算平臺的第一定時配置下進(jìn)行的，該方法還可以包括為在第二計算平臺的第二定時配置下進(jìn)行的計算重復(fù)進(jìn)行上述接收、檢測、確定和提供。第一定時配置和第二定時配置可以是不同的。在各實施例中，計算可以在第二計算平臺上用第一組狀態(tài)元件進(jìn)行的，而方法還可以包括為在第二計算平臺上用第二組狀態(tài)元件進(jìn)行的計算重復(fù)進(jìn)行上述接收、檢測、確定和提供，其中，第一組狀態(tài)元件和第二組狀態(tài)元件是不同的。第一組狀態(tài)元件和第二組狀態(tài)元件對應(yīng)于第一組狀態(tài)變量和第二組狀態(tài)變量。在各實施例中，計算可以是在第二計算平臺上用第一組狀態(tài)元件進(jìn)行的，該方法還可以包括為在第二計算平臺上用第二組狀態(tài)元件進(jìn)行的計算重復(fù)進(jìn)行上述接收、檢測、 確定和提供。第一組狀態(tài)元件和第二組狀態(tài)元件可以是不同的，并且第一組狀態(tài)元件和第二組狀態(tài)元件對應(yīng)于第一組狀態(tài)變量和第二組狀態(tài)變量。在各實施例中，方法可以包括第一計算平臺使用一個或多個輸入數(shù)據(jù)來進(jìn)行計算；第一計算平臺采集計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值，其中，該一組一個或多個狀態(tài)變量定義了在該截取處之后的計算；以及將計算的截取處的一組一個或多個狀態(tài)變量的采集到的一個或多個當(dāng)前值從第一計算平臺發(fā)送到第二計算平臺，以用于第二計算平臺對在第一計算平臺上進(jìn)行的計算的一個或多個誤差進(jìn)行檢測，以及用于第二計算平臺針對所檢測到的誤差中的一個或多個誤差向第一計算平臺提供校正。在各實施例中，截取處可以包括完整的截取處，該完整的截取處包括對該截取處之后的計算進(jìn)行定義的所有狀態(tài)變量。在各實施例中，截取處可以包括部分截取處，該部分截取處包括對該截取處之后的計算進(jìn)行定義的所有狀態(tài)變量的子集。在各實施例中，計算可以是第二計算平臺的第一定時配置下進(jìn)行的，該方法還可以包括為在第二計算平臺的第二定時配置下進(jìn)行的計算重復(fù)進(jìn)行上述接收、檢測、確定和提供。第一定時配置和第二定時配置可以是不同的。在各實施例中，計算可以在第一計算平臺上用第一組狀態(tài)元件進(jìn)行的，該方法還可以包括為在第一計算平臺上用第二組狀態(tài)元件進(jìn)行的計算重復(fù)執(zhí)行上述進(jìn)行、采集和發(fā)送。第一組狀態(tài)元件和第二組狀態(tài)元件可以是不同的。在各實施例中，該方法還可以包括接收針對所檢測到的誤差中的一個或多個誤差的校正，其中，校正包括一組校正變量。在各實施例中，可以執(zhí)行上述進(jìn)行、采集和發(fā)送以對第一計算平臺的設(shè)計度量進(jìn)行優(yōu)化，其中，設(shè)計度量包括在延遲、吞吐量或功率中選擇的一個。在各實施例中，可以執(zhí)行上述進(jìn)行、采集和發(fā)送以滿足第一計算平臺的一個或多個質(zhì)量服務(wù)標(biāo)準(zhǔn)。在各實施例中，第一計算平臺可以是無線移動計算平臺。第二計算平臺可以是服務(wù)器計算平臺。在各實施例中，第一計算平臺可以以比第二計算平臺的工作能耗率更小的能耗率來工作。在各實施例中，裝置可以被配置成進(jìn)行在以上所概要的各實施例中所選擇的方面或所有方面。在各實施例中，制造品可以包括指令，該指令可以被配置成響應(yīng)于指令的執(zhí)行來使得裝置進(jìn)行在以上所概要的各實施例中所選擇的方面或所有方面。前述概要僅是示例性的并且并不意在以任何方式進(jìn)行限制。除了上述示例性的方面、實施例和特征之外，通過參照附圖和以下詳細(xì)的描述，另外的方面、實施例和特征將變得明顯。


根據(jù)以下描述和所附權(quán)利要求，結(jié)合附圖，本公開的前述特征和其他特征將會變得十分明顯。理解的是這些附圖僅描繪了根據(jù)本公開的幾個實施例，并且因此這些附圖并不被認(rèn)為是對本公開的范圍的限制，通過使用附圖，將用附加的特性和細(xì)節(jié)對本公開進(jìn)行描述。在附圖中圖1示出了根據(jù)各實施例在示例電路的環(huán)境下基于狀態(tài)變量的誤差檢測和校正；圖2示出了根據(jù)各實施例被配置成實行基于狀態(tài)變量的檢測和校正的兩個處理器或計算平臺；圖3示出了本公開的根據(jù)各實施例的方法；圖4示出了根據(jù)各實施例在包括重定時的另一個示例電路的環(huán)境下基于狀態(tài)變量的誤差檢測和校正的附加方面；圖5示出了根據(jù)各實施例所配置的計算系統(tǒng)；以及圖6示出了根據(jù)各實施例所配置的計算程序產(chǎn)品。
具體實施例方式在以下詳細(xì)的說明書中，對附圖進(jìn)行了參考，附圖形成了該描述的一部分。在附圖中，相似的符號通常標(biāo)識了相似的部分，除非上下文有不同的指示。在詳細(xì)的說明書、附圖和權(quán)利要求中所描述的示例性示例或?qū)嵤├⒉灰馕吨窍拗菩缘?。在不脫離這里所呈現(xiàn)的主題的精神或范圍的情況下，可以利用其他示例或?qū)嵤├?，而且可以進(jìn)行其他改變。將很容易地理解如這里總體描述的并在附圖中所示出的，本公開的多個方面可以以各種各樣不同的配置來布置、替換、結(jié)合和設(shè)計，所有這些都是明確地預(yù)期的并且組成本公開的一部分。本公開尤其涉及與基于狀態(tài)變量的誤差檢測和/或校正有關(guān)的方法、裝置、系統(tǒng)和計算機(jī)程序產(chǎn)品。在各實施例中，所公開的技術(shù)可以用于對由于制造的可變性而造成的永久誤差進(jìn)行校正。本公開包括用于誤差檢測、診斷、表征和校正的基于狀態(tài)變量的技術(shù)。在各種實施例中，可以對在計算的截取處(cut)的一組狀態(tài)變量進(jìn)行觀察、分析和校正。在各實施例中，可以通過保持正確性(在服務(wù)質(zhì)量(QM)方面是絕對的或者是限定的)同時可以優(yōu)化感興趣的相關(guān)度量(諸如延遲、吞吐量、能耗、檢測和校正)的方式來進(jìn)行觀察、分析和校正。現(xiàn)參照圖1，其中示出了根據(jù)本公開的各實施例在示例電路100的環(huán)境下基于狀態(tài)變量的誤差檢測和誤差校正。電路100可以是可以在數(shù)字信號處理應(yīng)用中使用的、或者可以在數(shù)字信號處理器中找到的基于二階無限脈沖響應(yīng)濾波器的四階無限脈沖響應(yīng)(IIR) 濾波器(4th order infinite impulse response biquad-based filter) 如所示的，電路100包括若干加法器A1至A8、若干具有相關(guān)聯(lián)的系數(shù)C1至C8的相互耦合的乘法器、輸入 (In)和輸出(Out)。此外，對于這些實施例來說，電路100還可以設(shè)置有若干分別設(shè)置在節(jié)點Ii1和節(jié)點 之間、節(jié)點 和節(jié)點n3之間、節(jié)點n4和節(jié)點n5之間以及節(jié)點n5和節(jié)點n6之間的狀態(tài)元件以在操作的分離迭代之后采集狀態(tài)變量Si、S2、S3和S4。
因此，電路100可以無限循環(huán)地連續(xù)工作，語義學(xué)上是同步數(shù)據(jù)流。在一些實施例中，在迭代#1后，S1Ol = InJC1 * SiOO+C^OS2il = S1OOSV1 = S1OHC2 * S1IMHC3 * S2OOs3ii = sv2+c5 * s3io+c6 * s4ios4il = SgiOOUT2 = S3Ol+C7 * S3i0+c8 * s4i0在迭代#2后，S1I^ = InJC1* S1OHS4OlS2il = S1OlSV2 = S1I^C2* S1OHC3 * s2ils3i2 = sv2+c5 * s3ii+c6 * s4iis4i2 = s3ilOUT2 = S3i2+c7 * S3Ol+C8 * S4Ol等等。在一些實施例中，為了針對電路100的正確性能進(jìn)行監(jiān)測或者針對誤差進(jìn)行監(jiān)測，監(jiān)測相對小和有限的變量組(例如由Si、S2, S3, S4和Out表示的變量)可能是足夠的。 此外，同樣的變量可以被用于對任意組誤差的校正。示例變量組Si、S2、&、S4和Out不一定是可以被采用以針對誤差進(jìn)行監(jiān)測的唯一變量組?？梢孕纬煽商鎿Q的變量組并且對其進(jìn)行監(jiān)測，例如作為加法器的輸出a2、a4、a5、a8、s2、S4和Out的輸出的變量。為了本公開的目的，可以將在迭代結(jié)尾處觀察到的變量S” S2, S3、S4和Out (或者 A2、A4、A5、A8、S2、&和Out)稱為在計算的截取處(cut)觀察到的狀態(tài)變量。截取處的狀態(tài)變量可以定義在該截取處之后的計算。在各實施例中，截取處可以是完整的或完全的截取處或者是部分截取處。完整的或完全的截取處包括對截取處之后的計算進(jìn)行定義的所有狀態(tài)變量，而部分截取處包括所有狀態(tài)變量的子集。完整的或完全的截取處具有下述性質(zhì)其使得該完整的或完全的截取處能夠包括足夠的狀態(tài)變量以對計算中的誤差的至少是重要的一部分進(jìn)行檢測和校正。完整的或完全的截取處在間隔尺寸上可以有很大的不同。例如，一個普通的截取處包括計算的奇數(shù)迭代或偶數(shù)迭代中的所有狀態(tài)變量。另外，更小的或者部分截取處可以由迭代中的狀態(tài)變量的子集形成。注意，狀態(tài)變量不一定與由圖1中的矩形所表示的狀態(tài)元件對應(yīng)。例如，A”A4、 A5、A8與Cp C4、C5和C6的乘積的和的輸出可以形成一個這樣的截取處。電路100的部分截取處的示例可以包括變量S1和&。電路濾波器100的部分截取處的另一個示例可以包括變量sv、S3和、。特別感興趣的可能是第一部分截取處對于校正大部分對校正是重要的誤差是足夠的。具體地，當(dāng)乘積的系數(shù)CpCpC3和C4明顯地大于系數(shù)C5、C6、C7和C8時，可能是這種情況。因此，取決于操作目的，可能沒有必要總是對完整的或完全的截取處的變量集合進(jìn)行監(jiān)測?，F(xiàn)在參照圖2，其中，示出了根據(jù)各實施例被配置成實行基于狀態(tài)變量的檢測和校正的兩個處理器或計算平臺。如所示的，處理器或計算平臺201包括具有若干狀態(tài)元件的電路202用于進(jìn)行各種各樣的計算。處理器或計算平臺201還包括控制器204以對具有一組狀態(tài)元件的電路202進(jìn)行配置使其進(jìn)行計算?？刂破?04被配置成通過一組狀態(tài)變量對計算進(jìn)行監(jiān)測，這一組狀態(tài)變量與被包括在配置中的用于進(jìn)行計算的狀態(tài)元件相對應(yīng)，例如以上針對圖1所描述的。處理器或計算平臺203可以被設(shè)置成對處理器或計算平臺201 的補(bǔ)充。處理器或計算平臺201可能是受到能量、計算資源、設(shè)計或制造的約束的，而這有可能會導(dǎo)致誤差的可能性的增加。然而，處理器或計算平臺203可以更多地訪問能量或計算資源等，并且其針對一大組誤差可以是更加強(qiáng)健的。在各實施例中，處理器或計算平臺201被配置成采集在計算的截取處的狀態(tài)變量以及將狀態(tài)變量205發(fā)送到處理器或計算平臺203。如早先所涉及到的，截取處可以是計算的完整的或完全的截取處或者部分截取處。在各實施例中，處理器或計算平臺203在接收206到狀態(tài)變量后對所接收到的狀態(tài)變量進(jìn)行分析，并且基于該分析的結(jié)果對誤差進(jìn)行檢測208。在各實施例中，處理器或計算平臺203還診斷誤差、產(chǎn)生校正210以對所檢測到的誤差中的一個或多個進(jìn)行校正、以及將校正207發(fā)送210到處理器或計算平臺201。在各實施例中，處理器或計算平臺203可以設(shè)置有相同的程序和輸入數(shù)據(jù)以在截取處生成對應(yīng)的狀態(tài)變量用于誤差檢測和校正。在各實施例中，處理器或計算平臺201以及處理器或計算平臺203可以獨立地或分別設(shè)置有要被執(zhí)行的程序和輸入數(shù)據(jù)。在各實施例中，處理器或計算平臺203在接收到狀態(tài)變量后對所接收到的狀態(tài)變量進(jìn)行分析，并且基于該分析的結(jié)果對誤差進(jìn)行檢測。在各實施例中，處理器或計算平臺203還可以診斷誤差、產(chǎn)生校正以對所檢測到的誤差中的一個或多個進(jìn)行校正、以及將校正207發(fā)送到處理器或計算平臺203。校正207可以指令處理器或計算平臺203如何對所檢測到的誤差進(jìn)行校正。在可替換的實施例中，處理器或計算平臺203可以在處理器或計算平臺201的故障方面對處理器或計算平臺201表征(characterize)、對處理器或計算平臺201的執(zhí)行進(jìn)行模擬或仿真、以及發(fā)送所需要的校正以校正誤差。校正可以是獨立于數(shù)據(jù)的或者是對有關(guān)的程序通用的。在各實施例中，可以以離線方式實行本公開；在其他實施例中，也可以以在線方式實行本公開。在在線實施例中，可以使用有線通信或無線通信來在所涉及的設(shè)備之間對數(shù)據(jù)進(jìn)行傳送。在對本公開的實施例進(jìn)行進(jìn)一步的描述之前，應(yīng)該注意的是為了本說明書的目的，可以被認(rèn)為是誤差的并不限于執(zhí)行單元上的誤差、相關(guān)數(shù)據(jù)通路中的誤差或者數(shù)據(jù)通路本身，而是可以包括可以參與數(shù)據(jù)處理、存儲、通信或采集的各種類型的互連、存儲器元件、時鐘電路、配電網(wǎng)絡(luò)或者其他類型的設(shè)備的誤差。在各實施例中，處理器或計算平臺201可以是無線計算設(shè)備，諸如移動電話、媒體播放器、膝上型計算機(jī)、個人數(shù)字助理等。另一方面，處理器或計算平臺203可以是若干服務(wù)器中的任意一個服務(wù)器。兩個處理器或計算平臺201和203可以經(jīng)由有線網(wǎng)絡(luò)和/或無線網(wǎng)絡(luò)彼此耦接。在各實施例中，具體地，具有實時操作要求、計算平臺之間的快速通信以及快速處理的實時實施例可能成為可用的以能夠滿足實時操作的要求。在一些實施例中，所檢測到的誤差可以是可傳遞的或永久的并且可能由設(shè)計或制
10造所引起。所檢測到的誤差還可以發(fā)生在各種應(yīng)用中，例如無線電路、數(shù)字信號處理電路、 編碼/解碼電路、壓縮/解壓電路、加密/解密電路。在各實施例中，如在針對早先附圖的說明中所涉及到的，可以使誤差校正的數(shù)目最小化。采用最小數(shù)目的誤差校正的益處可能在于可以更容易地對校正進(jìn)行壓縮或解壓。在各實施例中，可以對誤差進(jìn)行檢測，接著可以通過對可以作為到在可編程處理器上執(zhí)行的程序的輸入的數(shù)據(jù)進(jìn)行修改或者通過對可由專用處理器來處理的數(shù)據(jù)進(jìn)行修改來對誤差進(jìn)行校正。在各實施例中，通過修改盡可能少的數(shù)目的(原始)輸入，可以按照由QoS標(biāo)準(zhǔn)所要求的對計算誤差進(jìn)行校正或者基本校正?，F(xiàn)在參照圖3，公開了本公開的根據(jù)各個實施例的方法。對于這些實施例，所公開的方法可以包括達(dá)到五個的子任務(wù)，以改進(jìn)例如能耗或其他設(shè)計或操作目的(例如軟錯誤的恢復(fù))⑴發(fā)送狀態(tài)變量(301)；(ii)檢測誤差(302)；(iii)確定校正(304)；(iv)傳送校正(306)；以及(ν)實現(xiàn)校正(3O8)。在各實施例中，將程序和輸入數(shù)據(jù)二者都假設(shè)為是提前已知的。因此，所有四個子任務(wù)都可以以脫機(jī)模式執(zhí)行。在各實施例中，如早先所涉及到的，當(dāng)顯著的或者重要的能量或者計算資源是可用的，則可以進(jìn)行誤差檢測和校正確定(例如子任務(wù)302和304)。在各實施例中，可能要求完全正確的或者無誤差的結(jié)果。然而，在其他實施例中， 即對于諸如音頻流和視頻流、傳感器網(wǎng)絡(luò)、制圖(graphics)、圖形存取(gamming)等應(yīng)用來說，維持客觀QoS度量或主觀QoS度量可能就足夠了。在各實施例中，QoS度量可以被表示為多個誤差范數(shù)中的一個誤差范數(shù)。在各實施例中，可以將目標(biāo)對準(zhǔn)特定用戶在規(guī)定的QoS 度量方面的情況或者在特定程序執(zhí)行度量上所花費的最大能量。在各實施例中，可以對原始/雙構(gòu)架中所耗費的能量和QoS進(jìn)行下述處理可以將這些度量中的一個度量定義為約束條件而對其它的度量進(jìn)行最優(yōu)化。本公開還可適用于對其他度量的優(yōu)化，其他度量如一個或多個誤差校正的延遲。在各實施例中，一個目的可以是產(chǎn)生可以容易壓縮并且解壓是廉價的(例如低能耗或者低計算資源消耗)誤差校正。實現(xiàn)該目的的可能的方式可以包括在目標(biāo)函數(shù)中施加約束條件或者增加項，這迫使或?qū)е抡`差校正以相同的值進(jìn)行。此外，在各實施例中，可以進(jìn)行一個或多個輸入的單一交替的方式的輸入過補(bǔ)償，以使得兩個或更多個輸出在規(guī)定的容差之內(nèi)被同時校正。在各實施例中，可以將特別的注意力放于在線性系統(tǒng)中針對誤差校正的輸入修改。對于這些類型的系統(tǒng)，可以使用用于求解線性方程組的線性程序設(shè)計或者其他技術(shù) (諸如高斯消去法和奇異值分解)來計算出在所校正的變量數(shù)目方面可證明最優(yōu)的校正。在各實施例中，通過對所有不正確的截取處狀態(tài)變量用這些變量的正確值進(jìn)行改寫來進(jìn)行誤差校正。在各實施例中，可以找到用最小基數(shù)來進(jìn)行校正的截取處。在將QoS度量作為目標(biāo)的情況下，該實施例還可以針對與所規(guī)定的值相差較大的狀態(tài)變量進(jìn)行校正。在一些實施例中，可能期望在誤差可能被診斷出來之處對計算結(jié)果進(jìn)行校正。在各實施例中，誤差校正可以將線性計算或者線性計算的一部分作為目標(biāo)。在這種實施例中，通過求解線性方程組，可以計算出最小數(shù)目的誤差校正。到計算的每個變量可以是在對應(yīng)的線性方程組中的一個變量。每個操作的結(jié)果可以產(chǎn)生一個方程。在各實施例中，可以采用線性程序設(shè)計來為誤差校正找出最優(yōu)的位置(原始函數(shù)中的中間變量或輸出變量)。在非線性計算的情況下，在各實施例中，可以使用用于求解非線性方程組的方法進(jìn)行相同的過程，這些方法包括Gauss-Jordan法或者非線性程序設(shè)計技術(shù)(諸如最速下降 (steepest descent)、共軛梯度以及 Powel 法)。在各實施例中，誤差檢測和校正方法的有效性可以通過使用編譯器和行為綜合變換(諸如重定時和軟件或功能流水線操作)來被進(jìn)一步地增強(qiáng)。此外，包括有代數(shù)變換(例如結(jié)合性、分配性)和循環(huán)變換的其他變換可以被用于減少截取處中的狀態(tài)變量的數(shù)目。 也可以使用其他變換以用于由用于誤差檢測、診斷、表征和校正的基于狀態(tài)變量的技術(shù)所要求的其他目的。用于誤差檢測、診斷、表征和校正的基于狀態(tài)變量的技術(shù)可以與可以將特定的設(shè)計或者操作度量作為目標(biāo)的其他優(yōu)化技術(shù)(如能量最小化)相結(jié)合地使用。例如，這可以用于改善可變供電和/或閾值電壓管理技術(shù)的性能。用于誤差檢測、診斷、表征和校正的基于狀態(tài)變量的技術(shù)還可以用于對由于制造可變性而導(dǎo)致的功能故障和定時故障進(jìn)行校正，該制造可變性可以使得具有特定設(shè)計的集成電路在晶體管和互聯(lián)的性質(zhì)方面是獨特的。在當(dāng)前的制造下，為了使集成電路保持相對地快并且維持低的運轉(zhuǎn)功率而又維持高的生產(chǎn)產(chǎn)量，小子集的設(shè)備元件經(jīng)常是有故障的或者是太慢的。在各實施例中，可以使用上述用于誤差檢測、診斷、表征和校正的基于狀態(tài)變量的技術(shù)來對使用專用設(shè)備或者使用在可編程處理器上執(zhí)行的程序所實現(xiàn)的功能進(jìn)行校正。在各實施例中，無論功能或程序所消耗的實際數(shù)據(jù)是什么都可以校正誤差。在各實施例中，上述基于狀態(tài)變量的誤差檢測和校正可以將受到制造可變性的電路作為目標(biāo)，其中， 檢測和校正可以應(yīng)用于具有該電路的整個族的設(shè)備或系統(tǒng)。圖4示出了根據(jù)各實施例在包括重定時另一個示例電路的環(huán)境下基于狀態(tài)變量的誤差檢測和校正的附加方面。重定時可以用來進(jìn)一步增強(qiáng)本公開中所描述的誤差檢測、 診斷、表征和校正技術(shù)。如圖4所示，示例電路400包括如所示地彼此耦接的若干加法器~、 八2和、以及乘法電路禮。在各實施例中，電路400可以被配置成以第一定時配置工作。對于定時配置，電路400會配置有一組狀態(tài)變量SpS2A3和、以利于對狀態(tài)變量的采集和監(jiān)測。在各實施例中，對于一些電路(如示例電路400)來說，可以對電路進(jìn)行重配置來使其以另一種定時配置來工作，具體地，在該種定時配置下，可以對更小一組的變量進(jìn)行監(jiān)測以滿足QoS度量或其他類型的度量的配置。例如，在重定時配置之后，電路400的變量組可以被減少到包括有&和、的更小的變量組。注意到在該示例中，在該變量組中不包括 Out變量，因此誤差校正可能不得不在緊接著的或者隨后的迭代中而不是在當(dāng)前的迭代中。除了定時重配置之外，在一些實施例中，還可以以流水線操作實行誤差檢測、診斷、表征和校正，這可以通過將附加的元件引入到計算中來實現(xiàn)，以提高吞吐量、降低能量或者改善一些其他組的計算度量和設(shè)計度量。類似地，與定時配置相同，目標(biāo)是以一種方式弓丨入附加的元件，因而要求被監(jiān)測的狀態(tài)變量組被減少。圖5是示出了根據(jù)本公開所配置的示例計算設(shè)備的框圖。在非常基本的配置501 中，計算設(shè)備500通常包括一個或多個處理器510和系統(tǒng)存儲器520。存儲器總線530可以用于在處理器510和系統(tǒng)存儲器520之間的通信。取決于所期望的配置，處理器510可以是任何類型的，其包括但不限于微處理器 (μ P)、微控制器(μ C)、數(shù)字信號處理器(DSP)或其任何組合。處理器510可以包括一個多級緩存，諸如一級緩存器511和二級緩存器12、處理器核513和寄存器514。示例處理器核 513可以包括運算邏輯單元(ALU)、浮點單元(FPU)、數(shù)字信號處理核(DSP Core)或其任意組合。示例存儲器控制器515也可以與處理器510 —起使用，或者在一些實施方式中存儲器控制器515可以是存儲器510的內(nèi)部部件。取決于所期望的配置，系統(tǒng)存儲器520可以是任何類型的，其包括但不限于易失性存儲器(如RAM)、非易失性存儲器(諸如ROM、flash存儲器等)或其任何組合。系統(tǒng)520 可以包括操作系統(tǒng)521、一個或多個應(yīng)用程序522以及程序數(shù)據(jù)524。應(yīng)用程序522可以包括編程指令，該編程指令提供邏輯操作以實現(xiàn)上述基于狀態(tài)變量的誤差檢測和校正。程序數(shù)據(jù)5M可以包括可應(yīng)用的狀態(tài)變量和相關(guān)值。計算設(shè)備500可以具有附加的特征或功能，以及另外的接口，以利于基本配置501 與任何所要求的設(shè)備和接口之間的通信。例如，總線/接口控制器540可以用于利于經(jīng)由存儲接口總線541在基本配置501和一個或多個數(shù)據(jù)存儲設(shè)備550之間的通信。數(shù)據(jù)存儲設(shè)備550可以是可拆卸存儲設(shè)備551、不可拆卸存儲設(shè)備552或其組合。可拆卸存儲設(shè)備和不可拆卸存儲設(shè)備的示例包括磁盤設(shè)備(諸如軟盤驅(qū)動器和硬盤驅(qū)動器(HDD))、光盤驅(qū)動器(諸如緊致盤(CD)驅(qū)動器或者數(shù)字通用盤(DVD)驅(qū)動器)、固態(tài)驅(qū)動器(SSD)以及帶驅(qū)動器，這里僅舉了幾個例子。示例的計算機(jī)存儲介質(zhì)可以包括以任何方法或技術(shù)實現(xiàn)的易失性的和非易失性的、可拆卸和不可拆卸介質(zhì)以用于存儲信息，該信息諸如計算機(jī)可讀指令、數(shù)據(jù)結(jié)構(gòu)、程序模塊或其他數(shù)據(jù)。系統(tǒng)存儲器520、可移動存儲設(shè)備551和不可移動存儲設(shè)備552全部都是計算機(jī)存儲介質(zhì)的示例。計算機(jī)存儲介質(zhì)包括但不限于RAM、ROM、EEPROM、flash存儲器或其他存儲器技術(shù)、⑶-ROM、數(shù)字通用磁盤(DVD)或其他光學(xué)存儲器、磁盒(magnetic cassette)、磁帶、磁盤存儲器或其他磁存儲設(shè)備、或者可以用來存儲所期望的信息并且可以被計算設(shè)備 500訪問的任何其他介質(zhì)。任何這樣的計算機(jī)存儲介質(zhì)可以是設(shè)備500的一部分。計算設(shè)備500還可以包括接口總線542用于利于從各種接口設(shè)備(例如輸出接口、外圍接口和通信接口)經(jīng)由總線/接口控制器540到基本配置501的通信。示例輸出設(shè)備560包括圖形處理單元561和音頻處理單元562，它們可以被配置成經(jīng)由一個或多個 A/V端口 563與各種外部設(shè)備進(jìn)行通信，外部設(shè)備諸如顯示器或揚聲器。示例外圍接口 570 包括串行接口控制器571或者并行接口控制器572，它們可以被配置成經(jīng)由一個或多個I/ 0端口 573與外部設(shè)備進(jìn)行通信，外部設(shè)備諸如輸入設(shè)備(例如鍵盤、鼠標(biāo)、筆、聲音輸入設(shè)備、接觸式輸入設(shè)備等)或者其他外圍設(shè)備(例如打印機(jī)、掃描儀等)。示例通信設(shè)備580 包括網(wǎng)絡(luò)控制器581，該網(wǎng)絡(luò)控制器581可以被布置成利于經(jīng)由一個或多個通信端口 582與一個或多個其他的計算設(shè)備590在網(wǎng)絡(luò)通信鏈路上進(jìn)行通信。網(wǎng)絡(luò)通信鏈路可以是通信介質(zhì)的一個示例。通信介質(zhì)通常可以通過計算機(jī)可讀指
13令、數(shù)據(jù)結(jié)構(gòu)、程序模塊或已調(diào)制的數(shù)據(jù)信號中的其他數(shù)據(jù)(諸如載波或其他傳輸機(jī)制)來實施，并且可以包括任何的信息遞送介質(zhì)。“已調(diào)制的數(shù)據(jù)信號”可以是下述信號該信號的特性中的一個或多個以對信號中的信息進(jìn)行編碼的方式來設(shè)置或者改變。作為示例而非限制，通信介質(zhì)可以包括有線介質(zhì)以及無線介質(zhì)，有線介質(zhì)諸如有線網(wǎng)絡(luò)或者直接有線連接， 無線介質(zhì)諸如聲、射頻(RF)、微波、紅外線(IR)以及其他無線介質(zhì)。這里所使用的術(shù)語計算機(jī)可讀介質(zhì)可以包括存儲介質(zhì)和通信介質(zhì)二者。計算裝置500可以被實現(xiàn)為小形狀因子便攜式(移動)電子設(shè)備(諸如手機(jī)、個人數(shù)字助理(PDA)、個人媒體播放設(shè)備、無線網(wǎng)監(jiān)視設(shè)備、個人耳機(jī)設(shè)備、專用設(shè)備或者包括上述功能中的任意功能的混合設(shè)備)的一部分。計算設(shè)備500還可以被實現(xiàn)為個人計算機(jī)， 包括膝上型計算機(jī)配置和非膝上型計算機(jī)配置二者。圖6示出了示例計算機(jī)程序產(chǎn)品600的框圖，所有都是根據(jù)本公開來布置的。在一些示例中，如圖6所示的，計算機(jī)程序產(chǎn)品600包括信號承載介質(zhì)602，該信號承載介質(zhì) 602還可以包括編程指令604。編程指令604可以用于報告和/或接收使用一個或多個輸入數(shù)據(jù)在另一個計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值，其中，該組一個或多個狀態(tài)變量定義了該截取處之后的計算。編程指令604還可以用于至少部分地基于計算的截取處的一組一個或多個狀態(tài)變量來對在另一個計算平臺上所進(jìn)行的計算的一個或多個誤差進(jìn)行檢測。此外，編程指令604還可以用于確定一組一個或多個校正以及將該一組一個或多個校正傳送到另一個計算平臺。在一些實施例中，編程指令604還可以用于實現(xiàn)所提供的一組校正。在圖6中還描繪了，在一些示例中，計算機(jī)產(chǎn)品600可以包括計算機(jī)可讀介質(zhì)606、 可記錄介質(zhì)608和通信介質(zhì)610中的一種或多種。環(huán)繞在這些元件周圍的點線框描繪出了包括在信號承載介質(zhì)602之內(nèi)的不同類型的介質(zhì)，但不限于此。這些類型的介質(zhì)可以對要通過邏輯操作來執(zhí)行的編程指令604進(jìn)行分配。計算機(jī)可讀介質(zhì)606和可記錄介質(zhì)608可以包括但不限于軟盤、硬盤驅(qū)動器(HDD)、緊致盤(⑶)、數(shù)字視頻盤(DVD)、數(shù)字磁帶、計算機(jī)存儲器等。通信介質(zhì)610可以包括但不限于數(shù)字和/或模擬通信介質(zhì)(例如光纜、波導(dǎo)、 有線通信鏈路、無線通信鏈路等)。所要求保護(hù)的主題并不限于這里所描述的特定實施方式。例如，一些實施方式可以是以硬件的方式，諸如采用這些實施方式以在裝置或者裝置的組合上工作，而其他的實施方式可以是以軟件和/或固件的方式。同樣地，雖然所要求保護(hù)的主題可以不限于這方面的范圍，但是一些實施方式可以包括一個或多個項目(article)，諸如一個或多個存儲介質(zhì)。該存儲介質(zhì)(諸如CD-ROM、計算機(jī)磁盤、閃存等)例如可以具有存儲在該存儲介質(zhì)上的指令，該指令在由系統(tǒng)(諸如計算機(jī)系統(tǒng)、計算平臺或其他系統(tǒng))執(zhí)行時例如可以導(dǎo)致處理器根據(jù)所要求保護(hù)的主題來執(zhí)行(例如先前所述的實施方式中的一種)。作為一種可能性，計算平臺可以包括一個或多個處理單元或處理器、一個或多個輸入/輸出設(shè)備(諸如顯示器、鍵盤和/或鼠標(biāo))以及一個或多個存儲器(諸如靜態(tài)隨機(jī)存取存儲器、動態(tài)隨機(jī)存取存儲器、閃存和/或硬驅(qū)動器)。系統(tǒng)方面的硬件實施方式和軟件實施方式之間只有非常少的區(qū)別；使用硬件或軟件通常會是表現(xiàn)為對成本與效率的權(quán)衡的設(shè)計選擇(但并不總是這樣，這是由于在某些環(huán)境中在硬件和軟件之間做出選擇是意義重大的)?？梢杂惺惯@里所描述的處理和/或系統(tǒng)和/或其他技術(shù)被實現(xiàn)的各種手段(vehicle)(例如硬件、軟件和/或固件)；并且優(yōu)選的手段可以隨著處理和/或系統(tǒng)和/或其他技術(shù)所運用的環(huán)境而變化。例如，如果實施者確定速度和精確度是極為重要的，那么實施者可以選擇主要是硬件和/或固件的手段；如果靈活性是極為重要的，那么實施者可以選擇主要是軟件的實施方式；或者，再可替換地，實施者可以選擇硬件、軟件和/或固件的一些組合。在一些實施例中，這里所描述的主題的幾個部分可以經(jīng)由專用集成電路(ASIC)、 現(xiàn)場可編程門陣列(FPGA)、數(shù)字信號處理器(DSP)或其他的集成形式來實現(xiàn)。然而，那些本領(lǐng)域技術(shù)人員將認(rèn)識到這里所公開的實施例的一些方面可以整體地或者部分地在集成電路中等效地實現(xiàn)為在一個或多個計算機(jī)上運行的一個或多個計算機(jī)程序(例如實現(xiàn)為在一個或多個計算機(jī)系統(tǒng)上運行的一個或多個程序)、實現(xiàn)為在一個或多個處理器上運行的一個或多個程序(例如實現(xiàn)為在一個或多個微處理器上運行的一個或多個程序)、實現(xiàn)為固件、或者實現(xiàn)為實際上其任意組合；并且將會認(rèn)識到依據(jù)本公開為軟件和/或固件設(shè)計電路和/或編寫代碼正是在本領(lǐng)域技術(shù)人員的技能之內(nèi)。此外，本領(lǐng)域技術(shù)人員將理解這里所描述的主題的機(jī)制能夠被分配為各種形式的程序產(chǎn)品；而這里所描述的主題的示例性實施例應(yīng)用了不管特定類型的、用于實際上進(jìn)行分配的信號承載介質(zhì)。信號承載介質(zhì)的示例包括但不限于以下可記錄類型的介質(zhì)，諸如軟盤、硬盤驅(qū)動器、緊致盤(CD)、數(shù)字視頻盤(DVD)、數(shù)字磁帶、計算機(jī)存儲器等；以及傳輸類型的介質(zhì)，諸如數(shù)字和/或模擬通信介質(zhì) (例如光纜、波導(dǎo)、有線通信鏈路、無線通信鏈路等)。本領(lǐng)域技術(shù)人員會認(rèn)識到，在現(xiàn)有技術(shù)中通常的是以這里所闡述的方式對設(shè)備和/或過程進(jìn)行描述而此后使用工程實踐將這種所描述的設(shè)備(例如節(jié)點、RF控制器、計算設(shè)備等)和/或方法集成到數(shù)據(jù)處理系統(tǒng)中。即就是這里所描述的設(shè)備和/或方法中的至少一部分可以經(jīng)由合理數(shù)量的實驗而集成到數(shù)據(jù)處理系統(tǒng)中。本領(lǐng)域技術(shù)人員會認(rèn)識至IJ，典型的數(shù)據(jù)處理系統(tǒng)通常包括一個或多個系統(tǒng)單元外殼、視頻顯示設(shè)備、存儲器(諸如易失性存儲器和非易失性存儲器)、處理器(諸如微處理器和數(shù)字信號處理器)、計算實體 (諸如操作系統(tǒng)、驅(qū)動程序、圖形用戶界面以及應(yīng)用程序)、一個或多個交互設(shè)備(諸如觸控板或接觸式屏幕)以及/或者包括有反饋回路和控制電機(jī)的控制系統(tǒng)(例如用于感測位置和/或速度的反饋；用于移動和/或調(diào)整組件和/或數(shù)量的控制電機(jī))。典型的數(shù)據(jù)處理系統(tǒng)可以利用任何合適的、商業(yè)上可用的組件來實現(xiàn)，這些組件諸如通常在數(shù)據(jù)計算/通信系統(tǒng)和/或網(wǎng)絡(luò)計算/通信系統(tǒng)中所見到的組件。這里所描述的主題有時示出了包括在其他不同組件或元件內(nèi)或者與其他不同組件或元件相連的不同的組件或元件。要理解的是所描述的這種架構(gòu)僅是示例；而實際上實現(xiàn)了相同功能的許多其他架構(gòu)也是可以實現(xiàn)的。從概念上來講，實現(xiàn)相同功能的組件的布置是有效地“相關(guān)聯(lián)”的以使得實現(xiàn)所期望的功能。因此，不論是體系結(jié)構(gòu)還是中間元件， 這里為實現(xiàn)特定功能而組合的任意兩個組件可以被看做是彼此“相關(guān)聯(lián)的”以使得實現(xiàn)所期望的功能。同樣地，如此相關(guān)聯(lián)的任意兩個組件也可以被看做是彼此“可操作地連接的” 或者“可操作地耦接的”，以實現(xiàn)所期望的功能，而任何能夠如此相關(guān)聯(lián)的兩個組件也可以被看做是彼此“可操作地可耦合的”以實現(xiàn)所期望的功能?？刹僮鞯乜神詈系木唧w示例包括但不限于物理上可配對的和/或物理上相互作用的組件和/或無線地可相互作用的和/ 或無線地相互作用的組件和/或邏輯上相互作用的和/或邏輯上可相互作用的組件。
關(guān)于在這里對基本上任何復(fù)數(shù)術(shù)語和/或單數(shù)術(shù)語的使用，本領(lǐng)域技術(shù)人員可以按照適合于環(huán)境和/或應(yīng)用的情況來從復(fù)數(shù)轉(zhuǎn)變?yōu)閱螖?shù)和/或從單數(shù)轉(zhuǎn)變?yōu)閺?fù)數(shù)。為了清楚起見，可以對各種單數(shù)/復(fù)數(shù)置換進(jìn)行明白地闡述。本領(lǐng)域的技術(shù)人員將理解，一般來說，這里、尤其是在所附權(quán)利要求(例如，所附權(quán)利要求的正文)中所使用的術(shù)語通常被作為“開放式”術(shù)語(例如，術(shù)語“包括”應(yīng)當(dāng)解釋為“包括但并不限于”，術(shù)語“具有”應(yīng)當(dāng)解釋為“至少具有”，術(shù)語“包含”應(yīng)當(dāng)解釋為“包含但并不限于”，等等)。本領(lǐng)域的技術(shù)人員還應(yīng)當(dāng)理解，如果引入的權(quán)利要求敘述的特定數(shù)目是預(yù)定的，則將在權(quán)利要求中明確地敘述這種意圖，并且在不存在這種敘述的情況下是不存在這種意圖的。例如，為幫助理解，以下所附權(quán)利要求可以包含引入式短語“至少一個”和“一個或多個”來引入權(quán)利要求敘述。然而，即使當(dāng)相同的權(quán)利要求包括引入式短語 “一個或多個”或“至少一個”以及諸如“a”或“an”的不定冠詞時(例如，“a”和/或“an” 一般應(yīng)當(dāng)解釋為指“至少一個”或“一個或多個”)時，使用這樣的短語也不應(yīng)當(dāng)理解為暗示通過不定冠詞“a”或“an”引入的權(quán)利要求敘述將包含這樣引入的權(quán)利要求敘述的任何特定權(quán)利要求限制為包含僅一個這樣的敘述的發(fā)明；這同樣適用于對用于引入權(quán)利要求敘述的定冠詞的使用。此外，即使明確敘述了引入的權(quán)利要求敘述的具體數(shù)目，本領(lǐng)域的技術(shù)人員將認(rèn)識到，這種敘述一般應(yīng)當(dāng)被解釋為指至少所敘述的數(shù)目(例如，無其他修飾語的無修飾敘述“兩個敘述”，通常指至少兩個敘述，或兩個或更多個敘述)。此外，在那些使用類似于“A、B和C等中的至少一個”的習(xí)慣的實例中，通常這種結(jié)構(gòu)是就本領(lǐng)域的技術(shù)人員將理解該習(xí)慣的意義而言的(例如，“具有A、B和C中的至少一個的系統(tǒng)”將包括但并不限于僅具有A的系統(tǒng)、僅具有B的系統(tǒng)、僅具有C的系統(tǒng)、共同具有A和B的系統(tǒng)、共同具有A和 C的系統(tǒng)、共同具有B和C的系統(tǒng)以及/或共同具有A、B和C的系統(tǒng)等)。在那些使用類似于“A、B或C等中的至少一個”的習(xí)慣的實例中，通常這種結(jié)構(gòu)是就本領(lǐng)域的技術(shù)人員將理解該習(xí)慣的意義而言的(例如，“具有A、B或C中的至少一個的系統(tǒng)”將包括但并不限于僅具有A的系統(tǒng)、僅具有B的系統(tǒng)、僅具有C的系統(tǒng)、共同具有A和B的系統(tǒng)、共同具有A和C 的系統(tǒng)、共同具有B和C的系統(tǒng)以及/或共同具有A、B和C的系統(tǒng)等)。本領(lǐng)域的技術(shù)人員還應(yīng)當(dāng)理解，呈現(xiàn)兩個或更多個替代術(shù)語的任意分離的詞和/或短語無論是在說明書、 權(quán)利要求或附圖中，實質(zhì)上都應(yīng)當(dāng)理解為預(yù)期包括術(shù)語中的一個、術(shù)語中的任一個、或者兩個術(shù)語的可能性。例如，短語“A或B”將被理解為包括“A”或“B”或“A和B”的可能性。雖然為了描述優(yōu)選的實施例的目的而在這里示出并描述了某些實施例，本領(lǐng)域技術(shù)人員應(yīng)該理解在不脫離本公開的范圍的情況下，可以以適合于實現(xiàn)同一目的的各種各樣可替換的和/或等效的實施例或?qū)嵤┓绞絹硖鎿Q所示出和描述的實施例。本領(lǐng)域技術(shù)人員將容易理解可以以非常廣泛的各種方式來實現(xiàn)本公開的實施例。本申請意在涵蓋這里所討論的實施例的任何適應(yīng)性修改或變化。因此，很明白地僅由權(quán)利要求及其等價方案來限制本公開的實施例。
權(quán)利要求
1.一種方法，包括第一計算平臺接收使用一個或多個輸入數(shù)據(jù)在第二計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值，其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的計算；以及所述第一計算平臺檢測在所述第二計算平臺上進(jìn)行的所述計算的一個或多個誤差，檢測至少部分地基于所述計算的所述截取處的所述一組一個或多個狀態(tài)變量。
2.根據(jù)權(quán)利要求1所述的方法，還包括第三計算平臺確定一組一個或多個校正；以及所述第三計算平臺向所述第二計算平臺提供所述一組一個或多個校正；其中，所述第一計算平臺和所述第三計算平臺是同一計算平臺或者不同的計算平臺。
3.根據(jù)權(quán)利要求1所述的方法，其中，確定包括求解具有多個變量的線性方程組，其中，來自所述一個或多個狀態(tài)變量中的獨立狀態(tài)變量對應(yīng)于所述線性方程組的變量。
4.根據(jù)權(quán)利要求1所述的方法，還包括所述第一計算平臺使用相同的一個或多個輸入數(shù)據(jù)在所述第一計算平臺上進(jìn)行相同的計算，以及所述第一計算平臺對在所述第一計算平臺上進(jìn)行的所述計算的對應(yīng)截取處的一組一個或多個狀態(tài)變量的對應(yīng)的一個或多個當(dāng)前值進(jìn)行采集。
5.根據(jù)權(quán)利要求4所述的方法，其中，檢測包括對在所述第二計算平臺和所述第一計算平臺上進(jìn)行的所述計算的所述截取處的所述一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值分別進(jìn)行比較。
6.根據(jù)權(quán)利要求1所述的方法，其中，所述截取處包括完整的截取處，所述完整的截取處包括對所述截取處之后的所述計算進(jìn)行定義的所有狀態(tài)變量。
7.根據(jù)權(quán)利要求1所述的方法，其中，所述截取處包括部分截取處，所述部分截取處包括對所述截取處之后的所述計算進(jìn)行定義的所有狀態(tài)變量的子集。
8.根據(jù)權(quán)利要求1所述的方法，其中，所述計算是在所述第二計算平臺的第一定時配置下進(jìn)行的，所述方法還包括為在所述第二計算平臺的第二定時配置下進(jìn)行的所述計算重復(fù)進(jìn)行接收、檢測、確定和提供，其中，所述第一定時配置和所述第二定時配置是不同的。
9.根據(jù)權(quán)利要求8所述的方法，其中，所述計算是在所述第二計算平臺上用第一組狀態(tài)元件進(jìn)行的，所述方法還包括為在所述第二計算平臺上用第二組狀態(tài)元件進(jìn)行的所述計算重復(fù)進(jìn)行所述接收、檢測、確定和提供，其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件是不同的，并且其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件對應(yīng)于第一組狀態(tài)變量和第二組狀態(tài)變量。
10.根據(jù)權(quán)利要求1所述的方法，其中，所述計算是在所述第二計算平臺上用第一組狀態(tài)元件進(jìn)行的，所述方法還包括為在所述第二計算平臺上用第二組狀態(tài)元件進(jìn)行的所述計算重復(fù)進(jìn)行接收、檢測、確定和提供，其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件是不同的，并且其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件對應(yīng)于第一組狀態(tài)變量和第二組狀態(tài)變量。
11.一種方法，包括第一計算平臺使用一個或多個輸入數(shù)據(jù)來進(jìn)行計算；所述第一計算平臺采集所述計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值，其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的所述計算；以及將所述計算的所述截取處的所述一組一個或多個狀態(tài)變量的采集到的一個或多個當(dāng)前值從所述第一計算平臺發(fā)送到第二計算平臺，以用于所述第二計算平臺對在所述第一計算平臺上進(jìn)行的所述計算的一個或多個誤差進(jìn)行檢測，以及用于所述第二計算平臺針對所檢測到的誤差中的一個或多個誤差向所述第一計算平臺提供校正。
12.根據(jù)權(quán)利要求11所述的方法，其中，所述截取處是完整的截取處，所述完整的截取處包括對所述截取處之后的所述計算進(jìn)行定義的所有狀態(tài)變量。
13.根據(jù)權(quán)利要求11所述的方法，其中，所述截取處是部分截取處，所述部分截取處包括對所述截取處之后的所述計算進(jìn)行定義的所有狀態(tài)變量的子集。
14.根據(jù)權(quán)利要求11所述的方法，其中，所述計算是在所述第二計算平臺的第一定時配置下進(jìn)行的，所述方法還包括為在所述第二計算平臺的第二定時配置下進(jìn)行的所述計算重復(fù)執(zhí)行所述進(jìn)行、采集和發(fā)送，其中，所述第一定時配置和所述第二定時配置是不同的定時配置。
15.根據(jù)權(quán)利要求11所述的方法，其中，所述計算是在所述第一計算平臺上用第一組狀態(tài)元件進(jìn)行的，所述方法還包括為在所述第一計算平臺上用第二組狀態(tài)元件進(jìn)行的所述計算重復(fù)執(zhí)行所述執(zhí)行、采集和發(fā)送，其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件是不同的。
16.根據(jù)權(quán)利要求11所述的方法，還包括接收針對所檢測到的誤差中的一個或多個誤差的校正，其中，所述校正包括一組校正變量。
17.根據(jù)權(quán)利要求11所述的方法，其中，執(zhí)行所述進(jìn)行、采集和發(fā)送以對所述第一計算平臺的設(shè)計度量進(jìn)行優(yōu)化，其中，所述設(shè)計度量包括在延遲、吞吐量或功率中選擇的一個。
18.根據(jù)權(quán)利要求11所述的方法，其中，執(zhí)行所述進(jìn)行、采集和發(fā)送以滿足所述第一計算平臺的一個或多個質(zhì)量服務(wù)標(biāo)準(zhǔn)。
19.根據(jù)權(quán)利要求11所述的方法，其中，所述第一計算平臺是無線移動計算平臺，而所述第二計算平臺是服務(wù)器計算平臺。
20.根據(jù)權(quán)利要求11所述的方法，其中，所述第一計算平臺以比所述第二計算平臺的工作能耗率更小的能耗率來工作。
21.一種裝置，包括處理器，所述處理器執(zhí)行編程指令；以及存儲裝置，所述存儲裝置耦接至所述處理器，并且所述存儲裝置中存儲有要由所述處理器執(zhí)行的多個編程指令，其中，在所述編程指令被所述處理器執(zhí)行時，所述編程指令使所述裝置能夠進(jìn)行以下操作對使用一個或多個輸入數(shù)據(jù)在另一個計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值進(jìn)行接收，其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的計算；以及針對在第二計算平臺上進(jìn)行的計算的一個或多個誤差進(jìn)行檢測，檢測至少部分地基于在所述另一個計算平臺上進(jìn)行的所述計算的所述截取處的所述一組一個或多個狀態(tài)變量。
22.根據(jù)權(quán)利要求21所述的裝置，其中，所述編程指令還使所述裝置能夠確定一組一個或多個校正；以及向所述另一個計算平臺提供所述一組一個或多個校正。
23.根據(jù)權(quán)利要求22所述的裝置，其中，所述編程指令被配置成使所述裝置能夠通過求解具有多個變量的線性方程組來確定，其中，來自所述一個或多個狀態(tài)變量中的獨立狀態(tài)變量對應(yīng)于所述線性方程組的變量。
24.根據(jù)權(quán)利要求21所述的裝置，其中，所述裝置與所述另一個計算平臺相比更好地使用能量或者具有更多的計算資源。
25.一種裝置，包括使用一個或多個輸入數(shù)據(jù)來進(jìn)行計算的電路，所述電路包括一個或多個狀態(tài)元件以采集所述計算的一個或多個當(dāng)前值，以提供所述計算的截取處的一組一個或多個狀態(tài)變量， 其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的所述計算；以及控制器，所述控制器與所述電路耦接并且被配置成將所述計算的所述截取處的所述一組一個或多個狀態(tài)變量的采集到的一個或多個當(dāng)前值從所述裝置發(fā)送到另一個計算平臺， 以用于所述另一個計算平臺對在所述裝置上進(jìn)行的所述計算的一個或多個誤差進(jìn)行檢測， 以及用于所述另一個計算平臺向所述裝置提供針對所檢測到的誤差中的一個或多個誤差的校正。
26.根據(jù)權(quán)利要求25所述的裝置，其中，所述控制器還被裝備成以第一定時配置將所述電路配置成進(jìn)行所述計算以及以第二定時配置將所述電路配置成重新進(jìn)行所述計算，其中，所述第一定時配置和所述第二定時配置是不同的定時配置。
27.根據(jù)權(quán)利要求25所述的裝置，其中，所述控制器還被裝備成將具有第一組狀態(tài)元件的電路配置成進(jìn)行所述計算以及將具有第二組狀態(tài)元件的電路配置成重新進(jìn)行所述計算，其中，所述第一組狀態(tài)元件和所述第二組狀態(tài)元件是不同的，并且所述第一組狀態(tài)元件和所述第二組狀態(tài)元件對應(yīng)于第一組狀態(tài)變量和第二組狀態(tài)變量。
28.根據(jù)權(quán)利要求25所述的裝置，其中，所述裝置是無線移動計算平臺，而所述另一個計算平臺是服務(wù)器計算平臺。
29.一種制造品，包括 計算機(jī)可讀介質(zhì)；以及編程指令，所述編程指令存儲在所述計算機(jī)可讀介質(zhì)中并且被配置成對計算平臺進(jìn)行編程并使所述計算平臺能夠進(jìn)行以下操作對使用一個或多個輸入數(shù)據(jù)在另一個計算平臺上進(jìn)行的計算的截取處的一組一個或多個狀態(tài)變量的一個或多個當(dāng)前值進(jìn)行接收，其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的計算；以及針對所述另一個計算平臺上進(jìn)行的計算的一個或多個誤差進(jìn)行檢測，檢測至少部分地基于所述計算的所述截取處的所述一組一個或多個狀態(tài)變量； 確定一組一個或多個校正；以及向所述另一個計算平臺提供所述一組一個或多個校正。
30.一種制造品，包括 計算機(jī)可讀介質(zhì)；以及編程指令，所述編程指令存儲在所述計算機(jī)可讀介質(zhì)中并且被配置成對計算平臺進(jìn)行編程并使所述計算平臺能夠進(jìn)行以下操作將所述計算平臺配置成用狀態(tài)元件的布置來進(jìn)行計算；對所述狀態(tài)元件的一個或多個當(dāng)前值進(jìn)行采集，以提供在所配置的狀態(tài)元件配置下進(jìn)行的所述計算的截取處的一組一個或多個狀態(tài)變量值，其中，所述一組一個或多個狀態(tài)變量定義了在所述截取處之后的計算，以及將所述計算的所述截取處的所述一組一個或多個狀態(tài)變量的采集到的一個或多個當(dāng)前值發(fā)送到另一個算平臺，以用于所述另一個計算平臺對在所配置的狀態(tài)元件布置的條件下在所述計算平臺上進(jìn)行的所述計算的一個或多個誤差進(jìn)行檢測，以及用于從所述另一個計算平臺接收回針對所檢測到的誤差中的一個或多個誤差的校正。
全文摘要
實施例提供了用于使用狀態(tài)變量來檢測計算中的誤差的方法和裝置。在各實施例中，還提供了通過狀態(tài)變量對誤差的校正。在各實施例中，所公開的技術(shù)可以用于使功率和/或能量最小化或者減小、以及調(diào)試等目的?？梢怨_和/或要求保護(hù)其他實施例和/或應(yīng)用。
文檔編號G06F11/00GK102460395SQ201080028170
公開日2012年5月16日 申請日期2010年5月4日 優(yōu)先權(quán)日2009年5月11日
發(fā)明者米奧德拉格·波特科尼亞克 申請人:卡倫茨技術(shù)有限公司