deterministic

4熱度

1回答

如何編碼成員/ 2確定性最後元素。目前我使用： member(X,[X|_]). member(X,[_|Y]) :- member(X,Y). 當我查詢以下： ?- member(X,[1,2]). X = 1 ; X = 2 ; No 解釋器繼續返回2，因爲還有一個選擇點後左搜索。我怎麼能實現成員/ 2 ，以便這不再發生？但成員/ 2的全語義應予以保留，即答案，如： ?

3熱度

4回答

確定性函數的編譯器優化

我在閱讀有關確定性執行的內容，即對於相同的輸入，您具有相同的輸出。我想知道是否有編譯器作者在運行時考慮過優化確定性函數。例如，採取階乘函數。如果在運行時檢測到它持續被相同的輸入值調用，編譯器可以緩存輸出值，而不是執行階乘函數，可以直接使用該輸出值。看起來像一個很好的研究課題。有沒有關於這個話題的文章或工作？

10熱度

2回答

爲什麼當我（手動）將表值函數的結果緩存在臨時表中時，查詢執行速度會如此之快？

爲什麼查詢版本2如此之快？我懷疑DB引擎多次調用表值函數「GetUsageStatistic」，那麼有沒有辦法告訴引擎「GetUsageStatistic」是確定性的，應該只調用一次？查詢版本1 --Takes ~10 minutes select * from RosterLevel r left join GetUsageStatistics(@mindate, @maxdate)

27熱度

5回答

mysql中的確定性函數

我對一個看似簡單的概念感到困惑。 Mysql的定義確定性函數爲總是產生相同的結果對於相同的輸入參數所以，在我的理解的功能，功能類似於 CREATE FUNCTION foo (val INT) READS SQL DATA BEGIN DECLARE retval INT; SET retval = (SELECT COUNT(*) FROM table_1 WHERE

19熱度

2回答

爲什麼併發haskell不確定，而並行haskell原語（par和pseq）是確定性的？

在Haskell中併發性和並行性的背景下，不太明白決定論。一些例子會有幫助。謝謝

0熱度

1回答

對時間敏感的事件記錄是否可能？

基本問題有什麼辦法給事件一個時間敏感（幀率獨立）系統內記錄的回放？任何幫助 - 包括一個簡單的「不抱歉，這是不可能的」 - 將不勝感激。在過去的幾個週末，我花了近20個小時的時間來研究這個問題，並且讓我發瘋。全部詳細這是目前正在針對一場比賽，但是我寫的庫被設計得更加普遍，這概念也適用於不只是我的C++編碼更多。我有一些代碼，看起來功能相似的這個......（它是用C++ 0x中，但我採取

1熱度

4回答

在確定性應用程序中的偏差

我目前正在研究用C++和C＃編寫的（遺留）程序;它執行一些重量級的計算，但應該是完全確定性的。即相同的輸入會產生相同的輸出......問題是2次運行（在同一臺計算機上，使用相同的編譯可執行文件）會產生稍微不同的輸出。應用程序讀取和寫入到SQL服務器數據庫（它具有對數據庫的唯一訪問權限，因此沒有其他應該干涉DB值）。運行之間唯一明顯的區別是它們每個都被賦予一個唯一的名稱（只是一個字符串變量）。

1熱度

3回答

給出識別下列語言的DFA的狀態圖。在所有的部分字母是{0,1}

我試圖得到繪圖DFA的竅門。我有以下問題與我的下面的嘗試，想知道是否有人可以告訴我，如果我是正確的，或者如果不正確，我做錯了什麼。謝謝！此外，如果任何人有一個很好的資源來了解更多關於如何做到這一點，將不勝感激。給出識別下列語言的DFA的狀態圖。在所有部分中，字母表是{0,1} {w | W的長度最多爲5}

0熱度

1回答

用Detours降低非確定性？

我想知道是否有可能使用hook（如Detours）去除任意應用程序中的非確定性。我們可以假定單線程應用程序（忽略由比賽和調度引起的非確定性）。我的第一個猜測是重寫rand()以便爲任何要求僞隨機數的函數輸出可預測和可重複的輸出，而不管種子如何。有沒有其他常用的功能，我應該考慮覆蓋？我知道這裏沒有完美的解決方案，但是對於大多數應用程序來說，它可能會起作用。另外，如果有另一種方法來解決這個問

2熱度

2回答

模擬確定性（基於qemu的模擬器）

我使用Marss週期精確模擬器，它使用QEMU。它是一個完整的系統模擬器，同時提供用戶和內核統計信息。但是，即使我只採用用戶統計，不同運行之間的統計數據也會有很大差異。我在火星網站上提出這個問題，但無法得到很好的答案。我想知道它是否與qemu有關。或者任何qemu選項/變體，可以使模擬具有確定性。我嘗試使用-icount auto，仍然有一些變化。使用simplescalar eio文件，