Tại sao đồng thời haskell không xác định trong khi song song haskell nguyên thủy (mệnh và pseq) xác định?

Question

Không hoàn toàn hiểu được quyết định trong bối cảnh đồng thời và song song trong Haskell. Một số ví dụ sẽ hữu ích. Cảm ơn

Answer 1

Khi xử lý các giá trị thuần túy, thứ tự đánh giá không quan trọng. Đó là cơ bản những gì song song song song hiện: Đánh giá giá trị tinh khiết song song. Trái ngược với các giá trị thuần túy, trật tự thường quan trọng đối với các hành động có tác dụng phụ. Hành động chạy đồng thời được gọi là đồng thời.

Ví dụ, hãy xem xét hai hành động putStr "foo" và putStr "bar". Tùy thuộc vào thứ tự mà hai hành động đó được đánh giá, đầu ra là "foobar", "barfoo" hoặc bất kỳ trạng thái nào ở giữa. Đầu ra là không xác định vì nó phụ thuộc vào thứ tự cụ thể của việc đánh giá.

Ví dụ khác, hãy xem xét hai giá trị sum [1..10] và 5 * 3. Bất kể thứ tự mà hai người được đánh giá, họ luôn giảm xuống cùng một kết quả. Điều này determinism là một cái gì đó bạn thường có thể chỉ đảm bảo với giá trị tinh khiết.

Answer 2

Tương tranh và song song là hai điều khác nhau.

Đồng thời có nghĩa là bạn có nhiều luồng tương tác không xác định. Ví dụ, bạn có thể có một máy chủ trò chuyện nơi mỗi khách hàng được xử lý bởi một sợi. Tính không xác định là điều cần thiết đối với hệ thống bạn đang cố gắng lập mô hình.

Song song là về việc sử dụng nhiều luồng chỉ đơn giản là làm cho chương trình của bạn chạy nhanh hơn. Tuy nhiên, kết quả cuối cùng phải giống hệt như khi bạn chạy thuật toán tuần tự.

Nhiều ngôn ngữ không có nguyên thủy cho song song, do đó bạn phải triển khai nó bằng cách sử dụng các nguyên tắc tương tranh như chủ đề và khóa. Tuy nhiên, điều này có nghĩa là bạn lập trình viên phải cẩn thận để đảm bảo rằng bạn không vô tình đưa ra các khái niệm không xác định không mong muốn hoặc các vấn đề tương tranh khác. Với nguyên thủy song song rõ ràng như par và pseq, nhiều mối quan tâm này chỉ đơn giản biến mất.