0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看威廉希尔官方网站 视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

名词解释:阻塞是什么意思?

开关电源芯片 来源:低并发编程 作者:闪客sun 2021-07-21 09:47 次阅读

前言:很多词汇,不论对科班生还是非科班生,如果不知道底层原理,就永远是一个魔法词汇。这些魔法词汇一多,就会导致晕头转向。所以开个新系列,降妖除魔,就是要斩杀这些如妖魔鬼怪般的魔法词汇。

问两个问题

阻塞,是我们程序员口中常常提到的词。

这个词,既熟悉,又陌生,熟悉到一提到它就倍感亲切,但一具体解释,就迷迷糊糊。

这个函数是阻塞的么?

public void function() {

while(true){}

}

如果你说不出来,那你再看看这个函数是阻塞的么?

public void function() {

Thread.sleep(2000);

}

为了搞清楚这个问题,我们就来一起追踪一下阻塞的本质,消灭阻塞这个魔法词汇。

从一段 Java 代码开始

写一段很简单的 java 代码

import java.util.Scanner;

public class Zuse {

public static void main(String[] args) {

Scanner scanner = new Scanner(System.in);

String line = scanner.nextLine();

System.out.println(line);

}

}

运行这段代码发现,程序将会“阻塞”在 scanner.nextLine() 这一行代码,直到用户输入并且按下了回车键,程序才会继续往下走,打印我们输入的内容,并且结束。

我们跟踪一下这一行代码的源码,九曲十八弯之后,终于跟踪到了一个不能再往下跟踪的 native 代码。

private native int readBytes(byte b[], int off, int len) throws IOException;

当然我们可以通过 openJDK 源码继续查下去,但我有点懒,怕翻车,这里用另一个巧妙的办法。

由于我们知道这个代码一定最终会触发一次 linux 的 IO 操作相关的系统调用,所以我们用 strace 命令直接将其找到。

strace -ff -e trace=desc java Zuse

我们看到程序阻塞在了这里。

read(0,

当我们输入一个字符串 “hello” 并按下回车后,这个系统调用函数被补全。

read(0, “hello

”, 8192)

OK大功告成,触发 linux 的系统调用就是 read()

这样,我们成功通过 strace 命令,直接跨越到了 linux 内核里,中间的调用过程,就不用瞎操心了。

来到 linux 内核

linux 的系统调用会注册到系统调用表(sys_call_table)中,通常是在前缀加一个 sys_。

fn_ptr sys_call_table[] = { sys_setup, sys_exit, sys_fork, sys_read,

sys_write, sys_open, sys_close, sys_waitpid, sys_creat, sys_link,

sys_unlink, sys_execve, sys_chdir, sys_time, sys_mknod, sys_chmod,

sys_chown, sys_break, sys_stat, sys_lseek, sys_getpid, sys_mount,

sys_umount, sys_setuid, sys_getuid, sys_stime, sys_ptrace, sys_alarm

sys_fstat, sys_pause, sys_utime, sys_stty, sys_gtty, sys_access,

sys_nice, sys_ftime, sys_sync, sys_kill, sys_rename, sys_mkdir,

sys_rmdir, sys_dup, sys_pipe, sys_times, sys_prof, sys_brk, sys_setgid,

sys_getgid, sys_signal, sys_geteuid, sys_getegid, sys_acct, sys_phys,

sys_lock, sys_ioctl, sys_fcntl, sys_mpx, sys_setpgid, sys_ulimit,

sys_uname, sys_umask, sys_chroot, sys_ustat, sys_dup2, sys_getppid,

sys_getpgrp, sys_setsid, sys_sigaction, sys_sgetmask, sys_ssetmask,

sys_setreuid, sys_setregid

};

所以我们就定位到 sys_read 函数,这个函数在 linux 内核源码的 read_write.c 文件中。

int sys_read (unsigned int fd, char *buf, int count)

{

。。。

if (S_ISCHR (inode-》i_mode))

return rw_char (。。。);

if (S_ISBLK (inode-》i_mode))

return block_read (。。。);

。。。

}

我们读取的是标准输入,属于字符型文件,走第一个分支。

之后,要经过非常非常多的调用栈,我感觉是 linux 当中最繁琐的历程了,这个过程在我脑子里还是一片浆糊。具体可以看飞哥的《read一个字节实际发生了什么》,一行一行源码给你分析清楚,不过是以读取磁盘为例,和这个读取终端设备一样也要经历文件系统的层层折磨。

由于我们只想知道阻塞的本质,所以,忽略中间这一大坨。

跟到最后,发现一句关键代码,让我提起了精神。

if (EMPTY (tty-》secondary)) {

sleep_if_empty (&tty-》secondary);

}

再往里跟

static void sleep_if_empty (struct tty_queue *queue) {

// 关中断

cli ();

// 只要队列为空

while (EMPTY (*queue))

// 可中断睡眠

interruptible_sleep_on (&queue-》proc_list);

// 开中断

sti ();

}

继续往里跟

// 将当前任务置为可中断的等待状态void interruptible_sleep_on (struct task_struct **p) {

。。。

current-》state = TASK_INTERRUPTIBLE;

schedule ();

。。。

}

