Sinclair
INTERRUPTED BY FIREWORKS

Sinclair的日记  · · · · · ·  ( 全部 )

从2015年4月开始,一直到2016年3月,一直在断断续续的写一个regex引擎。之所以从头写一个regex,是因为一个特殊的需求:要求以line speed同时匹配5000条规则。试试看这样一条规则: .*zlas\.gIze\.iQf4\.o6aZ 再试试看同时匹配2000条这样的规则。在一台志强32核,内存400GB的服务器上,google re2没法跑出结果,更别说其...    (12回应)
来自wiki
Sequential consistency是Lamport提出的一个一致性模型。其定义很简单:每个processor遵守固定的执行顺序(也就是程序员脑子里的逻辑),但不同processor之间没有时钟同步,因此也无需遵守任何顺序规则。由于processor执行的指令的唯一可见效果是内存,因此,这个模型可以很直观的表达如下: 在任意一个时刻,内存只与一...    (5回应)

Sinclair的评论  · · · · · · · · · ·  ( 评论4 )

  • 满分
  • Advanced Backend Optimization
  • Sinclair (INTERRUPTED BY FIREWORKS)  评论: Advanced Backend Optimization
    这本书是作者十几年论文的一个总结。在此之上,作者把同时期的其它重要论文都拉出来一一做了比较。这些论文的核心是两个问题:instruction scheduling和register optimization。这两个问题的解决方案是所有后端优... (2回应)
  • 需要一个灵感
  • Scheduling and Automatic Parallelization
  • Sinclair (INTERRUPTED BY FIREWORKS)  评论: Scheduling and Automatic Parallelization
    对2000年以前的论文做了一个梳理,把主要成果简明扼要的列举出来的同时还勾勒出来了发展的路线,还加入了作者主观评价。概念的逐步推进以及每个理论的推导都很自然的承上启下,也因此比原始论文更容易理解,...

Sinclair的书  · · · · · ·  ( 7本在读 · 3本想读 · 56本读过 )

在读
  • A Book of Abstract Algebra
  • Principles of Program Analysis
  • An Introduction to Gödel's Theorems
  • The History of the Calculus and Its Conceptual Development
  • The Mathematical Theory of Communication
想读
  • 楼兰
  • The Lambda Calculus. Its Syntax and Semantics
  • 伊索寓言

Sinclair关注的小站  · · · · · ·

Interrupted By Fireworks

1 did not like it 2 it was ok 3 liked it 4 really like it 5 it was amazing

Sinclair的广播  · · · · · ·  ( 全部 )

Sinclair的关注  · · · · · ·  ( 成员126 )

沐白
沐白
莲
陆喜乐越学越嗨
陆喜乐越学越嗨
家里蹲 E.T
家里蹲 E.T
OMG42
OMG42
Josherich
Josherich
BohuTANG
BohuTANG
lambda
lambda

Sinclair常去的小组(2)  · · · · · ·

Standard ML
Standard ML (14)
处理器体系结构
处理器体系结构 (18)

Sinclair的豆列  · · · · · ·  ( 全部2 )

> Sinclair添加的条目

本页永久链接: https://www.douban.com/people/jgs/

订阅Sinclair的收藏:
feed: rss 2.0