ZH

投资

2013-06-23T00:00:00-07:00

手边用了三年多的小白到了退居二线的年纪，该有什么替代它，成为我未来三年的主力了。

夏雨渗进泥土，凉风吹进窗子般的操作感。

旅行

2013-04-29T00:00:00-07:00

一人玩了五天，花的自己的钱。

整个旅途没怎么规划，4 月 20 号那天，在微博上看到朋友刚刚结束了六天的旅行，突然就心动了。我对自己说，诶，这事儿你也可以干啊。那就干吧。

做完要出去玩的决定后，打电话咨询注意事项，看旅游攻略，一切就发生得很自然。

早晨七点半的飞机，我前一天夜里就到了机场，加上感冒，生熬一夜，不舒服。22 号九点半到的杭州，按照计划跑到四眼井青年旅舍定了两天房间，倒在床上就睡了。

四眼井青年旅舍很静，在动物园站，离西湖不远，做公交车三四站到苏堤。院里有几只花猫，会趁你吃早餐的时偷偷围过来，一个人出来玩，这些都是惊喜。酒吧里有桌上足球，台球，每晚睡前我都在那点杯热牛奶，一两天过去感冒好了大半。第一天服务生指着几种啤酒说『出来玩怎么能点牛奶呢。』，我带着鼻音说『感冒了，喝点热的。』

杭州

玩了三天，前三天阴雨多云，很适合一人逛西塘。

刚到的那天，睡了一下午，晚上在四眼井青旅酒吧的沙发上制定行程，上网和朋友聊天¹。按照设想，我会认识几个青旅的朋友，痛快的聊一晚上，实际没有，一点说话的欲望都没有。

第二天办了张杭州 Z 卡，租自行车逛西湖，从柳浪闻莺开始，在雷峰塔结束，整个西湖不会大到迷路，也不至于小到一天就能逛完。一天下来没有太大惊喜，就像在公园中逛了一天。

第三天整个上午都靠在沙发上看电影²，下午看着地图，想到还有一半西湖没去过，就又定了一天房间。骑着车沿着杨公堤向北而去。事实证明这个决定很正确。这个下午，我顺路去浙江大学图书馆体验了一下，很有学术气氛，和杭州其他地方一样，到处飘着花香，听雪姐说『浙大很NB啊，前两年超清华北大。稳居全国前三』。晚上奔西溪湿地骑了一小时车，可惜关门了，回来时候惊喜的路过支付宝大楼，晚上七点灯火通明。

乌镇

高铁到桐乡倒大巴再走路，路上荒凉，到处是经济开发区的标识牌，环境还没三线城市承德好，路上走着我一直在想干嘛要来这种地方，要不直接去上海或者回家吧，趁不是太晚还来得及。

硬着头皮接着走到乌镇西栅，街干净了，建筑物不挤了，古镇的风格特色也有了。于是买票订房开始逛。

整个旅途我都给自己留了很大改变余地，不到最后不会定下一步怎么走，那种知道只能玩三天，第四天回家的票已经买好的感觉就像看着课表，也许这辈子我跟 GTD 无缘。走之前前跟朋友聊过这个问题，她说『也是一种玩法』。

在乌镇玩了两天，看了夜景，听了戏，回想下来印象最深的竟然是我所住的13号民宿对面粥店的骨头粥，其他的感慨道不大，乌镇西栅较商业。

现在网络发达，到了才能看到的风景越来越少，旅行的意义更多是让自己充满陌生感，发现原来这件事我也可以做。

杭州在这天晚上开始下雨。
↩
『EVA Q』和『忍者之路』。
↩

起床的方式

2012-11-18T00:00:00-08:00

昨天学车起太早，补觉 12 小时后，才精神饱满，体力充沛。

今早起床的方式很奇特，用意识去提高血压，身体像充电一样，耳朵能听到血液撞击血管的嗡嗡声（或者是生物电？），身体兴奋，困意退散。在继高二某个夏天的日子，我第二次做到了有意识控制肾上腺素。

Mandelbrot Set

2012-11-18T00:00:00-08:00

ifanr 你见过的最疯狂的代码是什么样的一文中提到一段可以生成经典分形图 Mandelbrot Set 的 Python 代码。

看起来很好玩，于是试着用 10 年的老 MacBook(2.26 GHz Intel Core 2 Duo ，4 GB 1333 MHz DDR3)渲染一幅分辨率 4096 X 3072 的。

睡前开始，早上醒来刚好完成，花了 5 个小时，一个 37.7 MB 的 bmp，转换成 PNG 后 4.9 MB 。

JOS 实验一

2012-10-15T00:00:00-07:00

Part 1: PC BootStrap

Exercise 1

Familiarize yourself with the assembly language materials available on the 6.828 reference page . You don’t have to read them now, but you’ll almost certainly want to refer to some of this material when reading and writing x86 assembly.

We do recommend reading the section “The Syntax” in Brennan’s Guide to Inline Assembly . It gives a good (and quite brief) description of the AT&T assembly syntax we’ll be using with the GNU assembler in JOS.

Exercise 2

