亚洲色偷偷色噜噜狠狠99,亚洲成a人片在线观看中文!!!,亚洲美女视频免费

OS Lab 零散记录

ZelluX — Fri, 10 Oct 2008 07:21:00 GMT

转自偶的内网博客

Time : 2008-08-20 21:44
汇编文�g中导出函数符�?br />

Linux 2.4.18的linux/linkage.h文�g定义了若�q�相关的�?br />

#define SYMBOL_NAME(X) X
#ifdef __STDC__
#define SYMBOL_NAME_LABEL(X) X##:
#else
#define SYMBOL_NAME_LABEL(X) X/**/:
#endif

#define __ALIGN .align 16,0x90
#define __ALIGN_STR ".align 16,0x90"

#define ALIGN __ALIGN
#define ALIGN_STR __ALIGN_STR

#define ENTRY(name) \
  .globl SYMBOL_NAME(name); \
  ALIGN; \
  SYMBOL_NAME_LABEL(name)

用ENTRY(name)��p��定义函数了。后来发现Flux OSKit中本来就提供了类似功能的宏，定义在inc/asm.h中�?br />使用的时候需要再写一个c语言的wrapper function�Q�至��?.4.18里面是这么做的）
asmlinkage void ret_from_fork(void) __asm__("ret_from_fork");

Time : 2008-08-22 15:56
OS Lab 4 debugging notes [1]
�pȝ��调用 fork()

用Simics跟踪一条条汇编分析��表映射、寄存器��D��真是体力�z�d��。�?/p>

1. 实现Copy On Write�Ӟ��如果某一个用��h��页面有多个�q�程�׃�n�Q�其中一个进�E�修改该��面旉��要创��Z��个新的页面。一开始偶忘了把原来页面的内容复制到新的页面了 =_= 另外�׃��新的��面要代替老的��面�Q�或者说它们的物理地址不同�Q�但虚拟地址相同�Q�我的方法是在内核态开辟一个大��ؓ(f��)一个页面的�I�间作�ؓ(f��)中�{�?/p>

2. do_fork函数中，子进�E�复制父�q�程的页表的同时�?x��)把父进�E�页表项�|��ؓ(f��)不可写，注意最后要flush tlb。因��Z��开始没有flush tlb�Q�导致最后用��h��fork�q�回以后��d��的信息来自于tlb�Q�直接改写了�׃�n��面中fork的返回地址�Q�导致切换到子进�E�时fork的返回地址丢失。这个bug让我郁闷了两三个��时。�?/p>

3. 使用两次fork�Ӟ��W�二�ơfork�q�回的pid�?x��)被��?gu��)��。查了下发现为用��L(f��ng)��间分配物理页面的代码里居然在分配好以后没有把对应的struct�|��ؓ(f��)已��用，�l�果��D��W�二个子�q�程COW创徏新页面时得到了原来的父进�E�页面，改写了父�q�程��面内容�?br />

Time : 2008-08-23 19:41
OS Lab4 debugging notes [2]
�pȝ��调用 exec()

1. 清空��表的用��L(f��ng)��间映��的函数一开始写得yts�Q�bug到处都是�Q�比如free的时候没使用指向内存块首地址的指针，记录内存地址的变量没有篏加�?/p>

2. exec传递给内核态的两个参数必须先在内核态保存一个副本，否则清空用户态页表后��无法得到这两个参数信息了�?/p>

3. 分配�l�用��h��的��面必须先清�Ӟ��一斚w��考虑到安全性，另一斚w��不清零会(x��)隐藏一些潜在的bug。一开始我没有在内核执行exec的时候完整的复制所有的参数�Q�而是直接指向了原�q�程的内存空��_(d��)��׃��清空��表后再�ơ申��h��表时得��C��原来的页面，�l�果正好原来那个保存参数的页面和新进�E�的该页面重合了 =_= 于是��费了不��时间在�q�个bug�?/p>

Time : 2008-08-31 1:18
OS Lab5 debugging notes
�q�算��利�Q�不�q�这个lab蛮无聊的�Q�等有空了把syscall�Ҏ(gu��)��c�M��linux的做法，单一中断�?寄存器选择syscall�?/p>

1. 最花时间的一个bug是ls�q�回值没有改成应用程序数�Q�结果一开始一直以为是brk�pȝ��调用没写好，最后才发现问题出在�q�么��的地方�?/p>

2. brk的逻辑�q�不是很清楚�Q�尽��通过了简单的��试�Q�但是debug输出的信息显�C�brk增长的很快，�l�常是一个页一个页涨的�Q�看来还得查下brk的具体行为�?/p>

3. 写了个比MAGIC_BREAK好用一点的宏，因�ؓ(f��)用户态的�E�序都是按二�q�制��d��的，Simics无法得到函数信息�Q�函数名、当前行数等�Q�，利用C99的宏写了个新的INFO_BREAK

#define INFO_BREAK \
    do {  \
        lprintf_kern("break in %s:%d", __FUNCTION__, __LINE__); \
        MAGIC_BREAK; \
    } while (0) \

ZelluX 2008-10-10 15:21 发表评论

OSLab之中断处�?

ZelluX — Tue, 02 Sep 2008 03:55:00 GMT

