摘要: Hash Table 给我们带来了 O(1) 的插入，删除和查找性能。
我们应当如何使用？
它实现的原理是什么？
又该如何实现呢？
这篇文章将尝试着对其做出解答。  阅读全文

     摘要: Hash Table 给我们带来了 O(1) 的插入，删除和查找性能。
我们应当如何使用？
它实现的原理是什么？
又该如何实现呢？
这篇文章将尝试着对其做出解答。  阅读全文

     摘要: 优先级队列是仅允许访问最小项的基本数据结构。
这篇文章将讨论支持优先级队列数据结构的一种实现，即著名的二叉堆（Binary Heap）。
如无特别提及，本文均简称其为堆。
堆支持最坏情况对对数时间的新项插入和最小项删除，而具体实现则使用我们最熟知的数组。  阅读全文

     摘要: 老实说，没有哪个开发人员愿意在其编码时还要考虑线程同步。更糟糕的情况是，编写线程同步代码一点也不好玩。稍一不慎，就会导致共享资源状态不一致，从而引发程序未预期行为。此外，当我们添加线程同步代码时还会导致程序运行变慢，损害性能和可伸缩性。从这点上来看，线程同步简直一无是处。可惜，这也是现实生活中必要的一部分。尤其在多核CPU成为主流的今天。  阅读全文

     摘要: Stack是一种线性数据结构，只能访问它的一端来存储或读取数据。Stack很像餐厅中的一叠盘子：将新盘子堆在最上面，并从最上面取走盘子。最后一个堆在上面的盘子第一个被取走。因此Stack也被称为后进先出结构(LIFO)。  阅读全文

     摘要: 随着多核CPU成为主流，并行程序设计亦成为研究领域的热门。Lock-Free编程无疑是其中的一朵奇葩。  阅读全文

     摘要: C#编译器提供了volatile关键字，该关键字可以用于下述类型的静态/实例字段：byte，sbyte，short，ushort，int，uint，char，float和bool。此外，我们还可以将volatile关键字应用于引用类型以及枚举类型的基础类型是byte，sbyte，short，ushot，int，uint，float和bool的枚举字段。volatile关键字告诉C#和JIT编译器不再在CPU寄存器中缓存字段，从而确保字段的所有读写操作都是对内存的读写，JIT编译器则确保其语义正确，这样就不必显式调用Thread的静态方法VolatileXXX了。

  阅读全文

     摘要: 内存模型对于任何编程语言的多线程并发/并行编程都是很重要的部分，发布这篇文章的目的在于为以后描述.NET多线程并发/并行编程做底层基础，尤其是在理解Lock-Free算法时。  阅读全文

Lock-free 算法通常比基于锁的算法要好：

• 从其定义来看，它们是 wait-free 的，可以确保线程永远不会阻塞。
• 状态转变是原子性的，以至于在任何点失败都不会恶化数据结构。
• 因为线程永远不会阻塞，所以当同步的细粒度是单一原子写或比较交换时，它们通常可以带来更高的吞吐量。
• 在某些情况下，lock-free 算法会有更少的同步写操作（比如 Interlocked 操作），因此纯粹从性能来看，它可能更便宜。

但是 lock-freedom 并不是万能药。下面是一些很明显的不利因素：

• 乐观的并发使用会对 hot data structures 导致 livelock。
• 代码需要大量困难的测试。通常其正确性取决于对目标机器内存模型的正确解释。
• 基于众多原因，lock-free 代码很难编写和维护。

     摘要: Singularity是一个新操作系统。它几乎完全用C#写成，只运行可验证的安全程序。Singularity的内核和运行时库只是系统的一部分。此外，还包含不安全代码。大部分代码都是用安全的C#写成的。  阅读全文