在《写一个自己的UnixShell(1)搭建一个框架》这篇文章中,我们实现了一个基本的Shell程序框架,从终端中不断读取一行字符并打印的功能。接下来我们实现将读取的字符变为命令,在终端可以看到我们命令执行的结果的功能。就像下面图示中这样。
进入主题前,我们先看几个前置知识
什么是程序,什么是进程
简单来说,程序就是存放在磁盘中的可以被我们执行的文件和一些其他的资源文件的集合,它们就静静地躺在磁盘中,等待着被运行。而进程就是进行中的程序,已经运行起来的程序。进程之间是相互独立的,比如运行起来的QQ和运行起来的微信,它们俩都是进程,但互不干扰,相互独立。
进程也可以创建进程
正如人可以生小孩一样,进程也可以生孩子进程,我们把进程A创建的进程B叫进程A的子进程,进程A叫进程B的父进程。正如人生小孩会把父母的遗传物质给孩子,子进程也会有父进程的内存等资源信息,但父子进程已经是不同的进程了,它们可以做不同的事了。
如何创建子进程
我们通过fork()
系统调用(操作系统提供的API,在我们调用时就像调用一个函数)来创建子进程,下面来看看fork()
函数的声明。
1 |
|
fork()
函数的声明在<unistd.h>头文件中。fork()
函数返回子进程的进程ID(pid_t) , pid_t 是一个有符号整数。fork()
函数返回两次,一次是父进程返回,一次是子进程返回,父进程返回时,返回的pid_t 大于0,子进程返回时,返回的pid_t 等于0。(因为fork()
函数的返回值是子进程的进程ID,父进程刚生完孩子有子进程的进程ID,子进程没生孩子,所以子进程返回的pid_t 是0)当fork()
函数返回的pid_t 小于0时,说明父进程没有把孩子生下来,难产了(发生了错误)。
父进程等待子进程退出
在Shell程序中,我们需要父进程等待它创建的子进程退出后再执行,为什么呢?因为在Shell程序中,Shell程序本身是一个父进程,而我们输入的命令的执行是由子进程来完成的。拿ls
命令来举例,我们输入ls
命令后,终端会打印当前目录下的文件列表,打印当前目录下的文件列表这个功能是在Shell程序创建出的子进程中完成的,当子进程打印完当前目录下的文件列表后,父进程也就是Shell程序再输出类似 myshell#
这样的字符串等待下一个命令。如果父进程不等待子进程退出,继续往下执行,可能子进程还没有打印出当前目录下的文件列表,父进程就把myshell#
串输出了,这样显然是不对的。所以我们需要让父进程等待子进程退出后再继续执行。我们用wait()
系统调用来实现这样的功能。下面来看看wait()
函数的声明。
1 |
|
wait()
系统调用在<sys/wait.h>头文件中声明。wait()
系统调用使父进程等待它的任意一个子进程退出后再继续执行,否则父进程会一直阻塞在那里。wait()
系统调用返回结束的子进程的进程ID,如果返回-1,说明出错了。参数status用于存放子进程退出时的状态(成功,失败等),如果我们不关心子进程的退出状态,我们可以将status参数置为NULL。当然,wait()
还有一个释放子进程资源的功能,否则子进程就成了“僵尸进程”(进程退出了,但资源没释放,半死不活的进程)。
改写《写一个自己的UnixShell(1)搭建一个框架》中的程序,使用创建子进程实现
下面我们把《写一个自己的UnixShell(1)搭建一个框架》这篇文章中实现的打印一行字符的功能通过创建子进程来实现。
1 | int main(int argc, char **argv) { |
我们只需将fork()
和wait()
系统调用放入main()
函数中即可实现在子进程打印一行字符的功能。
调用其它程序
我们输入进Shell程序中的命令都是Shell程序来实现的吗?当然不是,实际上,正如Shell的中文翻译”壳”一样,Shell程序就是一个外壳,它不负责命令的具体实现,它是通过调用其它程序来实现这些命令的。例如在系统的/usr/bin/
或 /usr/sbin/
等目录下,就存放着许多命令的具体实现程序,Shell程序正是通过调用它们来实现功能的。
系统调用execve()
可以将新程序加载到调用进程的内存空间,替换调用进程的原有部件,新的进程就可以从main()
函数执行了。我们来看一看execve()
系统调用的声明。
1 |
|
execve()
系统调用在头文件<unistd.h>中声明,__file
参数表示新的程序的文件路径;因为新的程序从main()
函数开始执行,所以__argv
参数相当于int main(int argc, char **argv)
函数中的argv
参数,程序会将execve()
函数中的__argv
参数的内容传入新程序的argv
参数中,是一个以NULL
结尾的字符串数组;__envp
参数指定了新的程序的环境列表(什么是环境列表?就是几个类似于name=vlaue
的字符串,比如:name=zhangsan
、agc=123
,起个“环境列表”这个名字显得高大上些),它也是以NULL
结尾的字符串数组。 execve()
函数(因为调用系统调用和调用函数无异,我们都叫它们函数吧)调用成功不再返回,失败返回-1。下面我们写两个程序来使用一下execve()
系统调用。
程序 test_evecve:调用execve()
系统调用来执行程序
1 |
|
程序p_args_envs:打印传入参数和环境列表
1 |
|
执行 ./test_exevce
程序,并将传入新程序p_args_envs
的相对路径。执行结果如下图。
上图就是我们在程序test_execve调用程序p_args_envs,由p_args_envs的打印结果。
execve()
函数是一个系统调用,也就是操作系统给我们提供的函数,在它之上,还有几个基于execve()
系统调用的库函数,被称为exec()
库函数(它们的功能都是调用新的程序)。它们的声明如下。
1 |
|
我们可以看看上面五个函数声明的特点,它们都是以exec
来开头,表明它们是exec()
库函数,我们还看到有些函数有个l
,有些函数有个e
,有些函数有个p
,有些函数有个v
。下面来看看这些字母代表的含义。
l
:list的缩写,表示以字符串列表的方式传入。字符串列表具体就是通过可变参数,而不是字符串数组。举个例子,用execl()
函数来调用新程序的代码应该类似下面这样写。1
execl("/new_program_path", "/new_program_path", "arg1", "arg2", (char *)NULL);
当新程序从
main()
函数执行时,main()
函数的argv中存放的有效内容就是execl()
函数传入的__arg0
和可变参数,上面的例子中就是:"/new_program_path", "arg1", "arg2"
e
:envp的缩写,表示传入环境列表,也就是execve()
中的第三个参数。举个例子,用execle()
函数来调用新程序的的代码应该类似下面这样写。1
2
3
4
5
6
7char *envp[10] = {NULL};
envp[0] = "name=zhangsan";
envp[1] = "abc=123";
envp[2] = NULL;
execle("/new_program_path",
"/new_program_path", "arg1", "arg2", (char *)NULL,
envp);最后一个参数传入环境列表。
exec
库函数中没有带e的函数默认将调用进程的变量environ中的内容传给新的程序。p
:PATH的缩写,PATH是一个环境变量,就像C语言有全局变量一样,操作系统也有全局变量,不过为了显得高大上些,就把操作系统的全局变量称为环境变量。PATH就是一个环境变量,它的值是一个或多个操作系统的目录字符串,用冒号分割,就像下面这样1
PATH=/bin:/usr/bin:/usr/sbin/:/usr/local/bin
上面的环境变量
PATH
记录了操作系统的四个路径:“/bin”、“/usr/bin”、”/usr/sbin“和”/usr/local/bin“。在
exec()
库函数中,带有字母p的表示使用环境变量PATH。我们可以直接传入一个文件名,它会去环境PATH的所有目录中去找我们传入的文件名,如果找到了我们传入的文件,并且是可以执行的文件的话,就会执行这个文件。相当于我们不用传入新的程序的完整路径了。当然,如果我们传入的文件名中带有/
字符,它还是会按传入一个路径处理,而不去环境变量PATH中寻找。举个例子:函数execlp()
的使用类似于下面这样。1
2
3execlp("ls", "ls", "-l", "-a", (char *)NULL);
// 会到PATH环境变量中的所有目录中去寻找ls这个可执行文件,执行这个可执行文件,
// 并传入-l和-a参数v
:vertor的缩写,中文是“向量”的意思。就是表示用以NULL结尾的字符串数组的方式来向新的程序传入参数列表。举个例子:execvp()
函数的使用类似下面这样。1
2
3
4
5
6char *argv[10] = {NULL};
argv[0] = "ls";
argv[1] = "-l";
argv[2] = "-p";
argv[3] = NULL;
execvp("ls", argv);
ok,让我们总结一下exec()
函数的差异。
函数 | 对程序文件的描述(-,p) | 对参数的描述(l,v) | 环境变量的来源(e,-) |
---|---|---|---|
execve() | 路径名 | 数组 | envp参数 |
execle() | 路径名 | 列表(可变参数) | envp参数 |
execlp() | 文件名+PATH | 列表(可变参数) | 调用者的environ |
execvp() | 文件名+PATH | 数组 | 调用者的environ |
execv() | 路径名 | 数组 | 调用者的environ |
execle() | 路径名 | 列表(可变参数) | envp参数 |
进入正题,将输入的字符变为命令
通过前文所述,我们知道了如何创建子进程,如何调用另一个程序,下面我们就把输入的那一行字符转换成调用其他程序的命令。
我们用exec()
函数中的execvp()
函数来实现调用其他程序,这样我们就可以像在真正的Shell程序那样,输入一个文件名,Shell程序去环境变量PATH中所记录的目录中去寻找文件,从而执行了。前文可知,execvp()
函数需要两个参数,文件名和参数数组。我们需要将我们输入的字符转成字符串数组的方式供execvp()
使用。我们用parseCmdString()
函数来实现将输入的字符串转为字符串数组的功能。函数定义如下所示。
1 |
|
在上面的函数中,我们对输入的字符串的长度做了限定,它的长度不能超过4096字节,然后将输入的字符串按空格,换行符,回车符和制表符分割成一个一个小字符串(比如字符串“ls -l -a”被分割为“ls”、“-l”和 “-a”),然后计算小字符串的数量,创建一个容量为字符串数量+1的字符串数组,多一个用来存放NULL(execvp
的__argv
参数要求是以NULL结尾的字符串数组)。最后将每个小字符串复制到字符串数组中,返回这个字符串数组。这样我们就完成了从输入字符串到字符串数组的转变。
接下来我们实现调用其他程序来执行我们的命令。我们用execCommand()
函数来实现这个功能。下面是execCommand()
函数的定义。
1 | /* |
经过前面的讲解,上面的代码应该很容易理解了,上面的代码中,父进程用fork()
系统调用创建了子进程,在子进程中先将我们输入的字符串转成了字符串数组,然后调用evecvp()
函数执行我们字符串中指定的新的程序,父进程等待新的程序退出后返回。
最后,我们改一下《写一个自己的UnixShell(1)搭建一个框架》文章中的main()
函数,让它调用execCommand()
函数就可以了。
1 | int main(int argc, char **argv) { |
现在,当我们输入ls
等命令时,程序会调用execCommand()
函数创建子进程,在子进程中将ls
转成字符串数组,然后调用execvp()
函数通过环境变量的PATH中的目录找到ls
的可执行文件执行它。父进程等待ls
的程序执行完毕后,打印出myshell#
字符串后等待下一次的输入。
以上,便完成了我们制作自己的Unix Shell的第二步:将读入的字符变成命令。
附:
欢迎大家关注我的微信公众号^_^。