OK,整个流程简单描述就是,只要用户不输入,字符队列就为空,此时将调用一个 interruptible_sleep_on 函数,将线程状态变为可中断的等待状态,同时调用 schedule() 函数,强制进行一次进程调度。

从进程调度看阻塞的本质

关于进程是怎么调度的,可以看《上帝视角看进程调度》。

我这里简单挑出重点,说明一下 schedule 也就是进程调度的过程,以 linux-0.11 为例。

很简答,这个函数就做了三件事:

1. 拿到剩余时间片(counter的值)最大且在 runnable 状态(state = 0)的进程号 next。

2. 如果所有 runnable 进程时间片都为 0,则将所有进程(注意不仅仅是 runnable 的进程)的 counter 重新赋值(counter = counter/2 + priority),然后再次执行步骤 1。3. 最后拿到了一个进程号 next,调用了 switch_to(next) 这个方法,就切换到了这个进程去执行了。

我们只看第一条就好了,进程调度机制在选择下一个要调度的进程时,会跳过不是 RUNNABLE 状态的进程。

而我们刚刚将当前任务设置为 TASK_INTERRUPTIBLE,就是告诉进程调度算法,下次不要调度我,相当于放弃了 CPU 的执行权,相当于将当前进程挂起。

而底层的这一个操作,直接导致上层看来,像是停在了那一行不走一样,就是这一行。

import java.util.Scanner;

public class Zuse {public static void main(String[] args) {

Scanner scanner = new Scanner(System.in);

String line = scanner.nextLine();

System.out.println(line);

}

}

这就是阻塞的本质。

再看唤醒的本质就简单了

有阻塞就有唤醒,当我们按下键盘时,会触发键盘中断,会进入键盘中断处理函数,keyboard_interrupt。

这个函数是提前注册在中断向量表里的。

再次经过九曲十八弯的跟踪后,发现这样一句代码。

wake_up(&tty-》secondary.proc_list);

跟进去。

void wake_up(struct task_struct **p)

{

if (p && *p) {

(**p).state = TASK_RUNNABLE;

*p = NULL;

}

}

一目了然,将进程的状态改为 RUNNABLE,一会进程调度时,就可以参与了。

这就是阻塞后,唤醒的本质。

总结

所以,Java 代码中的一行 readline 会导致阻塞,实际上就是运行到了这段代码。

interruptible_sleep_on (&tty-》secondary-》proc_list);

而键盘输入后会将其唤醒,实际上就是运行到了这段代码。

wake_up(&tty-》secondary.proc_list);

这两段代码里,其实就是通过改写 state 值去玩的,剩下的交给调度算法。

// 阻塞

current-》state = TASK_INTERRUPTIBLE;

// 唤醒

(**p).state = TASK_RUNNABLE;

所以开篇两个问题,你可以回答了么?

这个函数是阻塞的么?

public void function() {

while(true){}

}

这个函数是阻塞的么?

public void function() {

Thread.sleep(2000);

}

答案都是否定的,因为这两个都没有让出 CPU 资源。(笔误,sleep是让出CPU资源的)

而阻塞的本质,是将进程挂起,不再参与进程调度。

而挂起的本质,其实就是将进程的 state 赋值为非 RUNNABLE,这样调度机制的代码中,就不会把它作为下一个获得 CPU 运行机会的可选项了。

怎么样,阻塞这个妖魔,除了么?

编辑:jq

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 阻塞
    +关注

    关注

    0

    文章

    24

    浏览量

    8100

原文标题:究竟什么是阻塞?

