CSAPP 这段代码疑问

2023-06-23 23:21:50 +08:00
 wanglufei

12.3.8 基于线程的并发服务器:

书上说线程里面的赋值语句和主线程里面的 accpet 语句间会引入竞争,仔细看看不对劲,这里的 connfdp 传到 pthread_create 里面的指针就是地址,每次迭代都会通过 malloc 重新赋值。感觉并没有问题。

也写了 demo 验证了下

线程里等一会儿都赋值完了再操作,执行多次并没有问题:

thread 6 585701856
thread 7 585702176
thread 8 585702496
thread 3 585700896
thread 2 585700576
thread 10 585703136
thread 5 585701536
thread 4 585701216
thread 9 585702816
thread 1 585700256
thread 0 585699936

地址和值都没有问题,是我哪里理解有偏差?

1480 次点击
所在节点    C
3 条回复
apake
2023-06-23 23:44:25 +08:00
In order to avoid the potentially deadly race, we must assign each connected descriptor returned by accept to its own dynamically allocated memory block, as shown in lines 21–22. 书中原话. 指的就是动态分配的情况不会有竞争. 有竞争的情况指的是栈上分配, 代码没有写出来.
wanglufei
2023-06-24 00:06:08 +08:00
@apake 嗯,谢谢,这个地方不仔细看,还以为说的是这段代码有问题
mingl0280
2023-06-24 00:30:12 +08:00
*connfdp 是一个 int ,因为星号解了引用。
connfdp 是一个 pointer to int,
Accept 返回的是 int ,也就是 file descriptor.
这段话大概就是,malloc 一个 int 的空间,用来接收 accept 的返回值。这里每次和每个线程 malloc 的内存都是不同的地址,所以没有问题。有问题的是如果你用了形如
```
static int connfd=0; //静态变量,跨线程地址不变
while(1)
connfd=Accept(...);
````
这种写法的时候,connfd 在每个线程中会形成竞争。
其实你在每个线程里面单独声明一个 connfd 也没问题,主要就是避免跨线程复用 connfd 这个变量的地址。这个“跨线程复用内存空间”的操作很常用,但是用不好就会形成各种竞争条件导致出错。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/951102

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX