Khoa học máy tính lý thuyết concurrency

1

Sự khác biệt giữa Mô hình diễn viên đồng thời và Giao tiếp các quy trình tuần tự

Tôi đang cố gắng xoay quanh những gì khác biệt thực sự giữa Mô hình diễn viên đồng thời và mô hình quy trình liên tục (CSP) của diễn viên. Cho đến nay, điều tốt nhất mà tôi có thể đưa ra là Mô hình Actor cho phép số lượng …

26 concurrency

2

Tìm kiếm động song song

Có một sự tương tự song song tự nhiên với cây đen đỏ với các thuộc tính tương tự hoặc thậm chí không tệ hơn để cập nhật trong khi hiệu quả công việc hợp lý? Tổng quát hơn, những gì tốt nhất chúng ta có thể làm để tìm …

24 ds.algorithms ds.data-structures dc.parallel-comp concurrency dynamic-algorithms

1

Tương lai được mô tả như thế nào về lý thuyết thể loại?

Có một mô tả hữu ích về tương lai hoặc lời hứa về mặt lý thuyết thể loại? Cụ thể, kép kép phân loại của Tương lai có thể là gì?

22 pl.programming-languages ct.category-theory concurrency

1

Có một danh sách các vấn đề kinh điển trong các hệ thống phân tán?

Tuần trước, tôi đã đọc lại bản thảo năm 1982 của Leslie Lamport về một hội nghị mà anh ấy đã đưa ra về các vấn đề đã giải quyết, các vấn đề chưa được giải quyết và các vấn đề không đồng thời . Bài báo có thể dễ …

13 reductions dc.distributed-comp concurrency

1

Thời gian giả là gì khi được sử dụng so với semaphores

Tôi hiện đang nghe bài nói của Alan Kays "Nó thực sự phức tạp hay chúng ta chỉ làm cho nó phức tạp?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) trong đó anh ta nói rằng "semaphores là một ý tưởng tồi và có một thứ gọi là thời gian giả vượt trội" (ở …

11 terminology concurrency

2

Tại sao tính tuyến tính là một thuộc tính an toàn và tại sao các thuộc tính an toàn lại đóng?

Trong Chương 13 "Đối tượng nguyên tử" của cuốn sách "Thuật toán phân tán" của Nancy Lynch, tính tuyến tính (còn được gọi là nguyên tử) được chứng minh là một đặc tính an toàn. Điều đó có nghĩa là, thuộc tính theo dõi tương ứng của nó là không …

10 reference-request fl.formal-languages dc.distributed-comp concurrency

1

Một hoạt động so sánh và trao đổi nhiều từ thực tế

Trong giấy với tiêu đề giống như của câu hỏi này, các tác giả mô tả làm thế nào để xây dựng một nonblocking linearizable nhiều từ CAS hoạt động chỉ sử dụng một CAS đơn từ. Trước tiên, họ giới thiệu hoạt động trao đổi đơn so sánh kép …

10 dc.parallel-comp concurrency

2

Giới hạn trên bộ sưu tập không khóa?

David Rodríguez - dribeas đã viết trong một bình luận trên StackOverflow rằng "Không phải tất cả các bộ sưu tập có thể được thực hiện mà không có khóa". Tôi không chắc điều này có đúng không và tôi cũng không thể tìm thấy bằng chứng. Tuyên bố này …

10 ds.data-structures pl.programming-languages dc.distributed-comp concurrency

3

Làm thế nào để thiết kế cấu trúc dữ liệu đồng thời?

Trước đây tôi đã hỏi câu hỏi này trên Lập trình viên . Không thành công. Tôi đang tìm kiếm tài nguyên học tập bằng văn bản về cách thiết kế cấu trúc dữ liệu đồng thời. Tôi quan tâm nhiều hơn đến quá trình thiết kế (ví dụ: xác …

8 ds.algorithms reference-request ds.data-structures concurrency

1

câu hỏi về giấy ZK đồng thời của Mitchhakaran & Sahai

Bằng chứng không có kiến thức đồng thời với độ phức tạp tròn logarit Số trang là từ chính tờ giấy chứ không phải pdf. Từ trang 3, "Một hệ thống chứng minh tương tác được cho là hộp đen (tính toán) không biết nếu có một cỗ máy thời …

8 cr.crypto-security concurrency zero-knowledge

3

Sự khác biệt giữa tính nhất quán nghiêm ngặt và tính nhất quán tuần tự

Tôi hiểu sự nhất quán nghiêm ngặt và tuần tự độc lập khá tốt. Strict C về cơ bản thực thi thứ tự thực tế trong đó các hướng dẫn chạy trên đồng hồ toàn cầu. Tính nhất quán tuần tự về cơ bản thực thi lệnh chỉ trên một …

8 pl.programming-languages dc.parallel-comp concurrency

1

Mô hình hóa quy trình với các khái niệm chi tiết về vị trí

Có ai biết về bất kỳ hình thức đại số (hoặc liên quan) nào nắm bắt thông tin vị trí hạt mịn? Tôi quen thuộc với môi trường xung quanh và máy in lớn, rõ ràng có mô hình vị trí, nhưng còn những nỗ lực mô hình hóa thông …

8 concurrency process-algebra formal-modeling

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