摘要： SRAM很贵，我们只能用一点 一种可能的实现方式： 1. 把一部分地址空间划给快速的 SRAM， SRAM 充当处理器寄存器集的扩展 一块是高速但小的 SRAM区域（速度快，成本高）； 一块是普通较慢的 DRAM区域（容量大，速度慢）； 它们都出现在同一个地址空间中，程序或操作系统需要显式决定哪些数 阅读全文

摘要： url: LMAX 架构 The LMAX Architecture by martin fowler 1. Overall Structure 业务逻辑处理器本身可以在单线程环境中运行，逻辑清晰，但不涉及复杂的输入输出； 输入和输出 disruptor负责处理网络通信相关的 IO 工作，比如把消息 阅读全文

摘要： Chapter 9 Linked lists 9.1 如果要建立一个并发数据结构，我们当然可以直接拿一个顺序（synchronized action拉满）的实现，然后加满锁（给每一个操作都用同一个对象锁）。但是这就是粗粒度的同步，性能肯定差。 当并发的等级比较低的时候没什么问题，但是线程一多，肯定成 阅读全文

摘要： 8.1 Introduction monitor能够同步和数据合并，将各种东西封装起来在一个单个的模块 为什么我们需要这玩意儿？ mutex.lock(); try { queue.enq(x) } finally { mutex.unlock(); } 这个代码不好。因为 1. 调用者根本不知道是 阅读全文

摘要： 论文网址： popl05.pdf 一篇有些年头的论文。 ABSTRACT： The new Java model provides a simple interface for correctly synchronized programs– it guarantees sequential con 阅读全文

摘要： 简介 架构会影响性能。我们这次设计适合今天的多处理器的互斥协议。 1. 反复测试锁称为自旋（spinning）或忙等待（busy-waiting），延迟较短时是合理的 自旋（spinning）仅适用于多处理器，因为在单处理器上，线程自旋会占用 CPU 资源，阻止其他线程运行，导致效率低下。在多处理器 阅读全文

摘要： 6.1 引言 lock-free的结论与wait-free一致 有一些类型的对象是universal的，给得够多就可以构建出来wait-free的linearizable实现 一个类在n线程的系统是universal <==> 这个类有一个consensus number >=n一个机器架构能有足够 阅读全文

摘要： 博客链接： Java 内存模型语用学 （transcript） Java Memory Model Pragmatics (transcript) 博客前言 该博客是给想要了解一些底层硬核并发编程的人的，如果只是想要写一些并发程序，可以去读JCIP。 Intro 介绍 Language specs通 阅读全文

摘要： 前言 本章目的：构造一些原语，希望我们能利用这些原语来解决一些同步问题。 consensus: 一个同步原语的共识数是它能解决共识问题的最大线程数 上面的无法通过下面的synchronization primitives实现出来。 注意，这里的逻辑是，我们制造出来一些同步工具/同步原语，然后利用共识 阅读全文