live4thee

为他人惠

2010-08-05T18:35:00.001+08:00

最近业余在翻译一篇教程“Understanding Haskell Monads”，取得了原作者的同意后准备将其译为中文，现在是用xelatex排版的，放在了github里。对于没有TeX环境的同学，可以直接阅读生成的PDF文档(会不定期更新)。

本人对于翻译没有什么经验，特别是对于一些专业术语，踟蹰良久，自己重读的时候有些地方也感觉多少有点拗口。如果有表达不清楚或者不准确的地方，欢迎拍砖。

How to make debugging easier

2010-08-03T15:59:00.001+08:00

本文系为组内NewsLetter创刊所写，属于“Experience Sharing”一节。本文不算是个正儿八经的东西，缺了点插图，多了些罗嗦。

“Debugging is twice as hard as writing the code in the first place. Therefore, if you write the code as cleverly as possible, you are, by definition, not smart enough to debug it.”

– Brian Kernighan

So, what is debugging?

“The process of identifying divergences between the intent and the implementation is known as debugging. It is hard to do this if the intent is not known.”

– Robert Love, “Linux Kernel Development”

Among citations about debugging, the above two are my favorite. I myself learned the following lessons and glad to share with you.

Clean and simplicity is the most crucial elements for writing good software. Only with a clean interface and abstraction layer we can make our intention clear, thus easy for maintenance and debugging. This is essentially the first step toward reliable software.
Write test code to express intention. Each test case is a precise definition of an interface, and they can help produce regression bugs when developers are in continuous integration or after refactoring. Update test case along with a bug fix.
Test your code as soon/much as possible. Test cases mostly are dealing with logic defects, while there are other factors of good software: memory usage, code efficiency and security concerns etc. Use all the tools you know to test and profile your code, before its releasing to QA engineer, at least before its deploy in end-user environment.
Make invisible things visible. Log crucial actions in your code. One of my tips for debugging static compiled language such as C/C++ is to add some debug functions in the code which is surrounded by #ifdef DEBUG and #endif. For example, if there is a ring buffer shared by multi-threads, and you can add an print_ringbuf(), and use “call print_ringbuf()” in GDB to dump it.
Manage your code with a VCS tool. I personally prefer Hg and Git, since they provide a fast `grep’ command to lookup the whole repository. Also it’s easy and fast to do a diff between different change-sets or branches.

Last but not least, I’d like to say that do NOT rely on debugging techniques! Instead, we should try the best to write comprehensive software and avoid debugging. Imagine you will never have a debugger and “always program as if the next person who will maintain your code was a psychopath killer that knows where you live”. I believe it will make you a better programmer!

ntpdate

2010-07-30T10:39:00.001+08:00

前些日子 qhe 说我在 github 上的 commit 时间有点错乱，我看了一下果然如此。三台虚拟机中最离谱的是我笔记本上vmware workstation里跑的 ArchLinux，`date’ 命令的显示结果和真实时间差了几乎两天。

网上搜了一下，vmware 官方有份文档写的很赞：
Timekeeping in VMware Virtual Machines

我的解决方法很省事，直接用ntp吧：

yaourt -S ntpdate

sudo ntpdate pool.ntp.org

勇敢的虾

2010-07-30T10:38:00.001+08:00

晚餐图省事，买了点基围虾。看着它们一个个活蹦乱跳的不想安分的呆在盆子里，于是我就在上面罩了一只塑料漏筛。没想到居然镇不住这些小东西。

丢了葱姜的水慢慢煮沸，翻过来拿起漏筛望锅里倒。虾之将死，其跳也快。没想到有一只居然凌空一个弧线跳在锅外。我一把抓住望锅里扔，在丢入的一刹那，它用力掀起一尾沸水，精准的打中我的右手臂。勇哉，斯虾！

有打破牢笼的强烈欲望，有求生的坚决意志，有玉石俱焚的无畏精神。吾为人尚不如虾。

llscheme – 3 – interpreter

2010-07-28T14:51:00.003+08:00

