CSDN博客

img PercyLee

操作系统(UNIX与Linux内核信息输出过程比较)[1]

发表于2003/9/30 0:21:00  980人阅读

 

操作系统在启动之初,或检测到内部错误时,就需要向控制台输出有关信息。可以想象,这在操作系统中是潜在的常用过程。无论是UNIX,还是Linux,作为操作系统的内核部分,都尤其注意了程序的执行效率。我们所选的过程,它们的魅力,都可以用“清丽”之词言之;清丽之意,乃介乎天生丽质,韵味内涵皆清晰可观。我们细致的来看它们魅力与异同。

 

Ⅰ. UNIX部分(printf

 

UNIX中,是文件prf.c里的过程printf来完成这项工作的。它调用了其他一些过程,程序如下:

/*UNIX 6 --- prf.c

 *我们所选的过程为printfprintn。可对应于莱昂氏原23402378行的程序部分。

 */

001 printf(fmt,x1,x2,x3,x4,x5,x6,x7,x8,x9,xa,xb,xc)

002 char fmt[];

003 {

004    register char *s;

005    register *adx, c;

006

007    adx = &x1;

008 loop:

009    while((c = *fmt++) != '%') {

010         if(c == '/0')

011              return;

012         putchar(c);

013    }

014    c = *fmt++;

015    if(c == 'd' || c == 'l' || c == 'o')

016         printn(*adx,c=='o'? 8: 10);

017    if(c == 's') {

018         s = *adx;

019         while(c = *s++)

020              putchar(c);

021    }

022    adx++;

023    goto loop;

024 }

025 /*--------------------------           */

026

027 printn(n, b)

028 {

029    register a;

030

031    if(a = ldiv(n, b))

032         printn(a, b);

033    putchar(lrem(n, b) + '0');

034 }

035 /*--------------------------            */

036

037 /*  putchar(c);  */

038 

对程序做简单说明。首先您注意到,这里c语言是旧时的风格,由printf的参数fmt可看出。还有就是,过程putchar涉及硬件相关的知识,同样,过程ldiv和lrem是汇编语言的过程,我们为简略起见,不再分析相关代码,而只提供如下提示:

对于printn,假设 n = A*b+B,则其中

l          A=ldivnb),而且

l          B=lremnb),0<=B<b

过程printf是一种简单而直接的方法,可以方便的向系统控制台终端发送消息。并无缓存,也没有消息的优先级,后面可以看到这和我们所选的Linux的那个过程是不一样的。而且,printfputchar都在核心态下运行,类似但不同于由C程序调用库函数“printf”和“putchar”,后者其实是在用户态下运行的。

现在您可以回过头去,试着品味一下这段代码。

 

我们先看过程printf

007   007 寄存器变量adx记录了第一个参数x1的地址,注意x1占用的是栈单元,编译时不能对此表达

          式求值。从008023,则是一个大循环,关乎我们的全部工作。

009   009 013  一个while循环,消息字符串在fmt内,而这里,边输出消息,边检测可有

         %d”、“%l”、“%o”或“%s”出现,分别表明后面的参数里有十进制数、八进制数或字

          符串内容需要输出。如果遇到结束符,则返回。

014   014 可以和009里相同的部分对照看。C语言的简练,竟可至此。当在009里,若寄存器变量c取出

          字符‘%’时,其后fmt会后移一位,转到014执行。而这里是先取fmt内容,然后后移,则

          c可为‘d’、‘l’、‘o’或‘s’了。若fmt中无‘%’出现,则整个字符串被送出后过程

          就立刻返回,没有执行014及其后程序的可能,也就没有fmt超界的险情。这是逻辑力量的魅

          力。

      015 016 调用了递归过程printn。后面详细叙述。

017   017 021 处理字符串s。整个过程比较清晰,看上去也极易明白。

022   022  adx后移一位。最初adx存储的是谁的地址?第一个参数x1的。后移一位指向哪里?再仔细

          一看,其它参数如x2x3等皆未在程序中用到。您是否有些糊涂了?

    C语言程序设计在过程调用和过程说明时,两者之间的参数不进行匹配检查。参数皆按逆序放到栈上,如图:

之所以如此,是因为这个版本的UNIX运行的机器PDP11中栈向下生长,也就是向低地址方向扩展。所以“x1”的地址高于“fmt”,但低于“x2”,其他类推。

这样,adx自增1,其实指向了下一个参数。

023  goto 语句,回至loop处。

 

下面看printn过程。由提示,您或许能分析出,该过程将一个二进制数按第二个参数b所表示的基数转换成一组数字字符。这里设计了一个小小的算法。

031 032  这个递归调用是算法的主题部分。若n = a*b+c,而递归调用,就是

a(m)=a(m+1)*b+c(m),0<=cm<b

a(0)=n,至a(m+1)==0时开始返回“

的计算过程。

033     033  依次返回,输出数字字符c(m),c(0)。数字的算术值,加‘0’可方便的得到对应

            的字符值。

这个算法本身较好,又部分采用了汇编代码实现,效率很高了。可是,UNIX的哲学是“尽量使其简化”,使用递归调用使得算法不太明朗,而且于效率也略有损害。不做跟踪,您能明白033 lrem的第一个参数传n,为什么又输出的是cm),c0 吗?如果稍做更改,可能会更好。读者可以尝试。

但这也是白玉微瑕,现在再回头看整个程序,可有新的收获?

 

0 0

相关博文

我的热门文章

img
取 消
img