Development

简单记一笔，感谢 Stanford 的 数据库入门 课程课后作业 (有人在 StackOverflow提问)。复习一下。

应用场景：找出一家能制作全部30岁以上人士需要的Pizza种类的Pizza店。

在示范数据库中给出的四个关系：

Ruby 从下一个版本，也就是 1.9.3 开始，从原先的 GPLv2 许可证换成了 2-clause BSD 许可证（大体上相当于 MIT 许可证）。

早期 Ruby 采用的是自由软件基金会推荐的 GPLv2 or later 许可证方式。在实际操作中这种许可方式十分常见，这种许可证方式包含两层意思：

今天同事跑来问我为什么没办法checkout一个子目录，发现svn提示说某个目录已有既有的、未有版本的副本（这是一个新的checkout）。

删除重新checkout，问题依旧。

基于 LLVM 的一个 小检查器。如果代码经手人很多，或者经过了大规模的改写，这个工具就很有用了。使用说明 在此。

syslogd 的 -8 参数可以让汉字通过。以下摘自 manual page：

1
2
3
4
5
6

     -8      Tells syslogd not to interfere with 8-bit data.  Normally syslogd
             will replace C1 control characters (ISO 8859 and Unicode
             characters) with their "M-x" equivalent.  Note, this option does
             not change the way syslogd alters control characters (see
             iscntrl(3)).  They will always be replaced with their "^x" equiv‐
             alent.

不过这事有点坑人，为啥默认不 -8 呢？出于安全方面的原因吗？差点就开始改代码了……

今天 强迫症 朱小瘦同学提到一个非常有意思的问题，一个32bit的无符号整数算术右移32个bit应该得多少？

我们知道算术右移一个bit相当于除2，所以一个32bit无符号整数除以 $2^{32}$，理论上，应该得0。

然而事实不是这样。测试显示在 x86 系统上，一个32bit无符号整数算术右移32个bit之后得到的是原数。例如下面这个测试程序：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

#include <stdio.h>

int
main(void /* int argc, char **argv */)
{
	unsigned int a = 0x5a5a5a5a;

	a >>= 32;

	printf("%x\n", a);

	return 0;
}

不启用任何优化的话，编译出来的程序得到的结果是：

5a5a5a5a

更进一步，我们将上面的测试改写为：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13

#include <stdio.h>

int
main(void /* int argc, char **argv */)
{
	unsigned int a = 0x5a5a5a5a;
	int i;

	for (i=0; i<33; i++)
		printf("%x\n", a >> i);

	return 0;
}

以前一直没注意过这个问题，今天在邮件列表看到 Matthew Flemming 发的邮件才知道实际上 C 标准并不保证 sizeof(void *) == sizeof(int(*)(void))。不过，几乎所有的现代系统上这个等式都是成立的。

续前。

除了硬件上直接采用的降噪措施之外，一些软件方面的配置也可以提高其效果。

首先是BIOS中的配置。风扇转速最低可调整为"Energy Saving"（即使用30%的频率）。启用Active Power State之后，可节省大约2W左右的耗电（这个选项的默认值是Disabled）。

然后是FreeBSD本身的配置。我个人采用的配置包括：

• 禁用硬盘的APM。WD的这款硬盘默认的APM值为128，这样它每隔大约10秒没有操作时就会将磁盘转速降低。这类操作对磁盘的寿命有一定影响（一般来说磁盘的机械部分支持10万到20万次这样的操作），因此可将其设为254；
• 启用磁盘的AAM。这个配置的好处是让磁盘控制其磁头臂的加速度，其效果是减少噪音，并且有一定的节能效果。注意：实际测试显示这个设置产生的节能效果基本上可以忽略不计，并且会稍微降低一些性能。磁盘的AAM数值设置为128（默认为254）；
• 将经常写的日志放到 /tmp （使用tmpfs）；
• 将收集entropy（随机数种子）的频率由每11分钟一次降低到每天一次；
• 启用 AHCI 磁盘驱动；将ahci通道的pm_level全部设置为5（设备在闲置125ms之后可申请通道链路进入SLUMBER模式）
• 禁用APIC时钟。
• 禁用AT RTC时钟。
• 对于没有驱动的PCI设备，将其置入D3模式（停电）。

上述设置，除了ahci部分之外，可将系统闲置时的功耗降低到17W左右。

以下是实现中采用的loader.conf相关的部分：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10

hint.apic.0.clock=0
hint.atrtc.0.clock=0
hw.pci.do_power_nodriver=3
hint.ahcich.0.pm_level=5
hint.ahcich.1.pm_level=5
hint.ahcich.2.pm_level=5
hint.ahcich.3.pm_level=5
hint.ahcich.4.pm_level=5
hint.ahcich.5.pm_level=5

最近遇到一些奇怪的bug，因为是对恢复时间有比较高要求的系统，所以顺便研究了一下用FreeBSD的textdump来代替更早前出现的minidump的方法。

周末抽时间对网站做了一些调整。主要是把网站迁移到nginx上，不过遇到一些问题。Movable Type以FCGI::Spawn运行的时候，有时会反复出现先前的页面（例如，在mt.cgi上登录时，在提交登录之后仍会出现登录界面，而不是正常完成登录）。用ktrace看了一下FastCGI进程，结果发现之前看到的资料里面有相当多的小问题，但这个问题最终没有解决，暂时起了一个Apache来以cgi方式处理来绕过问题了。