qhe 同学为 llscheme 加了一个 interpreter 接口，安装好之后 `llscheme -i’ 即可进入解释器。然而在开发过程中间碰到了一个有趣的问题：我们有个lsrt_error()，调用它会导致进程结束。这对于编译出来的代码是没问题的，然而对于解释器，大家可能希望它打印错误信息后能继续工作。

解决该问题的办法是在lsrt_error()调用exit(-1)之前插入一个钩子函数，并且该钩子函数式个弱符号(weak symbol)，我们只在调用解释器的时候定义该钩子函数：

extern "C" void lsrt_exit_hook() { throw Error(""); }

函数lsrt_exit_hook()假模假式的抛了个异常，避免了对exit(-1)的调用，而解释器只要捕获改异常，然后继续REPL即可。完整补丁：

git diff 1a6bd0..6749de

工作札记 (12)

2010-07-14T15:33:00.000+08:00

工作中最不解的事情之一是人们喜欢以工作经验来衡量一个员工，而衡量工作经验的那个重要参数却是工作时间。比如：某某有两年工作经验。窃以为这和论资排辈没啥区别。

前段时间在朋友分享的一篇文章中看到一句话：

你以为你有十几年工作经验，其实你只是一年工作经验用了十几年；你以为你犯了几百个错误，其实你只是一个错误犯了几百次；舍近求远和原地踏步，是我们职业生涯里最容易习以为常的状态。

现实生活中少有对自己的梦想坚持不懈者。“有些人能清楚地听到自己内心深处的声音，并以此行事，这些人要么变成了疯子，要么成为传奇”。《秋日传奇》

llscheme - 2 - profiling

2010-07-09T00:24:00.005+08:00

本文谈谈怎样对llscheme生成出来的代码进行性能剖析。假设有个示例程序fib.scm，它会算出第一千个斐波那契数。我想到两种方法：

利用传统的gprof工具链
- CFLAGS='-lpg' ./autogen.sh --prefix=/usr (保证运行时库是以'-lpg'编译的)
- sudo make install
- llscheme -S -o fib.ll <>
- llc fib.ll (得到 fib.s 本地CPU汇编代码)
- gcc -pg fib.s -o fib -llsrt -lgc -lgmp
  这样运行./fib确实会得到gmon.out，但接下来跑 gprof 却得不到任何剖析数据。具体原因有待分析。
利用LLVM自己的profiler - llvm-prof，它需要一个LLVM bitcode文件作为输入。为此，我们得先把llscheme的运行时库打包成LLVM字节码，而不是用autotools那一套生成出来的共享库liblsrt.so。
- cd llscheme/src/runtime
- clang -emit-llvm -c *.c -I./include -I../include
- llvm-ar rcs liblsrt.bca *.o
- llvm-as fib.ll
- llvm-ld fib.bc liblsrt.bca -lgmp -lgc -o fib (这一步会生成可执行文件fib，以及对应的字节码文件fib.bc - 会把老的覆盖掉)
- perl profile.pl fib.bc -load /usr/lib/libgmp.so -load /usr/lib/libgc.so 这样就能输出详细的剖析数据。

profile.pl 来自 LLVM 的 subversion 仓库，不过这个脚本有点问题。我有一个小补丁：
--- profile.pl.old 2007-09-12 01:09:54.000000000 +0800
+++ profile.pl 2010-07-07 13:13:55.282462603 +0800
@@ -65,10 +65,10 @@
my $libdir = `llvm-config --libdir`;
chomp $libdir;

-my $LibProfPath = $libdir . "/profile_rt.so";
+my $LibProfPath = $libdir . "/libprofile_rt.so";

system "opt -q -f $ProfilePass $BytecodeFile -o $BytecodeFile.inst";
system "lli -fake-argv0 '$BytecodeFile' -load $LibProfPath " .
- "$BytecodeFile.inst $ProgramOpts " . (join ' ', @ARGV);
+ (join ' ', @ARGV) . " $BytecodeFile.inst $ProgramOpts";
system "rm $BytecodeFile.inst";
system "llvm-prof $LLVMProfOpts $BytecodeFile $ProfileFile";

爱情不等式

2010-07-07T23:29:00.001+08:00

上周四晚上、周五早晨在Gtalk上分别收到两位朋友的在线消息：他们几个月前和自己的恋人分了手。我并不善于在言辞上安慰他们，只是心想，既然终于告诉了我，那么至少我这两位朋友们已经不再纠结其中。我又何必再勾起再勾起那些伤心的回忆。天涯何处无芳草。

爱情是个奇妙的事情，奇妙的地方在于很多理性的思维规则在这里根本就不适用。爱情不是付出就有回报，否则也就不会有单恋了，它讲究两情相悦。在我看来，爱情更像是个不等式，它不像方程式那样有确定的解（或者确定无解）；而且你无法期待爱情中的双方有均衡的付出，等到你期待均衡的、在乎均衡的时候，它就变成了一个确定无解的方程式。

当我在厨房汗流浃背，汗水啪嗒啪嗒的滴在砧板上的时候，我不能抱怨爱人躺在床上吹着空调上着网；因为当我键盘敲得欢快的瞬间对方也可能在拖地刷锅洗衣服。多一点设身处地，少一些锱铢计较，生活会变得美好很多。

我以前常说，人世间最残酷的美丽或许就是，你可以后悔，却永远也无法重新来过。这或许也是世界唯一的公平。珍惜每一分钟(所以我不大愿意花很多时间陪逛)，每一份情感，就算分手也无怨无悔。忘却很难，新的生活也许并不容易，但一定要做一个真诚、理性、豁达的你！

祝福我的朋友们。

微博体 - 3

2010-07-05T10:38:00.001+08:00

刚出门五分钟，便下起瓢泼大雨。昨天更惨一点，和LP两人只有一把阳伞，雨也更大。没多久便被淋了个湿透，拧了拧俩裤管，流出半斤水。

其时刚过三点，天却阴沉得似乎夜晚已经逼近。江湾体育场下面的几家书店停电了，往五角场看去也是灰灰的一片。和大自然相比，人类其实还是很渺小。

万达里面的人似乎比平时多，连背景音乐也显得响亮一点。脑子里突然闪过一个比较“反动”的念头：难道今天人们出来庆祝国庆？WalMart里面一个 52寸液晶电视上正是新闻联播报导某高层安排国庆工作（显然是录播，显然WalMart更反动:-)）。

LP逛商店。我站在店门外。门口还有另外两位稍微年长一点的男士。

我不喜欢站在店里。它们多数都有装修材料散发出的刺鼻味道，还有衣服、皮革中多少也会有一些难闻的气味。

单身的时候曾经想过，以后要陪MM逛商店，帮忙挑商品。可是结婚后才发现原来事情远远没有这么简单。因为购物的时候女性似乎从来都没有确定的目标，而且那种状态下她们不会想到时间有多么珍贵。最后在审美有差异的情况下，我很多时候基本上很难提起兴致。

男士最难回答的问题之一是，女士拿起一件衣服问：好不好看？

我希望拥有一台iPad，这样在LP商店里的时候我在店门口可以同样兴致勃勃的做我想做的事情。用手机看电子书？不，我喜欢大一点的屏幕。

老鄢的这个域名七月八号过期。本博在 http://live4thee.blogspot.com/ 延续，访问不畅的朋友们可以通过Google Reader 订阅之。或者，像康总一样邮件订阅（给我电邮即可）。

七天假

2010-06-13T15:37:00.001+08:00

下个礼拜休假，早晨笑问LP：“明天就回娘家了，心情激动不？” 答曰：“一连工作七天，都打不起精神了。” 可怜孩子。和LP在一个公司的好处就是：LP加班的时候可以一起蹭加班餐，而我们TB的时候多数也会叫上LP。不过最近没啥TB，却多了不少加班餐。

像往常一样，在长假之前又给自己安排了一些书目什么的。按照经验，最终都是做样子的，不知这次是否仍然如此。

前天看见一首词，纳兰容若的《浣溪纱.谁念西风独自凉》，深为感动。贴在这里，以飨读者。

谁念西风独自凉。萧萧黄叶闭疏窗。沉思往事细思量。
被酒莫惊春睡重，赌书消得泼茶香。当时只道是寻常。
西风乍起，人间天上，
除却我心而外，芸芸谁会秋凉？
不忍见萧萧黄叶，匆忙忙闭锁疏窗。
闭锁疏窗。几多旧事，几度思量。
当年，春光窄窄，春睡足足，春意芳芳。
与你诗词对垒，酒浓茶醉，胜如为你梳妆。
而今只影空怀远，不解香魂何处，
却晓得当时笑语、当时乐事，非是寻常。

llscheme - 1 - intro

2010-06-11T10:23:00.001+08:00

5月12号在github上创建了 llscheme 项目，目标是写一个 Scheme 编译器，输出为 LLVM 汇编。到今天为止，Python 实现已经支持四则运算，算是前进了第一小步。由于我和 qhe 同学对 LLVM 的 C++ API 都不熟悉，所以 C++ 实现的进度稍微落后一点。

我的下一步计划是支持 `define’ ，以及 lambda 表达式，这样基本上可以编译一些简单的数学应用了，而且暂时还不需要考虑GC。