Use GDB’s si (Step Instruction) command to trace into the ROM BIOS for a few more instructions, and try to guess what it might be doing.You might want to look at Phil Storrs I/O Ports Description , as well as other materials on the 6.828 reference materials page . No need to figure out all the details – just the general idea of what the BIOS is doing first.

Part 2: The Boot Loader

Exercise 3

Take a look at the lab tools guide, especially the section on GDB commands. Even if you’re familiar with GDB, this includes some esoteric GDB commands that are useful for OS work.

Set a breakpoint at address 0×7c00, which is where the boot sector will be loaded. Continue execution until that breakpoint. Trace through the code in boot/boot.S, using the source code and the disassembly file obj/boot/boot.asm to keep track of where you are. Also use the x/i command in GDB to disassemble sequences of instructions in the boot loader, and compare the original boot loader source code with both the disassembly in obj/boot/boot.asm and GDB.

Trace into bootmain() in boot/main.c, and then into readsect(). Identify the exact assembly instructions that correspond to each of the statements in readsect(). Trace through the rest of readsect() and back out into bootmain(), and identify the begin and end of the for loop that reads the remaining sectors of the kernel from the disk. Find out what code will run when the loop is finished, set a breakpoint there, and continue to that breakpoint. Then step through the remainder of the boot loader.

在一切开始之前，我们要弄懂如何调用 gdb 调试运行在 qemu 虚拟的计算机中的系统。

资料上说运行

make qemu-gdb

那么 make 是什么？为什么 qemu-gdb 作为参数就可以调试了？

Make gets its knowledge of how to build your program from a file called the makefile, which lists each of the non-source files and how to compute it from other files. When you write a program, you should write a makefile for it, so that it is possible to use Make to build and install the program

make 是个按照规则执行批处理操作的工具。

JOS 中规则文件叫 GNUmakefile，其中定义了编译、调用虚拟机、调试相关的规则，下面列出对我们这次实验有用的参数

make ``编译 JOS``
make qemu ``调用配置 qemu 载入 JOS 镜像``
make qemu-gdb ``调用配置 qemu 载入 JOS 镜像并连接 GDB 供调试``

问题弄懂后开始实践，切换到JOS源代码目录

make qemu-gdb

打开另一个终端，运行 gdb

然后一个新终端，运行 gdb 就可以开始调试了，我们可以运行很多命令，比如：

在 0×7c00 处下断点

b *0x7c00

继续运行

下一步

si

Be able to answer the following questions:

At what point does the processor start executing 32-bit code? What exactly causes the switch from 16- to 32-bit mode?
What is the last instruction of the boot loader executed, and what is the first instruction of the kernel it just loaded?
Where is the first instruction of the kernel?
How does the boot loader decide how many sectors it must read in order to fetch the entire kernel from disk? Where does it find this information?

1. CPU 中有个寄存器叫 CR0，它每一位都是个标示符，其中第 0 位用来标识 CPU 是运行在实时模式还是保护模式。所以从头开始找到修改 CRO 第 0 位的代码也就找到了使 CPU 切换到 32 位的代码。

计算机在启动后会调用 BIOS，它做完基础的系统初始化工作，比如检查内存容量后会把启动分区第一扇区的 bootloader 读到内存 0×7c00 处，交给 bootloader 控制权，执行它。

JOS 的 bootloader 由 /boot/boot.s 和 /boot/mian.c 两部分组成，当执行 bootloader 时首先运行的是 boot.s ，所以我们从这里开始看。

找到

# Switch from real to protected mode, using a bootstrap GDT
# and segment translation that makes virtual addresses 
# identical to their physical addresses, so that the 
# effective memory map does not change during the switch.
lgdt    gdtdesc
movl    %cr0, %eax
orl     $CR0_PE_ON, %eax
movl    %eax, %cr0

# Jump to next instruction, but in 32-bit code segment.
# Switches processor into 32-bit mode.
ljmp    $PROT_MODE_CSEG, $protcseg

往前看到

.set CR0_PE_ON,      0x1         # protected mode enable flag

这就是把 CR0 的 0 位改为 1 ，使 CPU 切换到 32 位保护模式的地方。

2.阅读 boot.s 发现在最后它去运行了 main.c 中的 bootmain

# Set up the stack pointer and call into C.
movl    $start, %esp
call bootmain

bootmain，最后一行代码即 bootloader 最后一行代码

// call the entry point from the ELF header
// note: does not return!
((void (*)(void)) (ELFHDR->e_entry))();

整个 bootmain 做的事情就是把 ELF 格式的内核镜像载入内存，然后去叫内核的入口，ELF 格式的详细信息前面的资料有。

这时我们可以说 bootloader 最后一行代码就是去执行 e_entry 启动内核。

那么内核第一句执行的是什么？
先看 main.c

#define ELFHDR		((struct Elf *) 0x10000) // scratch space

内核从内存 0×10000 开始。

但

objdump -x obj/kern/kernel

看到

SYMBOL TABLEL
f0100000 l     d .text 00000000 .text
f010000c g       .text 00000000 entry

0xf01000c – (0xf0100000 – 0×00100000) = 0×0010000c 就是内核入口地址。

