Số nguyên tối: Tính toán mục đích chung trên Bộ định tuyến Internet


14

Greg Egan trong tiểu thuyết "Dark Integers" (câu chuyện về hai vũ trụ với hai toán học khác nhau giao tiếp bằng cách chứng minh các định lý xung quanh sự không nhất quán trong số học) cho rằng có thể xây dựng máy tính đa năng chỉ trên các bộ định tuyến internet hiện tại chỉ sử dụng chức năng cơ bản của nó chuyển mạch gói (và chính xác tổng kiểm tra, chính xác).

Điều này có thể, về nguyên tắc?

Cập nhật.

Để làm cho câu hỏi chính xác hơn:

Một tập hợp các thuộc tính hoàn toàn tối thiểu mà mạng bộ định tuyến phải có là gì để có thể xây dựng máy tính có mục đích chung trên nó?


3
Câu hỏi không được xác định rõ. Nếu có, không thể hiểu được đối với những người chưa đọc cuốn sách được đề cập.
Tsuyoshi Ito

1
Có lẽ câu hỏi sẽ được xác định tốt hơn nếu tôi chính thức hóa nó. Nhưng để làm điều đó một cách chính xác, tôi phải đi hơn một nửa câu trả lời.
Vag

1
Sẽ tốt hơn nếu thêm "Vì vậy, câu hỏi: chỉ có một mạng máy móc chuyển mạch gói IP, có thể xây dựng trên máy tính có mục đích chung không? Hoặc tôi phải đi xa hơn và giả sử a) có một gói bắn người khởi tạo hoặc b) có nguồn gói không đổi có thể kiểm soát? " ?
Vag

1
Tác giả không đi sâu vào chi tiết, ông đã viết một cái gì đó như tôi đã nói - chỉ máy tính trên bộ định tuyến, không có chi tiết.
Vag

3
Không chắc chắn tại sao điều này là lạc đề. Nó chắc chắn là một chút ngoài đó, và hơi mơ hồ. Nhưng đó là một câu hỏi thú vị về các mô hình tính toán phổ quát
Suresh Venkat

Câu trả lời:


21

Điều này có thể hữu ích:

Điện toán ký sinh là một ví dụ về một công nghệ tiềm năng có thể được xem đồng thời là mối đe dọa hoặc bổ sung lành mạnh cho vũ trụ trực tuyến. Trên Internet, giao tiếp đáng tin cậy được đảm bảo bởi một bộ giao thức chuẩn, được sử dụng bởi tất cả các máy tính. Các giao thức này có thể được khai thác để tính toán với cơ sở hạ tầng truyền thông, biến Internet thành một máy tính phân tán, trong đó các máy chủ vô tình thực hiện tính toán thay cho một nút từ xa . Trong mô hình này, một máy buộc các máy tính mục tiêu phải giải quyết một phần của một vấn đề tính toán phức tạp chỉ bằng cách thu hút chúng vào giao tiếp tiêu chuẩn.

Trong trang web tính toán ký sinh, bạn có thể thông tin chi tiết về cách bạn có thể giải quyết vấn đề 3-SAT bằng cách sử dụng tổng kiểm tra các gói TCP .

Các liên kết hữu ích khác:


17

Một cách tiếp cận để sử dụng bộ định tuyến internet, v.v. như một máy tính đã được Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong & Jay B. Brockman xuất bản trong một bức thư . Họ gọi ý tưởng là Ký sinh trùng . Ý tưởng của họ là sử dụng các kiểm tra được thực hiện trong các giao thức TCP để thực hiện các tính toán và giải quyết các vấn đề hoàn thành NP ngoại tuyến, mặc dù trực tuyến. Công việc đã được mở rộng ở đây thành một máy ảo hoạt động đầy đủ. Rất nhiều tài liệu (bằng tiếng Đức) và thậm chí mã nguồn được cung cấp.

Cuốn sách Im lặng trên dây cung cấp một mô tả về cách ý tưởng này có thể được mở rộng để sử dụng các gói trôi nổi trên internet dưới dạng RAM bằng cách gửi các gói không định dạng có chứa dữ liệu mà sau đó bị trả lại. Dung lượng RAM bằng với số lượng gói được gửi nhân với kích thước của gói.


1
RAM là tốt. Nhưng còn ALU thì sao? Làm thế nào để thực hiện, giả sử, tính toán hỗn hợp bao gồm hai tính toán và thứ ba sử dụng kết quả của hai tính toán này?
Vag

1
@Vag: Tôi đã cải thiện câu trả lời của mình bằng một liên kết mô tả cách thực hiện việc này.
Dave Clarke

1
Mát mẻ! Xin lỗi tôi không thể chấp nhận hai câu trả lời cùng một lúc!
Vag
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.