感谢一下 qhe 同学的帮忙，统计了一下 git blame 的结果，你贡献了 45% 的代码。有一个朋友互相交流是一件幸事，使我免于三分钟热度，免于在遇到困难的时候打退堂鼓。

微博体 - 2

2010-06-05T16:41:00.000+08:00

周五，醒来感觉双腿很酸。拖着有点不听使唤的双腿，上楼容易下楼难。一到公司，原来大家都是半斤八两缺乏锻炼。晚上等LP加班，直到八点半。

又是加班餐。点了一份剁椒鱼头。和LP说起当年实习的时候交大对面的那家“小湘舍”，这道菜做得非常好。回忆和想象中的东西永远都是最好的。

下午去了龙阳路迪卡侬。现在一年只去一两次，不知什么时候变成了两层楼。原本已经相对比较宽敞，现在更加如此。报告一下虓总，收银的美眉还是那么PP。

微博体

2010-06-03T15:29:00.001+08:00

周一，公司有点冷。牛哥跑去一看，原来温度设为15度。头顶便是一个出风口，不由得缩了缩脖子。本来垫背的方枕放在胸前抱着，终于感觉温暖。

周二，有点感冒，牙龈有点浮，刺痛。冲了杯999感冒灵颗粒，靠！也忒苦了。完全不似板蓝根甜味居上。良药苦口，皱着眉头喝完。猛的勾起当年喝千年苦丁茶的回忆。

