Có thể thực hiện, ví dụ, khóa với các loại duy nhất?
Tôi đã theo liên kết mà Robert Harvey cung cấp và tôi đã đọc nhanh. Tôi không thể nói rằng tôi hiểu tất cả mọi thứ hoặc tôi có mức độ tự tin cao mà tôi thực sự hiểu những gì tôi nghĩ tôi đã hiểu, nhưng dường như toàn bộ quan điểm của tính độc đáo bên ngoài và tính bất biến tham chiếu là không cần phải khóa.
Các cách tiếp cận hiện đại để đa luồng cố gắng tránh bị khóa bởi vì chỉ những lập trình viên có kinh nghiệm cao mới có thể viết mã sử dụng khóa và thậm chí mã của họ rất dễ bị lỗi. Nếu bạn nói thêm rằng thực tế là mã khóa hầu như không thể kiểm chứng được, thì rõ ràng đó là một cách làm rất không mong muốn, và bất kỳ giải pháp nào nhằm giải phóng chúng tôi khỏi khóa đều hứa hẹn sẽ nói ít nhất.
Cách chúng tôi đã tránh bị khóa là với việc truyền tin nhắn, đòi hỏi các tin nhắn phải bất biến. Roughly, (thoạt nhìn,) tính bất biến tham chiếu dường như là một kỹ thuật có thể giúp chúng ta đảm bảo tính bất biến mà không phải thực sự xây dựng các loại bất biến, và tính độc đáo bên ngoài dường như là một kỹ thuật có thể giúp chúng ta thư giãn yêu cầu bất biến nghiêm ngặt cục bộ.
Các loại duy nhất có thể được sử dụng để chia sẻ dữ liệu có thể thay đổi giữa các luồng không?
Bài báo không nói rõ, nhưng theo những gì tôi hiểu, một cụm đối tượng độc đáo bên ngoài là luồng an toàn bởi vì bằng cách nào đó (thực sự, làm thế nào? ), Nó được đảm bảo rằng chỉ tồn tại một tham chiếu bên ngoài vào cụm đối tượng đó, có nghĩa là một luồng nhận được một tham chiếu như vậy có thể coi các đối tượng được tham chiếu là có thể thay đổi mà không phải lo lắng rằng một số luồng khác cũng có thể biến đổi chúng, bởi vì không có luồng nào khác có thể có một tham chiếu khác. Tôi sẽ tò mò muốn biết làm thế nào một cấu trúc lý thuyết như vậy có thể được thực hiện và thi hành.
Có thể sử dụng các loại duy nhất để xây dựng các nguyên hàm đồng bộ hóa (như mutexes), hoặc là thông điệp cần thiết?
Một lần nữa, từ những gì tôi hiểu, các loại độc đáo bên ngoài và tính bất biến tham chiếu có nghĩa là để hiển thị các khóa, mutexes và những thứ tương tự không cần thiết. Tin nhắn đi qua dường như là con đường để đi, và điều đó thật tốt.