Minh bạch tham chiếu và mmap trong Haskell

Question

Tôi đã hy vọng sử dụng System.INotify và System.IO.MMap cùng nhau để xem các sửa đổi tệp và sau đó nhanh chóng thực hiện các khác biệt để gửi bản vá qua mạng. Tuy nhiên, trong tài liệu hướng dẫn cho System.IO.MMap có một vài cảnh báo về tính minh bạch tham chiếu:

Các tài liệu khẳng định

Nó chỉ là an toàn để mmap một tập tin nếu bạn biết bạn là người dùng duy nhất. Nếu không thì tính minh bạch tham chiếu có thể có hoặc không bị xâm phạm. Các ngữ nghĩa đáng buồn khác nhau nhiều giữa các hệ điều hành.

Giá trị trả về MMap là IO ByteString, chắc chắn khi tôi sử dụng giá trị này với putStr Tôi đang mong đợi một kết quả khác nhau mỗi lần? Tôi giả sử rằng tác giả có nghĩa là giá trị có thể thay đổi trong một hoạt động IO như putStr và sự cố?

START-OF-EDIT: Nghĩ về nó, tôi đoán câu trả lời cho phần này của câu hỏi có phần rõ ràng ... Nếu giá trị thay đổi bất kỳ lúc nào sau khi được mở hộp thì sẽ có vấn đề.

do 
    v <- mappedValue :: IO ByteString 
    putStr v 
    putStr v -- Expects the same value of v everywhere 

end-of-EDIT

nên không nó có thể để có được một số loại khóa trên khu vực bản đồ hoặc vào file?

Cách khác, bạn có thể viết hàm copy :: IO ByteString -> IO ByteString chụp nhanh tệp ở trạng thái hiện tại một cách an toàn không?

Answer 1

Tôi nghĩ tác giả có nghĩa là giá trị có thể thay đổi ngay cả bên trong một hàm được dỡ bỏ có thể xem nó như là một đồng bằng ByteString (không có IO).

Tệp ánh xạ meory là vùng bộ nhớ. Nó không có ý nghĩa nhiều để sao chép nội dung của nó qua lại, vì lý do hiệu suất (nếu không một người chỉ có thể làm đồng bằng cũ dựa trên I/O). Vì vậy, ByteString bạn đang nhận được là trực tiếp.

Nếu bạn muốn có ảnh chụp nhanh, chỉ cần sử dụng I/O dựa trên luồng. Đó là những gì đọc một tập tin nào: tạo một ảnh chụp nhanh trong bộ nhớ! Tôi đoán một thay thế sẽ được sử dụng giao diện ForeignPtr mà không mang theo cảnh báo minh bạch tham chiếu. Tôi không quen thuộc với ForeignPtrs vì vậy tôi không thể đảm bảo nó sẽ làm việc, nhưng có vẻ đầy hứa hẹn và tôi sẽ điều tra nó.

Bạn cũng có thể thử gọi map id trên ByteString của mình nhưng không đảm bảo bạn sẽ nhận được bản sao khác với bản gốc.

Khóa tệp bắt buộc, đặc biệt là trên Linux, là một mớ hỗn độn tránh được tốt hơn. Khóa tập tin tư vấn là OK, ngoại trừ không ai đang sử dụng nó, vì vậy nó có hiệu quả không tồn tại.