Cortex M3 - 如何使用信號燈

Question

我有一個關於在皮層m3中使用信號量的問題。我找到了一個線程「ARM cortex：mutex using bit banding」ARM cortex: mutex using bit banding。 這個問題有一個簡短的描述，最後的答案會對我的問題有好處 - 但我不確定如何在c/C++中實現它。 「我從來沒有在ARM上使用位帶;我傾向於對所有這些操作使用load-exclusive/store-conditional。使用一個循環來加載 - 獨佔舊值，計算新值值，然後使用條件存儲將其寫回。循環直到條件存儲成功爲止（如果不是第一次，它可能是第二次）。「

如果有人能發佈短代碼如何使用它，我將不勝感激。

感謝， 馬丁

Answer 1

請注意，bit-banding的是並非所有的實現（最明顯的是，它缺少的恩智浦的LPC1xxx系列）。

有關使用LDREX/STREX實現信號量的官方方式，請參閱ARM Synchronization Primitives Development Article。它使用ARM程序集。

下面是我使用編譯器內在函數（未經測試！）所做的一個簡單類。這個名字可能是一個用詞不當，因爲它實際上就像一個互斥體。它也缺少可能需要的DMB指令。

class Semaphore 
{ 
    enum { SemFree, SemTaken }; 
    // semaphore value 
    int s; 

public: 
    // constructor 
    Semaphore(): s(SemFree) {}; 

    // try to take the semaphore and return success 
    // by default block until succeeded 
    bool take(bool block = true) 
    { 
    int oldval; 
#if defined(TARGET_LPC1768) // on Cortex-M3 we can use ldrex/strex 
    do { 
     // read the semaphore value 
     oldval = __ldrex(&s); 
     // loop again if it is locked and we are blocking 
     // or setting it with strex failed 
    } 
    while ((block && oldval == SemTaken) || __strex(SemTaken, &s) != 0); 
    if (!block) __clrex(); // clear exclusive lock set by ldrex 
#else // on arm7 there's only swp 
    do { 
     // swp sets the pointed data to the given value and returns the previous one 
     oldval = __swp(SemTaken, &s); 
     // if blocking, loop until the previous value becomes 0 
     // which would mean we have successfully taken the lock 
    } 
    while (block && oldval == SemTaken); 
#endif 
    return oldval == SemFree; 
    } 

    // release the semaphore 
    void release() 
    { 
    s = SemFree; 
    } 
};