«dc.distributed-comp» 태그된 질문

분산 컴퓨팅의 이론적 질문

4
왜 분산 컴퓨팅의 통합 복잡성 이론을 개발할 수 없었습니까?
분산 컴퓨팅 분야는 분산 알고리즘을 설명하는 단일 수학적 이론을 개발하는 데 크게 어려움을 겪었습니다. 단순히 서로 호환되지 않는 몇 가지 '모델'과 분산 계산 프레임 워크가 있습니다. 다양한 시간적 속성 (비동기, 동기, 부분 동기화), 다양한 통신 기본 요소 (메시지 전달 대 공유 메모리, 브로드 캐스트 대 유니 캐스트), 여러 결함 모델 …
10
계산을위한 현재 병렬 모델
1980 년대는 병렬 계산 의 PRAM 모델 과 BSP 모델 을 모두 일으켰습니다 . 두 모델의 전성기가 80 년대 후반과 90 년대 초반 인 것으로 보입니다. 이 영역들이 병렬 알고리즘에 대한 연구 측면에서 여전히 활발한가? 병렬 계산을위한 더 정교한 모델이 있습니까? 일반 모델이 여전히 유행에 있습니까? 아니면 연구원이 GPGPU 또는 …
1
값을 나타내지 않고 분산 노드 간 백분위 수 추정
이 질문은 이론적 컴퓨터 과학 스택 교환에서 답변을 얻을 수 있기 때문에 Cross Validated에서 마이그레이션 되었습니다. 8 년 전에 이주했습니다 . 나는 해결해야 할 상당히 독특한 문제가 있으며 여기 누군가가 그것을 해결하는 가장 좋은 방법에 대한 통찰력을 줄 수 있기를 바랍니다. 문제 : 단일 참가자가 실제로 공유하는 숫자를 알지 못하는 …
4
분산 컴퓨팅에서 합의 문제가 중요한 이유는 무엇입니까?
분산 컴퓨팅에서 합의 문제는 집중적 인 연구를 이끌어 낸 중심 주제 중 하나 인 것 같습니다. 특히 "하나의 결함있는 프로세스에 대한 분산 합의의 불가능 성"이라는 논문은 2001 PODC 영향력 논문상을 받았습니다 . 컨센서스 문제가 왜 그렇게 중요한가? 이론과 실제에서 합의를 통해 무엇을 달성 할 수 있습니까? 어떤 언급이나 설명도 도움이 …
4
무한히 크지 만 국소 적으로 유한 한 계산 문제
이 질문은 Jukka Suomela가 다른 질문 에 대해 한 의견에서 영감을 얻었습니다 . 무한대로 크지 만 국소 적으로 유한 한 계산 문제 (및 알고리즘)의 예는 무엇입니까? 다시 말해, 각 Turing Machine이 유한 데이터 만 읽고 처리하는 무한 시간 동안 정지되는 계산의 예는 무엇입니까?
1
클래식 Paxos 및 Fast Paxos의 정확성 증명
Leslie Lamport 의 "Fast Paxos"논문 을 읽고 클래식 Paxos와 Fast Paxos의 정확성 증명을 고수합니다. 일관성을 위해, 값 위상 코디네이터 고른 2 라운드 나는 만족해야Vvv22a2a나는ii 임의의 라운드 J &lt; 난 , 이외의 값 (V)을 하거나 또 라운드에서 선택되지 않을 수있다 J .씨피( v , i ) :CP(v,i):CP(v,i):j &lt; 나는j&lt;ij < iVvv제이jj …
1
분산 시스템에 정식 문제 목록이 있습니까?
지난 주에 나는 Leslie의 Lamport가 1982 년에 해결 한 문제, 해결되지 않은 문제 및 동시성에서의 비 문제 에 관한 회의를 읽었습니다 . 논문은 쉽게 읽을 수 있지만 제가 생각하게 된 것 중 하나는 다음과 같습니다. 어떤 문제가 상호 배제 문제 나 생산자-소비자 문제 또는이 둘의 조합으로 간주 될 수 있습니까? …
2
소셜 네트워크에서 영향력있는 노드를 결정하기위한 분산 알고리즘
Kempe-Kleinberg-Tardos 의이 백서 에서 저자는 하위 네트워크 기능에 기반한 탐욕 알고리즘을 제안 하여 소셜 네트워크에 응용하여 그래프에서 가장 영향력있는 노드 를 결정합니다 .케이kk 기본적으로 알고리즘은 다음과 같습니다. 에스= e m p t y s e t S=empty setS = {\rm empty~set} 개별 영향이 가장 큰 노드를 선택하고 ; S = …
5
크래시 또는 비잔틴이 아닌 분산 컴퓨팅의 프로세서 오류
분산 컴퓨팅 모델에는 두 가지 주요 유형의 프로세서 장애가 있습니다. (1) 충돌 실패 : 프로세서가 중지되고 다시 시작되지 않습니다. (2) 비잔틴 장애 : 프로세서가 악의적으로 악의적으로 행동합니다. 내 질문은 : 크래시 또는 비잔틴 오류를 줄이지 않는 다른 유형의 프로세서 오류는 무엇입니까? 또한 더 구체적인 질문 : 어떤 가능성으로 프로세스가 시간 …
2
무작위 험담의 복잡성
분산 시스템에서 험담하는 문제는 다음과 같습니다. 우리는 n 개의 꼭짓점 이있는 그래프 GGG 를 가지고 있습니다 . 각 정점 v 에는 모든 노드에 보내야 하는 메시지 m v 가 있습니다.nnnvvvmvmvm_v 이제 제 질문은 애드혹 네트워크 모델과 관련이 있습니다 (우리는 노드에 네트워크의 토폴로지, 인 / 아웃 정도 및 이웃 집합에 대한 …
3
네트워크를 통한 효율적인 DAG 비교
에서는 분산 버전 관리 시스템 (예 의욕 및 힘내 ) 효율적 관한 비교할 비순환 그래프 (DAG에) 할 필요가있다. 저는 Mercurial 개발자이며 두 DAG를 비교하는 시간 및 네트워크 복잡성을 논의하는 이론적 작업에 대해 매우 관심이 있습니다. 해당 DAG는 기록 된 개정으로 구성됩니다. 리비전은 해시 값으로 고유하게 식별됩니다. 각 개정은 이전 개정의 …
1
분산 트랜잭션의 주요 연구 문제는 무엇입니까?
배경 : 트랜잭션 처리는 데이터베이스 이론에서 전통적인 연구 주제였습니다. 오늘날 분산 트랜잭션 은 일반적으로 데이터 파티션 (샤딩이라고도 함) 및 데이터 복제를 포함하는 대규모 분산 스토리지 시스템에 의해 대중화됩니다 . 분산 트랜잭션의 주요 연구 문제는 무엇입니까? (이론적) 개선이 필요한 잘 알려진 이론과 솔루션이 있습니까? 모든 참조를 부탁드립니다.
1
결정 론적 분산 알고리즘을 설계하면 어떤 이점이 있습니까?
장애에 탄력적 인 분산 알고리즘은 결정적이거나 확률적일 수 있습니다. 합의 문제를 예로 들어 보자. Paxos는 가정에 따라 항상 작동 한다는 의미에서 결정 론적입니다 . 대조적으로, 무작위 합의는 주어진 확률로 작동합니다. 결정 론적 알고리즘을 설계하고 사용하면 어떤 이점이 있습니까? 결정 론적 알고리즘에 의존하는 가정은 현실을 유지할 확률도 가지고있다 (이의 가정 범위 …
2
선형화가 왜 안전 속성이고 안전 속성이 폐쇄 세트입니까?
Nancy Lynch의 "분산 알고리즘"책의 13 장 "원자 개체"에서 선형성 (원 자성이라고도 함)은 안전 속성으로 입증되었습니다. 즉 , 8.5.3 절에 정의 된대로 해당 추적 특성이 비어 있지 않고 접두사로 닫히고 한계로 닫힙니다 . 비공식적으로, 안전 속성은 종종 특정 "나쁜"일이 결코 발생하지 않는다고 말하는 것으로 해석됩니다. 이를 바탕으로 첫 번째 문제는 다음과 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.