免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 2081 | 回复: 7

[内核入门] 如何理解 TASK_UNINTERRUPTIBLE 状态 ? [复制链接]

论坛徽章:
13
15-16赛季CBA联赛之八一
日期:2016-07-08 21:00:1415-16赛季CBA联赛之同曦
日期:2017-02-15 14:26:1515-16赛季CBA联赛之佛山
日期:2017-02-20 14:19:2615-16赛季CBA联赛之青岛
日期:2017-05-07 16:49:1115-16赛季CBA联赛之广夏
日期:2017-07-30 09:13:1215-16赛季CBA联赛之广东
日期:2018-07-05 22:34:3615-16赛季CBA联赛之江苏
日期:2018-09-03 12:10:2115-16赛季CBA联赛之上海
日期:2018-09-25 03:49:2215-16赛季CBA联赛之广东
日期:2018-09-25 04:09:12
发表于 2015-12-04 17:28 |显示全部楼层
本帖最后由 _nosay 于 2015-12-06 07:12 编辑

int do_fork(unsigned long clone_flags, unsigned long stack_start,
            struct pt_regs *regs, unsigned long stack_size)
{
        int retval = -ENOMEM;
        struct task_struct *p;
        ... ...

        p->state = TASK_UNINTERRUPTIBLE;

        copy_flags(clone_flags, p);
        p->pid = get_pid(clone_flags);
        ... ...
}

《Linux内核源代码情景分析》P289:
    “为什么要在597行把状态设成TASK_UNINTERRUPTIBLE呢?这是因为在get_pid()中产生一个新pid的操作必须是独占的,当前进程可能会因为一时进不了临界区而只好暂时进入睡眠状态等待,所以先事先把状态设成UNINTERRUPTIBLE。”

网上资料:
TASK_INTERRUPTIBLE 等待状态,可接受信号;
TASK_UNINTERRUPTIBLE 等待状态,不能接受信号。

可以看出:UNINTERRUPTIBLE 的2个特点:① 等待;② 不接受信号。
请问两个问题:
1. 对于①,应该就是将当前进程对应的task_struct结构从runqueue里面删除吧?现在假设在get_pid()函数中遇到进不了临界区的情况了,那从runqueue移除的操作,什么时候进行?
2. 对于②,表现应该就是不执行信号处理函数了吧?那现在的情况就是不在queue,也没有信号可以“驱动”它,这个进程怎么恢复执行呢?



抱歉,问题不对!这里只是把正在“创建”的子进程状态设置为TASK_UNINTERRUPTIBLE了。
那新的问题是:这里连task_struct结构的构造都还没完成,更没有挂到被调度的队列,设置为TASK_UNINTERRUPTIBLE的意义是什么?这个子进程都还没造好呢,本来就不可能被调度呀。

http: //wenku.baidu.com/link?url=PJz9bm5P0Ed7SAqfEyl7xWAOhUsnK3SSRx2o4ZA6d4EMyIp2UDd5Ru_tJA_IrTQTUlDo78VWR9mwuTzUF2jbi7z9HJU3wMKdCymA3AJnA5S[/url]
ppt第10页图,资源到位或wake_up()时,TASK_UNINTERRUPTIBLE→TASK_RUNNING,现在进程都不会被调度了,进程自己没办法判断,即使不是自己判断,那如果是别的进程通过信号告诉它又怎样呢,不是也不接受信号了吗

http: //www. embedu.org/Column/Column462.htm

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
发表于 2015-12-08 16:22 |显示全部楼层
2. 需要显式被wakeup,否则一直是D状态。

论坛徽章:
0
发表于 2015-12-08 21:33 |显示全部楼层
2.  对于访问IO磁盘的资源进程,等待IO返回,通常是TASK_UNINTERRUPTIBLE, 此时不接受信号,只能在资源满足后,才能显示wakeup**。

1. 可以wakup,也可以处理signal,此时process可以认为是有效处理外面情况的。

论坛徽章:
13
15-16赛季CBA联赛之八一
日期:2016-07-08 21:00:1415-16赛季CBA联赛之同曦
日期:2017-02-15 14:26:1515-16赛季CBA联赛之佛山
日期:2017-02-20 14:19:2615-16赛季CBA联赛之青岛
日期:2017-05-07 16:49:1115-16赛季CBA联赛之广夏
日期:2017-07-30 09:13:1215-16赛季CBA联赛之广东
日期:2018-07-05 22:34:3615-16赛季CBA联赛之江苏
日期:2018-09-03 12:10:2115-16赛季CBA联赛之上海
日期:2018-09-25 03:49:2215-16赛季CBA联赛之广东
日期:2018-09-25 04:09:12
发表于 2015-12-09 09:44 |显示全部楼层
回复 2# nswcfd

@nswcfd, kerryxi :wakeup()调用时机是什么?按照kerryxi举的IO资源例子,wakeup()是不是要在磁盘驱动调用?那写磁盘驱动的时候,是不是就要考虑那些资源可能被进程等待,使其状态变为TASK_UNINTERRUPTIBLE?


   

