동시, 병렬 및 분산 컴퓨팅에 관한 중요한 출판물 목록

이 문서에는 여러 가지 문제가 있습니다.개선을 돕거나 토크 페이지에서 이러한 문제에 대해 논의해 주십시오.(이러한 템플릿메시지를 삭제하는 방법과 타이밍에 대해 설명합니다) 이 목록은 불완전합니다. 누락된 항목을 추가하여 도움을 줄 수 있습니다.(2015년 7월) 이 글은 검증을 위해 추가 인용문이 필요합니다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선하는 데 도움을 주십시오. 조달되지 않은 자재는 제거될 수 있습니다.출처 찾기 : '동시, 병행, 분산 컴퓨팅의 중요 출판물 목록'– 뉴스 · 신문 · 서적 · 학자 · JSTOR (2015년 7월) (이 템플릿 메시지 삭제 방법 및 삭제 시기 확인) 이 기사에는 독창적인 연구가 포함되어 있을 가능성이 있다. 클레임을 확인하고 인라인 인용을 추가하여 개선해 주십시오. 독창적인 연구로만 구성된 진술은 삭제되어야 한다.(2015년 7월) (이 템플릿메시지 삭제 방법 및 삭제 시기 확인) 이 문서는 Wikipedia의 품질 기준을 충족하기 위해 청소가 필요할 수 있습니다.구체적인 문제는 목록이 객관적인 공개 지원 없이 항목별로 제시된다는 것이다(따라서 WP 구성:또는) 가능하다면 이 문서의 개선에 협조해 주십시오.(2015년 7월) (이 템플릿메시지 삭제 방법 및 삭제 시기 확인) (이 템플릿메시지를 삭제하는 방법과 타이밍을 확인합니다)

이것은 동시, 병렬 및 분산 컴퓨팅에 관한 중요한 출판물의 분야별 목록입니다.

특정 출판물이 중요하다고 간주될 수 있는 몇 가지 이유는 다음과 같습니다.

• 토픽 작성자– 새로운 토픽을 작성한 출판물
• 혁신 – 과학 지식을 크게 바꾼 출판물
• 영향 – 동시, 병렬 또는 분산 컴퓨팅의 교육에 큰 영향을 미쳤거나 큰 영향을 준 출판물.

합의, 동기화 및 상호 제외

동시 프로세스를 동기화하는 중입니다.장애가 있는 노드가 존재하는 경우 또는 대기 없는 방법으로 분산 시스템에서 합의를 도출합니다.동시 시스템에서 상호 제외.

Dijkstra: "동시 프로그래밍 제어 문제 해결"

Dijkstra, E. W. (1965). "Solution of a problem in concurrent programming control". Communications of the ACM. 8 (9): 569. doi:10.1145/365559.365617.

이 논문은 상호 배타적 문제에 대한 첫 번째 해결책을 제시했다.Leslie Lamport는 이 작업이 "동시 및 분산 알고리즘의 분야를 시작했다"^[1]고 쓰고 있다.

Pease, Shostak, Lamport: "장애가 있는 경우 합의에 도달"
Lamport, Shostak, Pease: "비잔틴 장군 문제"

를 클릭합니다Pease, Marshall; Shostak, Robert; Lamport, Leslie (1980), "Reaching agreement in the presence of faults", Journal of the ACM, 27 (1): 228–234, CiteSeerX 10.1.1.68.4044, doi:10.1145/322186.322188, S2CID 6429068.

를 클릭합니다Lamport, Leslie; Shostak, Robert; Pease, Marshall (1982), "The Byzantine generals problem", ACM Transactions on Programming Languages and Systems, 4 (3): 382–401, CiteSeerX 10.1.1.64.2312, doi:10.1145/357172.357176, S2CID 55899582.

이 두 논문은 오늘날 비잔틴 내결함성으로 알려진 문제를 소개하고 연구했습니다.1980년 논문에서는 노드의 1/3 이상이 고장나면 합의가 불가능하다는 기존의 하한선을 제시했습니다.^[2]이 문서는 2005년에 분산 컴퓨팅 부문에서 Edsger W. Dijkstra 상을 수상했습니다.1982년 논문에서는 이 문제의 현재 명칭과 함께 ^[3]문제를 해결하기 위한 알고리즘도 제시했습니다.

Herlihy, Shavit: "비동기 연산의 토폴로지 구조"
Saks, Zaharoglu: "대기 없는 k-set 합의는 불가능합니다."

괴델상 강연Herlihy, Maurice; Shavit, Nir (1999), "The topological structure of asynchronous computation" (PDF), Journal of the ACM, 46 (6): 858–923, CiteSeerX 10.1.1.78.1455, doi:10.1145/331524.331529, S2CID 5797174.

를 클릭합니다Saks, Michael; Zaharoglou, Fotios (2000), "Wait-free k-set agreement is impossible: The topology of public knowledge", SIAM Journal on Computing, 29 (5): 1449–1483, doi:10.1137/S0097539796307698.

이 두 논문은 합의 문제의 일반화를 위한 대기 없는 알고리즘을 연구했으며, 이러한 문제는 위상 특성과 인수를 사용하여 분석할 수 있음을 보여주었다.두 논문 모두 2004년에 ^[4]괴델상을 받았다.

분산 시스템의 기반

분산형 시스템의 시간 및 지식 등의 기본 개념.

Halpern, Moses: "분산환경에서의 지식과 상식"

를 클릭합니다Halpern, Joseph; Moses, Yoram (1990), "Knowledge and common knowledge in a distributed environment", Journal of the ACM, 37 (3): 549–587, arXiv:cs/0006009, doi:10.1145/79147.79161, S2CID 52151232.

이 논문은 분산 시스템에서의 "지식"의 개념을 공식화하고, 분산 시스템에서의 "상식"의 개념의 중요성을 입증했으며, 또한 통신이 보장되지 않으면 상식이 달성될 수 없다는 것을 증명했다.이 논문은 1997년에 Gödel Prize,^[5][6] 2009년에 분산 컴퓨팅 부문 Edsger W. Dijkstra Prize를 수상했습니다.

메모들

외부 링크

• "Top-ranked Papers in "Distributed and Parallel Computing"", Microsoft Academic Search, archived from the original on 7 December 2009