摘要:使當前線程休眠,不可調度。這三種情況下會恢復其它線程調用了,當前線程恰好被選中了恢復執行其它線程調用了假醒。
考慮一個場景,輪流打印0-100以內的技術和偶數。通過使用 synchronize 的 wait,notify機制就可以實現,核心思路如下:
使用兩個線程,一個打印奇數,一個打印偶數。這兩個線程會共享一個數據,數據每次自增,當打印奇數的線程發現當前要打印的數字不是奇數時,執行等待,否則打印奇數,并將數字自增1,對于打印偶數的線程也是如此
//打印奇數的線程 private static class OldRunner implements Runnable{ private MyNumber n; public OldRunner(MyNumber n) { this.n = n; } public void run() { while (true){ n.waitToOld(); //等待數據變成奇數 System.out.println("old:" + n.getVal()); n.increase(); if (n.getVal()>98){ break; } } } } //打印偶數的線程 private static class EvenRunner implements Runnable{ private MyNumber n; public EvenRunner(MyNumber n) { this.n = n; } public void run() { while (true){ n.waitToEven(); //等待數據變成偶數 System.out.println("even:"+n.getVal()); n.increase(); if (n.getVal()>99){ break; } } } }
共享的數據如下
private static class MyNumber{ private int val; public MyNumber(int val) { this.val = val; } public int getVal() { return val; } public synchronized void increase(){ val++; notify(); //數據變了,喚醒另外的線程 } public synchronized void waitToOld(){ while ((val % 2)==0){ try { System.out.println("i am "+Thread.currentThread().getName()+" ,but now is even:"+val+",so wait"); wait(); //只要是偶數,一直等待 } catch (InterruptedException e) { e.printStackTrace(); } } } public synchronized void waitToEven(){ while ((val % 2)!=0){ try { System.out.println("i am "+Thread.currentThread().getName()+" ,but now old:"+val+",so wait"); wait(); //只要是奇數,一直等待 } catch (InterruptedException e) { e.printStackTrace(); } } } }
運行代碼如下
MyNumber n = new MyNumber(0); Thread old=new Thread(new OldRunner(n),"old-thread"); Thread even = new Thread(new EvenRunner(n),"even-thread"); old.start(); even.start();
運行結果如下
i am old-thread ,but now is even:0,so wait even:0 i am even-thread ,but now old:1,so wait old:1 i am old-thread ,but now is even:2,so wait even:2 i am even-thread ,but now old:3,so wait old:3 i am old-thread ,but now is even:4,so wait even:4 i am even-thread ,but now old:5,so wait old:5 i am old-thread ,but now is even:6,so wait even:6 i am even-thread ,but now old:7,so wait old:7 i am old-thread ,but now is even:8,so wait even:8
上述方法使用的是 synchronize的 wait notify機制,同樣可以使用顯示鎖來實現,兩個打印的線程還是同一個線程,只是使用的是顯示鎖來控制等待事件
private static class MyNumber{ private Lock lock = new ReentrantLock(); private Condition condition = lock.newCondition(); private int val; public MyNumber(int val) { this.val = val; } public int getVal() { return val; } public void increase(){ lock.lock(); try { val++; condition.signalAll(); //通知線程 }finally { lock.unlock(); } } public void waitToOld(){ lock.lock(); try{ while ((val % 2)==0){ try { System.out.println("i am should print old ,but now is even:"+val+",so wait"); condition.await(); } catch (InterruptedException e) { e.printStackTrace(); } } }finally { lock.unlock(); } } public void waitToEven(){ lock.lock(); //顯示的鎖定 try{ while ((val % 2)!=0){ try { System.out.println("i am should print even ,but now old:"+val+",so wait"); condition.await();//執行等待 } catch (InterruptedException e) { e.printStackTrace(); } } }finally { lock.unlock(); //顯示的釋放 } } }
同樣可以得到上述的效果
顯示鎖的功能顯示鎖在java中通過接口Lock提供如下功能
lock: 線程無法獲取鎖會進入休眠狀態,直到獲取成功
lockInterruptibly: 如果獲取成功,立即返回,否則一直休眠到線程被中斷或者是獲取成功
tryLock:不會造成線程休眠,方法執行會立即返回,獲取到了鎖,返回true,否則返回false
tryLock(long time, TimeUnit unit) throws InterruptedException : 在等待時間內沒有發生過中斷,并且沒有獲取鎖,就一直等待,當獲取到了,或者是線程中斷了,或者是超時時間到了這三者發生一個就返回,并記錄是否有獲取到鎖
unlock:釋放鎖
newCondition:每次調用創建一個鎖的等待條件,也就是說一個鎖可以擁有多個條件
Condition的功能接口Condition把Object的監視器方法wait和notify分離出來,使得一個對象可以有多個等待的條件來執行等待,配合Lock的newCondition來實現。
await:使當前線程休眠,不可調度。這四種情況下會恢復 1:其它線程調用了signal,當前線程恰好被選中了恢復執行;2: 其它線程調用了signalAll;3:其它線程中斷了當前線程 4:spurious wakeup (假醒)。無論什么情況,在await方法返回之前,當前線程必須重新獲取鎖
awaitUninterruptibly:使當前線程休眠,不可調度。這三種情況下會恢復 1:其它線程調用了signal,當前線程恰好被選中了恢復執行;2: 其它線程調用了signalAll;3:spurious wakeup (假醒)。
awaitNanos:使當前線程休眠,不可調度。這四種情況下會恢復 1:其它線程調用了signal,當前線程恰好被選中了恢復執行;2: 其它線程調用了signalAll;3:其它線程中斷了當前線程 4:spurious wakeup (假醒)。5:超時了
await(long time, TimeUnit unit) :與awaitNanos類似,只是換了個時間單位
awaitUntil(Date deadline):與awaitNanos相似,只是指定日期之后返回,而不是指定的一段時間
signal:喚醒一個等待的線程
signalAll:喚醒所有等待的線程
ReentrantLock從源碼中可以看到,ReentrantLock的所有實現全都依賴于內部類Sync和ConditionObject。
Sync本身是個抽象類,負責手動lock和unlock,ConditionObject則實現在父類AbstractOwnableSynchronizer中,負責await與signal
Sync的繼承結構如下
Sync的兩個實現類,公平鎖和非公平鎖
公平的鎖會把權限給等待時間最長的線程來執行,非公平則獲取執行權限的線程與線程本身的等待時間無關
默認初始化ReentrantLock使用的是非公平鎖,當然可以通過指定參數來使用公平鎖
public ReentrantLock() { sync = new NonfairSync(); }
當執行獲取鎖時,實際就是去執行 Sync 的lock操作:
public void lock() { sync.lock(); }
對應在不同的鎖機制中有不同的實現
公平鎖實現
final void lock() { acquire(1); }
非公平鎖實現
final void lock() { if (compareAndSetState(0, 1)) //先看當前鎖是不是已經被占有了,如果沒有,就直接將當前線程設置為占有的線程 setExclusiveOwnerThread(Thread.currentThread()); else acquire(1); //鎖已經被占有的情況下,嘗試獲取 }
二者都調用父類AbstractQueuedSynchronizer的方法
public final void acquire(int arg) { if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) //一旦搶失敗,就會進入隊列,進入隊列后則是依據FIFO的原則來執行喚醒 selfInterrupt(); }
當執行unlock時,對應方法在父類AbstractQueuedSynchronizer中
public final boolean release(int arg) { if (tryRelease(arg)) { Node h = head; if (h != null && h.waitStatus != 0) unparkSuccessor(h); return true; } return false; }
公平鎖和非公平鎖則分別對獲取鎖的方式tryAcquire 做了實現,而tryRelease的實現機制則都是一樣的
公平鎖實現tryAcquire源碼如下
protected final boolean tryAcquire(int acquires) { final Thread current = Thread.currentThread(); int c = getState(); //獲取當前的同步狀態 if (c == 0) { //等于0 表示沒有被其它線程獲取過鎖 if (!hasQueuedPredecessors() && compareAndSetState(0, acquires)) { //hasQueuedPredecessors 判斷在當前線程的前面是不是還有其它的線程,如果有,也就是鎖sync上有一個等待的線程,那么它不能獲取鎖,這意味著,只有等待時間最長的線程能夠獲取鎖,這就是是公平性的體現 //compareAndSetState 看當前在內存中存儲的值是不是真的是0,如果是0就設置成accquires的取值。對于JAVA,這種需要直接操作內存的操作是通過unsafe來完成,具體的實現機制則依賴于操作系統。 //存儲獲取當前鎖的線程 setExclusiveOwnerThread(current); return true; } } else if (current == getExclusiveOwnerThread()) { //判斷是不是當前線程獲取的鎖 int nextc = c + acquires; if (nextc < 0)//一個線程能夠獲取同一個鎖的次數是有限制的,就是int的最大值 throw new Error("Maximum lock count exceeded"); setState(nextc); //在當前的基礎上再增加一次鎖被持有的次數 return true; } //鎖被其它線程持有,獲取失敗 return false; }非公平鎖實現tryAcquire
獲取的關鍵實現為nonfairTryAcquire,源碼如下
final boolean nonfairTryAcquire(int acquires) { final Thread current = Thread.currentThread(); int c = getState(); if (c == 0) { //鎖沒有被持有 //可以看到這里會無視sync queue中是否有其它線程,只要執行到了當前線程,就會去獲取鎖 if (compareAndSetState(0, acquires)) { setExclusiveOwnerThread(current); //在判斷一次是不是鎖沒有被占有,沒有就去標記當前線程擁有這個鎖了 return true; } } else if (current == getExclusiveOwnerThread()) { int nextc = c + acquires; if (nextc < 0) // overflow throw new Error("Maximum lock count exceeded"); setState(nextc);//如果當前線程已經占有過,增加占有的次數 return true; } return false; }釋放鎖的機制
protected final boolean tryRelease(int releases) { int c = getState() - releases; if (Thread.currentThread() != getExclusiveOwnerThread()) //只能是線程擁有這釋放 throw new IllegalMonitorStateException(); boolean free = false; if (c == 0) { //當占有次數為0的時候,就認為所有的鎖都釋放完畢了 free = true; setExclusiveOwnerThread(null); } setState(c); //更新鎖的狀態 return free; }
從源碼的實現可以看到
ReentrantLock獲取鎖時,在鎖已經被占有的情況下,如果占有鎖的線程是當前線程,那么允許重入,即再次占有,如果由其它線程占有,則獲取失敗,由此可見,ReetrantLock本身對鎖的持有是可重入的,同時是線程獨占的。
公平與非公平就體現在,當執行的線程去獲取鎖的時候,公平的會去看是否有等待時間比它更長的,而非公平的就優先直接去占有鎖
為什么需要顯示鎖ReentrantLock的tryLock()與tryLock(long timeout, TimeUnit unit):
public boolean tryLock() { //本質上就是執行一次非公平的搶鎖 return sync.nonfairTryAcquire(1); }有時限的tryLock核心代碼是 sync.tryAcquireNanos(1, unit.toNanos(timeout));,由于有超時時間,它會直接放到等待隊列中,他與后面要講的AQS的lock原理中acquireQueued的區別在于park的時間是有限的,詳見源碼 AbstractQueuedSynchronizer.doAcquireNanos
內置鎖功能上有一定的局限性,它無法響應中斷,不能設置等待的時間
文章版權歸作者所有,未經允許請勿轉載,若此文章存在違規行為,您可以聯系管理員刪除。
轉載請注明本文地址:http://specialneedsforspecialkids.com/yun/72417.html
摘要:的主要功能和關鍵字一致,均是用于多線程的同步。而僅支持通過查詢當前線程是否持有鎖。由于和使用的是同一把可重入鎖,所以線程可以進入方法,并再次獲得鎖,而不會被阻塞住。公平與非公平公平與非公平指的是線程獲取鎖的方式。 1.簡介 可重入鎖ReentrantLock自 JDK 1.5 被引入,功能上與synchronized關鍵字類似。所謂的可重入是指,線程可對同一把鎖進行重復加鎖,而不會被阻...
摘要:作者畢來生微信鎖狀態轉換分類以后幫助我們提供了線程同步機制,通過顯示定義同步鎖來實現對象之間的同步。等待重新嘗試因為在中是用關鍵字聲明的,故可以在線程間可見再次判斷一下能否持有鎖可能線程同步代碼執行得比較快,已經釋放了鎖,不可以就返回。 作者 : 畢來生微信: 878799579 鎖狀態轉換 showImg(https://segmentfault.com/img/remote/...
摘要:使用可以禁止的指令重排,保證在多線程環境下也能正常運行。關鍵字底層原理總結關鍵字底層原理屬于層面。另外在中引入了自適應的自旋鎖。自適應的自旋鎖帶來的改進就是自旋的時間不在固定了,而是和前一次同一個鎖上的自旋時間以及鎖的擁有者 【強烈推薦!非廣告!】阿里云雙11褥羊毛活動:https://m.aliyun.com/act/team1111/#/share?params=N.FF7yxCc...
摘要:今天給大家總結一下,面試中出鏡率很高的幾個多線程面試題,希望對大家學習和面試都能有所幫助。指令重排在單線程環境下不會出先問題,但是在多線程環境下會導致一個線程獲得還沒有初始化的實例。使用可以禁止的指令重排,保證在多線程環境下也能正常運行。 下面最近發的一些并發編程的文章匯總,通過閱讀這些文章大家再看大廠面試中的并發編程問題就沒有那么頭疼了。今天給大家總結一下,面試中出鏡率很高的幾個多線...
閱讀 1234·2021-09-26 09:46
閱讀 1588·2021-09-06 15:00
閱讀 717·2019-08-30 15:52
閱讀 1121·2019-08-29 13:10
閱讀 1282·2019-08-26 13:47
閱讀 1482·2019-08-26 13:35
閱讀 2031·2019-08-23 18:38
閱讀 727·2019-08-23 17:59