主頁 > 作業系統 > 執行緒池執行在C中的任意點停止

執行緒池執行在C中的任意點停止

2022-01-01 19:33:50 作業系統

我正在用 C 語言實作我自己的通用執行緒池演算法,使用斐波那契數列進行測驗,最近幾天我一直被一個完全困擾我的問題所困擾。

執行程式時,它會一直作業,直到某個時刻它突然停止,這對我來說很明顯。

我注意到的一件事是執行在一小段時間后停止,因為如果向其中添加列印命令或睡眠命令,它會在執行程序中提前停止。

編輯:錯過了這部分,我已經測驗了死鎖,但沒有,它似乎只是在某個時候沒有將任何新東西推入堆疊,導致所有執行緒只是試圖從堆疊中拉出,識別出它是空的并跳回只是為了無限重復這個程序。

這是代碼:

執行緒池.h

#ifndef THREADPOOL_H_INCLUDED
#define THREADPOOL_H_INCLUDED

#include <stddef.h>
#include <stdbool.h>

typedef void (*ThreadTask_f)(void*);

typedef struct Future {
    ThreadTask_f fn;   //Pointer to the to be executed function
    bool fulfilled;
} Future;


extern int tpInit(size_t size);

extern void tpRelease(void);

extern void tpAsync(Future *future);

extern void tpAwait(Future *future);

/* creates an abstraction for easy interaction of functions with the threadpool
 * TYPE: type that the function returns
 * NAME: name of the function to be parralelised
 * ARG: type of the argument of the function given
*/
#define TASK(TYPE, NAME, ARG) \
    TYPE NAME(ARG); \
    \
    typedef struct { \
        Future fut;  \
        ARG    arg;  \
        TYPE   res;  \
    } NAME ## _fut;  \
    \
    static void NAME ## Thunk(void *args) { \
        NAME ## _fut *data = args;          \
        data->res = NAME(data->arg);        \
    } \
    static inline NAME ## _fut NAME ## Future(ARG arg) { \
        return (NAME ## _fut) {                          \
            .fut = { .fn = &NAME ## Thunk, .fulfilled = false },             \
            .arg = arg                                   \
        };                                               \
    } \
    static inline NAME ## _fut* NAME ## Async(NAME ## _fut *future) { \
        tpAsync(&future->fut);                 \
        return future;                         \
    } \
    static inline TYPE NAME ## Await(NAME ## _fut *future) { \
        tpAwait(&future->fut);        \
        return future->res;           \
    }

#endif

執行緒池


#include "threadpool.h"

#include <stdlib.h>
#include <unistd.h>
#include <pthread.h>
#include <stdatomic.h>
#include <stdio.h>
#include <time.h>

#define THREADSTACKSIZE 8388608
#define INITSTACKSIZE 1024  //initial value for how many Tasks can be in the taskstack
#define STACKMEMMULT 2  //if the TaskStack is full, multiply by this


typedef struct TaskStack {
    Future **start;
    size_t size;
    long current;
} TaskStack;

typedef struct ThreadPool {
    size_t size;
    pthread_t *threads;
    TaskStack *stack;
} ThreadPool;

static pthread_mutex_t stackAccess;

static ThreadPool *tp;

void nsleep(unsigned long nano) {
    struct timespec delay = {
        .tv_sec = 0,
        .tv_nsec = nano
    };
    nanosleep(&delay, NULL);
}

static void push(Future *future){
    pthread_mutex_lock(&stackAccess);
        if(tp->stack->current  ==tp->stack->size){
            tp->stack->size*=2;
            tp->stack->start=realloc(tp->stack->start, tp->stack->size);
        }
        tp->stack->start[tp->stack->current]=future;
    pthread_mutex_unlock(&stackAccess);
}

static Future *pull(){
    Future *retVal=NULL;
    PULLBEGIN:
    pthread_mutex_lock(&stackAccess);
        if(tp->stack->current==-1){ //if there is nothing on the stack test if there is a cancel attempt and yield the scheduler to a thread that might add tasks.
            pthread_mutex_unlock(&stackAccess);
            pthread_testcancel();
            sched_yield();
            goto PULLBEGIN;
        }
        retVal=tp->stack->start[tp->stack->current];
        tp->stack->current--;
    pthread_mutex_unlock(&stackAccess);
    return retVal;
}

static void *workerThread(void *args){
    pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, NULL);

    Future *fut;
    while(true){
        fut=pull();
        fut->fn(fut);
        fut->fulfilled=true;
        pthread_testcancel();
    }

    return NULL;
}

