stm

5Nhiệt

1Trả lời

Có nên đọc nhiều lần chỉnh sửa Clojure trong giao dịch để nhất quán không?

Đây là một câu hỏi lý thuyết được thúc đẩy bởi mong muốn của tôi để hiểu được sự tương đồng của Clojure tốt hơn. Giả sử tôi đang viết boids. Giả sử mỗi boid là một chuỗi màu xanh lá cây riêng biệt biế

5Nhiệt

1Trả lời

Bản đồ giao dịch với Bản đồ đồng bộ

Khi nào một người nên thích Akka TransactionalMap trên bản đồ không thay đổi thường xuyên được trộn lẫn với SynchronizedMap và ngược lại? (Hay tôi so sánh táo với cam ở đây?)

7Nhiệt

1Trả lời

STM với một phần nguyên tử đối với một số TV nhất định

Tôi đang làm việc với STM và có một số thứ khác sử dụng cấu trúc dữ liệu TBQueue với thành công lớn. Một tính năng hữu ích tôi đã sử dụng nó cho liên quan đến việc đọc từ nó dựa trên một điều kiện tiê

7Nhiệt

3Trả lời

Có thể theo dõi mức độ tranh chấp của STM không?

Có cách nào để thăm dò xem liệu các giao dịch STM của Clojure có đang được thử lại hay không và ở mức nào?

10Nhiệt

1Trả lời

Làm thế nào an toàn là 'unsafePerformIO (newTVarIO 0) `?

tôi đã nhận thấy thành ngữ này trong Data.Unique: uniqSource :: TVar Integer uniqSource = unsafePerformIO (newTVarIO 0) {-# NOINLINE uniqSource #-} Có đảm bảo chỉ chạy một lần?

5Nhiệt

1Trả lời

Điều gì là sai với giải pháp sau đây cho "nhà triết học ăn uống"?

Để làm quen với STM trong Haskell, tôi đã viết các giải pháp sau đây để các vấn đề triết gia ăn: import Control.Concurrent import Control.Concurrent.STM import Control.Monad import System.Random

7Nhiệt

3Trả lời

Haskell: TVar: Ngăn chặn nạn đói

Tôi đang xem xét sử dụng TVar để lưu trữ một số trạng thái trong ứng dụng web (có thể được tạo lại khi khởi động lại). Tuy nhiên, các khía cạnh tranh chấp của TVar liên quan đến tôi. Dường như một gia

11Nhiệt

1Trả lời

Haskell: TVar: orElse

Phần "khác" của orElse được gọi là khi giao dịch được thử lại do một giao dịch khác viết cho TVar nó đã đọc hoặc chỉ khi được gọi là retry?

39Nhiệt

1Trả lời

Cấu trúc dữ liệu chung đồng thời mà không bị deadlocks hoặc mất tài nguyên

Gần đây tôi đã hỏi một số câu hỏi liên quan đến TVar và tôi vẫn lo ngại về livelock. Vì vậy, tôi nghĩ về cấu trúc này: Mỗi giao dịch được ưu tiên duy nhất (có lẽ được phân bổ theo thứ tự tạo). Giao dị

5Nhiệt

1Trả lời

Lỗi phân bổ FreeRTOS

Tôi đang sử dụng FreeRTOS V6.1.1 trên STM32F107VC và gặp lỗi malloc thường xuyên. Diện tích đống được định nghĩa trong kịch bản mối liên kết nhưng nó vẫn tiếp tục bị mắc kẹt trong vòng lặp này pvPortM