发信�? Zellux (null), 信区: Software_06
�? �? OSLab之中断处�?br />发信�? 日月光华 (2008�q?8�?0�?0:15:58 星期�?, 站内信�g

1. 准备工作
在开始分析Support Code之前�Q�先配置下我们的Source Insight�Q��它能够支�?s文�g的搜索�?br />
在Options->Document Options->Document Types中选择x86 Asm Source File�Q�在File fileter中增加一�?.s�Q�变�?.asm;*.inc;*.s 然后在Project->Add and Remove
Project Files中重新将整个oslab的目录加入，�q�样以后�q�行文本搜烦�?s文�g也不�?x��)漏掉了�?br />
2. Source Insight使用
接下来简单分析下内核启动的过�E�，在浏览代码的�q�程中可以迅速的掌握Source Insight的��用技巧�?br />
lib/multiboot /multiboot.s完成了初始化工作�Q�可以看到其中一句call
EXT(multiboot_main)调用了C函数multiboot_main�Q��用ctrl+/搜烦包含multiboot_main的所有文�Ӟ��最�l�base_multiboot_main.c中找��C��它的定义。依�ơ进行cpu、内存的�?br />始化�Q�然后开启中断，跌��{到kernel_main函数�Q�也是Lab1中所要改写的函数之一。另�?br />在这里可以通过ctrl+单击或者ctrl+=跌��{到相应的函数定义处，很方�ѝ�?br />
3. irq处理初始化工�?br />来看下Lab 1的重点之一�Q�irq的处理。跟�t�multiboot_main->base_cpu_setup->base_cp
u_init->base_irq_init�Q�可以看到这行代�?br />gate_init(base_idt, base_irq_inittab, KERNEL_CS);
�l�箋使用ctrl+/扑ֈ�base_irq_inittab的藏�w�之处：(x��)base_irq_inittab.s

4. base_irq_inittab.s
�q�个汇编文�g做了不少重复性工作，方便我们在c语言�U�别实现各种handler�?br />GATE_INITTAB_BEGIN(base_irq_inittab) /* irq处理函数表的起始�Q�还记得jump
table 吗？ */
MASTER(0, 0) /* irq0 对应的函�?*/

来看看这个MASTER(0, 0)宏展开后是什么样子：(x��)
#define MASTER(irq, num) \
GATE_ENTRY(BASE_IRQ_MASTER_BASE + (num), 0f, ACC_PL_K|ACC_INTR_GATE) ;\
P2ALIGN(TEXT_ALIGN) ;\
0: ;\
pushl $(irq) /* error code = irq vector */ ;\
pushl $BASE_IRQ_MASTER_BASE + (num) /* trap number */ ;\
pusha /* save general registers */ ;\
movl $(irq),%ecx /* irq vector number */ ;\
movb $1 << num,%dl /* pic mask for this irq */ ;\
jmp master_ints

依次push irq��P��trap��P��0x20+irq��P��Q�通用寄存器（eax ecx�{�）入栈�Q�把irq号保
存到ecx寄存器，然后跌��{到master_ints�Q�master_ints是所有master interrupts公用
的代码�?br />
跌��master_ints的前几行�Q�从�W�七行开�?br /> /* Acknowledge the interrupt */
movb $0x20,%al
outb %al,$0x20

/* Save the rest of the standard trap frame (oskit/x86/base_trap.h). */
pushl %ds
pushl %es
pushl %fs
pushl %gs

/* Load the kernel's segment registers. */
movw %ss,%dx
movw %dx,%ds
movw %dx,%es

/* Increment the hardware interrupt nesting counter */
incb EXT(base_irq_nest)

/* Load the handler vector */
movl EXT(base_irq_handlers)(,%ecx,4),%esi

注释写得很详�l�，首先发�?x20�?x20端口�Q�也��是Lab1文档上所说的发送INT_CTL_DON
E到INT_CTL_REG�Q�看来这一步support code已经替我们完成了。接下来保存四个�D�寄�?br />器ds es fs gs�Q��ƈ��d��kernel态的�D�寄存器信息�?br />
最后一句很关键�Q�把base_irq_handlers + %ecx * 4�q�个��g��存到了esi寄存器中�Q?ecx
中保存了irq��P��?4则是一个函数指针的大小�Q�那么base_irq_handlers是什么呢�Q��
�l�用ctrl+/搜烦�Q�可以在base_irq.c中找到这个数�l�的定义
unsigned int (*base_irq_handlers[BASE_IRQ_COUNT])(struct trap_state *ts)
且初始时�q�个数组的每一��w��是base_irq_default_handler

看来�q�句汇编代码的功能是把处理irq对应的函数地址保存��C��esi寄存器中�?br />��Z��证实�q�一点，�l�箋看base_irq_inittab.s的代码：(x��)
#else
/* Call the interrupt handler with the trap frame as a parameter */
pushl %esp
call *%esi
popl %edx
#endif
果然�Q�在保存了esp值后�Q�紧接着��p��用了esi指向的那个函数。而从那个函数�q�回后，
之前在栈上保存的相关信息都被恢复了：(x��)

/* blah blah blah */
/* Return from the interrupt */
popl %gs
popl %fs
popl %es
popl %ds
popa
addl $4*2,%esp /* Pop trap number and error code */
iret
�q�样��恢复到了进入这个irq处理单元前的状态，文档中所要求的保存通用寄存器这一�?br />其实在这里也已经完成了，不需要我们自己写代码�?br />
好了�Q�这样一分析后，我们要做的事情就很简单，��是把base_irq_handlers数组中的�?br />应项�Ҏ(gu��)��相应的handler函数��p��了�?br />注意index是相应的idt_entry号减去BASE_IRQ_SLAVE_BASE�Q�或者直接��用IRQ受��?

另外�q�个数组的初始值都是base_irq_default_handler�Q�用ctrl+左键跛_��q�个函数的定
义，可以看到�q�个函数只有一句简单的输出语句�Q?br /> printf("Unexpected interrupt %d\n", ts->err);
而这��是没有注册handler前我们所看到的那句Unexpected interrupt 0的来源了�?

5. struct trap_state *ts
所有的handler函数的参数都是一个struct trap_state *ts�Q�这个参数是哪来的呢�Q?br />注意call *%esi的前一�?br /> /* Call the interrupt handler with the trap frame as a parameter */
pushl %esp
�q�里把当前的esp当作指向ts的指针传�l�了handler�Q�列一下从esp指向的地址开始的内容
�Q�也��是在此之前push入栈的内容：(x��)

pushl $(irq) /* error code = irq vector */ ;\
pushl $BASE_IRQ_MASTER_BASE + (num) /* trap number */ ;\
pusha /* save general registers */ ;\
pushl %ds
pushl %es
pushl %fs
pushl %gs

再看一下trap_state的定义，你会(x��)发现正好和push的顺序相反：(x��)
/* Saved segment registers */
unsigned int gs;
unsigned int fs;
unsigned int es;
unsigned int ds;

/* PUSHA register state frame */
unsigned int edi;
unsigned int esi;
unsigned int ebp;
unsigned int cr2; /* we save cr2 over esp for page faults */
unsigned int ebx;
unsigned int edx;
unsigned int ecx;
unsigned int eax;

/* Processor trap number, 0-31. */
unsigned int trapno;

/* Error code pushed by the processor, 0 if none. */
unsigned int err;

而这个定义后面的
/* Processor state frame */
unsigned int eip;
unsigned int cs;
unsigned int eflags;
unsigned int esp;
unsigned int ss;
则是发生interrupt时硬件自动push的五个数据（参见Understand the Linux Kernel�Q?

也就是说�Q�ts指针指向的是调用当前handler前的寄存器状态，也是当前handler�l�束�?br />用来恢复的寄存器状态，了解�q�一点对以后的几个lab帮助很大�?

p.s. 另外提一句和�q�个lab无关的话�Q�非vm86模式下栈上是不会(x��)有v86_es�{�四个寄存器
信息的，所以以后根据task_struct指针计算*ts的地址时��用的偏移量不应该是sizeof(
struct trap_state)

6. The End
�q�样差不多就把support code中处理interrupt的方法过了一遍（另外�q�有base_trap_in
ittab.s�Q�不�q�和irq的处理很�怼��Q?br />
了解�q�些后Lab1��比较简单了�Q�不需要�Q何内嵌汇�~�代码即可完成�?br />

ZelluX 2008-09-02 11:55 发表评论

关于计算机图形学的学�?原创 FatGarfield

ZelluX — Thu, 21 Feb 2008 07:46:00 GMT

�q�学期想上这门课�Q�纯属娱乐，不准备深入�?br />主要�q�是考虑到有��Z��(x��)和安然小朋友合作一个大�E?;-)

关于计算机图形学的学�?/strong>
注意�Q?
本文��量避免理论化的描述�Q�试囄��最通俗的语�a�介绍一下计��机囑�Ş学的学习(f��n)�Q�以�?qi��ng)一些参考书目和�|�络资源�Q?
本文不涉�?qi��ng)对概念的定义，以免陷入学术讨论之�?
本文是作者学�?f��n)计��机囑�Ş学的体�?x��)�Q�如果有不同的意见，请不要攻��d��漫骂