论坛徽章:
13
15-16赛季CBA联赛之八一
日期:2016-07-08 21:00:1415-16赛季CBA联赛之同曦
日期:2017-02-15 14:26:1515-16赛季CBA联赛之佛山
日期:2017-02-20 14:19:2615-16赛季CBA联赛之青岛
日期:2017-05-07 16:49:1115-16赛季CBA联赛之广夏
日期:2017-07-30 09:13:1215-16赛季CBA联赛之广东
日期:2018-07-05 22:34:3615-16赛季CBA联赛之江苏
日期:2018-09-03 12:10:2115-16赛季CBA联赛之上海
日期:2018-09-25 03:49:2215-16赛季CBA联赛之广东
日期:2018-09-25 04:09:12
发表于 2015-12-09 09:44 |显示全部楼层
回复 3# kerryxi

@nswcfd, kerryxi :wakeup()调用时机是什么?按照kerryxi举的IO资源例子,wakeup()是不是要在磁盘驱动调用?那写磁盘驱动的时候,是不是就要考虑那些资源可能被进程等待,使其状态变为TASK_UNINTERRUPTIBLE?


   

论坛徽章:
20
程序设计版块每日发帖之星
日期:2015-08-17 06:20:00程序设计版块每日发帖之星
日期:2016-07-16 06:20:00程序设计版块每日发帖之星
日期:2016-07-18 06:20:00每日论坛发贴之星
日期:2016-07-18 06:20:00黑曼巴
日期:2016-12-26 16:00:3215-16赛季CBA联赛之江苏
日期:2017-06-26 11:05:5615-16赛季CBA联赛之上海
日期:2017-07-21 18:12:5015-16赛季CBA联赛之青岛
日期:2017-09-04 17:32:0515-16赛季CBA联赛之吉林
日期:2018-03-26 10:02:16程序设计版块每日发帖之星
日期:2016-07-15 06:20:0015-16赛季CBA联赛之江苏
日期:2016-07-07 18:37:512015亚冠之萨济拖拉机
日期:2015-08-17 12:21:08
发表于 2015-12-14 17:13 |显示全部楼层
是的,拿network api举个栗子吧。

用户态调用sys_recv来接收udp报文,如果报文没有ready(接收队列为空),udp stack会调用wait_for_packt等待报文,
这个等待就是通过把task的状态改为TASK_INTERRUPTIBLE并调用schedule_timeout来完成的。

等到报文到达的时候,同样是udp stack,会把报文送入接收队列,然后调用wakeup**等待的进程。

磁盘io应该也是这个模式,不过具体的函数不太熟悉。

论坛徽章:
13
15-16赛季CBA联赛之八一
日期:2016-07-08 21:00:1415-16赛季CBA联赛之同曦
日期:2017-02-15 14:26:1515-16赛季CBA联赛之佛山
日期:2017-02-20 14:19:2615-16赛季CBA联赛之青岛
日期:2017-05-07 16:49:1115-16赛季CBA联赛之广夏
日期:2017-07-30 09:13:1215-16赛季CBA联赛之广东
日期:2018-07-05 22:34:3615-16赛季CBA联赛之江苏
日期:2018-09-03 12:10:2115-16赛季CBA联赛之上海
日期:2018-09-25 03:49:2215-16赛季CBA联赛之广东
日期:2018-09-25 04:09:12
发表于 2016-03-11 18:50 |显示全部楼层
回复 2# nswcfd

  之前被这个词搞糊涂了。TASK_UNINTERRUPTIBLE的“UN” 只针对信号,调用wakeup()显式**是可以的。相对的TASK_INTERRUPTIBLE又可以被wake_up_interruptible(),又可能被信号**,是吧?


   

论坛徽章:
13
15-16赛季CBA联赛之八一
日期:2016-07-08 21:00:1415-16赛季CBA联赛之同曦
日期:2017-02-15 14:26:1515-16赛季CBA联赛之佛山
日期:2017-02-20 14:19:2615-16赛季CBA联赛之青岛
日期:2017-05-07 16:49:1115-16赛季CBA联赛之广夏
日期:2017-07-30 09:13:1215-16赛季CBA联赛之广东
日期:2018-07-05 22:34:3615-16赛季CBA联赛之江苏
日期:2018-09-03 12:10:2115-16赛季CBA联赛之上海
日期:2018-09-25 03:49:2215-16赛季CBA联赛之广东
日期:2018-09-25 04:09:12
发表于 2016-03-11 18:51 |显示全部楼层
huàn xǐng 被和谐了
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

DTCC2020中国数据库技术大会

【架构革新 高效可控】2020年12月21日-23日第十一届中国数据库技术大会将在北京隆重召开。

大会设置2大主会场,20+技术专场,将邀请超百位行业专家,重点围绕数据架构、AI与大数据、传统企业数据库实践和国产开源数据库等内容展开分享和探讨,为广大数据领域从业人士提供一场年度盛会和交流平台。

http://dtcc.it168.com


大会官网>>
  

北京盛拓优讯信息技术有限公司. 版权所有 16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122
中国互联网协会会员  联系我们:huangweiwei@it168.com
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP