C/C++:多线程下使用dlopen、dlsym、dlclose装载动态库

97 篇文章 7 订阅
17 篇文章 0 订阅

C/C++:多线程下使用dlopen、dlsym、dlclose装载动态库

当在多线程下dlopen同一个动态库,使用的会是同一个动态库实例还是不同的动态库实例呢?

count.h

#ifndef _COUNT_H
#define _COUNT_H

#include <pthread.h>

int count;
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;


int get();
void inc();

#endif

count.c

#include "count.h"

int get()
{
    return count;
}

void inc()
{
    pthread_mutex_lock(&mutex);
    count++;
    pthread_mutex_unlock(&mutex);
}
编译生成libcount.so

main.c

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

#define NUM 1000 
#define LIBPATH "/home/test1280/libcount.so"

static const char *threadA = "Thread-A";
static const char *threadB = "Thread-B";

void *ThreadRun(void *arg)
{
    usleep(500*1000);
    printf("Start:%s\n", (char *)arg);

    void *handler = dlopen(LIBPATH, RTLD_LAZY);
    if (handler == NULL)
    {
        printf("ERROR:%s:dlopen\n", dlerror());
    }

    void (*inc)() = (void (*)())dlsym(handler, "inc");
    if (inc == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }

    int i = 0;
    for (; i < NUM; i++)
    {
        inc();
    }

    int (*get)() = (int (*)())dlsym(handler, "get");
    if (get == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }
    printf("INFO:%s:get() return %d\n", (char *)arg, get());

    dlclose(handler);
}

int main()
{
    pthread_t tid1;
    pthread_t tid2;

    pthread_create(&tid1, NULL, ThreadRun, (void *)threadA);
    printf("create Thread-A OK!!!\n");
    pthread_create(&tid2, NULL, ThreadRun, (void *)threadB);
    printf("create Thread-B OK!!!\n");

    while (1);

    return 0;
}
[test1280@localhost ~]$ gcc -o main main.c -ldl -lpthread
[test1280@localhost ~]$ ./main
create Thread-A OK!!!
create Thread-B OK!!!
Start:Thread-A
INFO:Thread-A:get() return 1000
Start:Thread-B
INFO:Thread-B:get() return 1000
^C

这么看来同一进程实体不同线程dlopen相同的库会得到不同的实例?

一个动态库会在同一进程同一时刻同时被加载多次?

当然不对啦!

那按照我们期待的,希望输出的最后的值应该是2000,那为何是1000呢?

原因:

线程A或者线程B跑的太快了,在一个时间片内就已经做完:
1.装载动态库到当前进程;
2.获得函数地址;
3.调用inc指定次数;
4.输出get返回值;
5.dlclose卸载动态库;

注意:

dlclose时,此时此刻可能仅仅只有一个线程在跑着,另一个线程还没有dlopen那个动态库,此时只有一个线程持有libcount.so的句柄,然后做完所有操作,dlclose,发现对库的引用减少至0,就将libcount.so从当前进程卸载;

然后呢,就是另一个线程在跑,再打开dlopen同一个动态库,然后里面的全局变量(库内全局)静态初始化为0,然后inc,然后…

结果很明显:是由于某个线程跑的太快,导致另一个线程还没有执行dlopen时,前一个进程已经做完所有活了(包括卸载libcount.so库),当另一个线程执行dlopen时,完全不知道这个库曾经被加载到当前进程…于是库中全局变量又静态初始化…

这样的时序看来,输出两个1000合情合理.

如何验证我们刚刚说的时序呢?

修改下main.c:

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

#define NUM 1000 
#define LIBPATH "/home/test1280/libcount.so"

static const char *threadA = "Thread-A";
static const char *threadB = "Thread-B";

static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;

void *ThreadRun(void *arg)
{
    usleep(500*1000);
    printf("Start:%s\n", (char *)arg);

    void *handler = dlopen(LIBPATH, RTLD_LAZY);
    if (handler == NULL)
    {
        printf("ERROR:%s:dlopen\n", dlerror());
    }

    void (*inc)() = (void (*)())dlsym(handler, "inc");
    if (inc == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }

    int i = 0;
    for (; i < NUM; i++)
    {
        inc();
    }

    int (*get)() = (int (*)())dlsym(handler, "get");
    if (get == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }
    printf("INFO:%s:get() return %d\n", (char *)arg, get());

    pthread_mutex_lock(&mutex);
    dlclose(handler);
    printf("INFO:lib unload && %s END...\n", (char *)arg);
    pthread_mutex_unlock(&mutex);
}

int main()
{
    pthread_t tid1;
    pthread_t tid2;

    pthread_create(&tid1, NULL, ThreadRun, (void *)threadA);
    printf("create Thread-A OK!!!\n");
    pthread_create(&tid2, NULL, ThreadRun, (void *)threadB);
    printf("create Thread-B OK!!!\n");

    while (1);

    return 0;
}
[test1280@localhost ~]$ gcc -o main main.c -ldl -lpthread
[test1280@localhost ~]$ ./main
create Thread-A OK!!!
create Thread-B OK!!!
Start:Thread-A
INFO:Thread-A:get() return 1000
INFO:lib unload && Thread-A END...
Start:Thread-B
INFO:Thread-B:get() return 1000
INFO:lib unload && Thread-B END...
^C

另外,我想看看两个线程对同一个库实例进行操作是什么效果…?

我们只要让两个线程同时(同一时刻)对一个库保持打开状态即可(不dlclose):

将ThreadRun中最后的dlclose删除,如下main.c所示:

void *ThreadRun(void *arg)
{
    usleep(500*1000);
    printf("Start:%s\n", (char *)arg);

    void *handler = dlopen(LIBPATH, RTLD_LAZY);
    if (handler == NULL)
    {
        printf("ERROR:%s:dlopen\n", dlerror());
    }

    void (*inc)() = (void (*)())dlsym(handler, "inc");
    if (inc == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }

    int i = 0;
    for (; i < NUM; i++)
    {
        inc();
    }

    int (*get)() = (int (*)())dlsym(handler, "get");
    if (get == NULL)
    {
        printf("ERROR:%s:dlsym\n", dlerror());
    }
    printf("INFO:%s:get() return %d\n", (char *)arg, get());

    //delete...
    //dlclose(handler);
}
[test1280@localhost ~]$ ./main
create Thread-A OK!!!
create Thread-B OK!!!
Start:Thread-A
INFO:Thread-A:get() return 1000
Start:Thread-B
INFO:Thread-B:get() return 2000
^C

当然,这个示例并不好,有dlopen,就应该有配套的dlclose,虽然如此,但是可以很好地验证我们的设想.

结论:

同一进程同一时刻,不同线程通过dlopen打开相同的动态库,只是把一份动态库装载到当前进程,进程中仅仅有一个动态库实例,动态库中全局变量对各个线程来说是“同一份”.

同一进程不同时刻,不同线程虽然dlopen了,但是可能由于时序问题以及dlclose卸载动态库,存在多次加载动态库的情况,那么也就是从进程的整体生命周期来看是不同的库实例了,库中的全局变量对于不同的线程,在不同的时间段来说是“不相同的”.

同一时刻,一个进程内仅仅有同一个动态库实例哦.

  • 2
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值