大卫耸耸肩：「好吧！」
随后说道：「我们的实验室现在一共有6个人，其他几个人没有到，你虽然是布鲁斯介绍过来的，但我还是需要对你进行一些询问，如果你不能符合我的要求，那么将没办法加入我的实验室，当然了，我也会为你介绍其他导师。」
林春生愣了一下。
随后轻轻点头。
「好的，大卫先生！」
大卫看着他，轻轻敲击了桌面。
开始询问。
一开始自然是科研经历，这是必问的核心。
大卫：「请用5分钟介绍你最重要的科研项目。」
林春生：「大卫先生，我在学校里一共参与了————」
将大概的经历说了一遍。
「你在项目中遇到了什么挑战？如何解决的？」
「你的研究有什么创新点和贡献？」
「你为什么对我们实验室的研究感兴趣？」
「你读过我们实验室的哪篇论文？有什么看法？」
「你博士期间想研究什么具体问题？」
问题一大堆。
到了最后，大卫轻轻点头。
从抽屉里拿出了一份资料出来。
继续问道：「你之前寄送过来的论文我已经看过了了。」
翻开其中一页，继续问道：「林，你的提案提到要在UNIX4.2BD上实现一个容错文件系统」。首先告诉我，你计划如何处理拜占庭将军问题？」
林春生看了看指着上面绘的架构图说道：「大卫先生，我借鉴了Lampr的时间戳算法，但做了修改。每个节点维护一个向量时钟，而不是单一时间戳。当节点收到冲突写入时————」
他的话突然打断。
大卫拿着笔上画了一个入表达式，「等等。你用了多少Lip代码来实现原型？
」
「目前用写了核心模块，但配置解析器用了FranzLip。我发现递归处理配置文件更优雅，比如这样—
」
在草纸上写着下了四段代码大卫摸着下巴，看了看。
轻轻点头：「有趣。但你的设计假设网络分区不频繁。上周我们刚在ARPANE
上看到了一次长达47分钟的分区。你的心跳检测超时设置是多少？
「，「我设的是30秒，但采用指数退避重试。实际上，我正想请教—一在4.3BD
的原始套接字实现中，是否观察到IMP重定向会影响超时计算？
「，大卫在纸上快速演算：「让我们回到理论层面。证明你的算法在最坏情况下的消息复杂度是0（nlgn）。
林春生接过笔，开始推导。
办公室安静了五分钟。
只有笔在纸上写时的沙沙声。
过了一会，林春生擡起头来开始解释：「...因此，使用合并—排除树结构，每个节点只需要与lgn个邻居同步状态。这是证明不等式。
——
大卫面露微笑：「不错。现在，实际问题：你的系统需要多少磁轨柱面？假设是富士通老鹰磁碟，平均寻道时间85m。
」
林春生————
半个小时以后，大卫笑了笑：「林，恭喜你，通过了，但你要重写第3章的证明一引理3.2
不够严谨。另外，我建议你读读梅兰妮最新关于自稳定系统的论文，下周给我摘要。」
林春生闻言一阵的高兴：「谢谢大卫教授！我会的。」
这一次才算是真正通过了对方的考核。
大卫看了看时间笑道：「好了，我带你和实验室的其他几个人认识一下，这周的课程不要忘记参加了。」
「好的，大卫先生！」
林春生答应了下来，跟着对方去了实验室。
简单的介绍了一下，几人算是认识了。
林春生也算是加入了这个实验室。
至于另外三人，还没到。
「好了，我还有事情，杰森，你带林了解一下实验室的情况，可以接手一些简单的工作，至于后期的任务，到时候再根据情况调整。」
杰森看了看林春生，笑着答应了下来。
大卫安排好人便离开了实验室。
林春生也被安排到了自己的位置上。
看着光鲜的实验室，林春生深吸了口气，未来两三年，他都需要在这里度过，直到毕业为止。