本文合适的题目应当�?白话说学计算机图形学�Q?

1�Q� 引�a�
什么是计算机图形学�Q� 本文尽量避免给它做严格的定义，但是通常来说�Q�计��机囑�Ş学是数字图象处理的逆过�E�，�q�只是一个不��切的定义，后面我们�?x��)看刎ͼ�实际上，计算机图形学、数字图象处理和计算��觉在很多地方的区别不是非常清晰的�Q�很多概忉|��盔R��的�?
计算机图形学是用计算机来��M��西的学科�Q�数字图象处理是把外界获得的图象用计��机�q�行处理的学�U�。在法国�Q�图形图象是一门课�E��?
如何学习(f��n)计算机图形学呢？除了计算机图形学的基��知识以外�Q�你�q�需要有以下的知识，你懂的越多，当然做的��好�?
* ��p��Q� 你一定要把英语学好，如果你想学习(f��n)计算机图形学的话�Q�尽量看英文的书�c�和资料
* 数学�Q� 计��机囑�Ş学里面的数学用的比较多，�Q�我们可以列举一些常用的�Q?
高等数学�Q�数值分析，微分几何�Q�拓扑，概率�Q� 插值理论，�Q�偏�Q�微分方�E��?
* 物理�Q� 如果你要进行基于物理的建模�Q�一些物理理论是要学�?f��n)的�Q?
力学�Q�运动学�Q�动力学�Q�流体力学…）�Q�光学，有限元�?
* �~�程语言�Q� C或C++是计��机囑�Ş学最通用的‘普通话’，
* 数据�l�构�Q� 你需要数据结构来描述你的囑�Ş对象�Q�除了通用的链表、树(w��i)�{�数据结构外�Q�图形学�q�有自己�Ҏ(gu��)��的数据结�?
* 其他�c�d��Q� 有的时候你需要其他学�U�的知识�Q�根据你的需要去学习(f��n)�?

上面列�D的不是你必须学习(f��n)的东西，而是计算机图形学可能�?x��)用到的东西�Q�一定要��C��Q�不要指望通过一本教材就学会(x��)计算机图形学�Q�它比你惌��的要复杂的多�?

