consensus

    1

    1답변

    폴더의 개별 fasta 정렬의 100 개 이상의 파일 각각에 대한 합의 시퀀스를 얻기 위해 코드를 작성하려고합니다. 시작하기 위해 나는 단지 하나의 시퀀스에 대한 합의를 원했다. (모두를 처리하기 위해 for 루프를 사용할 것이다.) 그러나 나는 합의의 알파벳에 문제가있다. >seq1 ACGTACGATCGTTACTCCTA >seq2 ACGTACGA--

    1

    1답변

    나는 합의 알고리즘 (Paxos 기반)을 구현했습니다. 몇 가지 임의의 테스트 케이스를 추가했으며 괜찮습니다. 하지만 모델 검사를 통해 테스트하고 싶습니까? 올바른 기사를 찾을 수 없습니다. Paxos에서 모델 확인에 대한 감사

    0

    2답변

    나는 fasta 포맷으로 정렬 된 일련의 시퀀스를 가지고있다. 나는 합의에서 합의를 이끌어 내고 싶다. 대부분의 사이트의 경우 기본 중 하나가 최대 발생을 표시합니다. 2 개 이상의 염기가 같은 횟수로 발생하는 경우에는 어느 염기를 사용해야하는지. 이 컨센서스 Site : 1 2 3 4 5 6 Consensus : A T G C [G/C] N 되지

    8

    3답변

    알려진 논문 Impossibility of Distributed Consensus with one Faulty Process (JACM85)에서 FLP (Fisher, Lynch 및 Paterson)는 아무런 비공개 합의 프로토콜도 예기치 않은 단일 프로세스 죽음조차도 허용 할 수 없다는 놀라운 결과를 입증했습니다.는 보조 정리 3에서 은 $ D $가 모두

    0

    2답변

    아래의 paxos 알고리즘에 대한 의사 코드를 붙여 넣었으며 누군가가 올바른 방향으로 나를 가리킬 수 있는지 궁금해하고있었습니다. 아래 알고리즘을 구현하려고하지만 정확히 "보기"가 아래에 무엇을 나타내는 지 혼란 스럽습니다. 나는이 주석이 "가치에 대한 과거의 시야 수의지도"라고 말하고 있지만, 누군가가 내게이 "가치"가 무엇인지, 그리고 "시야 수"가 무

    9

    2답변

    Paxos 알고리즘이 분산 데이터베이스에서 사용되는 방법에 대한 실제 예를 누군가에게 줄 수 있습니까? 나는 알고리즘을 설명하는 Paxos에 관한 많은 논문을 읽었으나 실제 사례를 설명하지는 못한다. 간단한 예는 계좌가 여러 세션 (예 : 출금기 예금, 직불 결제 등)을 통해 수정되는 은행 응용 프로그램 일 수 있습니다. Paxos는 어떤 작업이 먼저 발생

    1

    1답변

    제 질문은 약간 이론적입니다. 먼저, 동시 객체와 합의 계층 구조에 대한 정의가 있습니다. 컨센서스 계층 구조는 일치하는 객체를 컨센서스 번호로 분류합니다. 그러나 같은 합의 번호를 가진 개체가 서로 구현할 수 있는지 물어보고 싶습니다. 사실 나는 대답이 거짓이라는 것을 알고 있습니다. 그러나 몇 가지 예를들 수 있습니까? 아니면 이것이 합의 구조의 일부