songwenbinasdf的专栏

前言春节期间，无意中看到一篇文章，文章中讲到12306的业务复杂度远远比淘宝天猫这种电商网站要复杂。后来自己想想，也确实如此。所以，很想挑战一下12306这个系统的核心领域模型的设计。一般的电商网站，购买都是基于商品的概念，每个商品有一定量的库存，用户的购买行为是针对商品的。当用户发起购买行为时，系统只需要生成订单并对用户要购买的商品减库存即可。但是，12306就不是那么简单了，具体复杂在哪里

原文地址：http://www.iteye.com/topic/11166961 AOP各种的实现 AOP就是面向切面编程，我们可以从几个层面来实现AOP。 在编译器修改源代码，在运行期字节码加载前修改字节码或字节码加载后动态创建代理类的字节码，以下是各种实现机制的比较。   类别 机制 原理 ...

转载地址：https://tech.meituan.com/disruptor.html背景Disruptor是英国外汇交易公司LMAX开发的一个高性能队列，研发的初衷是解决内存队列的延迟问题（在性能测试中发现竟然与I/O操作处于同样的数量级）。基于Disruptor开发的系统单线程能支撑每秒600万订单，2010年在QCon演讲后，获得了业界关注。2011年，企业应用软件专家Martin...

作者：Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman. 1987原文：Concurrency Control and Recovery in Database Systems译者：phylips@bmy 2013-02-14译文：http://duanple.blog.163.com/blog/static/70971767...

分布式系统领域经典论文翻译集http://duanple.com/?p=170

Jepsen(项目主页)是开源的分布式测试框架，基于Clojure语言，支持各种错误注入。目前广泛应用在各种分布式系统的测试中，尤其是一致性协议实现的测试中。Jepsen测试中支持验证系统的线性一致性，关于线性一致性，中文的介绍非常少，目前网上能搜到的大概只有tidb(一个创业公司PingCAP研发的分布式数据库)的一篇Linearizability 一致性验证。要理解理论，最好的方法还是直接...

作者：Leslie Lamport 1979原文：make-multiprocessor-computer-correctly-executes-multiprocess-programs译者：phylips@bmy 2018-03-24译文：http://duanple.blog.163.com/blog/static/70971767201822515346732/ 高...