下班时对LP说，当年泡了杯千年苦丁茶，只放了四颗而已，便将一杯茶水染黑。喝一口茶都想吐两口胃水。LP问：“有那么夸张吗？”绝无虚言。

周三，整理硬盘。发现电脑硬盘和移动硬盘有不少重复内容。我想我需要一个支持tag功能的Google Desktop – 知识不在于硬盘里有多少电子书，而在于自己到底消化了多少。

周四，TB。一众午餐后去虹口体育场真人镭射CS。一共三队，每对四战。我对保持了全胜战绩。我亦创造了一战杀十三人而一命未丢的记录。众人投来难以置信的目光。

陪LP吃了加班餐，回家时顺便理了头发。很短，老板娘说实在不能太短了，再短就要换发型了。回去洗了澡照了照镜子，嗯，不错不错，挺阳光的小伙子。

连拿了两次hearts

2010-05-28T16:28:00.000+08:00

最后两把连续拿了两次，一共用了五把就结束游戏。

电影中的人生

2010-05-25T17:01:00.000+08:00

周末宅在家里，偶然看了一部电影，俞飞鸿自编、自导、自演的《爱有来生》，感觉不错。故事情节虽然简单，但结尾却让人动容。好像在不经意之间，自己便被悄悄的感染。后来去豆瓣看了原文小说，个人觉得还是影片拍得更精彩一些。刚在家看了一部《时间旅行者的妻子》，这是个新颖的爱情故事。顺手找了一本英文原著，虽然我知道很可能不会读完。

