Việc triển khai ngôn ngữ chức năng nào cho phép chạy các luồng song song?

Question

GC OCaml áp đặt một khóa toàn cầu ngăn chặn các trình biến đổi (luồng) chạy song song mặc dù chúng có thể chạy đồng thời (xen kẽ). Tôi tin rằng điều này cũng đúng với SML/NJ và MLton nhưng không phải là PolyML, GHC, F #, Clojure và Scala.

Việc triển khai ngôn ngữ chức năng khác cho phép các luồng chạy song song?

Answer 1

Tôi vui mừng báo cho bạn biết rằng bạn đã đúng và rằng F #, được dựa trên CLR, không bị giới hạn mà ở tất cả, và thay vào đó lợi ích từ việc đa luồng cụ thể các tính năng bao gồm async workflows, the mailboxprocessor và Thư viện song song tác vụ sắp tới (.NET 4.0) tuyệt vời.

Answer 2

Haskell supports parallel threads qua Data Parallel Haskell

Answer 3

Cả Scala và Clojure đều đang chạy trên JVM, cho phép đồng thời thực sự mà không có bất kỳ điểm nghẽn cổ chai nào.

Answer 4

Ngoài Haskell, bạn có thể chạy đồng thời trong Erlang (Lập trình theo hướng tương tranh) và bạn cũng có thể làm như vậy trong F # bằng cách sử dụng .NET Parallel Extensions và Asynchronous Workflows.

Answer 5

Erlang thực hiện các quy trình và quy trình xử lý riêng và cho phép hàng ngàn, hàng chục nghìn và thậm chí hàng triệu quy trình Erlang (bên trong một quy trình Hệ điều hành).

Trong SMP và máy đa lõi, Máy ảo Erlang sẽ phân bổ nhiều luồng hệ điều hành và quy trình hệ điều hành cho quá trình lên lịch và xử lý hàng đợi để tối đa hóa việc sử dụng các hoạt động đồng thời bên dưới trong kiến ​​trúc phần cứng.

Mô hình đồng thời tiếp xúc với các ứng dụng vẫn giữ nguyên, tất nhiên.

Answer 6

Có một số triển khai tốt ngoài đó. Hiện tại, người Haskell dường như nhận được kết quả tốt nhất (xem ICFP 2009 paper by Simon Marlow and others cũng như Haskell Symposium 2009 paper by Donnie Jones and others). Erlang là khá gần phía sau, đặc biệt là nếu bạn muốn đi phân phối.

Trong sáu đến mười hai tháng các câu trả lời có thể đã thay đổi :-)

Answer 7

trăn không phải là một ngôn ngữ đặc biệt là chức năng, và với GIL, nó không phải là rất song song, một trong hai, nhưng kết hợp với các mô-đun multiprocessing (tiêu chuẩn từ 2.6), bạn nhận được cả hai, nhưng nó không hoàn toàn thanh lịch như các ngôn ngữ chức năng thuần túy.

Brief example:

from multiprocessing import Pool 

def f(x): 
    return x*x 

if __name__ == '__main__': 
    pool = Pool(processes=4)    # start 4 worker processes 
    result = pool.apply_async(f, [10])  # evaluate "f(10)" asynchronously 
    print result.get(timeout=1)   # prints "100" unless your computer is *very* slow 
    print pool.map(f, range(10))   # prints "[0, 1, 4,..., 81]" 

Answer 8

Chỉ cần một số bổ sung để xác nhận phần tiếp theo của danh sách đầu cơ:

• Poly/ML hỗ trợ bài bản địa (POSIX đề hoặc chủ đề Windows) kể từ phiên bản 5.2 (từ năm 2006). Hiện tại Poly/ML 5.5 (mùa hè 2012) đã cải thiện hỗ trợ quản lý bộ nhớ song song: một số giai đoạn GC sử dụng nhiều luồng, có sự hỗ trợ đặc biệt cho việc chia sẻ trực tuyến các giá trị không thay đổi để giảm dung lượng bộ nhớ của các ứng dụng lớn.

• Isabelle/ML cung cấp thư viện bổ sung trong tương lai cho các chủ đề Poly/ML. Isabelle là một prover định lý tương tác, nhưng nó được tích hợp với một phiên bản tăng cường SML dựa trên Poly/ML.