2�Q� 图形学的问�?
每个学科都有自己学科的特定问题，囑�Ş学要解决的是如何��d��图来�Q�得到需要的效果�Q�当然这是图形学最大的一个问题�?

在开始学�?f��n)计��机囑�Ş学的时候，找一本简单的书看�Q�对计算机图形学有个大概的认识，你就可以开始图形学之旅了：(x��)

OpenGL Programming Guide: The Official Guide to Learning OpenGL, Version 1.4, Fourth Edition
OpenGL SuperBible (3rd Edition)

是比较好的学�?f��n)计��机囑�Ş学的入门教材�Q�在�l�中��d��Q�一开始就��d��

Foley�?
Computer Graphics: Principles and Practice, Second Edition in C
不是好主意，�?x��)看的一头雾��_(d��)��一本什么都讲的书的�l�果往往是什么都没讲清楚�?
当你把OpenGL的基本内�Ҏ(gu��)��握之后，你对囑�Ş学就有了大概的了解了

那么下面你可以来学习(f��n)一下计��机囑�Ş学的数据�l�构和算法，下面的书比较适合
Joseph O'Rourke 的Computational Geometry in C�Q�书里面有C的源代码�Q�讲�q�简单，清晰�Q�适合�E�序员学�?

�ȝ��来说�Q�计��机囑�Ş学涉�?qi��ng)�?大部分：(x��)建模和渲�?
2.1建模

你想��M��个东西，首先要有它的几何模型�Q�那么这个几何模型从什么地�Ҏ(gu��)��呢？下面的书很不错的�Q?
Gerald Farin 的Curves and Surfaces for CAGD: A Practical Guide
�q�本书就有一点的隑ֺ�了，呵呵�Q�要努力看啊

�q�本书算是CAGD (计算��助几何设�?的经典图书，CAGD斚w��的全貌，�q�有2本很好的讲述曲面的书Bezier和Nurbs的书

Les A. Piegl, Wayne Tiller 的The Nurbs Book
书里面有NURBS曲线、曲面的�E�序伪代码，很容易改成C的，书讲的通俗、易懂，但是你要有耐心看的�Q�）

曲线与曲面的数学
�q�本书是法国人写的中文翻译版�Q�里面还有Bezie本�h写的序J�Q�翻译的很不错的�Q�看了你��掌握Bezier曲面技术了

//另外一些你想知道的事情�Q�其他的造型方式-开�?
注意�Q�在后面�?x��)有�q�样的章节，标明
//另外一些你想知道的事情�Q�其他的造型方式-开�?
//另外一些你想知道的事情�Q�其他的造型方式-�l�束
里面是我认�ؓ(f��)的一些高�U�话题，跌��他们不媄响你学习(f��n)计算机图形学�Q�但是要学好��p��注意了，呵呵
�q�有其他的一些造型技术，比如�Q?
隐式曲面(Implicit Surface)的造型�Q?
��是用函数�Ş式�ؓ(f��)F( x ,y ,z ) = 0的曲面进行造型�Q�这��L(f��ng)��造型技术适合描述动物器官一��L(f��ng)��肉乎乎的东西�Q�有2本书推荐大家
Jules Bloomenthal�~�辑的Introduction to Implicit Surfaces�Q�是一本专著，讲述了Implicit Surface建模�?Modeling)�Q�面片化(Polygonization)�Q�渲�?Rendering)的问�?
Luiz Velho 的 Implicit Objects Computer Graphics 也是一本专著，讲述个更新的一些进�?

�l�分曲面�Q�Subdivision Surface�Q�造型
当用NURBS做造型的时候，曲面拼接是复杂的问题�Q�在动画的时候，可能产生撕裂或者褶皱，Subdivision Surface用来解决�q�个问题
Joe Warren的Subdivision Methods for Geometric Design: A Constructive Approach��是�q�方面的专著

从实际物体中得到造型�Q�现在的技术可以用三维扫描仪得到物体表面的点，然后�Ҏ(gu��)��q�些�Ҏ(gu��)��物体的表面计��出来，�U�Cؓ(f��)重徏(Reconstruction)�Q�因��些技术之在文章中��Q�所以我们省略对它的描述

//另外一些你想知道的事情�Q�其他的造型方式-�l�束

下面�q�是一个高�U�话题：(x��)�Q?