int tpInit(size_t size) {
    
    int err;
    tp=NULL;
    accessStack=0;
    pushExisting=0;
    pthread_mutex_init(&stackAccess, NULL);
    tp=malloc(sizeof(ThreadPool));
    if(tp==NULL){
        err=0;
        goto ERRHANDLINIT;
    }
    tp->size=0;
    tp->stack=malloc(sizeof(TaskStack));
    if(tp->stack==NULL){
        err=1;
        goto ERRHANDLINIT;
    }
    tp->threads=malloc(sizeof(pthread_t)*size);
    if(tp->threads==NULL){
        err=2;
        goto ERRHANDLINIT;
    }
    tp->stack->start=malloc(sizeof(Future *)*INITSTACKSIZE);
    if(tp->stack->start==NULL){
        err=3;
        goto ERRHANDLINIT;
    }
    tp->stack->current=-1;
    tp->stack->size=INITSTACKSIZE; 
    pthread_attr_t attributes;
    if(pthread_attr_init(&attributes)!=0){
        err=4;
        goto ERRHANDLINIT;
    }
    if(pthread_attr_setstacksize(&attributes, THREADSTACKSIZE)!=0){
        err=5;
        goto ERRHANDLINIT;
    }

    if(pthread_attr_setdetachstate(&attributes, PTHREAD_CREATE_JOINABLE)!=0){
        err=6;
        goto ERRHANDLINIT;
    }

    for(int i=0; i<size;i  ){
        if(pthread_create(&(tp->threads[i]), &attributes, workerThread,NULL)!=0){
            err=20 i;
            goto ERRHANDLINIT;
        }
    }
    return 0;

    ERRHANDLINIT:
    perror("Problem while initiating the threadpool with the following errcode: ");
    fprintf(stderr,"%i\n", err);
    return -1;
}

void tpRelease(void) {
    for(int i=0; i<tp->size; i  ){
        pthread_cancel(tp->threads[i]);
        pthread_join(tp->threads[i], NULL);
    }
    free(tp->stack->start);
    free(tp->stack);
    free(tp->threads);
    free(tp);
}

void tpAsync(Future *future) {
    future->fulfilled=false;
    push(future);
    return;
}

void tpAwait(Future *future) {
    while(!future->fulfilled){
        Future *workFut=pull();
        workFut->fn(workFut);
        workFut->fulfilled=true;
    }
}

主檔案

#include "threadpool.h"

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>


static TASK(long, fib, long);

long fib(long n) {
    if (n <= 1){
        return n;
    }

    fib_fut *a = fibAsync((fib_fut[]) { fibFuture(n - 1) });
    fib_fut *b = fibAsync((fib_fut[]) { fibFuture(n - 2) });

    return fibAwait(a)   fibAwait(b);
}

int main() {
    if (tpInit(8) != 0)
        perror("Thread Pool initialization failed"), exit(-1);
    atexit(&tpRelease);
    
    for (long i = 0; i <= 100;   i)
        printf("fib(%2li) = %li\n", i, fib(i));
    
    return 0;
}

生成檔案

#!/usr/bin/make
.SUFFIXES:
.PHONY: all run pack clean

SRC = $(wildcard *.c)
OBJ = $(SRC:%.c=%.o)
TAR = threadpool

CFLAGS = -std=gnu11 -c -g -Os -Wall -MMD -MP
LFLAGS = -pthread

DEP = $(OBJ:%.o=%.d)
-include $(DEP)

%.o: %.c
    $(CC) $(CFLAGS) $< -o $@

$(TAR): $(filter-out quicksort.o,$(OBJ))
    $(CC) $(LFLAGS) -o $@ $^

all: $(TAR)

run: all
    ./$(TAR)

clean:
    $(RM) $(RMFILES) $(OBJ) $(TAR) bench $(DEP) $(PCK)

I really hope you have some idea what is happening. Thank you in advance.

uj5u.com熱心網友回復:

所以我想通了,在 Craig Estey 和 Amit 的慷慨幫助下(你可以在原始帖子下的評論中看到)。

所以最后它是一個死鎖,因為你仍然可以在我不會修改的原始帖子中看到,所以任何感興趣的人都有機會看到我的愚蠢。

