Tôi đang trong giai đoạn thiết kế của ngôn ngữ lập trình, hiện đang suy nghĩ về các khía cạnh đồng thời. Tôi cần tìm ra một số consistency model, tức là cách dữ liệu được xử lý bởi các quy trình đồng thời được lập trình bằng ngôn ngữ này.Chọn một mô hình nhất quán cho ngôn ngữ lập trình đồng thời
Có hai tiêu chí quan trọng:
- Tôi thích tính dễ sử dụng hơn hiệu suất, miễn là các mô hình thống nhất cho phép mở rộng quy mô tốt,
- tôi không thể sử dụng một mô hình thống nhất rằng cần ngăn chặn hoặc động cấp phát bộ nhớ.
hai ứng cử viên của tôi ngay bây giờ là non-blocking phần mềm bộ nhớ giao dịch ở một bên, và copy thông điệp thông qua ngữ nghĩa mà không chia sẻa la Erlang.
Tôi đặc biệt lo lắng về tính dễ sử dụng, vì vậy tôi sẽ trình bày các đối số chính mà tôi có đối với từng mô hình trong số hai mô hình này.
Trong trường hợp STM, người dùng phải hiểu những thành viên nào của lớp phải thay đổi phần nguyên tử và phân tích chính xác các phần mã nguyên tử. Chúng phải được viết để chúng có thể được lặp lại một số lần không xác định, chúng có thể không thực hiện bất kỳ I/O nào, có thể không gọi một số chức năng nước ngoài, v.v. Tôi thấy điều này dễ dàng cho một lập trình viên không có kinh nghiệm.
Đồng thời Erlang không chia sẻ các đối tượng mà chúng gửi đi, vì chúng không thể thực hiện bất kỳ cấp phát bộ nhớ nào và do đó các đối tượng phải "di chuyển" từ một quá trình này qua hàng đợi khác. Người dùng phải biết rằng nếu một quy trình thời gian thực có hai tham chiếu đến một đối tượng, cả hai tham chiếu đó sẽ bị xóa nếu anh ta gửi đối tượng đến một tiến trình khác. Đây là một chút giống như con trỏ yếu có thể có hoặc không có giá trị tại bất kỳ điểm sử dụng nào: nó có thể gây ngạc nhiên.
Tôi có xu hướng hướng tới mô hình thứ hai vì nó có vẻ dễ hiểu hơn và nó tự nhiên mở rộng đến các hệ thống phân tán.
Bạn đề xuất điều gì?
- Bộ nhớ giao dịch phần mềm không chặn?
- Đồng thời kiểu Erlang với những khó khăn về ràng buộc thời gian thực?
- Điều gì đó khác mà tôi chưa xem xét?