//另外一些你想知道的事情�Q�光有造型是不够的�Q?开�?
在你的几何模型做好之后，有一些问题需要对�q�个模型�q�一步处理，得到适合的模型，当面片很多的时候，或者模型很复杂的时候，需要对几何模型�q�行��化，才可以满��一些实时绘制的需要，�q�个技术叫做层�ơ细节（LOD-Level of Detail�Q�。下面的书就是讲�q�个的：(x��)
David Luebke�~�著的 Level of Detail for 3D Graphics
//另外一些你想知道的事情�Q�光有造型是不够的�Q?�l�束

2.2渲染
有了模型�Q�怎么把这个几何模型画出来呢？�q�个步骤��是渲染�?
如果你看了上面的OpenGL的书�Q�那么你��q��道一些渲染的知识了，但是别高兴的太早�Q�OpenGL使用的是局部光照模型（Local Illumination Model�Q�，不要被这个词吓住�?

Local illumination Model指的是在做渲染的时候只考虑光源和物体之间的�怺�作用�Q�不考虑物体和物体之间的影响�Q�所以OpenGL不支持阴影，一个（半）透明物体的效�?.�Q�这些需要考虑物体之间的媄响才可以实现�?

//另外一些你想知道的事情�Q�OpenGL可以实现阴媄-开�?
OpenGL本��n不支持，但是通过一些方法可以实现的�Q�）�Q�用Google搜烦一�?
Shadow Volume, OpenGL��找到答案啦
//另外一些你想知道的事情�Q�OpenGL可以实现阴媄-�l�束

Global Illumination Model �q�类模型考虑的就比较全啦。现在关于Global Illumination的技术有3大类�Q�具体的技术就不在�q�里介绍了，如果想了解，可以联系我，大家一赯��论：(x��)

光线�q�踪(Ray Tracing)
关于Ray Tracing的好书有2本：(x��)

Andrew Glassner 的An Introduction to Ray tracing
Glasser是图形界的名人，�q�本书也是Ray Tracing的经�?

R. Keith Morley, Peter Shirley 的Realistic Ray Tracing, Second Edition
�q�本书第一版是伪代码，�W�二版是C代码。它的结构不是很清楚�Q�虎头蛇��感觉�?

辐射�?Radiosity)
关于Radiosity的好书有4本：(x��)
Michael Cohen 的Radiosity and Realistic Image Synthesis �Q� Cohen获得SIGGRAPH 1998计算机图形学成就奖，他把Radiosity变成实际可用�Q�现在Cohen在MSR囑�Şhttp://research.microsoft.com/~cohen/CohenSmallBW2.jpg

Francois X. Sillion的Radiosity and Global Illumination �Q� Sillion是法国�h�Q�他的主要研�I�方向是Radiosity�Q�这本书写的很不错的�Q�非常清�?

Philip Dutre 的新书Advanced Global Illumination �Q�看��h��q�不错，刚拿到手�Q�还没看�Q�呵呵，所以不好评�?

Ian Ashdown的Radiosity: A Programmer's Perspective
有源代码的书啊！�Q� 就凭这个，得给5*****

Photon mapping
�q�个我也不知道怎么��译�Q�呵��c(di��n)��这个技术出现的比较晚，一本好书！
Henrik Wann Jensen的Realistic Image Synthesis Using Photon Mapping
Henrik Wann Jensen是Photon mapping技术的发明�?

3.3�q�些也是囑�Ş学吗�Q� 图形和图象的区别模�p�了�Q�（
除了上面讲的‘经典’的计算机图形学�Q�还有下面的一些东西，它们也叫计算机图形学吗？是的�Q�！�Q?
3.3.1非真实性图形学�Q�Non-Photorealistic Graphics�Q?
真实性不是计��机囑�Ş学的唯一要求�Q�比如：(x��)你给我画一个卡通效果的囑և�来，或者我要用计算机画水彩��L��么办？或者：(x��)把图象用文字拼出来怎么做？�Q�解册��些问题要用到非真实性图形学�Q� 好书��l�推荐！�Q�！
Bruce Gooch, Amy Ashurst Gooch的 Non-Photorealistic Rendering

3.3.2体图形学(Volume Graphics)
用CT机做很多切片�Q�比如头骨）�Q�那么能通过�q�些切片得到3D的头骨吗�Q�Volume Graphics��是解决�q�样的问题的
Min Chen �~�著的Volume Graphics

上面�?个图形学技术就和图象的界限不明显了�Q�实际上他们是图形图象的�l�合

4 .�q�有其他的书吗？
�q�有一些好书啊�Q�呵呵，好书看不完的�Q�）�Q��l�放送：(x��)

Graphics Gems I ~ V�Q�一大帮子�h写的书，包括研究人员�Q�程序员�?
有计��机囑�Ş学的各种数据�l�构�Q�编�E�技�?