突然，我想：为什么我们可以被电影感动，而自己却无法做一些令人感动的事情。或许，相对来说，看一部电影而获得感动是廉价的；而身体力行地创造感动却远为艰难。陶渊明说，“长恨此身非我有，何时忘却营营？”每天奔波劳累究竟为何？都说人生是自己的，其实又有几人能真正活出自己的精彩来！-- 但这并不能作为逃避的借口，坚持努力，终有那么一天。把人生看做一场电影，电影的内容我们可以自己导演。

Shine Dion - The well

2010-05-24T10:19:00.000+08:00

第一个比较喜欢的爱尔兰歌手是 Enya Brennan，也就是恩雅。2000年，我的高考很糟糕，去了一个很不知名的学校。中午在宿舍休息的时候听见广播台里播放着美丽的旋律，连续数日都是如此，后来知道那是恩雅的专辑《雨过天晴》。后来特意去书城买了一盘卡带，因为无论音乐本身还是专辑名称，我都深有触动。

第二个很喜欢的歌手也来自爱尔兰，Cara Dillon，那首 Maid of Culmore 至今百听不厌。音乐或许是灵魂的那根最敏锐的触角，就像一见钟情那样，音乐刚刚响起，灵魂便已驻足。有人说恩雅的音乐乃是精雕细琢后鬼斧神工般的精致，而 Cara Dillon 的音乐则如璞玉，不事雕琢却浑然天成。前者适合去音乐会欣赏，而后者则适合一个人在夜里静静聆听。

有阵子很喜欢听 Sissel Kyrkjebo 的歌，LP说，你喜欢的都是空灵清澈的音乐。确实如此。刚无意中听到一首 Ocean Rose，瞬间便被吸引。查了一下，出自二重唱组合Shine Dion，和Sissel一样也是来自挪威。Shine Dion 的音乐被认为是挪威和爱尔兰民谣的结合体。下面一首是他们的另一个作品 The Well, 优酷上有这首歌的MV (很喜欢15秒左右满体的蒲公英，小屋，河流，风景迷人，如诗如画)。

math

2010-05-20T16:36:00.000+08:00

0     * 9 + 1 = 1
1     * 9 + 2 = 11
12   * 9 + 3 = 111
123 * 9 + 4 = 1111
...

1     * 8 + 1 = 9
12   * 8 + 2 = 98
123 * 8 + 3 = 987
...

无题

2010-05-19T17:12:00.000+08:00

前些日子眼睛一直很干涩，这两天好了很多。

经过了一长段空闲，最近又开始有点小忙。算来还有两个月便合约期满，有点彷徨。在 github 上创建了一个项目，消磨业余时间的好去处，顺便消解一直以来缺少实战的不爽。完全自由地根据自己的偏好写代码，这再好不过了。

很久没有跑步了，感觉右侧牙龈有点小胀。我开始减少上班看GMail和Reader的时间，看起来效果挺好。

Code Jam

2010-05-11T17:24:00.000+08:00

做了Google Code Jam 2010的Qualification Round的三道题，开始都是用 Haskell 写的，第三道在处理大数据集时总是堆栈溢出，无奈之下改用了 Python，修改了一下算法，加入一个哈希表，避免重复运算，果然一下就搞定了。心里有了底之后修改了 Haskell 程序里面的代码，也加入一个 IntMap，也搞定了。

昨天在 reddit 上看见一位大牛，解决三道题用了六种语言 (每道题有小数据集、大数据集)，实在强悍。我的实现在Hg仓库里，链接。

几点体会：

用 Haskell 处理状态的时候还是比较不习惯，尤其涉及改动函数接口或者临时调试；

