«concurrency» 태그된 질문

저는 현재 대학에서 동시 프로그래밍 과정에 참석하고 있으며 최근 모니터 개념에 대해 이야기하기 시작했습니다. 상호 배제의 필요성을 이해하지만 왜 모니터를 사용해야하는지 이해하지 못합니다. 내가 이해하는 것처럼 모니터는 프로세스가 항상 중요 섹션에 정확히 하나 또는 전혀 없음을 보장합니다. 우리는 세마포어로 정확하게 그것을 달성 할 수 있습니다. 또한 우리는 세마포어를 사용하여 모니터를 …

11 concurrency  synchronization  mutual-exclusion 

음료 디스펜서 (동전을 삽입하는 사용자가 필요합니다 :) 세 개의 버튼의 다음 보도 한 ˉ D의 차 차 한 잔 요청하는 전자 차 , 커피 저두 요, 그리고 ˉ r은 환불을 요청하는 (즉, 기계가 다시 제공 동전 : ˉ b ). 이 디스펜서는 다음 CCS 프로세스 로 모델링 할 수 있습니다 …

11 logic  concurrency  modelling  process-algebras  ccs 

나의 이해는 그 뮤텍스의 가장 인기 구현 (예 : 표준 : : C ++에서 뮤텍스)하지 보증 할 공정성을 - 즉, 그들은 보증하지 않습니다 경합의 경우에, 잠금이 순서대로 스레드에 의해 인수 될 것을 그들이 lock ()이라고합니다. 실제로, 경합이 많은 경우, 뮤텍스를 얻기 위해 대기중인 일부 스레드가 절대로이를 획득 하지 못할 수도 …

11 concurrency  synchronization  threads 

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

10 distributed-systems  concurrency 

이러한 변수를 수정하는 변수와 명령어로 구성된 프로그램과 동기화 기본 요소 (모니터, 뮤텍스, 자바의 동기화 또는 C #의 잠금)를 고려할 때 그러한 프로그램이 스레드로부터 안전하다는 것을 증명할 수 있습니까? 스레드 안전 또는 레이싱 조건과 같은 것을 설명하기위한 공식적인 모델이 있습니까?

9 proof-techniques  correctness-proof  concurrency  threads 

나는에 그렇게 생각 피터슨의 알고리즘 에 대한 상호 배제 프로세스가 먼저 임계 영역을 입력 할 경우 사망하거나, 다른 프로세스가 루프 영원히의 중요한 섹션을 시작하기 위해 대기하는 것 취소했다. 그림에서, 프로세스 1이 중지되면 프로세스 1 뒤의 나머지 프로세스는 프로세스 1의 위치까지 실행 한 다음 루프됩니다. 중요 섹션에 도달 한 프로세스가 종료되기 …

9 programming-languages  concurrency  mutual-exclusion