«concurrency» 태그된 질문

동시 프로그래밍을 볼 때 일반적으로 동시 및 병렬이라는 두 가지 용어가 사용됩니다. 그리고 일부 프로그래밍 언어는 특히 Java 와 같은 병렬 프로그래밍 지원을 요구합니다 . 이것은 병렬 및 동시 프로그래밍이 실제로 다르다는 것을 의미합니까?

44 terminology  parallel-computing  concurrency 

Peterson과 Dekker의 알고리즘을 이해하려고합니다.이 알고리즘은 매우 유사하며 많은 대칭을 나타냅니다. 알고리즘을 다음과 같이 비공식 언어로 공식화하려고했습니다. Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter CS! // CS "I don't want to enter …

41 concurrency  synchronization  mutual-exclusion 

여러 소스를 읽은 후에도 여전히 사용자 및 커널 수준 스레드에 대해 혼란스러워합니다. 특히: 스레드는 사용자 수준과 커널 수준 모두에 존재할 수 있습니다 사용자 수준과 커널 수준의 차이점은 무엇입니까?

33 operating-systems  terminology  concurrency  os-kernel 

나는 종종 참조없이 '참 동시성 의미론'과 '참 동시성 동등성'과 같은 문구를 듣습니다. 그 용어는 무엇을 의미하며 왜 중요한가? 진정한 동시성 등가의 예는 무엇이며 이들의 필요성은 무엇입니까? 예를 들어, 더 많은 표준 동등성 (비 시뮬레이션, 미량 동등성 등)보다 더 적합한 경우는 무엇입니까?

28 terminology  reference-request  concurrency 

내가 아는 한 공식적인 동시성 모델에 대한 광범위한 연구에 영감을 준 세 가지 주요 대수학이 있습니다. 이것들은: Robin Milner의 CCS 및 -calculusππ\pi Tony Hoare의 CSP Jan Bergstra와 Jan Willem Klop의 ACP 이 세 가지 모두 오늘날까지 매우 활발한 관심을 기울이고 있으며 이들에 대한 방대한 양의 연구가 이루어졌습니다. 이러한 접근 방식의 …

21 logic  concurrency  process-algebras 

나는 최근에 약간의 문헌을 읽었으며 다소 흥미로운 데이터 구조를 발견했습니다. 업데이트 시간을 최악의 업데이트 시간 [1-7]으로 낮추는 다양한 방법을 연구했습니다 .O ( 1 )O(1)\mathcal{O}(1) 최근에는 효율적인 동시 액세스를 지원하기 위해 잠금없는 데이터 구조를 살펴보기 시작했습니다. 잠금이없는 데이터 구조의 구현 에 이러한 최악의 경우 업데이트 시간 기술이 사용 되었습니까?O ( 1 …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

일부 트랜잭션이 이기고 (충돌 전에 커밋 됨) 일부가 손실 된 (아직 커밋되지 않은) 데이터베이스 로그가 있습니다. 우리는 패자들의 행동이 거꾸로 되돌려 져야한다는 것을 수업에서 배웠다. 이것을 거꾸로 할 이유가 있습니까? 앞으로 실행 취소가 잘못된 결과를 제공하는 간단한 로그 예를 누구나 볼 수 있습니까?

19 concurrency  databases 

잠금은 일반적으로 테스트 및 설정 및 스왑 머신 레벨 명령어를 통해 구현됩니다. 이것을 사용하지 않는 다른 구현이 있습니까? 또한 중요한 섹션 문제에 대한 모든 하드웨어 수준 솔루션을 세 가지로 분류 할 수 있다고 말할 수 있습니까? 즉, 인터럽트 비활성화, 테스트 및 설정 및 스왑입니다.

19 concurrency  synchronization  mutual-exclusion 

에 따르면 위키 백과 , 테스트 및 설정 작업은 2 개 이하의 동시 프로세스에 대해 대기없는 합의 문제를 해결할 수 있습니다. 왜 두 개 이상의 프로세스에서 문제를 해결할 수 없습니까?

17 concurrency  consensus 

우리가 볼 때 배우 모델 과 의사 소통 순차 처리하는 우리는 그들이 둘 다하려고 노력하는 것을 볼 동시성을 기반으로 메시지 전달 , 아직 그들은 구별된다 . (우리 는 go-lang 의 goroutines (및 Clojure의 core.async ) 에서 CSP 모델의 구현 과 Scala의 Akka 툴킷 에서 Actor 모델을 볼 수 있습니다 ) …

16 concurrency  message-passing 

FORTH 및 Cat 과 같은 스택 기반 프로그래밍 언어에 대해 읽었 으며 그 특성상 패러다임에 관계없이 한 번에 하나의 작업 만 실행할 수있는 것 같습니다 (FORTH는 필수이지만 Cat은 기능적임). 명령형 언어는 스택을 수정하고 Joy 와 같은 순전히 기능적인 언어 는 새 스택을 반환하지만 요점은 한 번에 하나의 스택 만 사용된다는 …

14 concurrency  stacks  evaluation-strategies 

나는 직렬화 가능성 과 선형화 가능성 의 차이점에 대해 읽었 으며 , 이는 복제 데이터베이스와 같은 복제 시스템의 일관성 기준입니다. 그러나 직렬화 가능성보다 강하더라도 선형화가 필요한 경우는 모르겠습니다. 그러한 강력한 재산이 실제로 필요한 시나리오를 생각해 낼 수 있습니까?

13 concurrency  databases 

Rust와 같은 동시 런타임에서 성능을 향상시키기 위해 CPU를 변경할 수있는 변경 사항이 있습니까? 예를 들어, 동시 런타임에 도움이되는 분기 예측 구현 또는 캐시 크기가 변경 되었습니까? 현재 CPU 디자인이 C와 같은 절차 적 런타임에 더 최적화 될 수 있다는 인상을 받았습니다. 대신에 동시 런타임에 최적화하려고한다면 CPU가 어떻게 달라 집니까? 불가피하게, …

13 computer-architecture  concurrency  functional-programming 

매우 구체적인 사용 사례를 위해 메모리 내 객체 데이터베이스를 설계하고 있습니다. 단일 작성자이지만 효율적인 동시 읽기를 지원해야합니다. 판독 값은 분리해야합니다. 쿼리 언어가 없으며 데이터베이스는 다음을 지원합니다. 속성 / 속성 집합별로 객체를 가져옵니다 (예 : 식을 지원할 수 있음 x.count < 5) 객체의 속성을 얻는다 쿼리는 위의 여러 작업으로 구성된 명령형 …

12 data-structures  concurrency  databases 

다시 말해, 하이브리드 스레딩 은 1 : 1 (커널 만) 및 N : 1 (사용자 만) 스레딩보다 어떤 장점이 있습니까? 이것은 사용자 수준 스레드와 커널 수준 스레드의 차이점은 무엇입니까?

12 operating-systems  concurrency  os-kernel