Linux 信號量之Posix基於記憶體的信號量

来源:https://www.cnblogs.com/xiaoshiwang/archive/2019/06/22/11070030.html
-Advertisement-
Play Games

信號量(semaphore),也和互斥鎖一樣提供了線程間或者進程間的同步功能。 信號量有三種: "Posix有名字的信號量" Posix基於記憶體的信號量 System V信號量 信號量比互斥鎖高級,互斥鎖只允許一個線程訪問臨界區,信號量可以多個,可以把信號量看作成互斥鎖的升級版,但是如果能用互斥鎖解 ...


信號量(semaphore),也和互斥鎖一樣提供了線程間或者進程間的同步功能。

信號量有三種:

信號量比互斥鎖高級,互斥鎖只允許一個線程訪問臨界區,信號量可以多個,可以把信號量看作成互斥鎖的升級版,但是如果能用互斥鎖解決,就用互斥鎖,互斥鎖比信號量節省資源。

這篇文章只介紹Posix基於記憶體的信號量

1,單個生產者和單個消費者

#include <pthread.h>
#include <stdlib.h>
#include <stdio.h>
#include <fcntl.h>       
#include <sys/stat.h>    
#include <semaphore.h>

#define NBUFF 10

int nitems;
struct {
  int buff[NBUFF];
  sem_t mutex, nempty, nstored;
} shared;

void* produce(void *args);
void* consume(void* args);

int main(int argc, char** argv){

  pthread_t tid_produce, tid_consume;

  if(argc != 2){
    printf("usage error\n");
    exit(1);
  }

  nitems = atoi(argv[1]);

  //create 3 semaphore
  sem_init(&shared.mutex, 0, 1);
  sem_init(&shared.nempty, 0, NBUFF);
  sem_init(&shared.nstored, 0, 0);

  pthread_create(&tid_produce, NULL, produce, NULL);
  pthread_create(&tid_consume, NULL, consume, NULL);

  pthread_join(tid_produce, NULL);
  pthread_join(tid_consume, NULL);

  sem_destroy(&shared.mutex);
  sem_destroy(&shared.nempty);
  sem_destroy(&shared.nstored);
  exit(0);
}

void* produce(void *args){
  int i;
  for(i = 0; i < nitems; ++i){
    sem_wait(&shared.nempty);
    sem_wait(&shared.mutex);
    shared.buff[i % NBUFF] = i;
    sem_post(&shared.mutex);
    sem_post(&shared.nstored);
  }

  return NULL;
}

void* consume(void* args){
  int i;
  for(i = 0; i < nitems; ++i){
    sem_wait(&shared.nstored);
    sem_wait(&shared.mutex);
    shared.buff[i % NBUFF] = i;
    sem_post(&shared.mutex);
    sem_post(&shared.nempty);
  }

  return NULL;
}

2,多個生產者和單個消費者

#include <pthread.h>
#include <stdlib.h>
#include <stdio.h>
#include <fcntl.h>       
#include <sys/stat.h>    
#include <semaphore.h>

#define NBUFF 10
#define MAXTHRS 100
#define min(x,y) ( x > y ? y:x )

int nitems, nproducers;

struct {
  int buff[NBUFF];
  int idx;
  int val;
  sem_t mutex, nempty, nstored;
} shared;

void* produce(void *args);
void* consume(void* args);

int main(int argc, char** argv){

  int i, count[MAXTHRS];
  pthread_t tid_produce[MAXTHRS], tid_consume;

  if(argc != 3){
    printf("usage error\n");
    exit(1);
  }

  nitems = atoi(argv[1]);
  nproducers = min(atoi(argv[2]), MAXTHRS);

  //create 3 semaphore
  sem_init(&shared.mutex, 0, 1);
  sem_init(&shared.nempty, 0, NBUFF);
  sem_init(&shared.nstored, 0, 0);

  for(i = 0; i < nproducers; ++i){
    count[i] = 0;
    pthread_create(&tid_produce[i], NULL, produce, &count[i]);
  }
  pthread_create(&tid_consume, NULL, consume, NULL);

  for(i = 0; i < nproducers; ++i){
    pthread_join(tid_produce[i], NULL);
    printf("count[%d] = %d\n", i, count[i]);
  }
  pthread_join(tid_consume, NULL);

  sem_destroy(&shared.mutex);
  sem_destroy(&shared.nempty);
  sem_destroy(&shared.nstored);
  exit(0);
}

void* produce(void *arg){
  int i;
  for(i = 0; i < nitems; ++i){
    sem_wait(&shared.nempty);
    sem_wait(&shared.mutex);

    if(shared.idx >= nitems){
      sem_post(&shared.nempty);//註意點
      sem_post(&shared.mutex);
      return NULL;// all done
    }
    
    shared.buff[shared.idx % NBUFF] = shared.val;
    shared.idx++;
    shared.val++;
    sem_post(&shared.mutex);
    sem_post(&shared.nstored);
    *((int*) arg) += 1;
  }

  return NULL;
}

void* consume(void* args){
  int i;
  for(i = 0; i < nitems; ++i){
    sem_wait(&shared.nstored);
    sem_wait(&shared.mutex);
    if(shared.buff[i % NBUFF] != i){
      printf("error:buff[%d] = %d\n", i, shared.buff[i % NBUFF]);
    }
    sem_post(&shared.mutex);
    sem_post(&shared.nempty);
  }

  return NULL;
}

3,多個生產者和多個消費者

#include <pthread.h>
#include <stdlib.h>
#include <stdio.h>
#include <fcntl.h>       
#include <sys/stat.h>    
#include <semaphore.h>

#define NBUFF 10
#define MAXTHRS 100
#define min(x,y) ( x > y ? y:x )

int nitems, nproducers, nconsumers;

