«concurrency» 태그된 질문

1
동시성 액터 모델과 순차적 통신 프로세스의 차이점
동시성 액터 모델과 CSP (Communicating Sequential Processes) 동시성 모델 간의 실제 차이점을 둘러 보려고합니다. 지금까지 내가 생각해 낸 가장 좋은 점은 액터 모델이 노드의 수와 레이아웃을 변경할 수 있고 CSP에는 고정 된 노드 구조가 있다는 것입니다.
1
분산 시스템에 정식 문제 목록이 있습니까?
지난 주에 나는 Leslie의 Lamport가 1982 년에 해결 한 문제, 해결되지 않은 문제 및 동시성에서의 비 문제 에 관한 회의를 읽었습니다 . 논문은 쉽게 읽을 수 있지만 제가 생각하게 된 것 중 하나는 다음과 같습니다. 어떤 문제가 상호 배제 문제 나 생산자-소비자 문제 또는이 둘의 조합으로 간주 될 수 있습니까? …
1
세마포어와 비교할 때 "의사 시간"이란 무엇입니까
현재 Alan Kays의 연설을 듣고 있습니다. "정말 복잡하거나 복잡하게 만들었습니까?" ( https://www.youtube.com/watch?v=ubaX1Smg6pY&= ) 그는 "세마포어는 나쁜 생각했다 및 우수 하였다 의사 시간이라고 뭔가가 있었다"(링크 된 비디오에 51:40에서이)라고 말한다 곳. 어쩌면 "의사 시간"이라는 단어를 잘못 이해했을 수도 있지만, 그에 대해 아는 것이 있습니까?
2
선형화가 왜 안전 속성이고 안전 속성이 폐쇄 세트입니까?
Nancy Lynch의 "분산 알고리즘"책의 13 장 "원자 개체"에서 선형성 (원 자성이라고도 함)은 안전 속성으로 입증되었습니다. 즉 , 8.5.3 절에 정의 된대로 해당 추적 특성이 비어 있지 않고 접두사로 닫히고 한계로 닫힙니다 . 비공식적으로, 안전 속성은 종종 특정 "나쁜"일이 결코 발생하지 않는다고 말하는 것으로 해석됩니다. 이를 바탕으로 첫 번째 문제는 다음과 …
1
실용적인 다중 단어 비교 및 ​​스왑 작업
에서 종이 이 질문과 동일한 제목, 저자는 구축하는 방법에 대해 설명 블로킹 선형화 여러 단어 CAS의 단 하나의 단어 CAS를 사용하여 작업을. 먼저 다음과 같이 이중 비교 단일 스왑 작업 인 RDCSS를 소개합니다. word_t RDCSS(RDCSSDescriptor_t *d) { do { r = CAS1(d->a2, d->o2, d); if (IsDescriptor(r)) Complete(r); } while (IsDescriptor(r)); …
2
잠금없는 컬렉션에 대한 제한이 있습니까?
David Rodríguez-dribeas는 StackOverflow에 대해 "모든 컬렉션을 잠금없이 구현할 수있는 것은 아닙니다"라고 언급 했습니다. 이것이 사실인지 확실하지 않으며 어느 쪽의 증거도 찾을 수 없습니다. 이 문장은 매우 정확하지는 않지만 조금 더 공식적인 방식으로 다시 표현해 보도록하겠습니다. 모든 컬렉션 유형마다 동일한 작업 집합을 제공 C하는 잠금없는 컬렉션 유형 CLF 가 있으며 CLF …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.