1.原子性: 一個操作或者多個操作,要麼全部執行成功,要麼全部執行失敗。比如賬戶轉賬問題,A賬戶向B轉100,A賬戶減去100元,B賬戶加上一百元,這兩個操作必須具備原子性,才能保證數據的安全,所以需要鎖來保證數據的原子性 2.可見性: 當一個線程修改變數之後,其他線程能夠立即看見修改到的值。比如有 ...
1.原子性:
一個操作或者多個操作,要麼全部執行成功,要麼全部執行失敗。比如賬戶轉賬問題,A賬戶向B轉100,A賬戶減去100元,B賬戶加上一百元,這兩個操作必須具備原子性,才能保證數據的安全,所以需要鎖來保證數據的原子性
2.可見性:
當一個線程修改變數之後,其他線程能夠立即看見修改到的值。比如有兩個線程a,b,兩個共有變數i,線程a修改了i的值,沒有及時刷新到主存,線程b看到還是修改之前的值。這就是線程的可見性的問題。
3.有序性:
程式執行的順序按照代碼的先後順序執行。一般來說處理器為了提高程式的執行效率,可能會對輸入的代碼進行優化,
它不保證程式中各個語句的執行先後順序同代碼中的順序一致,但是它會保證程式最終執行結果和代碼順序執行的結果是一致的。如下:
int a = 10; //語句1
int r = 2; //語句2
a = a + 3; //語句3
r = a*a; //語句4
則因為重排序,他還可能執行順序為 2-1-3-4,1-3-2-4
但絕不可能 2-1-4-3,因為這打破了依賴關係。
顯然重排序對單線程運行是不會有任何問題,而多線程就不一定了,所以我們在多線程編程時就得考慮這個問題了。