在处理大规模时算法的性能远比语言本身的性能重要；

掌握一门瑞士军刀语言（可以用它快速的做任何事）。

很久没有如此专注过。程序设计涉及语言特性、算法、计算机体系结构，其实，短了任意一个都是缺憾。

Game Over - You Win

2010-05-07T16:38:00.000+08:00

屠龙术

2010-04-26T16:17:00.000+08:00

典出《庄子·列御寇》：“朱泙漫学屠龙于支离益，殚千金之家。三年技成，而无所用其巧。”

另附，陆游《冬夜读书示子聿》：
古人学问无遗力, 少壮工夫老始成。纸上得来终觉浅, 绝知此事要躬行。

I like AUR!

2010-04-26T10:58:00.000+08:00

AUR(Arch User Repository) 是个社区驱动的仓库。Arch用户可以提交 PKGBUILD 文件供其他用户分享，而 PKGBUILD 文件就像菜谱一样，告诉 makepkg 怎样生成一个可以用 pacman 安装的程序包。类似Debian中的apt-src。

yaourt 是个前端脚本，除了查找标准的仓库如 core, community 以及 testing (默认不搜索)之外，还会搜索 AUR，这样用户可选的安装包种类可以算是五花八门，包罗万象了。安装了一个llvm-py，不过发现导入llvm.core的时候会失败，在Debian中安装 python-llvm 也是如此。最后发现是生成 so 文件的时候没有链接到 libffi，用 yaourt 安装 llvm-py, 过程中可以修改一下 PKGBUILD 文件，如下：

[sourcecode language="diff"]
--- a/PKGBUILD Mon Apr 26 10:25:34 2010 -0700
+++ b/PKGBUILD Mon Apr 26 10:25:56 2010 -0700
@@ -18,6 +18,7 @@
build() {
cd $startdir/src
svn co http://llvm-py.googlecode.com/svn/trunk/ llvm-py-${pkgver}
+ export LDFLAGS=`pkg-config libffi --libs`
cd llvm-py-${pkgver}
python setup.py install \
--prefix=/usr \
[/sourcecode]

这回果然OK了。

杂记

2010-04-25T15:53:00.000+08:00

上周因为McAfee的问题，差点想把机器重装了。不过后来成功修复，于是就沿用着WinXP + VMware的方式。VMware里跑了个ArchLinux，就算以后换电脑也只需要把虚拟机拷贝过去即可，方便。

周末玩了把LP组里的macbook小白，很喜欢它的键盘。如果Apple卖裸机就好了，出于习惯我更喜欢用Linux。最低配置的13寸macbookpro京东卖8688，而万达专卖店现在也只卖8800，据称已经卖得只剩最后一台。我理想中的笔记本：macbookpro那样的造型，没有光驱，运行Linux。

今天在万达似乎看见两位名人，因为没有打招呼所以不能确定。第一个是凤姐，在第一食品，相似度90%。第二个是冯正虎，正和他妻子从公司楼下的桥上往百联方向走，相似度95%。插肩而过后，左右看了看，似乎没有便衣，有点后悔没有握个手。正心神不定的时候还看见一个很像谢晋的，汗。

没想到现在坐海盗船都有点心虚了，想当年我可是在嘉年华玩过高空弹球的，以至于后来玩过山车和超级进化都感觉乏味。廉颇老矣！

人品爆发

2010-04-22T16:01:00.000+08:00

感谢信

2010-04-12T15:00:00.000+08:00

往blog上贴代码算是比较痛苦的问题，因为需要人肉语法高亮。平时我基本是用vim的TOhtml，或者在emacs里选中一块区域后 M-x htmlize-region，虽然不算很麻烦，不过贴到blog里后配色或者排版都不太如意。

感谢我们伟大光荣正确的老鄢同学，为我装了个syntaxhighlighter-plus，一举解决了这个烦恼的问题。同时感谢老鄢一直维护着这个wpmu，在网管岗位上尽职尽责，并让我免于网事在天朝的各种繁琐 -- 比如：网站备案。