mutual-exclusion

0열

1답변

상호 독점 코드

코드가 중요 섹션에서 상호 배타적임을 어떻게 알 수 있습니까? 개념을 이해하지만 코드 추적에 관해서는 상호 배타적 인 코드를 식별하는 데 어려움을 겪고 있습니다. 문제의 코드 세그먼트를 ... // flag[0] and [1] start as true Thread 1 for(;;) { flag[1] = false; while(flag

multithreading thread-safety mutual-exclusion 2017-10-22

---

0열

1답변

Unclearance은 상호 배제 예를

나는 상호 제외에 대한 몇 가지 예를 읽고, 나는 나에게 건네 다음의 예를 제외하고 대부분의 실행을 이해할 수 : boolean[] flag = new boolean[2]; 하나 while- 조건은 다른 프로세스의 플래그 [n] 상태에 따라 다릅니다. 예를 들어 P1이라는 제목을 사용하려면 flag[0]과 을 모두 true으로 설정해야합니다. 내 int

process flags critical-section mutual-exclusion 2017-04-09

---

1열

1답변

상호 배제 알고리즘에 원자 적재 및 저장이 필요합니까?

Dekker의 알고리즘 및 Peterson의 알고리즘과 같은 상호 배제 알고리즘은 작동하는 데 순차적으로 일관성있는 메모리 모델 (또는 메모리 장벽 사용)이 필요하다는 것을 알고 있지만 원자 적재 및 저장이 필요한지 여부는 분명하지 않습니다. 피터슨의 알고리즘에 대한 wikipedia entry에서는이 말한다 :이 알고리즘은 임계 영역의 문제를 해결하기 위

multithreading algorithm concurrency synchronization mutual-exclusion 2016-11-15

---

0열

1답변

대기, 동기화, 인터럽트 및 알림을 사용하는 상호 제외

두 개의 스레드가 있습니다. 하나는 x를 조작하고 다른 하나는 x를 표시합니다. 어떻게 동기화, 인터럽트, 대기 및 통보를 사용하여 상호 배제를 할 수 있습니까? 이미지가 이것을 보여줍니다. Execution image 나는이 해결책을 왔지만 올바른 경우 스피 확인하지 않았습니다. 쓰기 synchronized(x){ x = x + 1; n

multithreading synchronization wait notify mutual-exclusion 2017-11-04

---

1열

1답변

Proctype 오류가 Promela SPIN에 전달되지 않았습니다.

저는 SPIN 및 Promela에 대해 매우 익숙하며 내 모델에서 활성 속성을 확인할 때이 오류를 발견했습니다. 오류 코드 : unreached in proctype P (0 of 29 states) unreached in proctype monitor mutex_assert.pml:39, state 1, "assert(!((mute

cygwin mutual-exclusion model-checking spin promela 2016-10-11

---

0열

1답변

이미 실행중인 경우 동일한 Java 응용 프로그램의 인스턴스 가져 오기

Java 응용 프로그램이 이미 실행되고 있는지 확인하고 인스턴스가 있으면 인스턴스를 가져올 수 있습니까? 처음에는 클릭 한 번으로 프레임이 열리 며 그 후에 (닫힐 때까지) 항아리가 있습니다. 프레임을 가져 와서 개체를 추가합니다. 또한 메인 애플리케이션에 close() 메소드가 없어도 작동해야하므로 응답이 없거나 작업 관리자로 닫힌 경우 다시 열 때 애플

java singleton mutual-exclusion 2016-07-06

---

1열

1답변

세마포어가 원자가가되는 이유는 무엇입니까

세마포어에 대해 배우는 Im : sem_wait 및 sem_signal. 리소스는 상호 배제를 구현하기 위해 세마포어가 원자로되어야한다고 말합니다. 왜 그들이 원자가되어야하는지 이해할 수 없습니까?! 그들이 그렇지 않으면 어떻게 될까요?!

operating-system semaphore mutual-exclusion 2014-11-18

---

2열

3답변

이 프로그램이 무한 루프로 실행되는 이유는 무엇입니까? 상호 배제

아래는 상호 배제에 대해 배우기 시작한 자바 프로그램입니다. class MutexVar{ public static int Turn = 1; } class CriticalSection{ private static int modelNumber =0; public static void setModelNumber(int number

java multithreading scheduler mutual-exclusion 2015-01-16

---

1열

1답변

중요한 섹션 및 챌린지를위한 하나의 소프트웨어 솔루션

Wait (i) { c[i]=false; while (c[1-i]) do; } Signal (i) { c[i]=true; } 각 프로세스는 무한 시간 동안 임계 구역 (CS)에 입장하려고합니다. 프로세스 사용 대기 (i)는 CS 입력이고, 신호 (i)는 CS 종료입니다. 나는 {0,1}에서 많은 수의 과정을 밟는다

operating-system semaphore critical-section mutual-exclusion 2014-10-11

---

0열

1답변

피터슨의 알고리즘에 if 문이있는 경우 어떻게 될까요?

피터슨의 상호 배제 알고리즘에 대해 읽었습니다. 중요한 섹션의 입력 부분에있는 마지막 문구에 if 거기에 문 : flag[j] = true; turn = j if(turn ==j) while(flag[k]); 나는 하나 개의 프로세스는 처음 두 개의 문을 통과하면, 두 번째 과정은 다음의 중요한 섹션에 첫 번째 과정 헤드 전에 첫 번째 문

algorithm order command mutual-exclusion 2017-11-27

---