AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

C语言多线程中变量累加问题的分析

2015-11-21 1002
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介： 问题：请问下面程序中，main函数打印出的g_iTestInteger变量的值是多少？/*********************************************************************** 版权所有 (C)2015, Zhou Zhaoxiong。

问题：请问下面程序中，main函数打印出的g_iTestInteger变量的值是多少？

/**********************************************************************
* 版权所有 (C)2015, Zhou Zhaoxiong。
*
* 文件名称：MultipleThread_1.c
* 文件标识：无
* 内容摘要：多线程中的变量值问题
* 其它说明：无
* 当前版本：V1.0
* 作    者：Zhou Zhaoxiong
* 完成日期：20151117
*
**********************************************************************/
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

// 重定义数据类型
typedef signed   int    INT32;
typedef unsigned int    UINT32;

// 宏定义
#define THREAD_NUM     100              // 线程个数

// 全局变量
UINT32 g_iTestInteger = 0;

// 函数声明
void ProcessTask(void *pParam);


/**********************************************************************
* 功能描述：主函数
* 输入参数：无
* 输出参数：无
* 返 回 值：无
* 其它说明：无
* 修改日期        版本号     修改人            修改内容
* -------------------------------------------------------------------
* 20151117       V1.0     Zhou Zhaoxiong      创建
***********************************************************************/
INT32 main()
{
    pthread_t MultiHandle  = 0;      // 多线程句柄
    pthread_t SingleHandle = 0;     // 单线程句柄
    UINT32    iLoopFlag    = 0;
    INT32     iRetVal      = 0;  // 创建线程函数的返回值

    // 循环创建线程
    for (iLoopFlag = 0; iLoopFlag < THREAD_NUM; iLoopFlag ++)
    {
        iRetVal = pthread_create(&MultiHandle, NULL, (void * (*)(void *))(&ProcessTask), (void *)iLoopFlag);
        if (0 != iRetVal)
        {
            printf("Create ProcessTask %d failed!\n", iLoopFlag);
            return -1;
        }
    }

    // 打印全局变量的值
    printf("In main, TestInteger = %d\n", g_iTestInteger);

    return 0;   
}


/**********************************************************************
 * 功能描述： 处理线程
 * 输入参数： pParam-线程编号
 * 输出参数： 无
 * 返 回 值： 无
 * 其它说明： 无
 * 修改日期            版本号            修改人           修改内容
 * ----------------------------------------------------------------------
*  20151117           V1.0          Zhou Zhaoxiong       创建
 ************************************************************************/
void ProcessTask(void *pParam)
{
    g_iTestInteger ++;
}

以上程序的功能比较简单，就是创建100个相同的线程，在线程中对g_iTestInteger的值进行累加，然后在main函数中打印g_iTestInteger的值。

看到这个程序，大家可能会说g_iTestInteger变量的值应该是100，因为每个线程都对g_iTestInteger加了1次。好吧，我们先运行程序，看下打印出来的结果是多少。

我们将程序上传到Linux机器上，然后执行如下操作：

~/zhouzhaoxiong/zzx/MultipleThread> gcc -g -o MultipleThread MultipleThread_1.c -lpthread
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 99
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 99
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 99
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 98
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 99

出乎大多数人的意料，g_iTestInteger变量的值不但不是100，而且不是固定的值。在这里，我只是运行了五次程序，大家可以多运行几次，看结果会不会是100。

那么，为什么结果不是100呢？为了查找原因，我们在“g_iTestInteger ++;”代码之后将g_iTestInteger变量的值打印出来，如下代码所示：

/**********************************************************************
* 版权所有 (C)2015, Zhou Zhaoxiong。
*
* 文件名称：MultipleThread_2.c
* 文件标识：无
* 内容摘要：多线程中的变量值问题
* 其它说明：无
* 当前版本：V1.0
* 作    者：Zhou Zhaoxiong
* 完成日期：20151117
*
**********************************************************************/
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

// 重定义数据类型
typedef signed   int    INT32;
typedef unsigned int    UINT32;

// 宏定义
#define THREAD_NUM     100              // 线程个数

// 全局变量
UINT32 g_iTestInteger = 0;

// 函数声明
void ProcessTask(void *pParam);


