linux核心–mb代碼學習總結

#define set_current_state(state_value) /  
set_mb(current->state, (state_value))  
 
#define set_mb(var, value) do { var = value; mb(); } while (0)  
#define mb() __asm__ __volatile__ ("lock; addl $0,0(%%esp)" : : : "memory") 

語句解釋：
1.set_mb(),mb(),barrier()函數追蹤到底，就是__asm__ __volatile__("lock; addl $0,0(%%esp)":::"memory"),而這行代碼就是記憶體屏障。
2.__asm__:用於指示編譯器在此插入彙編語句
3.volatile/__volatile__:基本可以做到兩件事情：
  (1).阻止編譯器為了提高速度將一個變數緩衝到寄存器內而不寫回記憶體。
  (2).阻止編譯器調整操作volatile變數的指令順序。 
4.memory強制gcc編譯器假設RAM所有記憶體單元均被彙編指令修改，這樣cpu中的registers和cache中已緩衝的記憶體單元中的資料將作廢。cpu將不得不在需要的時候重新讀取記憶體中的資料。這就阻止了cpu又將registers，cache中的資料用於去最佳化指令，而避免去訪問記憶體。 
5.lock首碼表示將後面這句彙編語句："addl $0,0(%%esp)"作為cpu的一個記憶體屏障。 
6.addl $0,0(%%esp)表示將數值0加到esp寄存器中，而該寄存器指向棧頂的記憶體單元。加上一個0，esp寄存器的數值依然不變。即這是一條無用的彙編指令。在此利用這條無價值的彙編指令來配合lock指令，在__asm__,__volatile__,memory的作用下，用作cpu的記憶體屏障。

個人思考：
    volatile關鍵字來讓編譯器保證變數計算結果寫回到記憶體之中，而沒有用volatile關鍵字約束的變數的計算結果可能儲存在寄存器之中，這種限制完全在我們的代碼之中控制；語句中的memory強制gcc編譯器假設RAM所有記憶體單元均被彙編指令修改，cpu將不得不在需要的時候重新讀取記憶體中的資料。這兩條關鍵字保證在多線程的環境下資料的一致性。

遺留問題：
    void aaa()
    {
     int a = 1; //沒有使用volatile，
     a++;       //a的計算結果儲存在寄存器中的話
     mb();      //寄存器失效
     
     printf("%d/n", a); (問題：a等於幾呢)
    }

解決辦法：
 把彙編看看，然後編譯，看看gcc編譯處理的彙編代碼。