«threads» 태그된 질문

이것이 일반적인 질문입니다. 누구나 구현을 구체적으로 만들고 싶다면 유닉스 관련 것들을 선호합니다. 그러나 먼저 다음과 같은 일반적인 문제를 알아야합니다. 단일 프로세스에 여러 스레드가있을 수 있다고 읽었습니다. 동일한 프로세스의 여러 스레드가 서로 공유합니다. 나는 그들이 무엇을 공유하고 무엇을 알고 싶어요. 프로세스가 주소 공간, 스택, 힙, 전역 변수, 코드, 데이터, OS 리소스로 …

20 operating-systems  threads 

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

11 concurrency  synchronization  threads 

나는 같은 다양한 장소에서 그것을 읽게 이 성능 저하에 리드를 하이퍼 스레딩 것을. 하이퍼 스레딩이 저하되는 이유 또는 방법을 알 수 없습니다. 왜 하이퍼 스레딩이 OS가 사용 가능한 리소스를 사용할 수 있도록하더라도 성능 저하가 발생하는지 확인하십시오. 하지만 벤치 마크 범인하지만 할 수있는 사람으로 하이퍼 스레딩을 표시하지 나에게 그 이유를 설명한다. …

10 computer-architecture  performance  threads 

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

9 proof-techniques  correctness-proof  concurrency  threads