/**********************************************************************
* 功能描述：主函数
* 输入参数：无
* 输出参数：无
* 返 回 值：无
* 其它说明：无
* 修改日期        版本号     修改人            修改内容
* -------------------------------------------------------------------
* 20151117       V1.0     Zhou Zhaoxiong      创建
***********************************************************************/
INT32 main()
{
    pthread_t MultiHandle  = 0;      // 多线程句柄
    pthread_t SingleHandle = 0;     // 单线程句柄
    UINT32    iLoopFlag    = 0;
    INT32     iRetVal      = 0;  // 创建线程函数的返回值

    // 循环创建线程
    for (iLoopFlag = 0; iLoopFlag < THREAD_NUM; iLoopFlag ++)
    {
        iRetVal = pthread_create(&MultiHandle, NULL, (void * (*)(void *))(&ProcessTask), (void *)iLoopFlag);
        if (0 != iRetVal)
        {
            printf("Create ProcessTask %d failed!\n", iLoopFlag);
            return -1;
        }
    }

    // 打印全局变量的值
    printf("In main, TestInteger = %d\n", g_iTestInteger);

    return 0;   
}


/**********************************************************************
 * 功能描述： 处理线程
 * 输入参数： pParam-线程编号
 * 输出参数： 无
 * 返 回 值： 无
 * 其它说明： 无
 * 修改日期            版本号            修改人           修改内容
 * ----------------------------------------------------------------------
*  20151117           V1.0          Zhou Zhaoxiong       创建
 ************************************************************************/
void ProcessTask(void *pParam)
{
    g_iTestInteger ++;
    printf("TestInteger = %d\n", g_iTestInteger);
}

重新上传程序，编译并执行，如下：

TestInteger = 1
TestInteger = 3
TestInteger = 2
TestInteger = 4
TestInteger = 5
TestInteger = 6
TestInteger = 26
TestInteger = 7
TestInteger = 8
TestInteger = 9
TestInteger = 10
TestInteger = 11
TestInteger = 12
TestInteger = 13
TestInteger = 27
TestInteger = 15
TestInteger = 16
TestInteger = 17
TestInteger = 18
TestInteger = 19
TestInteger = 20
TestInteger = 21
TestInteger = 22
TestInteger = 23
TestInteger = 24
TestInteger = 25
TestInteger = 14
TestInteger = 28
TestInteger = 29
TestInteger = 30
TestInteger = 31
TestInteger = 32
TestInteger = 33
TestInteger = 34
TestInteger = 35
TestInteger = 36
TestInteger = 37
TestInteger = 38
TestInteger = 39
TestInteger = 40
TestInteger = 41
TestInteger = 42
TestInteger = 43
TestInteger = 44
TestInteger = 45
TestInteger = 49
TestInteger = 47
TestInteger = 48
TestInteger = 46
TestInteger = 50
TestInteger = 54
TestInteger = 55
TestInteger = 56
TestInteger = 57
TestInteger = 52
TestInteger = 53
TestInteger = 58
TestInteger = 59
TestInteger = 60
TestInteger = 61
TestInteger = 62
TestInteger = 63
TestInteger = 51
TestInteger = 64
TestInteger = 65
TestInteger = 66
TestInteger = 67
TestInteger = 68
TestInteger = 69
TestInteger = 70
TestInteger = 71
TestInteger = 72
TestInteger = 73
TestInteger = 100
TestInteger = 75
TestInteger = 76
TestInteger = 77
TestInteger = 78
TestInteger = 79
TestInteger = 80
TestInteger = 81
TestInteger = 82
TestInteger = 83
TestInteger = 84
TestInteger = 85
TestInteger = 86
TestInteger = 87
TestInteger = 88
TestInteger = 89
TestInteger = 90
TestInteger = 91
TestInteger = 92
TestInteger = 93
TestInteger = 94
TestInteger = 95
TestInteger = 96
TestInteger = 97
TestInteger = 98
In main, TestInteger = 98
TestInteger = 99
TestInteger = 74

可以看到，g_iTestInteger变量的值并不是顺序增加的。由此可以看出，这100个线程的执行时间有先后之分，如果按照1~100为它们编号的话，并不一定说10号线程要在9号线程之后执行。除此之外，在main函数中打印g_iTestInteger变量值的时候，也许还有线程在执行(从程序输出结果来看，确实如此)，因此打印出的值不是100，而是小于100的一个数。我们可以猜想，g_iTestInteger的值的范围是[1, 100]。

为了等线程执行完成之后再打印g_iTestInteger的值，我们可以在线程创建完成之后让程序休眠一段时间，然后再打印变量值。如下代码所示：

