操作系统原理:C语言 多线程加锁 验证蒙特·卡罗(Monte Carlo)方法求π值

本文主要是介绍操作系统原理:C语言 多线程加锁 验证蒙特·卡罗(Monte Carlo)方法求π值,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

蒙特·卡罗方法

蒙特·卡罗方法(Monte Carlo method),也称统计模拟方法,是一类随机方法的统称。这类方法的特点是,可以在随机采样上计算得到近似结果,随着采样的增多,得到的结果是正确结果的概率逐渐加大。

在本实验中通过在正方形区域中生成随机点,记录随机点在圆形区域中的个数计算 π \pi π 值。
π = 4 × ( n u m b e r o f p o i n t s i n c i r c l e ) / ( t o t a l n u m b e r o f p o i n t s ) \pi= 4 \times (number \; of \; points \; in \; circle) / (total \; number \; of \; points) π=4×(numberofpointsincircle)/(totalnumberofpoints)
蒙特卡洛算法

整体思路

在主函数中开辟两个线程,在线程函数中分别将其绑定在两个CPU核上进行运算,通过一个循环源源不断地在正方形区域中生成随机点。

为了完成结果统计,定义了两个全局变量分别表示总点数和在圆形区域内的点数。

另外,为了避免两个线程同时对同一变量进行修改,需要对两个全局变量变量在使用的时候进行加锁。为了保证运行速度,在加锁的过程中要使临界区尽可能小。

【完整代码见文章最后】


生成随机点

在主函数中先使用srand(1)初始化随机数种子,在进程函数中通过对rand()函数的放缩和平移运算得到 -1~1 范围内的小数。

//生成随机点 [-1,1]
x = 2.0 * rand() / (double)RAND_MAX - 1;
y = 2.0 * rand() / (double)RAND_MAX - 1;

判断点在圆内

单独使用一个函数进行判断点是否在圆内,通过对传入的一组点坐标进行平方和运算得出判断结果。因为C语言中是没有 bool 类型的,所以这里“在圆内”则返回1,“不在圆内”则返回0 。

//判断点是否在圆内
int inCircle(double x, double y) {int flag = 1;if ((x * x + y * y) <= 1.0)flag = 1;elseflag = 0;return flag;
}

变量加锁

首先声明两个全局变量和分别与其对应的两个锁,并在主函数中将其初始化。

//全局变量
int sum_dots = 1000000;	//点的总数
int sum_in_circle = 0;	//在圆内的点的总数//声明锁
pthread_mutex_t lock_sum;	//对sum_dots的锁
pthread_mutex_t lock_in;	//对sum_in_circle的锁
//初始化锁
pthread_mutex_init(&lock_sum, NULL);
pthread_mutex_init(&lock_in, NULL);

在线程中有一个生成随机点的循环,每次循环开始的时候先将点总数sum_dots上锁pthread_mutex_lock(&lock_sum),判断是否还有剩余点,如果有则将点数减一后立刻解锁pthread_mutex_unlock(&lock_sum);,如果没有剩余点也立刻解锁同时 break 出循环。

之后生成随机点,并判断点是否在圆中,若在圆中则对sum_in_circle上锁,进行加一运算后立刻解锁,最大程度上减小临界区域。

