Id dấu thời gian duy nhất hiệu suất cao cho nhiều chủ đề trong Haskell

Question

Tôi có nhiều chủ đề xử lý sự kiện. Tôi muốn gán dấu thời gian nano giây cho mỗi sự kiện. Nó phải là một id duy nhất, mặc dù. Vì vậy, trong trường hợp kỳ lạ mà hai sự kiện đến như vậy mà họ sẽ được chỉ định cùng một dấu thời gian, tôi muốn một trong số họ được tăng thêm một nano giây. Cho rằng độ chính xác thực sự không phải ở cấp độ nano giây, đó là ok như xa như bản chất tem thời gian của hệ thống.

Trong một chuỗi, đây là một vấn đề nhỏ. Nhưng qua nhiều chủ đề, nó trở nên khó khăn hơn. Hiệu suất là cực kỳ quan trọng vì vậy ý ​​tưởng về sự đồng bộ ngây thơ trên một loại máy phát id tiêu biểu có vẻ như nó sẽ chặn quá nhiều.

Có cách tiếp cận nào giải quyết vấn đề này với khóa tối thiểu hoặc không khóa không?

Answer 1

Bạn có thể sử dụng atomicModifyIORef để triển khai bộ đếm nguyên tử. Với GHC, nó được thực hiện bằng cách sử dụng các hoạt động nguyên tử, không phải khóa.

import Data.IORef 
import System.IO.Unsafe 

counter :: IO Int 
counter = unsafePerformIO $ newIORef 0 

getUnique :: IO Int 
getUnique = atomicModifyIORef counter $ \x -> let y = x + 1 in (y, y) 

Answer 2

Tại sao không tách biệt các mối quan ngại về việc tạo dấu thời gian và tạo ID duy nhất? Ví dụ: có mô-đun chuẩn Data.Unique, cung cấp nguồn cung cấp toàn cầu các giá trị duy nhất trong IO và phải đủ nhanh cho hầu hết các mục đích. Hoặc, nếu bạn cần một cái gì đó huyền ảo, gói concurrent-supply cung cấp một nguồn cung cấp ID duy nhất, đồng thời hiệu suất cao với giao diện thuần túy.

Điều đó nói rằng, bạn có thể sử dụng POSIX monotonic clock cho mục đích này, sử dụng ví dụ: gói clock:

import Control.Monad 
import qualified System.Posix.Clock as Clock 

main :: IO() 
main = replicateM_ 100 $ do 
    time <- Clock.getTime Clock.Monotonic 
    print (Clock.sec time, Clock.nsec time) 

Answer 3

Trong ngôn ngữ C, chúng tôi thường thực hiện việc này bằng bộ đếm nguyên tử - không cần khóa. Nếu bạn muốn có một dấu thời gian quá, đó sẽ là một giá trị riêng biệt. Tôi không chắc chắn về Haskell vì tôi không viết với nó (như là thú vị như nó âm thanh).

Answer 4

• http://hackage.haskell.org/package/greg-client có thể?

Answer 5

Bạn có thể sử dụng hai phần thông tin làm id duy nhất không? Nếu vậy, đặt cho mỗi luồng một id duy nhất và bản ghi cho mỗi sự kiện, dấu thời gian nano giây và id của chuỗi chỉ định dấu thời gian. Sau đó, vấn đề sẽ giảm xuống bất cứ điều gì bạn đã làm trong trường hợp có ren đơn để đảm bảo tính duy nhất của dấu thời gian. Và không có đồng bộ hóa ở tất cả sau khi khởi tạo.