内核执行的第一句代码是

movw    $0x1234, 0x472

3. 内核第一句话在 obj/kern/Kernel.asm 中

entry:
        movw    $0x1234, 0x472     #warm boot

4.这个操作系统老实说 ELF 这种格式决定了所有关于 sector 的信息都存在文件头了，bootmain 中把读入的头转换成了 Proghdr，里面就是 sector 的信息，具体以后添加。

Exercise 4

Read about programming with pointers in C. The best reference for the C language is The C Programming Language by Brian Kernighan and Dennis Ritchie (known as ‘K&R’). We recommend that students purchase this book (here is an Amazon Link ) or find one of MIT’s 7 copies= .

Read 5.1 (Pointers and Addresses) through 5.5 (Character Pointers and Functions) in K&R. Then download the code for pointers.c , run it, and make sure you understand where all of the printed values come from. In particular, make sure you understand where the pointer addresses in lines 1 and 6 come from, how all the values in lines 2 through 4 get there, and why the values printed in line 5 are seemingly corrupted.

There are other references on pointers in C, though not as strongly recommended. A tutorial by Ted Jensen that cites K&R heavily is available in the course readings.

Warning: Unless you are already thoroughly versed in C, do not skip or even skim this reading exercise. If you do not really understand pointers in C, you will suffer untold pain and misery in subsequent labs, and then eventually come to understand them the hard way. Trust us; you don’t want to find out what “the hard way” is.

#include <stdio.h>
#include <stdlib.h>

void
f(void)
{
    int a[4];
    int *b = malloc(16);
    int *c;
    int i;

    printf("1: a = %p, b = %p, c = %p\n", a, b, c);

    c = a;
    for (i = 0; i < 4; i++)
	a[i] = 100 + i;
    c[0] = 200;
    printf("2: a[0] = %d, a[1] = %d, a[2] = %d, a[3] = %d\n",
	   a[0], a[1], a[2], a[3]);

    c[1] = 300;
    *(c + 2) = 301;
    3[c] = 302;
    printf("3: a[0] = %d, a[1] = %d, a[2] = %d, a[3] = %d\n",
	   a[0], a[1], a[2], a[3]);

    c = c + 1;
    *c = 400;
    printf("4: a[0] = %d, a[1] = %d, a[2] = %d, a[3] = %d\n",
	   a[0], a[1], a[2], a[3]);

    c = (int *) ((char *) c + 1);
    *c = 500;
    printf("5: a[0] = %d, a[1] = %d, a[2] = %d, a[3] = %d\n",
	   a[0], a[1], a[2], a[3]);

    b = (int *) a + 1;
    c = (int *) ((char *) a + 1);
    printf("6: a = %p, b = %p, c = %p\n", a, b, c);
}

int
main(int ac, char **av)
{
    f();
    return 0;
}

输出结果为

1: a = 0x7fff5e0fe4c0, b = 0x7fca114000e0, c = 0x7fff61701740
2: a[ 0 ] = 200, a[ 1 ] = 101, a[ 2 ] = 102, a[ 3 ] = 103
3: a[ 0 ] = 200, a[ 1 ] = 300, a[ 2 ] = 301, a[ 3 ] = 302
4: a[ 0 ] = 200, a[ 1 ] = 400, a[ 2 ] = 301, a[ 3 ] = 302
5: a[ 0 ] = 200, a[ 1 ] = 128144, a[ 2 ] = 256, a[ 3 ] = 302
6: a = 0x7fff5e0fe4c0, b = 0x7fff5e0fe4c4, c = 0x7fff5e0fe4c1

其中

c = (int *) ((char *) a + 1);

每个 int 占用 4 字节，而 char 占 1 字节，所以（char *）a + 1 的结果为 a 后的 1 字节，再（int *）后，c 为指向由 a[ 0 ] 后 3 字节与 a[ 1 ] 组成的 int 的指针。

观察

6: a = 0x7fff5e0fe4c0, b = 0x7fff5e0fe4c4, c = 0x7fff5e0fe4c1

结论得证。

Exercise 5

Trace through the first few instructions of the boot loader again and identify the first instruction that would “break” or otherwise do the wrong thing if you were to get the boot loader’s link address wrong. Then change the link address in boot/Makefrag to something wrong, run make clean, recompile the lab with make, and trace into the boot loader again to see what happens. Don’t forget to change the link address back and make clean again afterward!

Exercise 6

We can examine memory using GDB’s x command. The GDB manual has full details, but for now, it is enough to know that the command x/Nx ADDR prints N words of memory at ADDR . (Note that both ’x’s in the command are lowercase.) Warning: The size of a word is not a universal standard. In GNU assembly, a word is two bytes (the ‘w’ in xorw, which stands for word, means 2 bytes).

Reset the machine (exit QEMU/GDB and start them again). Examine the 8 words of memory at 0×00100000 at the point the BIOS enters the boot loader, and then again at the point the boot loader enters the kernel. Why are they different? What is there at the second breakpoint? (You do not really need to use QEMU to answer this question. Just think.)

