多线程并发的特征有哪些

本篇内容主要讲解“多线程并发的特征有哪些”,感兴趣的朋友不妨来看看。本文介绍的方法操作简单快捷,实用性强。下面就让小编来带大家学习“多线程并发的特征有哪些”吧!

成都一家集口碑和实力的网站建设服务商,拥有专业的企业建站团队和靠谱的建站技术,十年企业及个人网站建设经验 ,为成都上千客户提供网页设计制作,网站开发,企业网站制作建设等服务,包括成都营销型网站建设,成都品牌网站建设,同时也为不同行业的客户提供成都网站设计、做网站的服务,包括成都电商型网站制作建设,装修行业网站制作建设,传统机械行业网站建设,传统农业行业网站制作建设。在成都做网站,选网站制作建设服务商就选创新互联。

多线程和并发

在使用C++开发的服务端程序中多线程还是主流,一般来说会有个线程池来处理接收的请求,这样可以有效提供服务器的并发能力和CPU的利用率。

多线程并发的特征有哪些

但是,多线程也是一把双刃剑。

单线程模式下,一切都是那么单调而稳定,所有的资源都是自己的,我的资源我做主。

多线程模式下,一个进程下装载了多个线程,每个线程除了部分资源是独享外,多个线程对大部分系统资源是共享的。

多个线程共享的进程资源:

  • 内存

  • 文件描述符

  • 地址空间

  • 全局数据

  • ...

每个线程独享的资源:

  • 线程寄存器

  • 线程栈

  • 线程ID、错误返回码、信号屏蔽码

  • ...

多线程并发的特征有哪些

敲黑板划重点:

1.进程是系统进行资源分配和调度的基本单位,线程是CPU调度和分派的基本单位;

2.进程是线程的载体,进程有独立地址空间,所有线程共享所在进程的地址空间;

3.进程是系统资源的大股东,而线程基本上不拥有系统资源,只占用少量在运行中必不可少的资源,比如程序计数器、一组寄存器和调用栈;

同一个进程中的多个线程有点像合租,大家共用大部分资源,自己独占一小部分资源,相互影响,然而但单进程单线程就是整租,自己独占所有资源,谁也不影响。

多线程并发的特征有哪些

掌握多线程中资源共享和相互影响的特点之后,再来看看线程安全和可重入就容易很多。

多线程并发的特征有哪些

什么是线程安全

计算机中所谓的安全大多是指结果的正确且可预测性。

前面我们知道,多线程运行起来虽然可以提高并发能力,但是多个线程会共享很多资源,比如写全局数据,这种情况下就需要额外干预,否则将引发错乱的结果。

线程安全是在拥有共享数据的多条线程并行执行的进程中,可以正常且正确的执行,不会出现数据污染等意外情况,反之则称为线程不安全。

通俗一点讲,线程安全就怎么跑都不乱,线程不安全就是一跑就可能五花八门。

所以可能产生线程不安全根本原因在于:共享数据且共享数据可变。

这些共享数据包括全局变量、局部静态变量等,每个线程都可能对这个数据进行操作,并且操作结果会影响其他线程。

我们还经常提到另外一个术语:线程安全函数/线程安全类。

线程安全函数的一些特征:

  • 无任何共享的数据,都是局部数据;

  • 存在写共享数据,但是进行了加锁处理,可以实现多线程的同步调用;

  • 存在读但无写共享数据,无需加锁;

多线程并发的特征有哪些

从图中可以看到:

  • 同一进程内有四个工作线程;

  • 公共函数A 只执行打印操作,无论何时何线程调用,结果都是确定且正确的,因此是线程安全函数;

  • 公共函数B 使用了全局变量Count,并对其进行递增1操作,但是没有进行加锁同步处理,因此结果是不确定的,为线程不安全函数;

  • 公共函数C 使用了全局变量Factor,并对其进行递增2操作,使用了互斥锁进行同步确保结果的正确,是线程安全函数;

在编写多线程程序时,如果涉及多个线程操作一个公共函数,如果该函数本身不是线程安全的。

例如当一个函数F是线程安全函数,但是F调用线程不安全函数G时,同样需要对G进行加锁处理,否则函数F也将不安全。

在《深入理解计算机系统》一书中深入指出了线程不安全函数的分类:

  • 不保护共享产量的函数

  • 保持跨越多个调用状态的函数

  • 返回指向静态变量的指针的函数

  • 调用线程不安全函数的函数

前面介绍的几个例子大部分都是全局变量的不加锁控制相关的,还有两种就是:

  • 函数本次调用依赖于上次调用结果,也就是所谓的跨状态,典型的Linux中的rand()函数;

  • 函数将结果放在一个全局的指针中,典型的gethostbyname、localtime、strtok等;

// 函数原型 struct tm * localtime(const time_t *clock);  /* localtime example */ #include   #include    int main () {   time_t rawtime;   struct tm * timeinfo;    time (&rawtime);   timeinfo = localtime (&rawtime);    return 0; }

在localtime中将结果存放在timeinfo中,这个全局变量可以被任意的线程操作,因此将引发线程不安全。

对于Linux中线程不安全的函数可以查阅:

https://man7.org/linux/man-pages/man7/pthreads.7.html

可重入函数

在理解了线程安全的相关定义和形成原因之后,我们来看下什么是可重入。

先来看看可重入的相关定义:

一个程序可以在任意时刻被中断,然后系统去执行另外一段代码,结束后又调用继续原来的子程序不会出错,则称其为可重入(reentrant或re-entrant)。

从根本上来说:

  • 可重入函数只使用自己栈上的变量,不依赖任何外部数据,可以允许有该函数的多个副本在运行,因为每个调用者产生的函数栈都是相互独立的;

  • 不可重入函数使用了一些系统资源,如果被中断的话,可能会出现问题;

可重入函数又分为两大类:

  • 显式可重入:所有函数的参数都是值传递,并且只使用本地栈变量,那么函数就是显示可重入的,无论如何调用,都是可重入的,是绝对无条件的。

  • 隐式可重入:可重入函数中的一些参数是引用传递,只有在调用线程的时候传递指向非共享数据的指针时,它才是可重入的,是相对有条件的。

可重入函数需要满足以下几个条件:

  • 函数内部不使用静态或者全局数据

  • 函数不返回静态或全局数据,数据的产生都由调用者提供

  • 不调用不可重入函数

从本质上来说,可重入函数实现了算法和数据的分离,函数内部的计算不依赖于外部,不影响也不受外部影响,是一种高效且安全的函数。

可重入函数都是线程安全函数,线程安全不一定是可重入函数。

多线程并发的特征有哪些

不可重入函数可以遵守可重入规则去改造,从而变为可重入函数。

到此,相信大家对“多线程并发的特征有哪些”有了更深的了解,不妨来实际操作一番吧!这里是创新互联网站,更多相关内容可以进入相关频道进行查询,关注我们,继续学习!


网站栏目:多线程并发的特征有哪些
标题URL:http://pwwzsj.com/article/popgii.html