论动态库中的全局变量和各种锁以及信号量是否是进程独立或者共享

动态库中的全局变量测试(包括static全局变量)

新建一个动态库，代码如下

#include <stdio.h>
#include "my_lib.h"
int g_val = 200;

//测试库中的全局变量是否独立或共享
static void func_1();
void func(int i)
{
    func_1();
    g_val = i;
    printf("===== g_val= %d\n", g_val);
}
static void func_1()
{
    printf("===== g_val= %d\n", g_val);
}

测试程序如下：test1.c

#include <stdio.h>
#include "my_lib.h"

int main()
{
	func(10);
	while(1)
    {
    	sleep(5);
    }
}

test2.c

#include <stdio.h>
#include "my_lib.h"

int main()
{
	func(30);
	while(1)
    {
    	sleep(5);
    }
}

执行结果如下：
test1：
===== g_val= 200
===== g_val= 10

test2:
===== g_val= 200
===== g_val= 30

• 结论：在共享库中的全局变量是基于进程独立的。我们知道每一个进程空间都拥有自己的进程空间。(将全局变量修改为static也是一样的运行结果)
  进程空间组成如下
  
  程序段(Text):程序代码在内存中的映射，存放函数体的二进制代码。

  初始化过的数据(Data):在程序运行初已经对变量进行初始化的数据。

  未初始化过的数据(BSS):在程序运行初未对变量进行初始化的数据。

  栈 (Stack):存储局部、临时变量，函数调用时，存储函数的返回指针，用于控制函数的调用和返回。在程序块开始时自动分配内存,结束时自动释放内存，其操作方式类似于数据结构中的栈。

  堆 (Heap):存储动态内存分配,需要程序员手工分配,手工释放.注意它与数据结构中的堆是两回事，分配方式类似于链表。

在应用程序编译的时候，不同的应用程序引用同一个库，那么动态库的代码是共享的。只有一份，但是数据却是每一个进程空间一份拷贝。(这里的数据包括库中的全局变量和静态变量)。所以一个应用程序修改库中的全局变量也不会影响到另一个库的引用。因为数据是独立的，代码是共享的。

动态库中使用进程间同步互斥机制

当我们在动态库中使用一些进程间同步互斥的代码的时候，调用这些库的app之间是否会相互受到影响呢？(线程间同步互斥的机制肯定没有影响)。这里采用文件锁来测试

动态库代码如下

#include <unistd.h>
#include <sys/file.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <stdio.h>
#include <stdlib.h>
#include "my_lib.h"
static int g_val = 200;

//测试库中的进程同步互斥机制是否有影响
void func(int i)
{
    FILE *f = fopen("test_1.c", "r");
	if(0 == flock(fileno(f), LOCK_EX))
    {
        printf("==================\n");
        sleep(100);
        fclose(f);
        flock(fileno(f), LOCK_UN);
    }
}

测试代码test1.c

#include <stdio.h>
#include "my_lib.h"

int main()
{
	func(10);
	while(1)
	{
		sleep(5);
	}
}

测试代码test2.c

#include <stdio.h>
#include "my_lib.h"

int main()
{
	func(10);
	while(1)
	{
		sleep(5);
	}
}

结果输出如下：

• 结论：用于动态库中使用了进程间同步互斥代码，所以调用该库的app相互之间是有影响的

总结：全局变量 静态变量在库中 可以随便用，进程间通信的一些同步互斥手段慎用

欢迎加入QQ群(610849576),大家一起交流