V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
wanglufei
V2EX  ›  C

CSAPP 这段代码疑问

  •  
  •   wanglufei · 2023-06-23 23:21:50 +08:00 · 1467 次点击
    这是一个创建于 523 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

    1

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

    也写了 demo 验证了下

    2

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

    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

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

    apake
        1
    apake  
       2023-06-23 23:44:25 +08:00   ❤️ 1
    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
        2
    wanglufei  
    OP
       2023-06-24 00:06:08 +08:00
    @apake 嗯,谢谢,这个地方不仔细看,还以为说的是这段代码有问题
    mingl0280
        3
    mingl0280  
       2023-06-24 00:30:12 +08:00 via Android   ❤️ 1
    *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 这个变量的地址。这个“跨线程复用内存空间”的操作很常用,但是用不好就会形成各种竞争条件导致出错。
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5425 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 28ms · UTC 08:31 · PVG 16:31 · LAX 00:31 · JFK 03:31
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.