BIOS 刚进入 boot loader 时，内存里只有从 0×7c00 开始的 boot loader，它有（待填）大，0x00100000 空，boot loader 执行完把内核载入到从 0×10000 开始的地方，0x00100000 区域被用来放内核了，里面内容不再为空。Easy？

Part 3: The Kernel

Exercise 7

Use QEMU and GDB to trace into the JOS kernel and stop at the movl %eax, %cr0. Examine memory at 0×00100000 and at 0xf0100000. Now, single step over that instruction using the stepi GDB command. Again, examine memory at 0×00100000 and at 0xf0100000. Make sure you understand what just happened.

What is the first instruction after the new mapping is established that would fail to work properly if the mapping weren’t in place? Comment out the movl %eax, %cr0 in kern/entry.S, trace into it, and see if you were right.

%eax, %cr0

后启用了虚拟地址转换，然后 0xf0100000 就被映射成 0×0010000，所以都一样了。

Exercise 8

We have omitted a small fragment of code – the code necessary to print octal numbers using patterns of the form “%o”. Find and fill in this code fragment.

终于开始要写代码了，第一个问题非常简单，找到 printfmt.c 中的 vprintfmt 函数

void vprintfmt(void (*putch)(int, void*), void *putdat, const char *fmt, va_list ap)

里面处理了各种参数，很好玩的是，这个函数的实现用了 goto 语句，找到 case “o” ，这就是 8 进制相关的代码，照猫画虎，改成:

case 'o':
	num = getuint(&ap, lflag);
	base = 8;
	goto number;

好了，我们的 print 函数升级了，重新运行 JOS，不开 debug，输出如下：

6828 decimal is 15254 octal!

Be able to answer the following questions:

1. Explain the interface between printf.c and console.c. Specifically, what function does console.c export? How is this function used by printf.c?

printf.c 中的

static void
putch(int ch, int *cnt)
{
	cputchar(ch);
	*cnt++;
}

调用了 console.c 中的 putch，它的功能就是和硬件打交道打印一个字符

// output a character to the console
static void
cons_putc(int c)
{
	serial_putc(c);
	lpt_putc(c);
	cga_putc(c);
}

2. Explain the following from console.c:

if (crt_pos >= CRT_SIZE) {
    int i;
    memcpy(crt_buf, crt_buf + CRT_COLS, (CRT_SIZE - CRT_COLS) * sizeof(uint16_t));
    for (i = CRT_SIZE - CRT_COLS; i < CRT_SIZE; i++)
        crt_buf[i] = 0x0700 | ' ';
        crt_pos -= CRT_COLS;
}

3. For the following questions you might wish to consult the notes for Lecture 2. These notes cover GCC’s calling convention on the x86.
Trace the execution of the following code step-by-step:

int x = 1, y = 3, z = 4;
cprintf("x %d, y %x, z %d\n", x, y, z);

In the call to cprintf(), to what does fmt point? To what does ap point?
List (in order of execution) each call to cons_putc, va_arg, and vcprintf. For cons_putc, list its argument as well. For va_arg, list what ap points to before and after the call. For vcprintf list the values of its two arguments.

fmt 指向 “x %d, y %x, z %d\n” 的头，也就是" " "，ap指向 xyz 所组成内存区域的头，也就是 x。

4. Run the following code.

unsigned int i = 0x00646c72;
cprintf("H%x Wo%s", 57616, &i);

What is the output? Explain how this output is arrived at in the step-by-step manner of the previous exercise. Here’s an ASCII table that maps bytes to characters.
The output depends on that fact that the x86 is little-endian. If the x86 were instead big-endian what would you set i to in order to yield the same output? Would you need to change 57616 to a different value?

Here’s a description of little- and big-endian and a more whimsical description.

得到打印结果是

He110 World!

根据 ASSIC 表查到 0×00646c72 对应：

d     100 0144 0x64
l     108 0154 0x6c
r     114 0162 0x72
(nul)   0 0000 0x00

57616 十六进制对应:

e11

看对应结果知道我们的机器是 big-endian.

5. In the following code, what is going to be printed after ‘y=’? (note: the answer is not a specific value.) Why does this happen?

cprintf("x=%d y=%d", 3);

当 printfmt 的 ap 去找 y 的时候，那块内存区域没有被正确赋值，所以内容不是我们想要的。

6. Let’s say that GCC changed its calling convention so that it pushed arguments on the stack in declaration order, so that the last argument is pushed last. How would you have to change cprintf or its interface so that it would still be possible to pass it a variable number of arguments?

The Stack

Exercise 9

Determine where the kernel initializes its stack, and exactly where in memory its stack is located. How does the kernel reserve space for its stack? And at which “end” of this reserved area is the stack pointer initialized to point to?

entry.S 中 stack 初值被设置为空指针 0×0

# Clear the frame pointer register (EBP)
# so that once we get into debugging C code,
# stack backtraces will be terminated properly.
movl    $0x0,%ebp           # nuke frame pointer

# Set the stack pointer
movl    $(bootstacktop),%esp

# now to C code
call    i386_init

再看定义：

.data
###################################################################
# boot stack
###################################################################
    .p2align    PGSHIFT     # force page alignment
    .globl      bootstack