/**********************************************************************
* 版权所有 (C)2015, Zhou Zhaoxiong。
*
* 文件名称：MultipleThread_3.c
* 文件标识：无
* 内容摘要：多线程中的变量值问题
* 其它说明：无
* 当前版本：V1.0
* 作    者：Zhou Zhaoxiong
* 完成日期：20151117
*
**********************************************************************/
#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

// 重定义数据类型
typedef signed   int    INT32;
typedef unsigned int    UINT32;

// 宏定义
#define THREAD_NUM     100              // 线程个数

// 全局变量
UINT32 g_iTestInteger = 0;

// 函数声明
void ProcessTask(void *pParam);
void Sleep(UINT32 iCountMs);


/**********************************************************************
* 功能描述：主函数
* 输入参数：无
* 输出参数：无
* 返 回 值：无
* 其它说明：无
* 修改日期        版本号     修改人            修改内容
* -------------------------------------------------------------------
* 20151117        V1.0   Zhou Zhaoxiong       创建
***********************************************************************/
INT32 main()
{
    pthread_t MultiHandle  = 0;      // 多线程句柄
    pthread_t SingleHandle = 0;     // 单线程句柄
    UINT32    iLoopFlag    = 0;
    INT32     iRetVal      = 0;  // 创建线程函数的返回值

    // 循环创建线程
    for (iLoopFlag = 0; iLoopFlag < THREAD_NUM; iLoopFlag ++)
    {
        iRetVal = pthread_create(&MultiHandle, NULL, (void * (*)(void *))(&ProcessTask), (void *)iLoopFlag);
        if (0 != iRetVal)
        {
            printf("Create ProcessTask %d failed!\n", iLoopFlag);
            return -1;
        }
    }

    Sleep(1000);   // 休息1s

    // 打印全局变量的值
    printf("In main, TestInteger = %d\n", g_iTestInteger);

    return 0;   
}


/**********************************************************************
 * 功能描述： 处理线程
 * 输入参数： pParam-线程编号
 * 输出参数： 无
 * 返 回 值： 无
 * 其它说明： 无
 * 修改日期            版本号            修改人           修改内容
 * ----------------------------------------------------------------------
*  20151117           V1.0          Zhou Zhaoxiong       创建
 ************************************************************************/
void ProcessTask(void *pParam)
{
    g_iTestInteger ++;
}


/**********************************************************************
* 功能描述： 程序休眠
* 输入参数： iCountMs-休眠时间(单位:ms)
* 输出参数： 无
* 返 回 值： 无
* 其它说明： 无
* 修改日期          版本号       修改人              修改内容
* ------------------------------------------------------------------
* 20151117          V1.0    Zhou Zhaoxiong          创建
********************************************************************/
void Sleep(UINT32 iCountMs)
{
    struct timeval t_timeout = {0};

    if (iCountMs < 1000)
    {
        t_timeout.tv_sec = 0;
        t_timeout.tv_usec = iCountMs * 1000;
    }
    else
    {
        t_timeout.tv_sec = iCountMs / 1000;
        t_timeout.tv_usec = (iCountMs % 1000) * 1000;
    }
    select(0, NULL, NULL, NULL, &t_timeout);   // 调用select函数阻塞程序
}

重新上传程序，编译并执行，如下：

~/zhouzhaoxiong/zzx/MultipleThread> gcc -g -o MultipleThread MultipleThread_3.c -lpthread
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 100
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 100
~/zhouzhaoxiong/zzx/MultipleThread> MultipleThread
In main, TestInteger = 100

可以看到，程序运行了多次，g_iTestInteger的值始终是100。看来，“心急吃不得热豆腐”，我们要等所有线程都全部执行完成之后，再来打印变量值。

通过以上分析，我们可以得出以下结论：

第一，在多线程程序中，尽量不要同时对同一个全局变量执行加减等操作，这样执行之后的结果很有可能不是我们想要的。

第二，多线程不是万能的，创建多线程的初衷，是要并行地执行很多互不关联或关联度很小的操作。如果某些操作有很强的耦合关系(如本例中的对g_iTestInteger变量加1)，那么放到一个单线程里面顺序执行更好。

本文中的程序已经放到了GitHub上，欢迎下载阅读：https://github.com/zhouzxi/MultipleThread

原文链接：http://www.daxixiong.com/?/article/15