Tomas Akenine-Moller �{��h�~�著的Real-Time Rendering (2nd Edition)
许多最新的计算机图形学�q�展

David Ebert�{��h的Texturing & Modeling: A Procedural Approach, Third Edition
讲述如何通过�E�序实现�U�理、山、地形等囑�Ş学要�?
F. Kenton Musgrave��L(f��ng)��分�Ş�?Fractal Mania)
Ken Perlin��是Perlin噪声的发明者，用过3d软�g的�h对Perlin Noise不会(x��)陌生�?

关于囑�Ş学的特定对象�Q�有特定的专题图书，
Evan Pipho Focus On 3D Models,对于囑�Ş学的常用模型格式�Q�进行了讲解
Trent Polack的 Focus On 3D Terrain Programming �Q�讲地�Ş�?
Donald H. House 的Cloth Modeling and Animation �Q�讲布料�?
Nik Lever的Real-time 3D Character Animation with Visual C++ �Q�讲角色动画�?
…�?

�q�有�Q�）
Richard Parent的 Computer Animation: Algorithms and Techniques�Q�当然是讲动�ȝ��啦，呵呵�?
David H. Eberly�?D Game Engine Design : A Practical Approach to Real-Time Computer Graphics �Q�有代码的啊�Q�呵呵：(x��)�Q?

最后，没事情的时候，看看下面的书�?
Alan H. Watt�Q��?D Computer Graphics (3rd Edition)

James D. Foley�{��h的 Computer Graphics: Principles and Practice in C (2nd Edition) �Q�这本圣�l�没事的时候再看吧�Q�呵�?

累了�Q�（不说了，上面的书差不多了�Q�还有一些shader的书�Q�我不了解，以后�?x��)补上的�Q�）

5.从哪里找到这些书啊？�q�有什么资源啊�Q?
我保证，上面的书在www.amazon.com 都可以买刎ͼ�(x��)�Q� 别打我

那好�Q�大部分的书在国家图书馆可以复印刎ͼ�北京的兄弟有��啦�Q?�q�前的书借出来复华ͼ�1�?��，但是��C��要早图书馆里复印�Q?~6�?��，�q�是比Amazon便宜啊，呵呵�?

不行大家��到国外乎ͼ�合买吧，�q�负担的赗��?
我对DirectX不了解，所以没有涉�?qi��ng)关于DirectX的内容：(x��)�Q?

ZelluX 2008-02-21 15:46 发表评论

ZelluX — Sat, 05 Jan 2008 08:36:00 GMT

讲到out-of-bounds detection�Ӟ��有这么一�D?br /> One may say, by way of excuse, "but the language in which, I program has the kind of address arithmetics that makes it impossible to know the bounds of an array." Yes, and the man who shot his mother and father threw himself upon the mercy of the court because he was an orphan.
很强大，很脓(chu��ng)�?/p>

ZelluX 2008-01-05 16:36 发表评论

用GraphViz��M��ICS Lab1的call graph

ZelluX — Tue, 27 Nov 2007 12:04:00 GMT

其实关键的工兯��是google的gprof2dot
http://google-gprof2dot.googlecode.com/

四种风格�Q�应该在生成dot的时候还可以讑֮�其他信息�Q�比如每个结点费时等�Q�毕竟profiling�q�个指数更重�?/p>

ZelluX 2007-11-27 20:04 发表评论

LL(1) 语法解析

ZelluX — Mon, 24 Sep 2007 11:34:00 GMT
�q�是做一点笔讎ͼ�记得牢一�?br />
有了follow和first集合后，��可以构造一张预��解析表(predictive parsing table)了�?br /> 具体�Ҏ(gu��)��是：(x��)
对于��M��产生式X -> ƒ�Q�找到first(ƒ)中的每一个元素T�Q�把X -> ƒ填充到X行T列中去；
如果ƒ nullable�Q�还要把X -> ƒ填充到X行follow(ƒ)列中�?br />
预测解析表构造完成后�Q�如果某��g��不止一个��生式�Q�则说明该语法不适用于预��解析表�Q?br /> 如果每格臛_��一个��生式�Q�则该语法被�U�Cؓ(f��)LL(1) Left-to-right parse, Leftmost-derivation, 1-symbol lookahead

ZelluX 2007-09-24 19:34 发表评论

�ȝ��弄明白生成first和follow集合的算法了

ZelluX — Sun, 23 Sep 2007 14:22:00 GMT
太笨了，看了好久才明白。。�?br /> first集合没有问题

follow集合�Q?br /> 以A -> aBb��Z��Q�如果b nullable�Q�则follow(B)包括follow(A)�Q�原因很��单，把A看成一个整体，当作为production的右式时它后面直接跟的元素自然也可能是B后面直接跟的元素�Q�因为b可能为空�?br />
理解follow集合的定义后�Q�虎书上�l�出的算�?br /> if Yi+1 ... Yk are all nullable
    then FOLLOW(Yi) = FOLLOW(Yi) U FOLLOW(X)
if Yi+1 ... Yj-1 are all nullable
    then FOLLOW(Yi) = FOLLOW(Yi) U FIRST(Yj)
��׃��隄��解了

ZelluX 2007-09-23 22:22 发表评论

Lex 使用�W�记

ZelluX — Sun, 09 Sep 2007 14:22:00 GMT

1. 写了个测试脚本，逐个��试testcases目录下的各个tiger�E�序�Q��ƈ�l�计出错�?br /> #!/usr/bin/python

from commands import *

countOk = countError = 0

for i in range(1,50):
    result = getstatusoutput('./lextest ../testcases/test%s.tig' % i)
    if (result[0] == 0):
        print('Test case %s: OK' % i)
        countOk += 1
    else:
        print('Error on test case %s with errorno %s' % (i, result[0]))
        countError += 1

