• 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);

一、有序和单调

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

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

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