硬件内存模型论文阅读

引言

内存模型定义了内存操作的语义,提出内存模型的目的在于指明内存操作之间的次序有何限制.

Java 内存模型论文阅读

引言

Java 的内存模型最早出现在1995年，但是自1997年起，这一内存模型被发现了许多严重的错误和缺陷，它阻碍了很多优化措施，对程序的安全性也没有足够的保证。

学习英语第三周

阅读英文原著

这周按照预定计划，把每天的阅读量降低了一半，每天20页左右。下面是时间表。

Data Race Free 的前世今生

Data Race Free 是多线程程序是非常重要的概念，因为Java 和 C++的内存模型都是基于 Data Race Free 的，这篇文章将介绍这个概念的由来，另一篇文章《Data Race Free的理解》介绍它的主要思想。

对Data Race Free 的理解

Data Race Free 的动机

Data Race Free 是对多线程程序 同步程度 的一种描述，假如你的多线程程序的同步程度满足 DRF 的要求，那么，你的程序会有这样一个好处：

C语言中的int类型的范围是由什么决定的

在 K&R 经典教材 The C Programming Language 的2.2节中，对 int 类型是这样描述的

学习英语第二周

阅读英文原著

这周按照预定计划，把每天的阅读量降低了一半，每天20页左右。下面是时间表。

控制台，终端，tty，shell等概念的区别

使用linux已经有一段时间，却一直弄不明白这几个概念之间的区别。虽然一直在用，但是很多概念都感觉模糊不清，这样不上不下的状态实在令人不爽。下面就澄清一下这些概念。

学习英语第一周

这是英语学习计划的第一周，完成了预定的目标，包括阅读英文原著和学习音标。

GCC 的基本使用

GCC 是一款非常著名的编译器，支持诸如 C, C++, Java在内的多种程序设计语言，并且提供了许多选项，以支持用户不同程度的需求，例如查看编译中间结果，指定语言标准，指定优化程度等等 ，下面的内容就介绍这些最重要的功能。