秒杀通用解决方案
秒杀的实质秒杀的实质，是围绕库存管理展开的并发读写如果架构设计里面包含商品系统，包含库存，秒杀就要解决库存热点行高并发读写问题。 秒杀的底线是：不能超卖。qty库存 ≥ qty卖出 && qty库存 - qty卖出 ≈ 0。秒杀能够容忍的一些思路：渐进趋于一致，允许漏卖。 秒杀架构的特性 高性能：秒杀架构要承载的访问流量比平时高出许多倍，涉及大量的并发读和并发写，因此支持高并发访问非常关键。 一致性：秒杀活动中有限数量的商品在同一时刻被很多倍的请求同时扣减库存，在大并发更新的过程中要保证数据准确，不能发生超卖的问题（超卖，本来应该卖完下架的商品，在前台展示依然有库存，依然不停的被卖出），即库存是多少，理应卖出多少（qty库存 ≥ qty卖出 && qty库存 - qty卖出 ≈...
计算的本质
语义小步语义小步语义类似对代数式迭代求值。 大步语义大步语义的意思是，对于大的表达式，先求它的小表达式，然后把结果结合起来得到最终的答案。这通常意味着递归 操作语义（operational semantic）想象一个理想、抽象的计算机，操作语义为程序在某些机器上的执行定义一些规则。 指称语义（denotional semantic）用一种低级、更形式化的语言来解释当前的语言。 状态机的分类确定性有限自动机finite state machine -> finite automaton deterministic finite automaton 是确定性有限自动机的意思 我们的领域模型的状态机最好是这种状态机。 非确定性有限自动机NFA能被一台特定机器接受的字符串集合称为一种语言：我们说这台机器识别了这种语言。 任何 NFA 等价于 DFA 确定性下推自动机PushDown Automaton pda。 这种状态机可以处理无限多的中间状态。 确定型图灵机Deterministic Turing Machine...
关于编程语言的typing(一些基本概念)
from：http://www.blogjava.net/sean/archive/2009/09/28/296825.html 最近围观一本JavaScript的书籍引发的争论，一不小心碰到一篇讲编程语言类型系统划分的帖子，回想起当年还在公司内部的Tech Session上主讲过这个话题，不过只涉及到静态/动态、强类型/弱类型，远没有这位仁兄总结的那么全面。 原文链接http://www.reddit.com/r/programming/comments/63tnv/bruce_eckel_33104_im_over_it_java/c02qx55 不多废话，直入正题： [维度一] Static vs Dynamic Typing静态类型和动态类型，区分的关键点为编译期或运行期确定类型：静态类型在编译期确定，动态类型在运行期确定。静态类型代表 Java、Scala、Haskell动态类型代表 Ruby、Python、Erlang [维度二] Strong vs Weak...
纪要
...
HATP 问题
问题定义AP 的出现在互联网浪潮出现之前，企业的数据量普遍不大。通常一个单机的数据库就可以保存核心的业务数据。那时候的存储并不需要复杂的架构，所有的线上请求(OLTP, Online Transactional Processing) 和后台分析 (OLAP, Online Analytical Processing) 都跑在同一个数据库实例上。后来业务越来越复杂，数据量越来越大，产生了一个显著问题：单机数据库支持线上的 TP 请求已经非常吃力，没办法再跑比较重的 AP 分析型任务，在这样的大背景下，于是AP开始从TP系统分离，某种程度上，AP是TP的一个分支。 这等于是在存储层做 CQRS 架构设计-另一种方案是在应用层也设计读写分离的架构。 AP的玩法在这样的背景下，以 Hadoop 为代表的大数据技术开始蓬勃发展，它用许多相对廉价的 x86 机器构建了一个数据分析平台，用并行的能力破解大数据集的计算问题。 TP和AP的联系虽然 TP 和 AP 开始往独立的方向演进，但是他们的核心都是需要处理数据，所以需要将数据打通。业内普遍玩法将 TP 数据通过 ETL...
《恰如其分的软件架构》
前言这两周集中时间间歇性读完了《恰如其分的软件架构》这本书。这本书讲的是架构方法，架构方法是一种思维模型（mind set），这种思维模型叫作“风险驱动模型”。 这本书经我们团队的架构师推荐，列在我们团队的集体书目里很久了。但真正去读它、读完它的人又很少。究其原因，还是这本书的内容以谈概念为主，虽然书中举的例子非常生动，仍然始终无法摆脱“为了谈概念而举玩具例子”的问题-这几乎是所有架构书的通病。似乎正统的架构书籍都不可避免地举一些传统行业或者经典软件（比如很多书籍都会反复出现在“xxx...
Journal 与 EBS
EBS 的定义EBS — Elastic Block Storage，简言之就是高可用、高性能、弹性可扩展的分布式块存储服务。对于业务来说，它就是一块磁盘，只不过将业务数据存储于远端网络节点，但是使用方法和体验与访问本地磁盘一样。 EBS 可以作为容器的存储盘，可以解决： 有状态容器的状态存储问题 海量存储问题：邮件系统、监控平台、数据库、用户录音、集成测试平台、MySQL 备份（需要测试 OLTP/OLAP 的交互操作和在线交易性能） EBS...
构建 spring-framework
介绍下使用到的 Gradle 工具《一篇文章讲清楚Gradle与Gradle Wrapper的区别》 comments： Gradle Wrapper 提供了一种“在本地构建中，使用特定版本的 Gradle 进行构建”的功能。 换言之，对于大多数敏捷迭代的项目而言，应该选择 ./gradlew clean build，而不是 gradle clean build。这样不会遇到 pluginManagement 之类的问题，这样说来，每个项目都是自构建的。 要么 IDE（像 Android Studio）自带 gradle wrapper，要么项目自带一个 gradle/wrapper 文件夹，这个文件夹里指定了 gradle-wrapper.properties。 这个命令专门指定了特定版本的 gradle。-all.jar、-bin.jar、-src.jar 分别代表不同的包。 gradlew是在linux,mac下使用的，gradlew.bat是在window下使用的，提供在命令行下执行gradle命令的功能。-这种 w...
云原生应用
...
活动保障性体系建设和实践的总结
大促规划.xmind 活动的定义和特点活动具有大并发、高流量的特点，前期充足的准备是活动顺利完成的必要条件。 准备好完备的保证流程，可以为相关人员提供指引。 基本的保障方案 事前：严格按照保障步骤分工执行，活动要报备，核心链路要梳理，梳理完要评估容量和准备，要治理风险，要准备预案，要建设大盘，准备压测和演练预案，要安排值班。 事中：相关责任方（要分技术负责人和运维负责人，召集相关人员，组成稳定性保障小组）监控线上数据，以线上/线下会议、群聊和电话等多个方式参与值班并及时响应异常事件。 事后：组织复盘，总结亮点，指出不足，沉淀经验。 活动报备要理清活动信息：活动背景、活动时间、用户参与路径、活动链接、活动...
