钟鼓楼

• portability 可移植性

• symposium 会议

• modularity 模块化

• monolithic 单片机，宏（内核）

• bypass 绕过

• non-trival 非平凡的，可观的

• invocation 调用

• compatible 兼容，backward compatible 向后兼容

• capability 能力，权限

• resurgent 复兴的，复苏的

• heterogenous 异构

• relay 继电器，转发，中转

• semantics 语义学

• underly 基本的，本质的

• manipulate 操作

• plane 飞机，层次，平面

• respectively 独立地，各自地

• dicated 精心设计的

• tenant 租户

• lease 租借，租用

• commodity 商品，货物

• adversary 对手

• comprise 包括，构成

• LOC，line of code 代码行数

• cyber 计算机相关的

• traverse 遍历

• obstacle 障碍

• order-of-magnitude 多个数量级

• roundtrips 往返

• retain 保留

• leverage 使用，杠杆

• indirection 间接

• stale 陈旧的

• fallback 倒退的

• senarios 场景

• enclave 飞地

• scale 规模，可拓展性

• encryption 加密

• negligible 微不足道的

• revisit 重温

• feasibility 可行性

• vesatile 灵活的，多样化的

• best-effort 尽力而为的

• preemption 抢占式

• monopolize 垄断

• utilization 利用率

• idempotent 幂等的

• devise 设计发明

• paradigm 范例

• stipulate 规定

• effacy 功效

• coarse-grained 粗粒度的

• intuitive 直观的

• proatively 积极主动的

• indispensable 不可或缺的

• polling 轮询

• impose 强加于

• indepth 深入的

• reclaim 回收

• remedy 弥补

• retrofit 改造

• incur 导致，招致

• intercept 拦截

• fusion 融合

• substitution 替代品

• heuristic 启发式

• saturate 饱合

• perception 观念，感知

• amplify 扩大，增大

• premise 前提

• incoporation 合并，加入

• tune 调整

• contention 竞争

• orthogonal 正交

Virtualization, Security, Distributed, Parallelism

你为什么加入 IPADS？

当我还是大二的学生的时候，我就听学长说起过 IPADS，他将 IPADS 描绘得很好，所以我基本上当时就很好奇，之后也是关注了 IPADS 的知乎账号，所以对于 IPADS 的进展有很深的了解。从客观上来讲，我个人的科研兴趣是系统软件，这很符合 IPADS 的研究方向。从主观来讲，我希望我从事的工作不只是一份工作，更是一个艺术品，我希望我的作品精益求精，我觉得这种想法和 IPADS 的实验室文化是相通的。

When I was a sophomore in college, I heard my senior talk about IPADS, and he described IPADS very well, so I was basically very curious at that time, and after that, I also followed the IPADS Zhihu account, so I have a very deep understanding of the progress of IPADS. Objectively, my personal research interest is in system software, which fits well with the research direction of IPADS. Subjectively, I hope that my work is not just a job, but also a work of art, and I hope that my work will be perfect, which I think is in line with the lab culture of IPADS.

一、总论

应当意识到，我没有办法依靠平时的积累写出一篇华美的文章。写作或者说表达是必须依靠模板。而 “模板” 的范围不应该只限于语法层面的 “开头，中间段，结尾”。它应当还包括 “语义” 层面，比如说 “意义应当从哪几个角度去答？需要引入事例还是单纯进行说理？” 这样的模板。

还是要感慨一下，英语六级其实和英语能力不太沾边。哪怕是沾边，我也没有办法将其他的英语能力换成成绩。反而言之，即使我的六级成绩不好，但是真的遇到需要英语的场合，也应当坦然积极的准备，而不是自怨自艾，自我否定。

你说这些，跟我有什么关系？

任何失去的东西，都会以另一种形式归来。

我选择的是第一个题目，我会调研 CSDN 问答区、StackOverflow、SegmentFault（思否）三款 IT 问答软件。

一、调研与评测

1.1 问答的意义

朝闻道，夕死足矣。

一、CDQ 分治

因为时间的关系，我也不确定我理解的这个套路是否是所谓的 “CDQ 分治”，还是只是一种具有二维偏序特征的模板。

在这种题目中，我们一般会对于一个二维结构体去排序，比如说

struct Node
{
	int x;
	int y;
};

而且排序一般会发生两次，第一次是在开始前先对某个维度进行一遍排序，然后在分治过程中，利用归并排序的思想，在二分的过程中对于另一个维度再次进行排序。也就是如下模板

一、BFS 模板

如下所示

set<Node> visited;

bool check(Node son);

int bfs(Node start)
{
    // init
    queue<Node> q;
    q.push(start);
    visited.insert(start);
    
    while (!q.empty())
    {
        Node front = q.front();
     	q.pop();
        
        for (son : q.neigbour)
        {
            // prune
            if (check(son))
            {
             	q.push(son);
                visited.insert(son);
                // son is the correct answer
                if (ac(son))
                {
                    return son.info();
                }
            }
        }
    }
    
    return -1;
}

int main()
{
    //...
    int ans = bfs();
    //...
    return 0;
}

其中有几部分需要一一强调，第一个是 check() 函数用于进行减枝，只有经过 check 的子节点会被加入队列。

bool check(Node son);

一、有序和单调

二分本质上是一种更加智能的搜索状态空间的方式，他需要状态空间的状态呈现一种 “有序的一维数组” 的形式，然后再进行搜索。所以一开始的排序是无法避免的。

因为二分的写法问题，所以应当怎样排序也是有一定讲究的，所以排序的时候就可以定义一定的比较方式。

如果更加细致的讨论的话，其实有序只是一个 “小条件”，比如说很多枚举、搜索类的题目的状态空间也是有序的，但是我们却没有用二分法，这是因为其核心是，适用于二分法的题目，它的状态和解之间的关系是单调的，如下所示