天不孤

有一份json格式的日志，每条日志均包含一条sid。基于MapFile实现根据sid迅速检索到对应日志。

简单看起来，将sql直接交给mysql执行，presto拿最终的返回结果就行了。 不过，presto最大的特性在于跨源，不同数据源的sql语法可能会有细微差异（比如在支持的函数上）。所以，presto需要实现自己的一套sql语法，直接将sql交给mysql肯定是不行了。 而且，…

核心思想还是找增广路。 假设已经匹配好了一堆点，我们从一个没有匹配的节点s开始，使用BFS生成搜索树。每当发现一个节点u，如果u还没有被匹配，那么就可以进行一次成功的增广；否则，我们就把节点u和它的配偶v一同接到树上，之后把ｖ丢进队列继续搜索。我们给每个在搜索树上的点一个类型：…

只翻译了一部分，译文如下。 并发进程共享的数据对象被称作“并发对象”。线性一致性（Linearizability）使得我们可以使用抽象数据类型来正确的描述并发对象，它还允许了较高的并行度，并允许开发者利用串行领域已知的技术，对并发对象进行阐述和推理。线性一致性给我们这样一种错觉…