struct {
  int buff[NBUFF];
  int idx;
  int val;
  int gidx;
  int gval;
  sem_t mutex, nempty, nstored;
} shared;

void* produce(void *args);
void* consume(void* args);

int main(int argc, char** argv){

  int i, prodcount[MAXTHRS], conscount[MAXTHRS];
  pthread_t tid_produce[MAXTHRS], tid_consume[MAXTHRS];

  if(argc != 4){
    printf("usage error\n");
    exit(1);
  }

  nitems = atoi(argv[1]);
  nproducers = min(atoi(argv[2]), MAXTHRS);
  nconsumers = min(atoi(argv[3]), MAXTHRS);

  //create 3 semaphore
  sem_init(&shared.mutex, 0, 1);
  sem_init(&shared.nempty, 0, NBUFF);
  sem_init(&shared.nstored, 0, 0);

  for(i = 0; i < nproducers; ++i){
    prodcount[i] = 0;
    pthread_create(&tid_produce[i], NULL, produce, &prodcount[i]);
  }
  for(i = 0; i < nconsumers; ++i){
    conscount[i] = 0;
    pthread_create(&tid_consume[i], NULL, consume, &conscount[i]);
  }

  for(i = 0; i < nproducers; ++i){
    pthread_join(tid_produce[i], NULL);
    printf("prodcount[%d] = %d\n", i, prodcount[i]);
  }
  for(i = 0; i < nconsumers; ++i){
    pthread_join(tid_consume[i], NULL);
    printf("conscount[%d] = %d\n", i, conscount[i]);
  }

  sem_destroy(&shared.mutex);
  sem_destroy(&shared.nempty);
  sem_destroy(&shared.nstored);
  exit(0);
}

void* produce(void *arg){
  int i;
  for(i = 0; i < nitems; ++i){
    sem_wait(&shared.nempty);
    sem_wait(&shared.mutex);

    if(shared.idx >= nitems){
      sem_post(&shared.nstored);//註意點
      sem_post(&shared.nempty);//註意點
      sem_post(&shared.mutex);
      return NULL;// all done
    }
    
    shared.buff[shared.idx % NBUFF] = shared.val;
    shared.idx++;
    shared.val++;
    sem_post(&shared.mutex);
    sem_post(&shared.nstored);
    *((int*) arg) += 1;
  }

  return NULL;
}

void* consume(void* arg){
  int i;
  for(; ;){
    sem_wait(&shared.nstored);
    sem_wait(&shared.mutex);
    
    if(shared.gidx >= nitems){
      sem_post(&shared.nstored);//註意點
      sem_post(&shared.mutex);
      return NULL;// all done
    }
    i = shared.gidx % NBUFF;
    if(shared.buff[i] != shared.gval){
      printf("error:buff[%d] = %d\n", i, shared.buff[i]);
    }
    shared.gidx++;
    shared.gval++;
    
    sem_post(&shared.mutex);
    sem_post(&shared.nempty);
    *((int*) arg) += 1;
  }

  return NULL;
}

c/c++ 學習互助QQ群:877684253

本人微信:xiaoshitou5854


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 首先python是一種面向對象、開源的、具有解析性的編程語言.接下來我們來看看python的基本一些語法. 學習一門語言,第一個程式就是Hello World程式.在Python裡面,Hello World的程式代碼如下: print("Hello World") 從這句代碼我們可以看出來,pyth ...
  • Spring Event 是基於觀察者模式實現,介紹其之前,我們先介紹下JDK提供的觀察者模型 觀察者:Observer, 被觀察:Observable 當被觀察者改變時,其需要通知所有關聯的觀察者。Observable實現邏輯如下: 好了,下麵我們介紹Spring基於觀察者模式的Event機制 首 ...
  • 一、SpringDataJpa的含義: SpringDataJpa: 是Spring基於ORM框架、JPA規範封裝的一套JPA應用框架,是SpringData中的一個子模塊,可讓開發者用極簡的代碼即可實現對數據的訪問和操作。它提供了包括增刪改查、排序、分頁等在內的常用功能,主要針對的就是 Sprin ...
  • 本文約3萬餘字,閱讀時間大概為1小時。主要包含:裸辭&辭職、西安&杭州、面試的技巧、螞蟻金服面試經歷、面試題分享等章節。距離來杭州已經過去3個月了,一直想把這幾個月的經歷寫下來,但是遲遲沒有動手,在整理了好久之後終於動手完成了本文,希望大家通過本文可以有所感悟。由於個人的工作經驗和視野有限,文章中的 ...
  • conda和pip簡介 conda conda是包及其依賴項和環境的管理工具。 適用語言:Python, R, Ruby, Lua, Scala, Java, JavaScript, C/C++, FORTRAN。 適用平臺:Windows, macOS, Linux 用途: 如果你需要的包要求不同 ...
  • 前幾天和朋友閑聊,說遇到了一個ConcurrentHashMap死迴圈問題,當時心裡想這不科學呀?ConcurrentHashMap怎麼還有死迴圈呢,畢竟它已經解決HashMap中rehash中死迴圈問題了,但是隨著深入的分析,發現事情並沒有之前想的那麼簡單~ (以下分析基於jdk版本:jdk1.8 ...
  • set 特點: 無序, 不允許重覆 沒有索引 Collections: Collections 與Collection 的區別: Collection是集合體系的最頂層,包含了集合體系的共性 Collecions是一個工具集,方法都是用於操作Collection map map是具有key和valu ...
  • JFrame的常用構造函數: JFrame() JFrame(String title) //視窗標題,會顯示在左上角窗體圖標的後面 JDialog的常用構造函數: JDialog() JDialog(JFrame/JDialog owner) //指定此對話框的所有者,當此對話框的所有者被關閉/最 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...