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

Khi xem xét lập trình đồng thời, hai thuật ngữ thường được sử dụng tức là đồng thời và song song. Và một số ngôn ngữ lập trình đặc biệt yêu cầu hỗ trợ cho lập trình song song, chẳng hạn như Java . Điều này có nghĩa là lập …

44 terminology  parallel-computing  concurrency 

Tôi đang cố gắng để hiểu các thuật toán của Peterson và Dekker rất giống nhau và hiển thị rất nhiều đối xứng. Tôi đã cố gắng xây dựng các thuật toán bằng ngôn ngữ không chính thức như sau: Peterson's: "I want to enter." flag[0]=true; "You can enter next." …

41 concurrency  synchronization  mutual-exclusion 

Sau khi đọc một số nguồn, tôi vẫn còn bối rối về các luồng cấp độ người dùng và hạt nhân. Đặc biệt: Chủ đề có thể tồn tại ở cả cấp độ người dùng và cấp độ nhân Sự khác biệt giữa cấp độ người dùng và cấp độ …

33 operating-systems  terminology  concurrency  os-kernel 

Tôi thường nghe các cụm từ như 'ngữ nghĩa đồng thời thực sự' và 'tương đương đồng thời thực sự' mà không có bất kỳ tài liệu tham khảo nào. Những thuật ngữ đó có nghĩa gì và tại sao chúng quan trọng? Một số ví dụ về tương đương …

28 terminology  reference-request  concurrency 

Theo hiểu biết của tôi, có ba đại số quá trình chính đã truyền cảm hứng cho một loạt các nghiên cứu về các mô hình đồng thời chính thức. Đó là: CCS và -calculus của Robin Milnerππ\pi CSP của Tony Hoare và ACP của Jan Bergstra và Jan Willem …

21 logic  concurrency  process-algebras 

Gần đây tôi đã đọc một chút tài liệu và đã tìm thấy một số cấu trúc dữ liệu khá thú vị. Tôi đã nghiên cứu nhiều phương pháp khác nhau để có được thời gian cập nhật xuống đến thời gian cập nhật trường hợp xấu nhất [1-7].O(1)O(1)\mathcal{O}(1) Gần …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Tôi có một nhật ký cơ sở dữ liệu trong đó một số giao dịch giành chiến thắng (chúng được cam kết trước khi sụp đổ) và một số mất (chưa được cam kết). Chúng tôi đã học được trong lớp rằng hành động của người thua cuộc phải được …

19 concurrency  databases 

Khóa thường được thực hiện thông qua kiểm tra và thiết lập và trao đổi hướng dẫn cấp độ máy. Có những triển khai khác không sử dụng chúng? Ngoài ra, chúng ta có thể nói rằng tất cả các giải pháp cấp phần cứng cho vấn đề phần quan …

19 concurrency  synchronization  mutual-exclusion 

Theo Wikipedia , Hoạt động kiểm tra và thiết lập có thể giải quyết vấn đề đồng thuận chờ đợi không quá hai quy trình đồng thời. Tại sao nó không thể giải quyết vấn đề trong hơn hai quy trình?

17 concurrency  consensus 

Khi chúng ta nhìn vào Mô hình diễn viên và Giao tiếp các quy trình tuần tự, chúng ta thấy rằng cả hai đều cố gắng thực hiện đồng thời dựa trên việc truyền thông điệp , nhưng chúng khác biệt . (Chúng tôi thấy việc triển khai Mô hình …

16 concurrency  message-passing 

Tôi đã đọc về các ngôn ngữ lập trình dựa trên ngăn xếp, chẳng hạn như FORTH và Cat , và dường như với bản chất của chúng, chúng chỉ có thể thực hiện một hành động tại một thời điểm bất kể mô hình của chúng (FORTH là bắt …

14 concurrency  stacks  evaluation-strategies 

Tôi đã đọc về sự khác biệt giữa tính tuần tự và tính tuyến tính , cả hai đều là tiêu chí thống nhất cho các hệ thống được nhân rộng, chẳng hạn như cơ sở dữ liệu được nhân rộng. Tuy nhiên, tôi không biết trong trường hợp nào …

13 concurrency  databases 

Có bất kỳ thay đổi nào có thể được thực hiện đối với CPU để làm cho chúng hoạt động tốt hơn cho các thời gian chạy đồng thời như Rust không? Chẳng hạn, có những thay đổi đối với việc triển khai dự đoán nhánh hoặc kích thước bộ …

12 computer-architecture  concurrency  functional-programming 

Tôi đang thiết kế một cơ sở dữ liệu đối tượng trong bộ nhớ cho trường hợp sử dụng rất cụ thể. Nó là nhà văn duy nhất, nhưng phải hỗ trợ đọc đồng thời hiệu quả. Đọc phải được cách ly. Không có ngôn ngữ truy vấn, cơ sở …

12 data-structures  concurrency  databases 

Nói cách khác, phân luồng lai có ưu điểm nào hơn luồng 1: 1 (chỉ kernel) và luồng N: 1 (chỉ người dùng)? Đây là phần tiếp theo Sự khác biệt giữa các luồng cấp độ người dùng và luồng cấp độ nhân là gì?

12 operating-systems  concurrency  os-kernel