瞭解Clojure期貨

Question

我想了解Clojure期貨，並且我已經看到了常見Clojure書籍的例子，並且有些例子中期貨被用於並行計算（這似乎是有道理的）。

但是，我希望有人能夠解釋O'Reilly編程Clojure書中一個簡單例子的行爲。

(def long-calculation (future (apply + (range 1e8)))) 

當我嘗試取消引用此，通過做

(time @long-calculation) 

它返回正確的結果（49999999.5億），但幾乎瞬間（0.045毫秒）我的機器上。

但是當我打電話的實際功能，像這樣

(time (apply + (range 1e8))) 

我得到正確的結果爲好，但花費的時間要大得多（〜5000毫秒）。

當我對未來進行解引用時，我的理解是創建一個新的線程來評估表達式 - 在這種情況下，我預計它也需要大約5000毫秒。

爲什麼取消引用的未來如此快速地返回正確的結果？

Answer 1

未來的計算會在創建未來時開始（在單獨的線程中）。

• 如果未來還沒有完成，塊直到它完成，然後返回值（這可能：在你的情況下，計算只要你執行(def long-calculation ....)

  提領將做兩件事情之一開始採取任意的時間，甚至從未完成，如果未來未能終止）

• 如果未來已完成，則返回結果。這幾乎是瞬時的（這就是爲什麼你看到非常快提領收益）

可以通過對比看到效果如下：

;; dereference before future completes 
(let [f (future (Thread/sleep 1000))] 
    (time @f)) 
=> "Elapsed time: 999.46176 msecs" 

;; dereference after future completes 
(let [f (future (Thread/sleep 1000))] 
    (Thread/sleep 2000) 
    (time @f)) 
=> "Elapsed time: 0.039598 msecs"