나는 여러 스레드의 작은 프로그램을 작성하고 있으며 상호 배타를 적용하기 위해 세마포를 사용하고 있습니다. 그러나 문제는 내 머리를 촉발시킵니다. 이 Semaphore.acquire보다 먼저 호출되면 어떻게됩니까? 광산이 정상적으로 작동합니다. 그것을하는 것은 나쁜 연습 또는 OK입니까?
저는 Quorums의 개념에 기반한 분산 상호 배제 알고리즘을 연구했습니다. 인용 : 동인 C는 집합 집합으로 정의되며, 집합 g ∈ C는 집합으로 불립니다. 다음 등록 동인 정원 회에 대해 길게 1) 교차 속성 : 모든 정수 g의 경우, H ∈ C, H = g ∩ ∅. 예를 들어, 첫 번째 세트와 세 번째 세트에는 공통 요소가 없으므로 세트 {1,2,3}
나는 철학자를위한 실을 만들고있었습니다. 다음은 의사 코드입니다. while(true)
think
get left chopstick
get right chopstick
eat
putdown left chopstick
putdown right chopstick
직관적 인 것으로, 나는 젓가락을 덜어주는
세마포어를 사용하여 일반적인 하나의 스레드 대신 두 개의 스레드가 실행되도록하는 특수 임계 영역을 어떻게 만들 수 있습니까? s.decrement() # may block
# enter critical section
s.increment()
유용한 자원은 다음과 같습니다 : 각 스레드가 다음 액세스 직렬화 세마포어를 사용 s = Semapho
CompareAndSwap에 대한 다음 코드 조각을 고려해 보시고이 원자 명령어가 상호 배타 프리미티브가되는 원자 TestAndSet보다 더 강력한 이유를 알려주십시오. char CompareAndSwap(int *ptr, int old, int new) {
unsigned char ret;
// Note that sete sets a ’byte’ no
나는 다음 코드가 무엇을하는지 안다. 왜 우리는 두 개의 코드가 필요하지만 단 하나의 조건부 변수 만 가지고 있기 때문에 동기화를위한 코드가 깨져 있는지 알고있다. 그러나 그것을 보여주기 위해 인터리브 쓰레드의 순서를 제공하는 방법을 모른다. 일하지 마라. 이 코드가 예제와 함께 작동하지 않는 이유를 보여 줄 수 있습니까? 1 cond_t cond = PT
나는 스핀 모델 검사 꽤 새로 온 사람이 오류가 무엇을 의미하는지 알고 싶어 여기 unreached in proctype P1
ex2.pml:16, state 11, "-end-"
(1 of 11 states)
unreached in proctype P2
ex2.pml:29, state 11, "-end-"
(1 of
다음은이 개 프로세스 솔루션 알고리즘 1입니다. 왜냐하면 P0이 임계 구역에있을 때 P1은 임계 구역을 벗어날 때까지 기다리기 때문입니다. 그리고 P0 업데이트가 끝나면 P1은 중요한 섹션으로 들어갑니다. 나는 왜 알고리즘이 만족스럽지 않은지 이해하지 못한다. 임계 구역에 프로세스가없는 경우 프로세스는 대기 프로세스가 대기 섹션에 들어갈 수 있어야합니다.
동일한 코드 라인에서 실행중인 PHP 스크립트의 여러 인스턴스간에 상호 배제를 보장하기 위해 mysql get_lock을 사용하고 있습니다. is_free_lock을 두 번 동시에 실행하면 0이 발생하지 않도록해야합니다.이 경우 스크립트의 두 인스턴스에서 모두 잠금을 종료 한 다음 해당 코드를 두 번 실행합니다. 도와주세요. if($lock->isLockF
저는 프로그래밍의 천재는 아니지만 금년 초에 명제 논리를 가르 칠 때 제 선생님이 P가 참이면 (P) 또는 ~ P는 거짓이었고 P가 거짓이면 반대였다. 사용자 정의 개체를 만드는 방법에 대한 파이썬 문서를 읽기 , 나는 그들이 a==b이 True가 a!=b이 False 것을 의미하지는 않습니다 것을 주장 것으로 나타났다. 이것은 !=이 ==의 부정 이었으므