2010-12-22 58 views
15

CERs在哪些情況下有用?我的意思是,現實生活中的情況,而不是一些抽象的例子。使用受限制的執行區域

您是否親自使用它們?除了書籍和文章中的例子外,沒有看到他們的用法。當然,這可能是因爲我的編程經驗不足。所以我也很感興趣,它是多麼廣泛的技術。

使用它們有什麼優點和缺點?

回答

24

CER在哪些情況下有用?我的意思是,現實生活中的情況,而不是一些抽象的例子。

在構建具有嚴格可靠性要求的軟件時。例如,數據庫服務器不得泄露資源,不得損壞內部數據結構,並且必須保持運行,週期和故事結束,即使在面臨諸如線程中止等更糟糕的情況下也是如此。

構建不可能泄漏的託管代碼,可以在任意位置發生中止時保持一致的數據結構,並使服務繼續進行是一項艱鉅的任務。核證減排量是建立這種可靠服務的工具箱之一;在這種情況下,通過限制中止可能發生的地方。

可以想象其他服務必須在困難的情況下保持可靠。比方說,找到救護車的高效路線,或者在工廠移動機器人手臂的軟件比在臺式機上運行的普通最終用戶代碼具有更高的可靠性限制。

您是否親自使用它們?

不,我在最終用戶機器上構建編譯器。如果編譯器在編譯過程中失敗了,那很不幸,但它不可能對人類的生命安全造成影響,或者導致重要數據的破壞。

我也很感興趣,它是多麼廣泛的技術。

我不知道。

使用它們有哪些優缺點?

我不明白這個問題。你不妨問一下屋頂斧頭的優缺點。除非你聲明你打算使用斧頭的任務,否則很難說這個工具的優點和缺點。您希望通過CER執行哪些任務?一旦我們知道了任務,我們就可以描述使用任何特定工具完成該任務的優缺點。

+12

那麼,屋頂斧頭應該也有受限的執行區域。 – 2010-12-22 19:50:08