Máy Turing phân phối?

Tôi là một sinh viên bậc thầy tập trung vào các hệ thống phân tán nhưng cũng quan tâm đến khoa học máy tính lý thuyết. Tôi đã tự hỏi nếu có một đại diện chính thức của một hệ thống phân tán trên đầu máy Turing? Đó là, có thể mở rộng (tạo ra một biến thể) khái niệm về một máy Turing để tận dụng lợi thế của điện toán phân tán?

Một ý tưởng, là tạo một băng chia sẻ (một cái gì đó tương tự như Tuple Space ) giữa TM.

[Có] một đại diện chính thức của một hệ thống phân tán trên đầu máy turing không?

Về điều này, các cuộc thảo luận (xem liên kết được đăng bởi Jukka trên các bình luận) là cách để xem xét. Theo cách tôi thấy, cách bạn thể hiện chính thức một hệ thống phân tán phần lớn phụ thuộc vào cách bạn xem chúng và điều đó phụ thuộc vào "các giả định hệ thống yêu thích của bạn" (nghĩa là các giả định về tính đồng bộ (nghĩa là thời gian hành động tương đối trong phân tán hệ thống), về giao tiếp (truyền thông điệp so với bộ nhớ chia sẻ), về lỗi (của các quá trình và / hoặc liên kết, lành tính hoặc Byzantine, v.v.). Vì cộng đồng không đồng ý về điểm này, nên cũng không có thỏa thuận nào về hình thức cơ bản .

[Có] có thể mở rộng (tạo ra một biến thể) khái niệm về một máy Turing để tận dụng lợi thế của điện toán phân tán?

Tôi đoán nó là hoàn toàn có thể, nhưng không ai (mà tôi biết) đã nhìn vào nó. Những gì tôi biết là:

1. Thời gian IO Automata cũng được sử dụng trong sách Điện toán phân tán của Lynch
2. Truyền đạt các quy trình tuần tự
3. Logic tạm thời của hành động
4. Tính toán Pi (cũng đã được Alex đề cập)
5. Và nhiều hơn nữa (đã và sẽ được đề cập ở đây) ...

Bạn có thể muốn xem xét tính toán Pi.

http://en.wikipedia.org/wiki/%CE%A0-calculus

Đây là một tính toán dựa trên được xử lý được thiết kế để lý luận về các hệ thống phân tán.

Tôi ngạc nhiên khi Petri Nets chưa được đề cập! Phần mở rộng của Petri Nets như Colour Petri Nets hoặc Petri Nets với các vòng cung ức chế đã hoàn tất.

( Cảnh báo: quan điểm hơi thiên vị, quá đơn giản và khái quát hóa trắng trợn phía trước. )

Thông thường sự khác biệt giữa tính toán phân tán và tính toán song song có thể được tóm tắt như sau:

• Trong điện toán phân tán, các biện pháp phức tạp chính có liên quan đến các luồng thông tin và truyền thông : có bao nhiêu vòng giao tiếp ("thời gian"); có bao nhiêu bit được truyền đi.
• Trong điện toán song song , các biện pháp phức tạp chính có liên quan đến tính toán và xử lý thông tin : có bao nhiêu bước cơ bản ("thời gian"); Có bao nhiêu bit được lưu trữ.

Nếu bạn mất quan điểm này, sau đó nó thường chỉ ra rằng để mô hình hệ thống phân phối, nó không thực sự quan trọng rằng những loại tính toán năng lượng các nút của bạn (hoặc bộ vi xử lý hoặc máy tính) xảy ra để có.

$O(n)$

$X$$X$

$T$$T$

Do đó, sử dụng máy Turing làm điểm khởi đầu để mô hình hóa các hệ thống phân tán nghe có vẻ hơi không tự nhiên đối với tôi: nếu đây là khía cạnh không liên quan, tại sao lại xây dựng mọi thứ trên nó? Mặt khác, trong điện toán song song, điều này là tự nhiên (ngoại trừ mô hình thường là một cái gì đó giống như PRAM thay vì máy Turing).

Một số người cho rằng tùy thuộc vào quan điểm của bạn, bạn có thể nghĩ đến hệ thống phân phối như một cái gì đó nhiều hơn nữa mạnh mẽ hơn so với một máy Turing, vì sự giải thích khác nhau của boundedness của phi thuyết định mệnh và sự công bằng. Liên kết này có một cuộc thảo luận thú vị về chủ đề này. Herlihy / Shavit trong cuốn sách "Nghệ thuật lập trình đa bộ xử lý" của họ cho rằng khả năng tính toán Turing vốn đề cập đến khái niệm thuật toán (tuần tự) và theo một nghĩa nào đó không phù hợp để suy luận về điện toán phân tán. Tôi nên đề cập rằng điều này là tranh cãi và gây tranh cãi vì vậy tôi hy vọng không ai ném đá tôi vì tôi đang nói điều này.