InTheWorld

经典计算机指令的先后顺序往往也意味着逻辑关系，我们总是会直觉性的认为程序指令是从上到下一个个执行的。虽然这种直觉在很多场景下是没有问题的，但真相不止于此。如果你对memory order这个概念还不是太了解，下面这个test应该会带来一点“惊喜” ^_^

// 代码段1
// store-buffering校验
P0(int x0, int x1)
{
    int r2;
    WRITE_ONCE(x0, 2); r2 = READ_ONCE(x1); 
}

P1(int x0, int x1)
{
    int r2;
    WRITE_ONCE(x1, 2); r2 = READ_ONCE(x0); 
 }

exists (1:r2=0 / 0:r2=0)

这个test的形象使用场景是——两个线程各自持有一个buffer，业务逻辑是写一次自己的buffer后读一下对方的buffer。P0和P1分别代表在两个处理器上跑的逻辑（刚开始x0，x1… 【查看更多】

对于LLVM这样的编译框架来说，IR是非常重要的。LLVM IR(Intermediate Representation，中间表示)连接着编译器前端和编译器后端。IR的设计很大程度体现着LLVM插件化、模块化的设计哲学，LLVM的各种pass其实都是作用在LLVM IR上的。同时IR也是一个编译器组件接口。通常情况下，设计一门新的编程语言只需要完成能够生成LLVM IR的编译器前端即可，然后就可以轻松使用LLVM的各种编译优化、JIT支持、目标代码生成等功能。

LLVM IR的表示形式

LLVM IR有三种形式：

内存中的表示形式，如BasicBlock，Instruction这种cpp类；
bitcode形式，这是一种序列化的二进制表示形式；
LLVM汇编文件形式，这也是一种序列化的表示形式，与bitcode的区别是汇编文件是可读的、字符串的形式。
内存中的IR模型

内存中IR模型其实就是对应LLVM实现�… 【查看更多】

前记：最近读到这篇文章，实在是非常精彩，因此记录一下。

文章的背景应该是罗整庵和王阳明通信，罗质疑了王阳明的一些观点，王阳明为此做了一些回应。在看这篇文章之前，我并不知道罗整庵。查了下才知道，也是一位非常厉害的人。大概是在当时的思想圈里可以和王阳明分庭抗礼的人物。而且从王阳明的行文语气来看，可以猜测罗当时的地位（政治地位或者学术地位）是高于王的。两位都是明朝杰出的哲学家，但他们的思想却并不一致。这也是为什么我会觉得这封信非常有看点。

1. “见道固难，而体道尤难。道诚未易明，而学诚不可不讲。恐未可安于听见而遂以为极也。”这个质疑其实挺直接的，可能罗认为王比较固执己见。
   对此，王阳明首先表达了感激之情，他说他提出自己的学说以来，常常被人嘲讽、辱骂或者不屑一顾。但是为他着想、提出建设性意见的人却非常少。
   然后，王阳明表示自己并没有那么狂妄，并说他