1
분산 시스템에 정식 문제 목록이 있습니까?
지난 주에 나는 Leslie의 Lamport가 1982 년에 해결 한 문제, 해결되지 않은 문제 및 동시성에서의 비 문제 에 관한 회의를 읽었습니다 . 논문은 쉽게 읽을 수 있지만 제가 생각하게 된 것 중 하나는 다음과 같습니다. 어떤 문제가 상호 배제 문제 나 생산자-소비자 문제 또는이 둘의 조합으로 간주 될 수 있습니까? …
축소는 한 문제를 다른 문제로 변환하는 것입니다. 축소를 사용하는 예는 문제 P를 결정할 수 없는지를 보여주는 것입니다. 이것은 결정 문제 의 결정을 결정 불가능한 문제로 변환하거나 수행함으로써 달성 될 수있다 . 이것이 달성 될 수 있다면, 우리는이 문제 P가 결정 불가능하다는 것을 보여 주었다.