bootstack:
    .space      KSTKSIZE
    .globl      bootstacktop   
bootstacktop:

stack 大小 KSTKSIZE (32KB)，栈低就是 bootstacktop。

Exercise 10

To become familiar with the C calling conventions on the x86, find the address of the test_backtrace function in obj/kern/kernel.asm, set a breakpoint there, and examine what happens each time it gets called after the kernel starts. How many 32-bit words does each recursive nesting level of test_backtrace push on the stack, and what are those words?
Note that, for this exercise to work properly, you should be using the patched version of QEMU available on the tools page or on Athena. Otherwise, you’ll have to manually translate all breakpoint and memory addresses to linear addresses.

这个在北京大学 JOS 实验一中说的很清楚了，共 32bit 被压入栈中。

Exercise 11

Implement the backtrace function as specified above. Use the same format as in the example, since otherwise the grading script will be confused. When you think you have it working right, run make grade to see if its output conforms to what our grading script expects, and fix it if it doesn’t. After you have handed in your Lab 1 code, you are welcome to change the output format of the backtrace function any way you like.

Exercise 12

Modify your stack backtrace function to display, for each eip, the function name, source file name, and line number corresponding to that eip.
In debuginfo_eip, where do __STAB_* come from? This question has a long answer; to help you to discover the answer, here are some things you might want to do:

look in the file kern/kernel.ld for __STAB_*
run i386-jos-elf-objdump -h obj/kern/kernel
run i386-jos-elf-objdump -G obj/kern/kernel
run i386-jos-elf-gcc -pipe -nostdinc -O2 -fno-builtin -I. -MD -Wall -Wno- format -DJOS_KERNEL -gstabs -c -S kern/init.c, and look at init.s.
see if the bootloader loads the symbol table in memory as part of loading the kernel binary
Complete the implementation of debuginfo_eip by inserting the call to stab_binsearch to find the line number for an address.
Add a backtrace command to the kernel monitor, and extend your implementation of mon_backtrace to call debuginfo_eip and print a line for each stack frame of the form:

K> backtrace
Stack backtrace:
  ebp f010ff78  eip f01008ae  args 00000001 f010ff8c 00000000 f0110580 00000000
         kern/monitor.c:143: monitor+106
  ebp f010ffd8  eip f0100193  args 00000000 00001aac 00000660 00000000 00000000
         kern/init.c:49: i386_init+59
  ebp f010fff8  eip f010003d  args 00000000 00000000 0000ffff 10cf9a00 0000ffff
         kern/entry.S:70: <unknown>+0
K>

Each line gives the file name and line within that file of the stack frame’s eip, followed by the name of the function and the offset of the eip from the first instruction of the function (e.g., monitor+106 means the return eip is 106 bytes past the beginning of monitor).
Be sure to print the file and function names on a separate line, to avoid confusing the grading script.
Tip: printf format strings provide an easy, albeit obscure, way to print non-null-terminated strings like those in ST ABS tables. printf(“%.*s”, length, string) prints at most length characters of string. Take a look at the printf man page to find out why this works.
You may find that some functions are missing from the backtrace. For example, you will probably see a call to monitor() but not to runcmd(). This is because the compiler in-lines some function calls. Other optimizations may cause you to see unexpected line numbers. If you get rid of the -O2 from GNUMakefile, the backtraces may make more sense (but your kernel will run more slowly).

两个练习合起来一起做:

eip_debuginfo 中实现查找行数的代码，具体为什么这么实现，实际上我就是按照代码注释说的逻辑翻译成代码。

  stab_binsearch(stabs, &lline, &rline, N_SLINE, addr);
  if(lline > rline)
    return -1;
  info.eip_line =  stabs[rline].n_desc;

在终端中加入 backrace 命令：

static struct Command commands[] = {
    { "help", "Display this list of commands", mon_help },
    { "kerninfo", "Display information about the kernel", mon_kerninfo },
    { "backtrace", "Display function stack one line at a time",mon_backtrace},
};

弄明白 debuginfo_eip ，利用它实现 mon_backtrace：

int
mon_backtrace(int argc, char **argv, struct Trapframe *tf)
{
    uint32_t *ebp = (uint32_t*)read_ebp();
    struct Eipdebuginfo info;

    cprintf ("Stack backtrace:\n");
    while (ebp != 0x0){
        cprintf (" ebp %08x eip %08x args %08x %08x %08x %08x %08x\n", ebp, ebp[1]
                 , ebp[2], ebp[3], ebp[4], ebp[5], ebp[6]);

        debuginfo_eip(ebp[1],&info);    
        cprintf ("%s:%d: %.*s+%d\n",info.eip_file
                    ,info.eip_line
                    ,info.eip_fn_namelen,info.eip_fn_name
                    ,ebp[1]-info.eip_fn_addr);

        ebp = (uint32_t*) ebp[0];
    }

    return 0;
}

好了，这时候运行 :

make grade

实验一完成。

学操作系统

2012-10-13T00:00:00-07:00

