前言
遠看并發,并發程式設計可以抽象成三個核心問題: 分工、同步/協作、互斥
如果你已經工作了,那麼你一定聽說過或者正在應用靈活開發模式來傳遞日常的工作任務,我們就用你熟悉的流程來解釋這三個核心問題

分工
将目前 Sprint 的 Story 拆分成「合适」大小的 Task,并且安排給「合适」的 Team Member 去完成
這裡面用了兩個「合适」,将 Story 拆分成大小适中,可完成的 Task 是非常重要的。拆分的粒度太粗,導緻這個任務完成難度變高,耗時長,不易與其他人配合;拆分的粒度太細,又導緻任務太多,不好管理與追蹤,浪費精力和資源。(合适的線程才能更好的完成整塊工作,當然一個線程可以輕松搞定的就沒必要多線程);安排給合适的人員去完成同樣重要,UX-UE 問題交給後端人員處理,很顯然是有問題的 (主線程應該做的事交給子線程顯然是解決不了問題的,每個線程做正确的事才能發揮作用)
關于分工,常見的 Executor,生産者-消費者模式,Fork/Join 等,這都是分工思想的展現
同步/協作
任務拆分完畢,我要等張三的任務,張三要等李四的任務,也就是說任務之間存在依賴關系,前面的任務執行完畢,後面的任務才可以執行,人進階在可以通過溝通反複确認,確定自己的任務可以開始執行。但面對程式,我們需要了解程式的溝通方式,一個線程執行完任務,如何通知後續線程執行
所有的同步/協作關系我們都可以用你最熟悉的 If-then-else 來表示:
if(前序任務完成){
execute();
}else{
wait();
}
上面的代碼就是說:當某個條件不滿足時,線程需要等待;當某個條件滿足時,線程需要被喚醒執行,線程之間的協作可能是主線程與子線程的協作,可能是子線程與子線程的合作, Java SDK 中 CountDownLatch 和 CyclicBarrier 就是用來解決線程協作問題的
互斥
分工和同步強調的是性能,但是互斥是強調正确性,就是我們常常提到的「線程安全」,當多個線程同時通路一個共享變量/成員變量時,就可能發生不确定性,造成不确定性主要是有可見性、原子性、有序性這三大問題,而解決這些問題的核心就是互斥
互斥同一時刻,隻允許一個線程通路共享變量
來看下圖,主幹路就是共享變量,進入主幹路一次隻能有一輛車,這樣你是否了解了呢?「天下大事,分久必合」
同樣 Java SDK 也有很多互斥的解決方案,比如你馬上就能想到 synchronized 關鍵字,Lock,ThreadLocal 等就是互斥的解決方案
總結
資本家瘋狂榨取勞動勞工的剩餘價值,獲得最大收益。當你面對 CPU,記憶體,IO 這些勞動勞工時,你就是那個資本家,你要思考如何充分榨取它們的價值
當一個勞工能幹的活,絕不讓兩個人來幹(單線程能滿足就沒必要為了多線程)當多個勞工幹活時,就要讓他們分工明确,合作順暢,沒沖突
當任務很大時,由于 IO 幹活慢,CPU 幹活快,就沒必要讓 CPU 死等目前的 IO,轉而去執行其他指令,這就是榨取剩餘價值,如何最大限度的榨取其價值,這就涉及到後續的調優問題,比如多少線程合适等
分工是設計,同步和互斥是實作,沒有好的設計也就沒有好的實作,是以在分工階段,強烈建議大家勾劃草圖,了解瓶頸所在,這樣才會有更好的實作,後續章節的内容,我也會帶領大家畫草圖,分析問題,逐漸養成這個習慣
歡迎大家關注我的公種浩【程式員追風】,文章都會在裡面更新,整理的資料也會放在裡面。
本章内容可以用下面的圖來簡單概括,葉子結點的内容我們會逐漸點亮,現階段不用過分關注(如果你上來就啃 JDK 源碼,也許你會痛苦的迷失,并最終放棄你的進階之路的)
了解三大核心問題,你要充分結合生活中的實際,程式中的并發問題,基本上都能在實際生活中找得到原型。
最後
歡迎大家一起交流,喜歡文章記得點個贊喲,感謝支援!