hiểu tương lai Clojure

Question

Tôi đang cố hiểu tương lai Clojure và tôi đã xem các ví dụ từ các sách Clojure phổ biến ở đó, và có những ví dụ về tương lai được sử dụng để tính toán song song (có vẻ hợp lý).

Tuy nhiên, tôi hy vọng ai đó có thể giải thích hành vi của một ví dụ đơn giản được điều chỉnh từ cuốn sách Lập trình Clojure của O'Reilly.

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

Khi tôi cố gắng dereference này, bằng cách làm

(time @long-calculation) 

Nó trả về kết quả đúng (4999999950000000), nhưng hầu như ngay lập tức (trong 0,045 msecs) trên máy tính của tôi.

Nhưng khi tôi gọi hàm thực tế, như vậy

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

tôi nhận được kết quả chính xác là tốt, nhưng thời gian thực hiện là lớn hơn nhiều (~ 5000 msecs).

Khi tôi dereference tương lai, sự hiểu biết của tôi là một thread mới được tạo ra trên đó biểu thức được đánh giá - trong trường hợp này tôi mong đợi nó sẽ mất khoảng 5000 msec là tốt.

Làm thế nào mà tương lai không quan tâm trả về kết quả chính xác nhanh như vậy?

Answer 1

Tính toán trong tương lai sẽ bắt đầu ngay sau khi bạn tạo tương lai (trong một chuỗi riêng biệt). Trong trường hợp của bạn, việc tính toán bắt đầu ngay sau khi bạn thực hiện (def long-calculation ....)

dereferencing sẽ làm một trong hai điều:

• Nếu tương lai vẫn chưa hoàn thành, khối cho đến khi nó hoàn thành và sau đó trả về giá trị (điều này có thể mất một khoảng thời gian tùy ý hoặc thậm chí không bao giờ hoàn thành nếu tương lai không chấm dứt)
• Nếu tương lai đã hoàn thành, hãy trả lại kết quả. Đây là gần như tức thời (đó là lý do tại sao bạn đang nhìn thấy lợi nhuận dereference rất nhanh)

Bạn có thể nhìn thấy hiệu quả bằng cách so sánh như sau:

;; 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"