«distributed-systems» 태그된 질문

몇 년 전 MapReduce 는 분산 프로그래밍의 혁명으로 호평 을 받았습니다. 또한있어왔다 비판 하지만, 전반적으로 열정적 인 과대 광고가 있었다. 심지어 특허를 받았습니다! [1] 이름은 연상 map과 reduce기능적인 프로그래밍,하지만 난 읽을 때 (위키 백과) 맵 단계 : 마스터 노드는 입력을 가져 와서 작은 하위 문제로 나누고 작업자 노드에 분배합니다. 작업자 …

68 algorithms  distributed-systems  parallel-computing  algorithm-design 

나는 사람들이 병렬 컴퓨팅과 분산 컴퓨팅 에 대해 이야기하는 것을 종종 듣는다 . 그러나 나는 둘 사이에 명확한 경계가 없으며 사람들은 그것을 매우 쉽게 혼동하는 경향이있다. 병렬 컴퓨팅은 멀티 스레딩 또는 단일 CPU를 최대한 활용하는 방법에 더 밀접하게 연결되어 있습니다. 분산 컴퓨팅은 분할 및 정복이라는 개념을 말하며, 다른 시스템에서 하위 …

61 terminology  distributed-systems  parallel-computing 

컴퓨터에 초기화되지 않은 정확한 시계가 있다고 가정하십시오. 즉, 컴퓨터 시계의 시간은 실시간 + 일정한 오프셋입니다. 컴퓨터가 네트워크에 연결되어 있으며이 오프셋을 사용하여 상수 오프셋 B 를 결정하려고합니다.B비B . 간단한 방법은 컴퓨터가 현지 시간 을 기록하여 시간 서버에 쿼리를 보내는 것 B+C1비+씨1B + C_1입니다. 시간 서버 한번에 쿼리를 수신 T티T 및 포함 …

38 clocks  distributed-systems  computer-networks 

FRP는 순수한 기능을 통한 이벤트 및 동작 스트리밍에 관한 것입니다. 액터 모델은 적어도 Akka에서 구현 된 것처럼 액터라고하는 불완전한 오브젝트를 통해 불변 메시지 (이산 이벤트로 간주 될 수 있음)를 스트리밍하는 것에 관한 것입니다. 표면적으로는 관련이있는 것 같습니다. 그들이 어떻게 관련되어 있는지에 관해 우리는 무엇을 더 말할 수 있습니까? 또한 어떤 …

30 distributed-systems  functional-programming  programming-paradigms 

분산 시스템 이론, 서적 또는 참고 자료 및 주제에 대해 잘 소개하기 위해 누구나 할 수있는 가장 좋은 방법은 무엇입니까?

24 reference-request  education  distributed-systems 

이 질문은 Computer Science Stack Exchange에서 답변을 얻을 수 있기 때문에 Software Engineering Stack Exchange에서 마이그레이션 되었습니다. 7 년 전에 이주했습니다 . Pastry Distributed Hash Table을 구현하려고하는데 몇 가지 사항이 이해를 피하고 있습니다. 누군가가 명확히 할 수 있기를 바랐습니다. 면책 조항 : 저는 컴퓨터 과학 학생이 아닙니다. 나는 내 인생에서 …

23 algorithms  data-structures  distributed-systems  hash-tables 

이것은 내가 만든 네트워크 대기 시간 측정에 관한 퍼즐입니다. 해결책은 불가능하지만 친구들은 동의하지 않는다고 생각합니다. 어느 쪽이든 설득력있는 설명을 찾고 있습니다. (이 퍼즐은 NTP는 말할 것도없고 온라인 게임과 같은 통신 프로토콜의 디자인과 경험에 적용 할 수 있기 때문에이 웹 사이트에 적합하다고 생각합니다.) 아래 그림과 같이 단방향 대기 시간이 다른 네트워크로 …

20 computer-networks  protocols  distributed-systems 

분산 아키텍처에서 알파-베타 가지 치기 기능 을 갖춘 체스의 미니 맥스 검색 트리를 처리 할 수있는 효율적인 알고리즘을 찾고 있습니다 . 내가 찾은 알고리즘 (PVS, YBWC, DTS는 아래 참조)은 모두 오래된 것입니다 (1990 년 최신). 그 이후로 많은 발전이 있었다고 생각합니다. 이 분야의 현재 표준은 무엇입니까? 또한 내가 읽은 연구 …

19 algorithms  distributed-systems  board-games 

기본 분산 시스템 논문 인 Part Time Parliament (Paxos 프로토콜)에서 Leslie Lamport는 Paxon 의회 프로토콜에 관여하는 가상의 입법자를 지명합니다. 이 글 에 따르면 그는 다음과 같이 지적합니다. 나는 그리스 입법자들에게 현장에서 일하는 컴퓨터 과학자들의 이름을 주었다. Guibas의 도움으로 가짜 그리스 방언으로 음역했다. 의원의 이름을 딴 과학자에 대한 정보가 있습니까? 논문의 …

15 distributed-systems  history 

제가 학생이었을 때, 디지털 시스템 / 로직 디자인 교과서에서 N 군인들이 일렬로 서서 동시에 쏘고 싶어한다는 문제를 봤습니다. 문제의 더 어려운 버전은 군인들이 줄 대신 일반적인 네트워크에 서 있다는 것입니다. 이것이 고전적인 문제라고 확신하지만 그 이름을 기억할 수 없습니다. 당신은 나에게 상기시킬 수 있습니까?

15 algorithms  distributed-systems  clocks 

누군가 클라이언트 서버 모델의 기원을 알고 있는지 궁금합니다. 이 용어는 어디에서 유래합니까 (종이, 소프트웨어 응용 프로그램, 서적)?

13 terminology  reference-request  distributed-systems  history 

직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

1990 년대 후반 제가 대학원에있을 때 JH 솔저; DP 리드; DD Clark : 시스템 디자인의 엔드-투-엔드 인수 . ACM 거래 계산. 시스. 2 (4) : 277-288, 1984. DOI = 10.1145 / 357401.357402 모든 대학의 모든 운영 체제 수업에서 읽기가 거의 필요했지만 여전히 인터넷 디자인의 기본 원칙 중 하나 인 것 …

10 computer-architecture  operating-systems  distributed-systems  computer-networks 

저의 배경은 주로 C, C ++ 및 Python과 같은 명령형 언어에서 나왔습니다. 몇 년 후 스칼라, 에를 랑, 그리고 하스켈을 집어 들고 기능 프로그래밍과 그 배후의 형식에 관심을 가지게되었습니다. 또한 동시 및 분산 프로그래밍에 관심이 있으며, 특히 "조명"(예 : 실제 사용 또는 최소한 어딘가 구현)을 조금이라도 본 형식론의 형식주의를 검토하고 …

10 distributed-systems  concurrency 

에서 스패너, TrueTime & 카프 정리는 , 에릭 브루 글 : 스패너에 대한 한 가지 미묘한 점은 잠금에서 직렬화 가능성을 얻지 만 TrueTime에서 외부 일관성 ( 선형성 과 유사 함)을 얻는다는 점입니다 [ 중점 추가 ]. 외부 일관성 의 정의는 무엇이며 선형화 와 어떻게 다릅니 까?

9 distributed-systems