發生這種情況是因為在某一時刻將有 6 個執行緒等待拉取,堆疊為空,剩下的兩個執行緒一個進入等待,另一個剛剛完成了給定的函式,這是一個沒有呼叫另一個的遞回地(在我們的示例中為 fib(0) 或 fib(1))。現在執行緒已經完成了,讓我們稱它為執行緒 7,進入 fib_await() 將檢查它正在等待的值是否已滿足,此時尚未滿足,因此它檢查是否還有其他在堆疊中。因為沒有所以被困在等待中。

現在另一個執行緒,執行緒 8,剛剛完成它給定函式的執行緒將它的未來標記為已完成,并試圖拉出另一個未來。由于它是空的,它也將保持拉力。

現在所有執行緒都卡在 pull 中,沒有一個執行緒可以繼續前進,因為等待另一個執行緒的執行緒首先必須離開 pull()。

我唯一的修改是針對 pull()、push()、tpAwait()、tpInit() 和 workerThread(),因為我還實作了一個非常簡單的工單鎖。

??執行緒池.c


static void ticketLockInit(){
    atomic_init(&nowServing, 0);
    atomic_init(&nextTicket, 0);
}

static inline void ticketLockAcquire(){

    atomic_long myTicket=atomic_fetch_add(&nextTicket,1);

    while(myTicket!=nowServing){
        nsleep(1);
    }

}

static inline void ticketLockRelease(){
      nowServing;
}

static void push(Future *future){
    
    ticketLockAcquire();
        if(  tp->stack->current==tp->stack->size){
            fprintf(stderr, "MemRealloc\n");
            tp->stack->size=tp->stack->size*2;
            tp->stack->start=realloc(tp->stack->start, tp->stack->size);
        }
        tp->stack->start[tp->stack->current]=future;
    ticketLockRelease();

}

static Future *pull(){
    Future *retVal=NULL;

    ticketLockAcquire();
        if(tp->stack->current>-1){  //if there is nothing on the stack test if there is a cancel attempt and yield the scheduler to a thread that might add tasks.
            retVal=tp->stack->start[tp->stack->current];
        tp->stack->current--;
        }
    ticketLockRelease();

    return retVal;
}

static void *workerThread(void *args){
    pthread_setcanceltype(PTHREAD_CANCEL_DEFERRED, NULL);

    Future *fut;
    while(true){
        if((fut=pull())!=NULL){
            fut->fn(fut);
            fut->fulfilled=true;
            pthread_testcancel();
        }
    }
    return NULL;
}

void tpAwait(Future *future) {
    while(!future->fulfilled){
        
        Future *workFut;
        if((workFut=pull())!=NULL){
            workFut->fn(workFut);
            workFut->fulfilled=true;
            pthread_testcancel();
        }
        
        
    }
}

int tpInit(size_t size) {
    
    int err;
    tp=NULL;
    accessStack=0;
    pushExisting=0;
    pthread_mutex_init(&stackAccess, NULL);
    ticketLockInit();
    tp=malloc(sizeof(ThreadPool));
    if(tp==NULL){
        err=0;
        goto ERRHANDLINIT;
    }
    tp->size=0;
    tp->stack=malloc(sizeof(TaskStack));
    if(tp->stack==NULL){
        err=1;
        goto ERRHANDLINIT;
    }
    tp->threads=malloc(sizeof(pthread_t)*size);
    if(tp->threads==NULL){
        err=2;
        goto ERRHANDLINIT;
    }
    tp->stack->start=malloc(sizeof(Future *)*INITSTACKSIZE);
    if(tp->stack->start==NULL){
        err=3;
        goto ERRHANDLINIT;
    }
    tp->stack->current=-1;
    tp->stack->size=INITSTACKSIZE; 
    pthread_attr_t attributes;
    if(pthread_attr_init(&attributes)!=0){
        err=4;
        goto ERRHANDLINIT;
    }
    if(pthread_attr_setstacksize(&attributes, THREADSTACKSIZE)!=0){
        err=5;
        goto ERRHANDLINIT;
    }

    if(pthread_attr_setdetachstate(&attributes, PTHREAD_CREATE_JOINABLE)!=0){
        err=6;
        goto ERRHANDLINIT;
    }

    for(int i=0; i<size;i  ){
        if(pthread_create(&(tp->threads[i]), &attributes, workerThread,NULL)!=0){
            err=20 i;
            goto ERRHANDLINIT;
        }
    }
    return 0;

    ERRHANDLINIT:
    perror("Problem while initiating the threadpool with the following errcode: ");
    fprintf(stderr,"%i\n", err);
    return -1;
}