print("Total cases: %s" % (countOk + countError))
print("Passed cases: %s" % (countOk))
print("Failed cases: %s" % (countError))

2. 状态：(x��)
定义的状态名不能与已�l�定义的变量/宏名冲突。在处理字符串的时候定义了�?lt;STRING>状态，和tokens.h中的STRING冲突了，�l�果解析的时候被认成了BAD_TOKEN�?br />

ZelluX 2007-09-09 22:22 发表评论

Lexical Analysis - Finite Automata

ZelluX — Thu, 06 Sep 2007 14:09:00 GMT

DFA(deterministic finite automaton): 从同一状态出发的辚w��标记有不同的�W�号

可以把一个DFA用一个�{�|�矩�?transition matrix)表示�Q�矩�늚��W�i行记录状态i向其他状态蟩转的情况�Q�edges[i][j]表示状态i时吃掉一个j�W�号后蟩转到edges[i][j]状态�?br />
DFA的一个好处就是可以识别最长的匚w��Q�比如对于IF8�q�个字符�Ԍ��可以被识别�ؓ(f��)一个变量而不是一个关键字加数字�?br /> 处理�Ҏ(gu��)��是保留最后一�ơ自动机的终�l�状态Last-Final�?qi��ng)其相对应的字符位置Input-Position-at-Last-Final�?br /> 每次�q�入一个终�l�状态，��更新这两个变量�?br /> 遇到死�\(dead state, a nonfinal state with no output transitions)�Q�通过�q�两个变量回复到上一个终�l�状态�?br />
NFA(nondeterministic finite automaton): 从同一状态出发的边可能标记有相同的符�?br /> �׃��从同一状态出发选择的�\径可能有多条�Q�非��定性自动机��L��需要进�?#8220;猜测”�Q�而且总要做出正确的猜��?/p>

ZelluX 2007-09-06 22:09 发表评论

BNF 文法 (1) - 语法�?| 二义性的解决

ZelluX — Fri, 27 Jul 2007 03:28:00 GMT
1. 考虑表达�? + 4的语法分析树(w��i)�Q�exp( exp(number (3)), op(+), exp(number (4)) )�?br>�q�有一�U�更为简单的表示�Ҏ(gu��)��Q�例如将(34 - 3) * 42表示�?(-(34, 3), 42)
后者被�U�Cؓ(f��)抽象语法�?abstract syntax tree)�Q�它的效率更高，但是不能从中重新得到记号序列�?br>

2. ��单的��术表达式的抽象语法�?w��i)的数据�c�d��

typedef enum {Plus, Minus, Times} OpKind;
typedef enum {OpKind, ConstKind} ExpKind;
typedef struct streenode
{
    ExpKind kind;
    OpKind op;
    struct streenode *lchild, *rchild;
    int val;
} STreeNode;
typedef STreeNode *SyntaxTree;

3. ��单算术文法的二义性解�?br>例如�?4 - 3 * 42�Q�可以有两种不同的分析树(w��i)�Q?
34 - 3 = 31, 31 * 42
3 * 42 = 126, 34 - 126
解决二义性的�Ҏ(gu��)��通常有两�U�，一�U�是讄��消除二义性规则（disambiguating rule)�Q�如讄��q�算�W�的优先权；另一�U�是��文法限制�ؓ(f��)只能分析成单一的分析树(w��i)�Q�如��上式表�C�Zؓ(f��)34 - (3 * 42)�?br>
讄��q�算�W�的优先�?br>定义如下的简单表辑ּ�文法�Q?br>exp -> exp addop exp | term
addop -> + | -
term -> term mulop term | factor
mulop -> *
factor -> (exp) | number
�q�样乘法被归在term规则下，而加减法被归在exp规则下，因此在分析树(w��i)和语法树(w��i)中加减法��更接近于根�Q�由此也��接受了更低一�U�的优先权�?br>�q�样��算�W�放在不同的优先权��别中的办法是在语法说明中使用BNF的一个标准方法，成�ؓ(f��)优先�U�联(precedence cascade)�?br>接下来的问题��是如何让同�U�运��从左往叟�?br>可以��表辑ּ�文法改�ؓ(f��)
exp -> exp addop term | term
addop -> + | -
term -> term mulop factor | factor
mulop -> *
factor -> (exp) | number
�q�样��׃��得加法和减法左结合，而如果写�?br>exp -> term addop exp | term
�q�样的�Ş式，则会(x��)使得它们右结合�?br>
4. else �(zh��n)�挂的问�?br>��?if 语句的文�?br>statement -> if-stmt | other
if-stmt -> if (exp) statement | if (exp) statement else statement
exp -> 0 | 1
考虑�?if (0) if (1) other else other
�q�时else other的�?zh��n)�挂就出现了二义性，它既可以理解为是if (0)匚w��p�|后的选择�Q�也可以理解为if (0)匚w��成功�Q�if (1) 匚w��p�|后的�l�果�?br>消除二义性的规则�?br>statement -> matched-stmt | unmatched-stmt
matched-stmt -> if (exp) matched-stmt else matched-stmt | other
unmatched-stmt -> if (exp) statement | if (exp) matched-stmt else unmatched-stmt
exp -> 0|1
��p��个定义，上面的串��可以分析�ؓ(f��)
if (0) // unmatched-stmt
    if (1) other else other // matched-stmt