文章出处:【微信号:gh_3980db2283cd,微信公众号:开关电源芯片】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    socket编程中的阻塞与非阻塞

    在网络编程中, socket 是一个非常重要的概念,它提供了一个抽象层,使得开发者可以不必关心底层的网络通信细节。 socket 编程中的阻塞与非阻塞模式是两种不同的操作方式,它们对程序的响应性
    的头像 发表于 11-01 16:13 191次阅读

    虚拟主机名词解释

    虚拟主机(Virtual Host/Virtual Server)是一种在单一主机或主机群上,实现多网域服务的方法,可以运行多个网站或服务的威廉希尔官方网站 。以下是关于虚拟主机的详细解释,rak小编为您整理发布虚拟主机名词解释
    的头像 发表于 10-25 09:26 237次阅读

    socket阻塞和非阻塞的区别是什么

    在计算机编程中,socket 是一种通信端点,用于在网络中进行数据传输。Socket 可以是阻塞的或非阻塞的,这两种模式在处理数据传输时有不同的行为。 阻塞模式(Blocking Mode) 在
    的头像 发表于 08-16 11:13 663次阅读

    半导体知识百科:不可不知的50大专业名词

    在半导体行业中,掌握专业名词对于从业者来说至关重要。这些名词不仅是行业交流的基础,更是理解和掌握相关威廉希尔官方网站 、工艺及产品的关键。以下是半导体人必须知道的50个专业名词解释
    的头像 发表于 08-15 11:02 2214次阅读
    半导体知识百科:不可不知的50大专业<b class='flag-5'>名词</b>

    晶圆制造工艺流程及一些常用名词解释

    共读好书 晶圆制造工艺流程 1、 表面清洗 2、 初次氧化 3、 CVD(Chemical Vapor deposition) 法沉积一层 Si3N4 (Hot CVD 或 LPCVD) 。 (1)常压 CVD (Normal Pressure CVD) (2)低压 CVD (Low Pressure CVD) (3)热 CVD (Hot CVD)/(thermal CVD) (4)电浆增强 CVD (Plasma Enhanced CVD) (5)MOCVD (Metal Organic (6)外延生长法 (LPE) 4、 涂敷光刻胶 (1)光刻胶的涂敷 (2)预烘 (3)曝光 (4)显影 (5)后烘 (6)腐蚀 (7)光刻胶的去除 5、 此处用干法氧化法将氮化硅去除 6 、离子布植将硼离子 (B+3) 透过 SiO2 膜注入衬底,形成 P 型阱 7、
    的头像 发表于 07-30 08:43 1534次阅读
    晶圆制造工艺流程及一些常用<b class='flag-5'>名词解释</b>

    半导体行业常用术语大全:30个专业名词详解

    在半导体行业中,了解和掌握专业名词是至关重要的。这些名词不仅有助于我们更好地理解半导体的制造过程,还能提升我们在行业中的沟通效率。以下是半导体人必须知道的30个专业名词解释
    的头像 发表于 06-14 10:47 1w次阅读
    半导体行业常用术语大全:30个专业<b class='flag-5'>名词</b>详解

    科普 | 电能质量产品相关名词解释

    电能质量产品涉及多个电压等级和参数,如额定电压、供电电压和用电电压等。此外,文章还讨论了电力系统频率、供电电压偏差、电压快速变化、电压不平衡、闪变、电压暂降、暂升、中断、瞬态过电压以及间谐波和电网信号电压等电能质量问题及其原因。
    的头像 发表于 05-30 17:09 350次阅读
    科普 | 电能质量产品相关<b class='flag-5'>名词解释</b>

    BOSHIDA 模块电源相关名词解释 稳压精度负载调整率动态负载等

    模块电源
    稳控自动化
    发布于 :2024年04月10日 13:23:52

    模块电源相关名词解释 稳压精度负载调整率动态负载等

    BOSHIDA 模块电源相关名词解释 稳压精度负载调整率动态负载等 16、稳压精度: 指电源在标称输入电压和标称输出负载的条件下,实测输出电压与输出电压标称值之差同输出电压标称值的百分比。 17
    的头像 发表于 04-09 09:10 605次阅读

    模块电源性能参数名词解释 BOSHIDA规格书

    模块电源
    稳控自动化
    发布于 :2024年04月08日 09:56:48

    模块电源性能参数名词解释

    模块电源性能参数名词解释 BOSHIDA规格书 在电源模块威廉希尔官方网站 手册中,有很多特性参数,下面给新手解释下各名词。 1、输入电压范围: 指电源在规定的工作条件下所指定输入端子间的电压标称值。 2、输入
    的头像 发表于 04-07 09:12 545次阅读
    模块电源性能参数<b class='flag-5'>名词解释</b>

    什么是阻塞和非阻塞

    什么是阻塞和非阻塞?我们就用管道的读写来举例子。
    的头像 发表于 03-25 10:04 498次阅读

    verilog同步和异步的区别 verilog阻塞赋值和非阻塞赋值的区别

    Verilog是一种硬件描述语言,用于设计和模拟数字电路。在Verilog中,同步和异步是用来描述数据传输和信号处理的两种不同方式,而阻塞赋值和非阻塞赋值是两种不同的赋值方式。本文将详细解释
    的头像 发表于 02-22 15:33 1702次阅读

    2023年度十大科技名词

    12月26日,“2023年度十大科技名词”在京发布。“大语言模型、生成式人工智能、量子计算、脑机接口、数据要素、智慧城市、碳足迹、柔性制造、再生稻、可控核聚变”入选。十个最具影响力和代表性的科技名词
    的头像 发表于 01-03 08:27 614次阅读
    2023年度十大科技<b class='flag-5'>名词</b>

    以太网阻塞的常见原因与解决方法

    以太网阻塞的常见原因与解决方法 以太网阻塞是指在以太网中数据流量增加超过网络设备处理能力的情况下,导致网络性能下降、延迟增加、丢包率上升等问题。下面将详细讨论以太网阻塞的常见原因及解决方法。 一
    的头像 发表于 12-27 13:58 1253次阅读