轉載請註明出處,本文鏈接:https://www.uj5u.com/caozuo/399898.html

標籤:c multithreading pthreads threadpool

上一篇:C 11:在多執行緒程式中使用區域靜態變數導致核心轉儲

下一篇:確保JSR223后處理器中的vars.get將僅在當前執行緒中設定值

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • CA和證書

    1、在 CentOS7 中使用 gpg 創建 RSA 非對稱密鑰對 gpg --gen-key #Centos上生成公鑰/密鑰對(存放在家目錄.gnupg/) 2、將 CentOS7 匯出的公鑰,拷貝到 CentOS8 中,在 CentOS8 中使用 CentOS7 的公鑰加密一個檔案 gpg -a ......

    uj5u.com 2020-09-10 00:09:53 more
  • Kubernetes K8S之資源控制器Job和CronJob詳解

    Kubernetes的資源控制器Job和CronJob詳解與示例 ......

    uj5u.com 2020-09-10 00:10:45 more
  • VMware下安裝CentOS

    VMware下安裝CentOS 一、軟硬體準備 1 Centos鏡像準備 1.1 CentOS鏡像下載地址 下載地址 1.2 CentOS鏡像下載程序 點擊下載地址進入如下圖的網站,選擇需要下載的版本,這里選擇的是Centos8,點擊如圖所示。 決定選擇Centos8后,選擇想要的鏡像源進行下載,此 ......

    uj5u.com 2020-09-10 00:12:10 more
  • 如何使用Grep命令查找多個字串

    如何使用Grep 命令查找多個字串 大家好,我是良許! 今天向大家介紹一個非常有用的技巧,那就是使用 grep 命令查找多個字串。 簡單介紹一下,grep 命令可以理解為是一個功能強大的命令列工具,可以用它在一個或多個輸入檔案中搜索與正則運算式相匹配的文本,然后再將每個匹配的文本用標準輸出的格式 ......

    uj5u.com 2020-09-10 00:12:28 more
  • git配置http代理

    git配置http代理 經常遇到克隆 github 慢的問題,這里記錄一下幾種配置 git 代理的方法,解決 clone github 過慢。 目錄 git配置代理 git單獨配置github代理 git配置全域代理 配置終端環境變數 git配置代理 主要使用 git config 命令 git單獨 ......

    uj5u.com 2020-09-10 00:12:33 more
  • Linux npm install 裝包時提示Error EACCES permission denied解

    npm install 裝包時提示Error EACCES permission denied解決辦法 ......

    uj5u.com 2020-09-10 00:12:53 more
  • Centos 7下安裝nginx,使用yum install nginx,提示沒有可用的軟體包

    Centos 7下安裝nginx,使用yum install nginx,提示沒有可用的軟體包。 18 (flaskApi) [root@67 flaskDemo]# yum -y install nginx 19 已加載插件:fastestmirror, langpacks 20 Loading ......

    uj5u.com 2020-09-10 00:13:13 more
  • Linux查看服務器暴力破解ssh IP

    在公網的服務器上經常遇到別人爆破你服務器的22埠,用來挖礦或者干其他嘿嘿嘿的事情~ 這種情況下正確的做法是: 修改默認ssh的22埠 使用設定密鑰登錄或者白名單ip登錄 建議服務器密碼為復雜密碼 創建普通用戶登錄服務器(root權限過大) 建立堡壘機,實作統一管理服務器 統計爆破IP [root ......

    uj5u.com 2020-09-10 00:13:17 more
  • CentOS 7系統常見快捷鍵操作方式

    Linux系統中一些常見的快捷方式,可有效提高操作效率,在某些時刻也能避免操作失誤帶來的問題。 ......

    uj5u.com 2020-09-10 00:13:31 more
  • CentOS 7作業系統目錄結構介紹

    作業系統存在著大量的資料檔案資訊,相應檔案資訊會存在于系統相應目錄中,為了更好的管理資料資訊,會將系統進行一些目錄規劃,不同目錄存放不同的資源。 ......

    uj5u.com 2020-09-10 00:13:35 more
最新发布
  • vim的常用命令

    Vim的6種基本模式 1. 普通模式在普通模式中,用的編輯器命令,比如移動游標,洗掉文本等等。這也是Vim啟動后的默認模式。這正好和許多新用戶期待的操作方式相反(大多數編輯器默認模式為插入模式)。 2. 插入模式在這個模式中,大多數按鍵都會向文本緩沖中插入文本。大多數新用戶希望文本編輯器編輯程序中一 ......

    uj5u.com 2023-04-20 08:43:21 more
  • vim的常用命令

    Vim的6種基本模式 1. 普通模式在普通模式中,用的編輯器命令,比如移動游標,洗掉文本等等。這也是Vim啟動后的默認模式。這正好和許多新用戶期待的操作方式相反(大多數編輯器默認模式為插入模式)。 2. 插入模式在這個模式中,大多數按鍵都會向文本緩沖中插入文本。大多數新用戶希望文本編輯器編輯程序中一 ......

    uj5u.com 2023-04-20 08:42:36 more
  • docker學習

    ###Docker概述 真實專案部署環境可能非常復雜,傳統發布專案一個只需要一個jar包,運行環境需要單獨部署。而通過Docker可將jar包和相關環境(如jdk,redis,Hadoop...)等打包到docker鏡像里,將鏡像發布到Docker倉庫,部署時下載發布的鏡像,直接運行發布的鏡像即可。 ......

    uj5u.com 2023-04-19 09:26:53 more
  • 設定Windows主機的瀏覽器為wls2的默認瀏覽器

    這里以Chrome為例。 1. 準備作業 wsl是可以使用Windows主機上安裝的exe程式,出于安全考慮,默認情況下改功能是無法使用。要使用的話,終端需要以管理員權限啟動。 我這里以Windows Terminal為例,介紹如何默認使用管理員權限打開終端,具體操作如下圖所示: 2. 操作 wsl ......

    uj5u.com 2023-04-19 09:25:49 more
  • docker學習

    ###Docker概述 真實專案部署環境可能非常復雜,傳統發布專案一個只需要一個jar包,運行環境需要單獨部署。而通過Docker可將jar包和相關環境(如jdk,redis,Hadoop...)等打包到docker鏡像里,將鏡像發布到Docker倉庫,部署時下載發布的鏡像,直接運行發布的鏡像即可。 ......

    uj5u.com 2023-04-19 09:19:04 more
  • Linux學習筆記

    IP地址和主機名 IP地址 ifconfig可以用來查詢本機的IP地址,如果不能使用,可以通過install net-tools安裝。 Centos系統下ens33表示主網卡;inet后表示IP地址;lo表示本地回環網卡; 127.0.0.1表示代指本機;0.0.0.0可以用于代指本機,同時在放行設 ......

    uj5u.com 2023-04-18 06:52:01 more
  • 解決linux系統的kdump服務無法啟動的問題

    問題:專案麒麟系統服務器的kdump服務無法啟動,沒有相關日志無法定位問題。 1、查看服務狀態是關閉的,重啟系統也無法啟動 systemctl status kdump 2、修改grub引數,修改“crashkernel”為“512M(有的機器數值太大太小都會導致報錯,建議從128M開始試,或者加個 ......

    uj5u.com 2023-04-12 09:59:50 more
  • 解決linux系統的kdump服務無法啟動的問題

    問題:專案麒麟系統服務器的kdump服務無法啟動,沒有相關日志無法定位問題。 1、查看服務狀態是關閉的,重啟系統也無法啟動 systemctl status kdump 2、修改grub引數,修改“crashkernel”為“512M(有的機器數值太大太小都會導致報錯,建議從128M開始試,或者加個 ......

    uj5u.com 2023-04-12 09:59:01 more
  • 你是不是暴露了?

    作者:袁首京 原創文章,轉載時請保留此宣告,并給出原文連接。 如果您是計算機相關從業人員,那么應該經歷不止一次網路安全專項檢查了,你肯定是收到過資訊系統技術檢測報告,要求你加強風險監測,確保你提供的系統服務堅實可靠了。 沒檢測到問題還好,檢測到問題的話,有些處理起來還是挺麻煩的,尤其是線上正在運行的 ......

    uj5u.com 2023-04-05 16:52:56 more
  • 細節拉滿,80 張圖帶你一步一步推演 slab 記憶體池的設計與實作

    1. 前文回顧 在之前的幾篇記憶體管理系列文章中,筆者帶大家從宏觀角度完整地梳理了一遍 Linux 記憶體分配的整個鏈路,本文的主題依然是記憶體分配,這一次我們會從微觀的角度來探秘一下 Linux 內核中用于零散小記憶體塊分配的記憶體池 —— slab 分配器。 在本小節中,筆者還是按照以往的風格先帶大家簡單 ......

    uj5u.com 2023-04-05 16:44:11 more