while (1){pthread_mutex_lock(&lock_sum);	//判断前,对点总数上锁if (sum_dots > 0) {sum_dots--;pthread_mutex_unlock(&lock_sum);//生成随机点 [-1,1]x = 2.0 * rand() / (double)RAND_MAX - 1;y = 2.0 * rand() / (double)RAND_MAX - 1;//如果生成点在圆中,圆内点总数+1if (inCircle(x, y)) {pthread_mutex_lock(&lock_in);sum_in_circle++;pthread_mutex_unlock(&lock_in);}}else {pthread_mutex_unlock(&lock_sum);break;}		}

结果截图

本实验中进行了 4 次小实验,分别为 100万 个测试点时的单线程和双线程结果和 1000万 个测试点时的单线程和双线程结果。

100万个点 双线程:100万个点 双线程
100万个点 单线程:

100万个点 单线程

1000万个点 双线程:

1000万个点 双线程

1000万个点 单线程:

1000万个点 单线程


结果分析

当测试点个数相同时,从结果可以看出双线程的运行时间明显长于单线程。这是因为加锁缘故,其它线程在临界区内会有所暂停,导致了整体运行时间长于单线程。

至于同样测试点的条件下,双线程的精度高于单线程,可能是实验偶然性,但是我之后又做了几组实验同样是这样的结果。我猜测可能是因为C语言中的rand()函数是伪随机,加上我在实验中用的初始化随机种子是定值,因此单线程的结果可以复现,随机数据的混乱程度不高,但是多线程在调度rand随机序列的顺序上又多了一层随机性,可能提高了rand()函数的随机性。当然这个猜测并没有理论依据,希望路过的大佬给予解答。

当都是单线程或都是双线程时,测试点越多预测精度越高,误差越小,这个也可以从上面的结果中看出来,这即为概率论中的大数定律,也是蒙特·卡罗(Monte Carlo)方法的精髓所在。


代码

双线程用蒙特·卡罗(Monte Carlo)方法求 π \pi π 值的完整代码如下,单线程方法仅在主函数中将其中一个线程注释掉即可。

#include <stdio.h>
#include <stdlib.h>
#ifndef __USE_GNU
#define __USE_GNU
#endif // !__USE_GNU
#include <unistd.h>
#include <sched.h>
#include <pthread.h>
#include <semaphore.h>double PI = 3.1415926535898;	//标准PI值//全局变量
int sum_dots = 1000000;	//点的总数
int sum_in_circle = 0;	//在圆内的点的总数//声明锁
pthread_mutex_t lock_sum;
pthread_mutex_t lock_in;//判断点是否在圆内
int inCircle(double x, double y) {int flag = 1;if ((x * x + y * y) <= 1.0)flag = 1;elseflag = 0;return flag;
}void* runner1() {	//将线程绑定到0号核上cpu_set_t cpuSet;CPU_ZERO(&cpuSet);CPU_SET(0, &cpuSet);sched_setaffinity(0, sizeof(cpuSet), &cpuSet);double x, y;	//随机点坐标while (1){pthread_mutex_lock(&lock_sum);	//判断前,对点总数上锁if (sum_dots > 0) {sum_dots--;pthread_mutex_unlock(&lock_sum);//生成随机点 [-1,1]x = 2.0 * rand() / (double)RAND_MAX - 1;y = 2.0 * rand() / (double)RAND_MAX - 1;//如果生成点在圆中,圆内点总数+1if (inCircle(x, y)) {pthread_mutex_lock(&lock_in);sum_in_circle++;pthread_mutex_unlock(&lock_in);}}else {pthread_mutex_unlock(&lock_sum);break;}		}pthread_exit(NULL);	//退出线程
}void* runner2() {//将线程绑定到1号核上cpu_set_t cpuSet;CPU_ZERO(&cpuSet);CPU_SET(1, &cpuSet);sched_setaffinity(0, sizeof(cpuSet), &cpuSet);double x, y;	//随机点坐标while (1) {pthread_mutex_lock(&lock_sum);	//判断前,对点总数上锁if (sum_dots > 0) {sum_dots--;pthread_mutex_unlock(&lock_sum);//生成随机点 [-1,1]x = 2.0 * rand() / (double)RAND_MAX - 1;y = 2.0 * rand() / (double)RAND_MAX - 1;//如果生成点在圆中,圆内点总数+1if (inCircle(x, y)) {pthread_mutex_lock(&lock_in);sum_in_circle++;pthread_mutex_unlock(&lock_in);}}else {pthread_mutex_unlock(&lock_sum);break;}}pthread_exit(NULL);	//退出线程
}int main(){int sum_dots_p = sum_dots;	//复制总点数,作最后计算用pthread_t tid1, tid2;		//线程IDpthread_attr_t attr;		//线程属性pthread_attr_init(&attr);	//设置默认线程属性//初始化随机数发生器 srand(1);//初始化锁pthread_mutex_init(&lock_sum, NULL);pthread_mutex_init(&lock_in, NULL);//执行两个线程分别进行随机生成点pthread_create(&tid1, &attr, runner1, NULL);pthread_create(&tid2, &attr, runner2, NULL);//等待两个线程pthread_join(tid1, NULL);pthread_join(tid2, NULL);//计算结果double estimate_PI = (double)(4.0 * sum_in_circle / sum_dots_p);printf("PI: %lf\n", estimate_PI);printf("Error Value: %lf\n", estimate_PI - PI);return 0;
} 

这篇关于操作系统原理:C语言 多线程加锁 验证蒙特·卡罗(Monte Carlo)方法求π值的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/631916

相关文章

Linux换行符的使用方法详解

《Linux换行符的使用方法详解》本文介绍了Linux中常用的换行符LF及其在文件中的表示,展示了如何使用sed命令替换换行符,并列举了与换行符处理相关的Linux命令,通过代码讲解的非常详细,需要的... 目录简介检测文件中的换行符使用 cat -A 查看换行符使用 od -c 检查字符换行符格式转换将

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

SpringBoot实现数据库读写分离的3种方法小结

《SpringBoot实现数据库读写分离的3种方法小结》为了提高系统的读写性能和可用性,读写分离是一种经典的数据库架构模式,在SpringBoot应用中,有多种方式可以实现数据库读写分离,本文将介绍三... 目录一、数据库读写分离概述二、方案一:基于AbstractRoutingDataSource实现动态

Java中的String.valueOf()和toString()方法区别小结

《Java中的String.valueOf()和toString()方法区别小结》字符串操作是开发者日常编程任务中不可或缺的一部分,转换为字符串是一种常见需求,其中最常见的就是String.value... 目录String.valueOf()方法方法定义方法实现使用示例使用场景toString()方法方法

Java中List的contains()方法的使用小结

《Java中List的contains()方法的使用小结》List的contains()方法用于检查列表中是否包含指定的元素,借助equals()方法进行判断,下面就来介绍Java中List的c... 目录详细展开1. 方法签名2. 工作原理3. 使用示例4. 注意事项总结结论:List 的 contain

macOS无效Launchpad图标轻松删除的4 种实用方法

《macOS无效Launchpad图标轻松删除的4种实用方法》mac中不在appstore上下载的应用经常在删除后它的图标还残留在launchpad中,并且长按图标也不会出现删除符号,下面解决这个问... 在 MACOS 上,Launchpad(也就是「启动台」)是一个便捷的 App 启动工具。但有时候,应

opencv图像处理之指纹验证的实现

《opencv图像处理之指纹验证的实现》本文主要介绍了opencv图像处理之指纹验证的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录一、简介二、具体案例实现1. 图像显示函数2. 指纹验证函数3. 主函数4、运行结果三、总结一、

SpringBoot日志配置SLF4J和Logback的方法实现

《SpringBoot日志配置SLF4J和Logback的方法实现》日志记录是不可或缺的一部分,本文主要介绍了SpringBoot日志配置SLF4J和Logback的方法实现,文中通过示例代码介绍的非... 目录一、前言二、案例一:初识日志三、案例二:使用Lombok输出日志四、案例三:配置Logback一

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很