大三了，这学期有一门完全翘不了的课叫“金工实习”，于是很少去公司转悠（每周一次）。不过有好有坏，有门讲操作系统的课，课程和老师都很有意思，我和几个同学一个小组跟着 MIT 6.828 Operating System 一起，边学原理边写操作系统。

6.828 teaches the fundamentals of engineering operating systems. You will study, in detail, virtual memory, kernel and user mode, system calls, threads, context switches, interrupts, interprocess communication, coordination of concurrent activities, and the interface between software and hardware. Most importantly, you will study the interactions between these concepts, and how to manage the complexity introduced by the interactions.

课程实践分六个实验

Booting
Memory management
User-level environments
Preemptive multitasking
File system and spawn
A shell

大概看了一下，从汇编到寄存器，从内存管理到分页策略啊什么的都要涉及。

每个实验都涉及大量知识，我大二这一整年在公司没好好学汇编和计算机组成原理，准备知识上差一大截，借这个机会正好给补上。

实验会用到 Git¹，于是我把整个实验放到了 Github 上，回顾比较方便。

fn1: Git (/ɡɪt/) is a distributed revision control and source code management (SCM) system with an emphasis on speed

面孔

2012-09-15T00:00:00-07:00

鼠标

2012-09-14T00:00:00-07:00

做七天阿米什人

2012-06-29T00:00:00-07:00

今天是考前回家休息的第一天，无法完全静下来学习，人人网、新郎微博、Flipboard、Reeder、V2EX 翻了个遍。我这么一个自制力弱且有拖延症的人遇上考试，这么干是很合乎情理的…

我必须静下来，过两天清静日子。

Kevin Kelly 在『What Technology Wants』中提到生活在北美的阿米什人，过着尽量远离科技的生活，他们没有电视，没有互联网，拥有相对较少的选择，纯朴而满足。我相信 Kevin Kelly 说的不是鬼话，我遇到过几位没有 QQ，没有注册任何 SNS，联络用邮件的人，他们都活的好好的，那我也应该试试。

计划如下：

封印除了 Path 外的 SNS
删掉各类微博应用
每晚记录实验结果
除需要查资料和更新博客外不上网

Untitled

2012-05-21T00:00:00-07:00

我就是压力再大也不会影响心情的人，早晨被老娘的电话叫起来后，泡了杯绿茶，天空整个被灰白的云罩住，我靠在木椅子上边喝茶边看 Flipboard。

上班路上读到扎克伯格为了检测自制力「2009年整年带领带上班，去年只吃自己杀死的动物，今年重新开始学习编程」后想起自己年初定下的「180天不睡懒觉」这个基本完不成的大计划，它就要被完成了。

望着前些日子麻烦的项目一个个按部就班排队被搞定，长得越来越快的胡子和我那烫破了皮儿的本儿，我才发现大二这一年过得可真够快的。

读完一本书

2012-04-23T00:00:00-07:00

最近物欲膨胀，虽然在积极的简化生活，但还是有很强的被物质奴役的感觉，每次出门前对着的书包，我都会花上五分钟去想这回放什么。

这个周末静下心来看继续看《松本行弘的程序世界》才意识到多久没有去看书，而不是 RSS 上的某篇文章。这时我不得不担心自己的大脑结构已经被互联网塑造成什么样子了。

看到自己在豆瓣上标记为正在读状态的书是五本，是时候一本一本来了。

寒假实践报告

2012-03-05T00:00:00-08:00

做了

累计工作 25 个工作日，加班 1 天
- 累计上班总路程: 30×2×25 = 600 (公里)
- 累计上班时间: 9×25 = 225 (小时)
一款用 C++ 写的移动软件
- 5000 多行代码
- 基于网络
- 用时半个月

写脚本在十几万条数据中匹配筛选
- 用的 Bash
- grep
- awk
- sed

呼吸了一下午微软大楼里的空气，然后就滚了

学了

一点 Bash
一点编程思想
一点如何做人
一点 .NET 和 C#

感悟了

别闹
要淡定
要谦虚
少说话多做事儿
不当家不知道油盐贵
一定得有那么一次翘课旅游
Android 弱爆了

Bada Form Manager

2012-01-18T00:00:00-08:00

最近在接触移动应用方面的开发，入门没多久，随着深入，开始有了一点思考。

“Form 切换”是每个移动软件开发者要面对的问题，如果这里实现的好了，心情会好很多。

曾经的实现

原理很简单，每个 Form 负责切换到相关 Form, 处理创建 Form、删除Form、传递参数给 Form的任务，逻辑很复杂，而且造成非常多的重复代码，浪费时间。
当 Form 种类，数量变多时，那就是梦魇。这不是一个好方法。

更好的实现

一个更好的办法？单独的 Form Manager 处理所有切换请求，

它具有:

方便的切换
自动清理不用的 Form
记录点击 Form 的历史

也就是说 FormMgr 会记录 Form 被创建的顺序。自动返回上一个 Form 并删除子 Form。

Form 被创建的顺序放堆栈中来实现记录顺序的功能。

新的入口

2012-01-15T00:00:00-08:00

刚刚放假，趁着一切都还没有开始，我为这里修建了一个新的入口 → 。

