CSAPP 这段代码疑问 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
wanglufei
V2EX    C

CSAPP 这段代码疑问

  •  
  •   wanglufei 2023 年 6 月 23 日 2087 次点击
    这是一个创建于 1035 天前的主题,其中的信息可能已经有所发展或是发生改变。

    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 年 6 月 23 日   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 2122. 书中原话. 指的就是动态分配的情况不会有竞争. 有竞争的情况指的是栈上分配, 代码没有写出来.
    wanglufei
        2
    wanglufei  
    OP
       2023 年 6 月 24 日
    @apake 嗯,谢谢,这个地方不仔细看,还以为说的是这段代码有问题
    mingl0280
        3
    mingl0280  
       2023 年 6 月 24 日 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     Solana     2727 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 39ms UTC 15:15 PVG 23:15 LAX 08:15 JFK 11:15
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86