Cortex M3 - セマフォの使い方

Question

cortex m3でのセマフォの使用に関する質問があります。私は、スレッド "ARM Cortex：ビットバンディングを使用するミューテックス" ARM cortex: mutex using bit bandingを見つけました。 問題の簡単な説明があり、最後の答えは私の問題には良いでしょうが、どのようにしてc/C++で実装できるのかよくわかりません。

"ARMでビットバンディングを使用したことはありませんでしたが、代わりに、このようなすべての操作にload-exclusive/store-conditionalを使用することになりました。条件付きストアを使用してそれを書き戻します。条件付きストアが成功するまでループします（最初の条件が満たされない場合は2回目です）。

誰かが短いコードを使用する方法を投稿できると非常に感謝しています。

おかげで、 マーティン

Answer 1

そのビットバンディングは、（特に、それはNXPの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; 
    } 
};