文章标签：
C语言
关键词：
C语言变量
线程变量
C语言线程
C语言多线程变量
C语言多线程
周兆熊
目录
相关文章
小徐在进步
|
2天前
|
存储 人工智能 C语言
C语言程序设计核心详解 第八章 指针超详细讲解_指针变量_二维数组指针_指向字符串指针
本文详细讲解了C语言中的指针，包括指针变量的定义与引用、指向数组及字符串的指针变量等。首先介绍了指针变量的基本概念和定义格式，随后通过多个示例展示了如何使用指针变量来操作普通变量、数组和字符串。文章还深入探讨了指向函数的指针变量以及指针数组的概念，并解释了空指针的意义和使用场景。通过丰富的代码示例和图形化展示，帮助读者更好地理解和掌握C语言中的指针知识。
小徐在进步
13 4
智物科技库
|
7天前
|
存储 Java 程序员
优化Java多线程应用：是创建Thread对象直接调用start()方法？还是用个变量调用？
这篇文章探讨了Java中两种创建和启动线程的方法，并分析了它们的区别。作者建议直接调用 `Thread` 对象的 `start()` 方法，而非保持强引用，以避免内存泄漏、简化线程生命周期管理，并减少不必要的线程控制。文章详细解释了这种方法在使用 `ThreadLocal` 时的优势，并提供了代码示例。作者洛小豆，文章来源于稀土掘金。
智物科技库
17 6
可能只会写BUG
|
8天前
|
网络协议 C语言
C语言 网络编程(十四)并发的TCP服务端-以线程完成功能
这段代码实现了一个基于TCP协议的多线程服务器和客户端程序，服务器端通过为每个客户端创建独立的线程来处理并发请求，解决了粘包问题并支持不定长数据传输。服务器监听在IP地址`172.17.140.183`的`8080`端口上，接收客户端发来的数据，并将接收到的消息添加“-回传”后返回给客户端。客户端则可以循环输入并发送数据，同时接收服务器回传的信息。当输入“exit”时，客户端会结束与服务器的通信并关闭连接。
可能只会写BUG
17 5
可能只会写BUG
|
8天前
|
存储 Ubuntu Linux
C语言 多线程编程(1) 初识线程和条件变量
本文档详细介绍了多线程的概念、相关命令及线程的操作方法。首先解释了线程的定义及其与进程的关系，接着对比了线程与进程的区别。随后介绍了如何在 Linux 系统中使用 `pidstat`、`top` 和 `ps` 命令查看线程信息。文档还探讨了多进程和多线程模式各自的优缺点及适用场景，并详细讲解了如何使用 POSIX 线程库创建、退出、等待和取消线程。此外，还介绍了线程分离的概念和方法，并提供了多个示例代码帮助理解。最后，深入探讨了线程间的通讯机制、互斥锁和条件变量的使用，通过具体示例展示了如何实现生产者与消费者的同步模型。
可能只会写BUG
20 3
可能只会写BUG
|
8天前
|
C语言
C语言 网络编程(九)并发的UDP服务端 以线程完成功能
这是一个基于UDP协议的客户端和服务端程序，其中服务端采用多线程并发处理客户端请求。客户端通过UDP向服务端发送登录请求，并根据登录结果与服务端的新子线程进行后续交互。服务端在主线程中接收客户端请求并创建新线程处理登录验证及后续通信，子线程创建新的套接字并与客户端进行数据交换。该程序展示了如何利用线程和UDP实现简单的并发服务器架构。
可能只会写BUG
9 1
wljslmz
|
20天前
|
存储 监控 Java
当线程池队列已满时提交任务的情况分析
【8月更文挑战第22天】
wljslmz
72 5
wljslmz
|
20天前
|
安全 Java 开发者
Swing 的线程安全分析
【8月更文挑战第22天】
wljslmz
29 4
wljslmz
|
20天前
|
Java 数据库连接 数据库
当线程中发生异常时的情况分析
【8月更文挑战第22天】
wljslmz
53 4
wljslmz
|
20天前
|
安全 Java 程序员
线程安全与 Vector 类的分析
【8月更文挑战第22天】
wljslmz
19 4
蓝易云
|
9天前
|
安全 Java API
Java线程池原理与锁机制分析
综上所述，Java线程池和锁机制是并发编程中极其重要的两个部分。线程池主要用于管理线程的生命周期和执行并发任务，而锁机制则用于保障线程安全和防止数据的并发错误。它们深入地结合在一起，成为Java高效并发编程实践中的关键要素。
蓝易云
8 0