어두운 정수 : 인터넷 라우터의 범용 계산

14

Greg Egan은 그의 소설 "Dark Integers"(산술에서 불일치에 대한 이론을 증명함으로써 두 개의 서로 다른 수학을 가진 두 개의 우주에 관한 이야기)에서 기본적인 기능만을 사용하여 기존 인터넷 라우터에서만 범용 컴퓨터를 구축 할 수 있다고 주장합니다. 패킷 스위칭 (정확한 체크섬 수정).

원칙적으로 이것이 가능합니까?

최신 정보.

질문을보다 정확하게하려면 :

라우터 네트워크에서 범용 컴퓨터를 구축 할 수 있어야하는 최소한의 속성 집합은 무엇입니까?

computability  universal-computation 
— 가방
소스
3
질문이 잘 정의되어 있지 않습니다. 그렇다면, 언급 된 책을 읽지 않은 사람들에게는 이해할 수 없습니다.
— Ito Tsuyoshi
1
아마도 내가 공식화하면 질문이 더 잘 정의 될 것입니다. 그러나 그것을 올바르게하려면 대답에 절반 이상이 있어야합니다.
— Vag
1
"따라서, IP 패킷 스위칭 기계의 네트워크 만 가지고 있다면, 범용 컴퓨터 위에 구축 할 수 있습니까? 아니면 더 나아가서 한 번에 한 번의 패킷을 갖는 것으로 가정해야합니다." 또는 b) 제어 가능한 일정한 패킷 소스를 가지고 있는가? " ?
— Vag
1
저자는 세부 사항을 많이 조사하지 않았으며, 내가 말한 것처럼 라우터의 컴퓨터 만 세부 사항없이 작성했습니다.
— Vag
3
왜 이것이 주제가 아닌지 잘 모르겠습니다. 확실히 약간 밖에 있고 약간 모호합니다. 그러나 이것은 보편적 인 계산 모델에 관한 흥미로운 질문입니다
— Suresh Venkat

답변:

21

도움이 될 수 있습니다.

기생 컴퓨팅 은 온라인 우주에 대한 위협 또는 건전한 추가로 동시에 볼 수있는 잠재적 인 기술의 예입니다. 인터넷에서는 모든 컴퓨터에서 사용하는 표준 프로토콜 세트로 안정적인 통신이 보장됩니다. 이러한 프로토콜은 통신 인프라를 사용하여 계산하여 인터넷을 분산 컴퓨터로 변환하여 서버가 원격 노드 대신 무의식적으로 계산을 수행하는 분산 된 컴퓨터로 활용할 수 있습니다 . 이 모델에서 한 컴퓨터는 대상 컴퓨터가 단순히 표준 통신에 참여함으로써 복잡한 계산 문제를 해결하도록합니다.

에서 기생 컴퓨팅 사이트 당신에 대한 정보를 자세히 설명 할 수 는 TCP 패킷의 체크섬을 사용하여 3-SAT 문제를 해결할 수있는 방법을 .

다른 유용한 링크들 :

— 마르 치오 데 비아시
소스
17

인터넷 라우터 등을 컴퓨터로 사용하는 한 가지 방법은 Albert-Laszlo Barabasi, Vincent W. Freeh, Hawoong Jeong & Jay B. Brockman의 Nature에 서한 으로 게재되었습니다 . 그들은 아이디어를 기생 컴퓨팅 이라고 불렀습니다 . 그들의 아이디어는 TCP 프로토콜에서 수행 된 검사를 사용하여 계산을 수행하고 온라인이기는하지만 오프라인으로 NP- 완전 문제를 해결하는 것입니다. 이 작업은 여기 에서 완벽하게 작동하는 가상 머신 으로 확장되었습니다 . 많은 문서 (독일어)와 소스 코드까지 제공됩니다.

Silence on the Wire 책 은 인터넷에 떠 다니는 패킷을 RAM으로 사용하기 위해이 아이디어를 어떻게 확장 할 수 있는지에 대한 설명을 제공합니다. RAM의 양은 전송 된 패킷 수에 패킷 크기를 곱한 횟수와 같습니다.

— 데이브 클라크
소스
1
RAM이 좋습니다. 그러나 ALU는 어떻습니까? 예를 들어,이 두 결과를 사용하여 두 계산과 세 번째 계산으로 구성된 복합 계산을 수행하는 방법은 무엇입니까?
— Vag
1
@ Vag :이 작업을 수행하는 방법을 설명하는 링크를 사용하여 답변을 개선했습니다.
— Dave Clarke
1
멋있는! 두 개의 답변을 동시에 수락 할 수 없습니다.
— Vag
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.