一切都基于『钥匙』，不同的钥匙打开不同的门。
那里是我所创造的世界，它不会给你太多指引，它需要你探索。
入口处的告示牌会有小小的提示，比如钥匙的数量。

现在拿着『ZH』这把钥匙去试试吧。

2011

2012-01-02T00:00:00-08:00

除了外表，这一年一切都变了。

不过这确实是我想要的，在不断的微小提升中获得幸福感。

大家都在做并不说明你该去做，不是每天被梦想叫醒的话，那不是活着。

Christmas

2011-12-25T00:00:00-08:00

Christmas ，圣诞节，基督弥撒的简称。这天基督徒们举行特别的仪式庆祝耶稣的诞生。

一如既往我什么也没有庆祝。用过三餐，喝了几杯咖啡，雀巢的。

三天前，左手的中指、无名指、小拇指被一把非常锋利的剑割伤，小拇指肌腱部分断裂，如果事情发生时我再用一点力，恐怕肌腱会完全断裂，小拇指永远失去活动能力。

这意外发生在一瞬间，刀刃瞬间划过表层皮肤，伴随巨大压力继续切入深处，这一切快到神经没来得及反应便被切断，没有痛感，流了这辈子最多的血。

在未来的一到两年受伤的肌腱会逐渐长好，那是一段漫长的时间，足够一个人发生一次以上的巨变。

两年后，我应该会在圣诞节做些比憋在家里养伤更有趣的事情吧。

iOS 和我

2011-11-13T00:00:00-08:00

几个月前手里的 Nokia C5 阵亡了，相继用了公司借我的 Samsung S8500 和三星送的 Samsung 7250 后我得出一结论：



三星自主的 Bada 真是太棒了，我用它这几个月 QQ 不挂，短信能不发就不发，甚至都不打电话了，这诡异的可触摸长方体在我身上竟然跟BB机没区别。

眼馋 iOS 好一阵子后，我终于在一个月前买了 iPod Touch 4，稍微把自己拉出了泥沼。发现前方一片光明。

在这里总结一下我使用 Touch 的经历。

我的原则是：



生命有限，绝不放在无止境地尝鲜上，有那些时间我会去做更多有有趣的事情。应用尽量的少而精，该花钱就花钱，

首先，刚买回来我便将它升到了 iOS 5，利用 iCloud 得到了丝绸般顺滑的同步体验。

Reminder

Get Things Done 类的程序最重要的是速度快，同步，简单。这个在 iOS 5 后内建的程序都做到了。

Mail

It just works.

Instapaper

按作者的话说“A simple tool to save web pages for reading later.”
整个流程非常的简单，当你想要把当前页面保存下来，点一下书签栏的“ Read it Later ”，boom,完成了。
程序会把这篇文章的内容提取出来，很认真的排版，方便阅读。

instagram

保存我生命中某个有意义时间点的工具，即使是 iPod Touch 这种像素很低的设备 instagram 也能照出很好的效果。

Dropbox

这是一个同步存储服务，它会把你电脑上的某个文件夹同步到你所有的设备中。永远不会丢。

例子：有一个课件你想路上看，把它放到文件夹中，打开 Dropbox ，打开，看。

Sleep Cycle

你有过起床以后头疼的经历吧？人睡眠分深睡眠和浅睡眠两种状态，如果你在深睡眠强行被叫醒，那你就头疼了。
它就是解决这个问题的。
这软件神了，你睡前设定闹铃，把它放在身旁，它利用设备内置的加速度传感器分析你身体的震动，判断你处于哪种睡眠状态并纪录，用最适合的声音慢慢把你叫醒。

Nike Training

你的健身减肥教练。里面有非常详尽的健身指导。

下厨房

首先，下厨房是一个美食网站，有非常多菜谱。看的总让人流口水。
其次，网站设计的非常干净，我比较在意这个，我从这个网站学到了许多设计上的东西。
再其次，在 Beijing Open Party 上听过创始人《将感情融入产品》的演讲，有好感。
最后，iOS 版本延续了网站的风格。

豆瓣电台

根据你的喜好来播放音乐，我爱豆瓣。

拓词 – 背单词利器
OuO – 卖萌专用
知乎
Days Matter
随手记
植物大战僵尸
水果忍者
微信
飞聊
人人网
Twitter

R.I.P.

2011-10-06T00:00:00-07:00

密密麻麻记录着 ET 降落地点的地图，某间属于我的巨大空旷房间，老旧残缺的暗色调图书馆。最近的梦都很奇幻，每个背后都藏着一个巨大的故事，我看到的只是几个点，几条不交错的线。过去的几个月里，我曾经历过一段完全无梦的日子，这个十一，它们集中爆发了。

但今天 Steve Jobs 的过世并不是梦，我有些伤心，留下了眼泪，感觉就像一个亲戚走了。所以我试着写点什么去具象化此时的情绪，但无以表达。所以我决定在此时停笔，与其用拙劣的语言不如保持沉默，在沉默中祈祷，祈祷。

Rest in Peace Steve.

一些想法

2011-09-18T00:00:00-07:00

过完七月某个悠闲下午，我跨过了大一这一年。

