mutual-exclusion

0熱度

1回答

I read about Redis被用於互斥。 Docs說以下內容：有人能解釋什麼條件下可以在這個簡單的實現不能以實現互斥。對於所有的情況下試圖做一些重要的工作，請執行以下操作（僞代碼）： while (set keyForMutex anyValue nx == nil) { sleep (200 ms) } Finish up the critical task.

1熱度

1回答

在python中查找兩個數組之間的互斥元素索引

我有兩個數組，我發現如何用np.setxor1d(a,b)來識別互斥元素。例如： a = np.random.randint(11, size=10) #first array b = np.random.randint(11, size=10) #second array ex = np.setxor1d(a,b) #mutually exclusive array a Out[

1熱度

1回答

MPI：確保獨佔訪問共享內存（RMA）

我想知道哪個是確保獨佔訪問MPI中n個進程之間共享資源（如內存窗口）的最佳方式。我試過MPI_Win_lock & MPI_Win_fence，但它們看起來並不像預期的那樣工作，即：我可以看到多個進程同時進入關鍵區域（MPI_Win_lock & MPI_Win_unlock包含MPI_Get和/或MPI_Put）之間的代碼。我希望你的建議。謝謝。

0熱度

1回答

獲取同一Java應用程序的實例（如果它已在運行）

是否可以檢查Java應用程序是否已在運行，如果是，請獲取它的實例？假設我有一個jar，第一次點擊它會打開一個框架，每次（直到它關閉），它都會獲取該框架並向它添加一個對象。這還需要在主應用程序沒有close（）方法的情況下工作，以便在應用程序停止響應或已用任務管理器關閉時再次打開時再次運行。

2熱度

3回答

我的解決方案是否滿足互斥要求？

我發現了一個解決互斥問題的在線問題，它有兩個進程P0和P1。（假設可變轉被初始化爲0） volatile int turn; 過程P0： /* Other code */ while (turn != 0) { } /* Do nothing and wait. */ Critical Section /* . . . */ turn = 1; /*

0熱度

1回答

可再生資源vs操作系統中的可消耗資源

什麼是可再生資源&操作系統領域的可消耗資源？我讀到這些，而我讀到的併發性，互斥&死鎖，完全在：操作系統：內部&威廉斯拖延的設計原則。

2熱度

1回答

互斥過濾算法：弱公平

我指的是這個濾波器算法說明： http://cs.nyu.edu/wies/teaching/ppc-14/material/lecture02.pdf 它說，它提供了微弱的公平性和某些線程可以採取的次超越arbitary號。（幻燈片98）我無法理解這部分，因爲寫入受害者值的最後一個必須等待並且已經等待的線程移動到下一個層次，那麼一個線程如何在這裏被超越？

-1熱度

1回答

如何在PHP中讀取文件時刪除或編輯文件？

假設PHP上有一個文件。該文件正在不斷閱讀。我想阻止用戶先訪問文件，然後刪除或編輯文件。我該怎麼做？

0熱度

1回答

爲什麼Z3求解器將互斥排除歸還SAT？

我不明白我出錯的地方。在Z3解算器中相互排斥返回SAT。我犯了一個錯誤嗎？我在我的照片中爲四個地方使用了四個陣列，我想檢查沒有兩個進程同時進入臨界區。 (declare-const p0 (Array Int Int)) (declare-const p1 (Array Int Int)) (declare-const p2 (Array Int Int)) (declare-const p

0熱度

1回答

一種高效非強制實施，檢驗互斥

foo類有一個方法bar。根據某些同步協議，特定foo對象的bar方法將在任何時間點僅由最多一個線程調用。我想補充一個非常輕巧verification_mutex驗證這一/調試同步濫用。類似地，將用於常規的互斥體：但是 class foo { public: void bar() { std::lock_guard<verification_mutex> lk{m};