• <noscript id="e0iig"><kbd id="e0iig"></kbd></noscript>
  • <td id="e0iig"></td>
  • <option id="e0iig"></option>
  • <noscript id="e0iig"><source id="e0iig"></source></noscript>
  • Linux線程間同步③:自旋鎖Spinlock

    標簽: Linux  操作系統

    對于Mutex互斥鎖,其同一時間只能被一個線程所占有,其它申請該鎖的線程會進入阻塞休眠態,讓出CPU時間片。

    其一般使用在臨界區邏輯較長的程序中,使得多線程互斥的訪問臨界資源。而Linux中引入自旋鎖主要是解決多處理器

    對內核數據結構的互斥訪問。確保其訪問的原子性,基本流程為:鎖定=》操作=》解鎖

    自旋鎖其功能和互斥鎖類似,目的是保護一小段臨界區的原子性,其本質為一個原子變量atomic,主要包含兩種狀態:

    • locked
    • unlocked

    當一個任務希望執行訪問臨界資源的臨界區時,需要檢查這個鎖是否處于Unlocked解鎖狀態。

    若自旋鎖正處于Locked鎖定狀態,當前線程會一直自旋:不斷的檢查鎖是否可用,即處于忙等待過程。占用CPU時間片。

    ①其相較于互斥鎖優缺點?

    互斥鎖在鎖不可用時,會進入阻塞態,讓出CPU,而自旋鎖會處于忙等待,避免上下文切換

    因此其適用于臨界區較短的程序中

    ②為什么需要引入自旋鎖?

    解決多處理器情形(SMP體系)下互斥進入臨界區的問題。

     

     

    兩個線程的任務分別運行在不同的CPU上,那么它們將無法做到互斥進入臨界區。

    自旋鎖:

    確保在不同CPU上執行的線程只有一個可以獲取該互斥結構,從而確保多核下訪問臨界區的互斥性。

    其結構spinlock的內容為:

    typedef  struct spinlock
    {
        union
        {
            struct raw_spinlock rlock;
        };
    
    }spinlock_t;
    typedef  struct raw_spinlock
    {
        arch_spinlock_t raw_lock;
    }raw_spinlock_t;
    typedef struct qspinlock
    {
        atomic_t val;
    }arch_spinlock_t;

    可以看到 spinlock在X86-64體系下,本質是一個atomic原子變量。

    【自旋鎖的死鎖問題】

    首先關于中斷:

    中斷:外部事件發生時,中斷控制器通知CPU,CPU切換到中斷處理程序上下文,進行外部事件處理。

     

    ①中斷造成死鎖

    Linux SpinLock解決思路:進入臨界區時,禁止中斷,從而避免切換到中斷上下文。

     

    搶占:高優先級的任務搶占正在執行的低優先級的任務,從而獲得CPU使用勸。

     

    ②同一個CPU上搶占造成死鎖

    多個進程上下文運行在同一個CPU上,當高優先級任務搶占了正在執行的低優先級任務,而低優先級任務正處于臨界區

     

     

    Linux SpinLock解決思路:進入臨界區時,禁止搶占。

     

    由此可見,自旋鎖其主要特點是:

    • 主要是為了解決多個CPU體系下,小段臨界區的保護。
    • 由于互斥鎖的忙等待特性,其容易引起死鎖。解決思路是進入臨界區時禁止中斷或搶占

     

     

    版權聲明:本文為qq_33369979原創文章,遵循 CC 4.0 BY-SA 版權協議,轉載請附上原文出處鏈接和本聲明。
    本文鏈接:https://blog.csdn.net/qq_33369979/article/details/109070872

    智能推薦

    HTML中常用操作關于:頁面跳轉,空格

    1.頁面跳轉 2.空格的代替符...

    freemarker + ItextRender 根據模板生成PDF文件

    1. 制作模板 2. 獲取模板,并將所獲取的數據加載生成html文件 2. 生成PDF文件 其中由兩個地方需要注意,都是關于獲取文件路徑的問題,由于項目部署的時候是打包成jar包形式,所以在開發過程中時直接安照傳統的獲取方法沒有一點文件,但是當打包后部署,總是出錯。于是參考網上文章,先將文件讀出來到項目的臨時目錄下,然后再按正常方式加載該臨時文件; 還有一個問題至今沒有解決,就是關于生成PDF文件...

    電腦空間不夠了?教你一個小秒招快速清理 Docker 占用的磁盤空間!

    Docker 很占用空間,每當我們運行容器、拉取鏡像、部署應用、構建自己的鏡像時,我們的磁盤空間會被大量占用。 如果你也被這個問題所困擾,咱們就一起看一下 Docker 是如何使用磁盤空間的,以及如何回收。 docker 占用的空間可以通過下面的命令查看: TYPE 列出了docker 使用磁盤的 4 種類型: Images:所有鏡像占用的空間,包括拉取下來的鏡像,和本地構建的。 Con...

    requests實現全自動PPT模板

    http://www.1ppt.com/moban/ 可以免費的下載PPT模板,當然如果要人工一個個下,還是挺麻煩的,我們可以利用requests輕松下載 訪問這個主頁,我們可以看到下面的樣式 點每一個PPT模板的圖片,我們可以進入到詳細的信息頁面,翻到下面,我們可以看到對應的下載地址 點擊這個下載的按鈕,我們便可以下載對應的PPT壓縮包 那我們就開始做吧 首先,查看網頁的源代碼,我們可以看到每一...

    猜你喜歡

    Linux C系統編程-線程互斥鎖(四)

    互斥鎖 互斥鎖也是屬于線程之間處理同步互斥方式,有上鎖/解鎖兩種狀態。 互斥鎖函數接口 1)初始化互斥鎖 pthread_mutex_init() man 3 pthread_mutex_init (找不到的情況下首先 sudo apt-get install glibc-doc sudo apt-get install manpages-posix-dev) 動態初始化 int pthread_...

    統計學習方法 - 樸素貝葉斯

    引入問題:一機器在良好狀態生產合格產品幾率是 90%,在故障狀態生產合格產品幾率是 30%,機器良好的概率是 75%。若一日第一件產品是合格品,那么此日機器良好的概率是多少。 貝葉斯模型 生成模型與判別模型 判別模型,即要判斷這個東西到底是哪一類,也就是要求y,那就用給定的x去預測。 生成模型,是要生成一個模型,那就是誰根據什么生成了模型,誰就是類別y,根據的內容就是x 以上述例子,判斷一個生產出...

    styled-components —— React 中的 CSS 最佳實踐

    https://zhuanlan.zhihu.com/p/29344146 Styled-components 是目前 React 樣式方案中最受關注的一種,它既具備了 css-in-js 的模塊化與參數化優點,又完全使用CSS的書寫習慣,不會引起額外的學習成本。本文是 styled-components 作者之一 Max Stoiber 所寫,首先總結了前端組件化樣式中的最佳實踐原則,然后在此基...

    基于TCP/IP的網絡聊天室用Java來實現

    基于TCP/IP的網絡聊天室實現 開發工具:eclipse 開發環境:jdk1.8 發送端 接收端 工具類 運行截圖...

    19.vue中封裝echarts組件

    19.vue中封裝echarts組件 1.效果圖 2.echarts組件 3.使用組件 按照組件格式整理好數據格式 傳入組件 home.vue 4.接口返回數據格式...

    精品国产乱码久久久久久蜜桃不卡