问一个关于多线程程序执行时间的问题。

kkmm0105

在linux機器上試了試，結果如下：
單個程序執行： 2 seconds
雙線程執行：5 seconds (不管是並行還是串行 ...
Mr_Yao 发表于 2011-12-06 15:57

    感觉函数是计算型的，应该不是计算量多少的问题，我用的time命令

yulihua49

回复 10# kkmm0105


    time

kkmm0105

回复  kkmm0105


    time
yulihua49 发表于 2011-12-07 16:03

    那我换个机器试试吧

kkmm0105

刚才用了一个64位的机器试了一下，双线程版本的运行时间是单线程顺序执行版本的两倍。。这是什么原因呢，为啥并行反而更慢了呢

kkmm0105

刚才用了一个64位的机器试了一下，双线程版本的运行时间是单线程顺序执行版本的两倍。。这是什么原因呢，为啥并行反而更慢了呢

yulihua49

刚才用了一个64位的机器试了一下，双线程版本的运行时间是单线程顺序执行版本的两倍。。这是什么原因呢，为 ...
kkmm0105 发表于 2011-12-07 16:51

   我这双线执行快，就是你的程序，不知你怎么弄的。

kkmm0105

我这双线执行快，就是你的程序，不知你怎么弄的。
yulihua49 发表于 2011-12-07 16:57

    呃。。。我再试试

OwnWaterloo

回复 1# kkmm0105

cx1,cx2 不一定是完全无关的。

试试这样修改程序：

1. 线程做一个局部的拷贝， 递增完毕后复制回 cx1或 cx2， 观察结果

2. 或者传入一个命令行参数 n
int* cx = (int*)malloc( (n+1) * sizeof(int) );
让两个线程分别递增 cx[0], cx[n] 。
观察不同的 n 值对结果的影响

3. 在上面的基础上对两个线程加锁， 互斥地访问 cx 。
观察不同 n 值， 以及互斥/并发对结果的影响。


更多的信息， google false sharing 。

kkmm0105

回复  kkmm0105

cx1,cx2 不一定是完全无关的。

试试这样修改程序：

1. 线程做一个局部的拷贝， 递 ...
OwnWaterloo 发表于 2011-12-07 20:05

    你说的太对了，果然是全局变量cx1和cx2存在关联。我把cx1,cx2变成函数内局部变量后，整个运行时间2秒多。但是问题是，全局变量cx1和cx2是怎么相关了，才导致运行时间变得比串行的还长呢？？

OwnWaterloo

回复 19# kkmm0105

呃， 我上面说的局部貌似没说清楚……  是这个意思：
void* thread1(void* arg)
{
      int x = cx1;
      for (; x< n; ++x);
      cx1 = x;
      return 0;
}


为什么会相关么……   我能力有限解释不好……
假设一个简化的模型：
1. 有512字节缓存
2. 地址空间是[0,65536)

这512字节缓存不会整体映射到[0,65536) 中的某一个长度为512字节区间上；
也不是单独每个字节映射到[0,65536) 中的512个字节上；
而是被分成，比如32个块， 每块16个字节大小。
而且也不能随意映射， 而是将[0,65536)也划分成16字节大小共4096个块， 缓存的32个块可能会映射到地址空间上的某个块中。

如果 cx1 与 cx2 过于接近， 就有可能在4096个块中的同一个块中，也是在32个块中的同一块中。
对cx1 或 cx2 的写都会使该块变脏， 时间就消耗在缓存与内存之间的交换上了。

拉大它们的距离就可以避免这样的情况。