环境:Ubuntu13.04 gcc4.7.3
1.进程管理
Linux中的进程主要由kernel来管理。系统调用是应用程序与内核交互的一种方式。系统调用作为一种接口,通过系统调用,应用程序能够进入操作系统内核,从而使用内核提供的各种资源,比如操作硬件,开关中断,改变特权模式等等。
常见的系统调用:exit,fork,read,write,open,close,waitpid,execve,lseek,getpid...
用户态和内核态
为了使操作系统提供一个很好的进程抽象,限制一个程序可以执行的指令和可以访问的地址空间。
处理器通常是使用某个控制寄存器中的一个模式位来提供这种功能,该寄存器描述了进程当前享有的特权。当设置了模式位时,进程就运行在内核态,可以执行指令集中的任何指令,并且可以访问系统中任何存储器位置。
没有设置模式位时,进程就运行在用户态,不允许执行特权指令,也不允许直接引用地址空间中内核区内的代码和数据。任何这样的尝试都会导致致命的保护故障,反之,用户程序必须通过系统调用接口间接地访问内核代码和数据。
关于fork的分析,参见这篇博文。
waitpid
首先来了解一下僵尸进程,当一个进程由于某种原因终止时,内核并不是立即把它从系统中清除。相反,进程被保存在一种已终止的状态中,直到它的夫进程回收。当父进程回收已终止的子进程时,内核将子进程的退出状态传递给父进程,然后抛弃已终止的进程,从此时开始,该进程就不存在了。一个终止了但还未被回收的进程称为僵尸进程。
如果父进程没有回收子进程就终止了,子进程就成了僵尸进程,即时没有运行,但仍然消耗系统的存储器资源。
一个进程可以通过调用waitpid函数来等待它的子进程终止或是停止。
函数原型如下:
pid_t waitpid(pid_t pid, int *status, int options)
如果成功,则为子进程的PID,如果WNOHANG,则为0,如果其他错误,则为-1.
看一个waitpid函数的例子。
#include"csapp.h"
#include<errno.h>
#define N 5
int main()
{
int status, i;
pid_t pid;
for(i=0; i<N; i++)
{
if((pid = Fork())==0)
exit(100+i);
}
while((pid = waitpid(-1, &status, 0))>0)
{
if(WIFEXITED(status))
printf("Child %d exited normally with status=%d!\n",pid,WIFEXITED(status));
else
printf("Child %d terminated abnormally!\n",pid);
}
if(errno != ECHILD)
unix_error("waitpid error\n");
return 1;
}
运行结果
waitpid的第一个参数是-1,则等待集合由父进程的所有子进程组成。大于0的话就是等待进程的pid。
waitpid的第三个参数是-1,则waitpid会挂起调用进程的执行,直到它的等待集合的一个子进程终止。如果等待集合中的一个进程终止了,那么waitpid就立即返回。
程序运行的结果就是waitpid函数不按照特定的顺序回收僵死的子进程。
提一下wait函数,它就是waitpid函数的简单版本,原型如下:
pid_t wait(int *status)
等价于waitpid(-1, &status, 0)
execve
在Linux中要使用exec函数族来在 一个进程中启动另一个程序。系统调用execve()对当前进程进行替换,替换者为一个指定的程序,其参数包括文件名(filename)、参数列表(argv)以及环境变量(envp)。exec函数族当然不止一个,但它们大致相同,在 Linux中,它们分别是:execl,execlp,execle,execv,execve和execvp,下面我只以execve为例,其它函数究竟与execlp有何区别,请通过man exec命令来了解它们的具体情况。
一个进程一旦调用exec类函数,它本身就"死亡"了,系统把代码段替换成新的程序的代码,废弃原有的数据段和堆栈段,并为新程序分配新的数据段与堆栈段,唯一留下的,就是进程号,也就是说,对系统而言,还是同一个进程,不过已经是另一个程序了。(不过exec类函数中有的还允许继承环境变量之类的信息。)
原型如下:
int execve(const char *filename, const char *argv[], const char *envp[]);
成功调用不会返回,出错返回-1.
execve函数加载并运行可执行目标文件filename,且带参数列表argv和环境变量列表envp.只有当出现错误时,例如找不到filename,execve才会返回到调用程序。所以,与fork一次调用返回两次,execve调用一次并从不返回。
argv的在内存中组织方式如下图:
argv[0]是可执行目标文件的名字。
envp的在内存中组织方式如下图:
环境变量的列表是由一个和指针数组类似的数据结构表示,envp变量指向一个以null结尾的指针数组,其中每个指针指向一个环境变量串,其中每个串都是形如“NAME=VALUE”的键值对。
可以用下面的命令来打印命令行参数和环境变量:
#include"csapp.h"
int main(int argc, char *argv[], char *envp[])
{
int i;
printf("Command line arguments:\n");
for(i=0; argv[i]!=NULL; i++)
printf("argv[%2d]: %s\n", i, argv[i]);
printf("\n");
printf("Environment variables:\n");
for(i=0; envp[i]!=NULL; i++)
printf("envp[%2d]: %s\n", i, envp[i]);
exit(0);
}
2.简单的shell
#include<stdio.h>
#include"csapp.h"
#define MAXARGS 128
void eval(char *cmdline);
int parseline(char *buf,char **argv);
int builtin_command(char **argv);
int main()
{
char cmdline[MAXLINE];
while(1)
{
printf("> ");
Fgets(cmdline,MAXLINE,stdin);
if(feof(stdin)) exit(0);
eval(cmdline);
}
//printf("Hello\n");
return 1;
}
int builtin_command(char **argv)
{
if(!strcmp(argv[0],"quit")) exit(0);
if(!strcmp(argv[0],"&")) return 1;
if(!strcmp(argv[0],"-help"))
{
printf("-help help infomation.\n");
printf("ls list files and folders of current path.\n");
printf("pwd show current path.\n");
return 1;
}
if(!strcmp(argv[0],"pwd"))
{
printf("%s\n",getcwd(NULL,0));
return 1;
}
return 0;
}
void eval(char *cmdline)
{
char *argv[MAXARGS];
char buf[MAXLINE];
int bg;
pid_t pid;
strcpy(buf, cmdline);
bg = parseline(buf, argv);
if(argv[0] ==NULL) return;
if(!builtin_command(argv))
{
if((pid = Fork()) == 0)
{
if(execve(argv[0],argv,environ) < 0)
{
printf("%s:Command not found.\n",argv[0]);
exit(0);
}
}
if(!bg)
{
int status;
if(waitpid(pid,&status,0)<0)
unix_error("waitfg:waitpid error");
}
else printf("%d %s",pid, cmdline);
}
return;
}
int parseline(char *buf, char **argv)
{
char *delim;
int argc;
int bg;
buf[strlen(buf)-1]=' ';
while(*buf && (*buf==' ')) buf++;
argc = 0;
while((delim = strchr(buf,' ')))
{
argv[argc++] = buf;
*delim = '\0';
buf = delim + 1;
while(*buf && (*buf==' ')) buf++;
}
argv[argc] = NULL;
if(argc == 0) return 1;
bg = (*argv[argc-1] == '&');
if(bg !=0) argv[--argc] = NULL;
return bg;
}
#include<stdio.h>
#include<time.h>
#include<sys/types.h>
#include<dirent.h>
#include<sys/stat.h>
#include<stdlib.h>
#include<string.h>
#include<pwd.h>
#include<grp.h>
void do_ls(char[]);
void dostat(char *);
void show_file_info(char *,struct stat *);
void mode_to_letters(int,char[]);
char * uid_to_name(uid_t);
char * gid_to_name(gid_t);
void main(int argc,char *argv[]){
if(argc==1)
do_ls(".");
else
printf("Error input\n");
}
void do_ls(char dirname[]){
DIR *dir_ptr; //Path
struct dirent *direntp; //Struct to save next file node
if((dir_ptr=opendir(dirname))==0)
fprintf(stderr,"ls:cannot open %s\n",dirname);
else{
while((direntp=readdir(dir_ptr))!=0)
dostat(direntp->d_name);
closedir(dir_ptr);
}
}
void dostat(char *filename){
struct stat info;
if(lstat(filename,&info)==-1)
perror("lstat");
else
show_file_info(filename,&info);
}
void show_file_info(char *filename,struct stat *info_p){
char modestr[11];
mode_to_letters(info_p->st_mode,modestr);
printf("%-12s",modestr);
printf("%-4d",(int)info_p->st_nlink);
printf("%-8s",uid_to_name(info_p->st_uid));
printf("%-8s",gid_to_name(info_p->st_gid));
printf("%-8ld",(long)info_p->st_size);
time_t timelong=info_p->st_mtime;
struct tm *htime=localtime(&timelong);
printf("%-4d-%02d-%02d %02d:%02d",htime->tm_year+1990,htime->tm_mon+1,htime->tm_mday,htime->tm_hour,htime->tm_min);
printf(" %s\n",filename);
}
//cope with permission
void mode_to_letters(int mode,char str[]){
strcpy(str,"----------");
if(S_ISDIR(mode)) str[0]='d';
if(S_ISCHR(mode)) str[0]='c';
if(S_ISBLK(mode)) str[0]='b';
if(mode & S_IRUSR) str[1]='r';
if(mode & S_IWUSR) str[2]='w';
if(mode & S_IXUSR) str[3]='x';
if(mode & S_IRGRP) str[4]='r';
if(mode & S_IWGRP) str[5]='w';
if(mode & S_IXGRP) str[6]='x';
if(mode & S_IROTH) str[7]='r';
if(mode & S_IWOTH) str[8]='w';
if(mode & S_IXOTH) str[9]='x';
}
//transfor uid to username
char * uid_to_name(uid_t uid){
struct passwd *pw_str;
static char numstr[10];
if((pw_str=getpwuid(uid))==NULL){
sprintf(numstr,"%d",uid);
return numstr;
}
else
return pw_str->pw_name;
}
//transfor gid to username
char * gid_to_name(gid_t gid){
struct group *grp_ptr;
static char numstr[10];
if((grp_ptr=getgrgid(gid))==NULL){
sprintf(numstr,"%d",gid);
return numstr;
}
else
return grp_ptr->gr_name;
}
实现思路:
3.信号
收到信号的进程对各种信号有不同的处理方法。处理方法可以分为三类:第一种是类似中断的处理程序,对于需要处理的信号,进程可以指定处理函数,由该函数来处 理。第二种方法是,忽略某个信号,对该信号不做任何处理,就象未发生过一样。第三种方法是,对该信号的处理保留系统的默认值,这种缺省操作,对大部分的信 号的缺省操作是使得进程终止。进程通过系统调用signal来指定进程对某个信号的处理行为。 比如一个进程可以通过向另一个进程发送SIGKILL信号强制终止它。当一个子进程终止或者停止时,内核会发送一个SIGCHLD给父进程。
#include <signal.h>
typedef void (*sighandler_t)(int);
sighandler_t signal(int signum, sighandler_t handler);
Returns: ptr to previous handler if OK, SIG_ERR on error (does not set errno)
看一个接受信号的例子:
#include "csapp.h"
/* SIGINT handler */
void handler(int sig)
{
return; /* Catch the signal and return */
}
unsigned int snooze(unsigned int secs) {
unsigned int rc = sleep(secs);
printf("Slept for %u of %u secs.\n", secs - rc, secs);
return rc;
}
int main(int argc, char **argv) {
if (argc != 2) {
fprintf(stderr, "usage: %s <secs>\n", argv[0]);
exit(0);
}
if (signal(SIGINT, handler) == SIG_ERR) /* Install SIGINT handler */
unix_error("signal error\n");
(void)snooze(atoi(argv[1]));
exit(0);
}
程序解析:
4.动态链接和静态链接
为了在同一系统中使用不同版本的库,可以在库文件名后加上版本号为后缀,例如: libhello.so.1.0,由于程序连接默认以.so为文件后缀名。所以为了使用这些库,通常使用建立符号连接的方式。
ln -s libhello.so.1.0 libhello.so.1
ln -s libhello.so.1 libhello.so
使用库
当 要使用静态的程序库时,连接器会找出程序所需的函数,然后将它们拷贝到执行文件,由于这种拷贝是完整的,所以一旦连接成功,静态程序库也就不再需要了。然 而,对动态库而言,就不是这样。动态库会在执行程序内留下一个标记‘指明当程序执行时,首先必须载入这个库。由于动态库节省空间,linux下进行连接的 缺省操作是首先连接动态库,也就是说,如果同时存在静态和动态库,不特别指定的话,将与动态库相连接。
5.ELF文件格式与进程地址空间的联系
从低地址到高地址分别为:代码段、(初始化)数据段、(未初始化)数据段(BSS)、堆、栈、命令行参数和环境变量
堆向高内存地址生长
栈向低内存地址生长
.text section:主要是编译后的源码指令,是只读字段。
.data section :初始化后的非const的全局变量、局部static变量。
.bss:未初始化后的非const全局变量、局部static变量。
.rodata:是存放只读数据
装载文件,其实是一个很简单的过程,通过section或者program中的type属性判断是否需要加载,然后通过offset属性找到文件中的数据,将它读取(复制)到相应的内存位置就可以了。 这个位置,可以通过program里面的vaddr属性确定;对于section来说,则可以自己定义装载的位置。
重定位可以使得ELF文件可以在任意的执行(普通程序在链接时会给定一个固定执行地址);符号解析,使得ELF文件可以引用动态数据(链接时不存在的数据)。
从流程上来说,我们只需要进行重定位。而符号解析,则是重定位流程的一个分支。
6.参考
Computer Systems: A Programmer's Perspective 3rd Edith