另外一�U�解��x��法就是在语法中解册��个问题�?br>可以要求出现else部分�Q�或者��用一个分�D�关键字(bracketing keyword)�Q�例�?br>if (1) then
    if (0) then other
    else other
    endif
endif

ZelluX 2007-07-27 11:28 发表评论

ZelluX — Fri, 20 Jul 2007 07:46:00 GMT
书上的例子，计算行号的，但是书中对行的定义是
line *.\n
貌似不正��，flex无法解析�Q�改成line (.)*\n��可以了�?br>书上的样例也没有yywrap�Q�写了个�I�函数�?br>
%{
/* a Lex program that adds line numbers
   to lines of text, printing the new text
   to the standard output
*/
#include <stdio.h>
int lineno = 1;
%}
line (.)*\n
%%
{line} { printf ("%5d %s", lineno++, yytext); }
%%
main()
{
    yylex();
    return 0;
}
int yywrap()
{
    return 0;
}
生成flex�E�序�Q�flex linecount.lex
�~�译�Q�gcc lex.yy.c
利用��道输入刚才的程序：(x��)cat linecount.lex | ./a.out

ZelluX 2007-07-20 15:46 发表评论

Lex�U�定

ZelluX — Fri, 20 Jul 2007 06:35:00 GMT

1. 允许��字�W�放在引号中作�ؓ(f��)真正的字�W�匹配�?/p>
例如要匹配\*可以写成\\\*�Q�也可以�?\*"

2. �Ҏ(gu��)��号中大多数元字符都可以无需引号直接引出。如("+"|"-")可以写成[-+]�Q�但不能写成[+-]�Q�因�?在中括号中可以作��C��围的�q�字�W��?br>

3. 大括号可以指出正则表辑ּ�的名字，但不能递归调用�?/p>
nat [0-9]+

signedNat (+|-) ? {nat}

ZelluX 2007-07-20 14:35 发表评论

�q�是关于�~�译器的优化

ZelluX — Thu, 19 Jul 2007 15:41:00 GMT
装了fcitx以后thunderbird�|�工了。。。现在只能用Google groups上新�ȝ��了，不过fcitx的确不错的说�?br>
cs书上的一个习(f��n)题，在执行i=0�q�样的命令时是用: xorl %edx, %edx
��Z��么不�?movl $0, %edx呢？
老大: 一般的说立��x��的存取是内存操作�Q�而前一条指令是寄存器操作。所以Itanium上有专门的寄存器�?.
SecretVan@smth.org: 可能跟标志位有关�p�，如xor清零后紧跟一个条件蟩转�?
先把�q�些回答放这�Q�以后在回过头来看�?br>

ZelluX 2007-07-19 23:41 发表评论

一个编译器优化问题

ZelluX — Wed, 18 Jul 2007 16:51:00 GMT
看到汇编中的基本�q�算�q�一节，想看看传说中的编译器把a*2优化为a<<1是不是真的呢�Q�写了个函数试了下：(x��)
int func(int x)
{
    return x * 2;
}
用gcc -O2 -S test.c �~�译�Q�发��C��化后是用了加法，而不是位�U?br>func:
        pushl   %ebp
        movl    %esp, %ebp
        movl    8(%ebp), %eax
        popl    %ebp
        addl    %eax, %eax
        ret
BBS上问了，老大说一般加法不�?x��)慢�?br>又试了一下把*2�Ҏ(gu��)��*3�Q�仍然是使用leal   (%eax,%eax,2), %eax�q�行加法操作完成的，而改�?4��׃��用位�U�M��?br>其他回答�Q?br>SecretVan@smth.org: CISC指��o(h��)集上更們֐�于选择功能一栯��长度较短的指��o(h��)�Q�带了立��x��之后指��o(h��)��长了，如果使用寄存器那更得不偿�?br>Nineveh@smth.org: 因�ؓ(f��) add 的长度短于或�{�于 sal�Q�速度快于或等�?sal�Q�吞吐量大于或等�?sal�?
lib@rygh: 在P4里面我记得一条加法指令是0.5个cycle.�U�M��指��o(h��)撑死了也�?.5个cycle吧，没听说过�?.25cycle的指令�?

ZelluX 2007-07-19 00:51 发表评论

ZelluX — Tue, 17 Jul 2007 12:46:00 GMT

1. {a, b, c}上的串S中，��M��两个b都不相连�Q�用正则表达式表�C�Zؓ(f��)
(a|c|ba|bc)*(b|�I?

2. Pascal注释的表�C?/p>
{(~})*}
{ } 中间��Z�Q意非}的符��P��注意表达的严�?br>

3. C注释的表�C�就困难很多

例如要表�C�ba ...(没有ab)... ab�q�样的字�W�串�Q�不能简单的写成

ba(~(ab))*ab

因�ؓ(f��)~非运��符通常只适用于单字符�Q�否则容易��生�؜淆�?/p>
b*(a*~(a|b)b*)*a*

像这��L(f��ng)��定义很难读，而且难以证明其正��性，因此在真正的扫描�E�序中通常用特�D�方法解冟�?

ZelluX 2007-07-17 20:46 发表评论