Câu hỏi được gắn thẻ «concurrency»

Tôi hiện đang tham gia khóa học lập trình đồng thời ở trường đại học của tôi và gần đây chúng tôi đã bắt đầu nói về khái niệm màn hình. Mặc dù tôi hiểu sự cần thiết của loại trừ lẫn nhau, tôi không hiểu tại sao tôi sẽ …

11 concurrency  synchronization  mutual-exclusion 

Một quả uống yêu cầu người dùng để chèn một đồng xu ( ), sau đó một thao tác bấm ba nút: ˉ d trà yêu cầu một tách trà e trà , như trên cho cà phê, và ˉ r yêu cầu một khoản hoàn lại (tức là máy …

11 logic  concurrency  modelling  process-algebras  ccs 

Tôi hiểu rằng hầu hết các triển khai phổ biến của một mutex (ví dụ std :: mutex trong C ++) không đảm bảo tính công bằng - nghĩa là, họ không đảm bảo rằng trong các trường hợp tranh chấp, khóa sẽ được lấy bởi các luồng theo thứ …

11 concurrency  synchronization  threads 

Nền tảng của tôi đến từ các ngôn ngữ bắt buộc, chủ yếu là C, C ++ và Python. Tôi đã chọn Scala, Erlang và một chút Haskell một vài năm sau đó và từ đó đã trở nên rất quan tâm đến lập trình chức năng và các hình …

10 distributed-systems  concurrency 

Đưa ra một chương trình bao gồm các biến và hướng dẫn sửa đổi các biến này và nguyên thủy đồng bộ hóa (màn hình, mutex, khóa của java hoặc khóa C #), liệu có thể chứng minh rằng chương trình đó là an toàn cho luồng không? Thậm chí …

9 proof-techniques  correctness-proof  concurrency  threads 

Tôi nghĩ rằng trong thuật toán của Peterson để loại trừ lẫn nhau , nếu quá trình đầu tiên vào phần quan trọng bị chết hoặc bị hủy, quá trình kia sẽ lặp lại mãi mãi, chờ đợi để vào phần quan trọng. Trong ảnh, nếu quá trình 1 bị …

9 programming-languages  concurrency  mutual-exclusion 

Đã có một số lượng lớn nghiên cứu về các thuật toán loại trừ lẫn nhau - ví dụ, rất nhiều trong số đó được trình bày trong sách giáo khoa cổ điển như Nghệ thuật lập trình đa bộ xử lý , trong đó toàn bộ một chương dành …

8 reference-request  concurrency  mutual-exclusion 

Tôi gặp khó khăn khi so sánh hai mô hình nhất quán bộ nhớ này. Về cơ bản để thống nhất tuần tự tôi nghĩ về mã thực như thế này: int x, y; void ThreadA() { x = 20; //Write int a = y; //Read } void ThreadB() { …

7 concurrency  cpu-cache  threads  shared-memory 

Tôi đã cố gắng nắm bắt tính tuần tự và tính tuyến tính trong bối cảnh bộ nhớ giao dịch phần mềm. Tuy nhiên, tôi nghĩ rằng cả hai khái niệm có thể được áp dụng cho bộ nhớ giao dịch nói chung. Tại thời điểm này, sau đây là …

7 distributed-systems  concurrency  databases 

Trong bài báo "Các mô hình bộ nhớ không đồng nhất chủng tộc" [1], các tác giả nói rằng một chương trình chỉ bao gồm nguyên tử là không có chủng tộc trong SC-DRF nhưng nó không trực tiếp trong HRF. Tôi không thể hiểu tại sao điều này là. …

7 concurrency 

Tôi đang đọc Nghệ thuật lập trình đa bộ xử lý và cố gắng hiểu khái niệm về khóa không nhất quán của họ. Cụ thể, ở trang 37 , định nghĩa 2.8.1 của khóa không nhất quán đối với tôi không rõ ràng, cũng như Bổ đề 2.8.1. Định …

7 terminology  concurrency  threads  deadlocks 

Tôi hiện đang đọc Fuss, Futexes và Furwocks: Khóa người dùng nhanh trong Linux và đã xem qua trích dẫn này: Trong sơ đồ khóa công bằng, khóa được cấp theo thứ tự được yêu cầu. Điều này có thể có tác động tiêu cực đến thông lượng do số …

7 concurrency  threads 

Nếu Máy Turing là máy tự động tương đương với phép tính , thì máy tự động tương đương với máy tính gì? Tôi cho rằng đó sẽ là một loại automata giống với Turing Machine, nhưng có hỗ trợ cho các kênh liên lạc hoặc tín hiệu thuộc loại …

7 automata  concurrency  machine-models  pi-calculus