总结性的概括说，我在人生的路上前进了不大的一步，经历了几次崭新的体验。

内在的，更坚定，更承认自我，更可以在某些时候无耻。

外在的，世界在大一一年有了某种更为广阔的延伸。

挖了几个坑，努力地填。

过去做的

跷了许多的课，挂了三科。

疯狂的买过书，无耻的吃过霸王餐，谈过一个不长的恋爱。

与许多人相识，与几人要好，与两人陌路。

建设了一个在线社区，当了一个社团的社长。

开发了两个手机软件，错过了与三星高层交流的机会。

买了一个 Kindle 3 3G，企图扔掉实体书，最终失败。

在学校之间骑车来回几十次，大腿见粗。

夏去秋来，冬去春来，轮回间，一年就这么算不上浑浑噩噩的过了。

现在做的

让社团往好的方向行进。

维护开发在线社区，让手头的两个软件不再坑爹。

准备补考高等数学下，立誓哥要好好的把这学期的都过了。

当然坑还在不断的挖与填。

关于生活

生活需要慢下来，如许多人，太浮躁，节奏快到无法看清周围的景象。

我记得有一种病叫【下载控】

信息成瘾症。

他们不断的下载，爬过每一条链接，寻找有价值的资源。

他们硬盘里分门别类的放慢了各种公开课、学习资料、音乐全集、软件安装包、系统安装镜像。

他们在不与世界进行比特通信的时候，似乎会产生焦虑。

那么，知识他们消化了吗？一半都没有。

我们都有自己的生活，但活在如此世界，似乎有些可悲。

我曾经也是如此，所以如今努力改正。

幸福感是建立在不断的微小自我提升上，自我之外的都不算数。

关于盗版软件

信息成瘾我相信在中国是更普遍的，它的另一种表现形式是【不断的尝鲜】。

我们获取软件相比外国少了【花钱】这步。

好了说是缺少版权意识，但终归是道德问题。

我开始在软件上花钱，我不喜欢双重标准。

感兴趣的

源于业界对 C++ 的偏见，对 JAVA 的不看好。

这两门语言，前者本人不打算深入，后者不学了。

Python 与 Ruby 更为适合我更快地将所想带入现实。它们激起了我心中的小桃心。

我对聚集我认同的人这件事需要的方法和需要经过的途径也非常感兴趣。

在微软创新实验室在线社区的 Mission 中我写道：

「推动人才涌现的最大因素就是，让有天赋的人聚集在一起，共同解决某个难题，互相激励比天赋更重要。」－《Hacker & Painter》  

我们来自五湖四海，聚集在一起，却缺少一个便捷的平台来互相激励与交流，mslab.me 以解决此问题为使命。 

mslab.me 是为了大家而存在的。它希望大家的生活因其而更轻松简单一点。

【聚集】后互相【激励】，我要营造一个如此的气氛。

参加 Beijing Linux User Group & Beijing Open Party 后，我喜欢上了他们的氛围。

CEO 会给你聊聊想法，谈谈梦想。项目经理带领你思考问题。

这是我在大学也希望看到。

如果在年级或班级这个范围内无法营造的话，那我就在更小的圈子让它出现。

时间荏苒，瞧，大二已经来了。

革命尚未成功，同志仍需努力。

2011暑假

2011-08-28T00:00:00-07:00

假期便意味着你有很大一段时间去探索人生，去看或是平淡或是惊艳的风景，我喜欢探索，去做疯狂的事。

去年的此时，大学前的真空期，我每天和好朋友沉浸在文字的乐趣中，那是记忆中最好的假期。

如今，我很高兴的发现自己正处于生命中一个更好的假期。

一些高亮

＊写了最多的 HTML 代码，创建了 mslab.me - 一个刚生出来的婴儿社区
＊写了最多的 C++ 代码 - 重构三次,开发了豆瓣电台doubanFM,并在期间暴力过滤JSON
＊达成了 500KM 的自行车里程，第一次受很重的伤，并第一次不眨眼用酒精清洗伤口。
＊远离社交网络
＊重开了博客，应用了一个满意的模版
＊开始用 Markdown 语法写作 - 这节省了我很多时间
＊俯览平流层下方静止的巨大白色柱状云
＊在海拔4000米的地方见到了最美的景色，并有了缺氧体验

＊乘坐亚洲最长的缆车
＊结交了为乐趣而不是钱而生活的人
＊参加了一个最有趣的婚礼
＊吃了油炸的某种昆虫
＊开始履行一个社长的职责
＊删除所有盗版应用，不再剽窃。
＊完全放弃一个人

还有

它同时也是一个没有任何心仪异性的假期，实体书阅读量最少的假期，在咖啡厅累计时间最长的假期。

另外，它还在继续。

Ground Zero

2011-08-24T00:00:00-07:00

停止了偷窃行为，删除了所有的盗版软件。

目前常用的如下

iLife 11
Evernote
QQ
OmmWriter
Wunderlist
MindNode
FanRadio
Xcode
Time Out Free

近期打算入手

Byword
Keynote
Mac OS X Lion

在不远的未来，我对手头软件的利用率会提高很多。

接下来，迎接转型期。