什么是短路器？

断路器本身是指电气安全装置，旨在保护电路免受超过设备可以安全承载的电流。断路器可以重置（手动或自动）以恢复正常运行。在软件工程中用于保护系统稳定性，防止资源过载。

Docker是一个用于开发,交付和运行应用程序的开放平台.Docker提供了在松散隔离的环境(称为容器)中打包和运行应用程序的功能.隔离和安全性使您可以在给定主机上同时运行多个容器.容器是轻量级的,因为它们不需要虚拟机管理程序的额外负载,而是直接在主机的内核中运行.这意味着与使用虚拟机相比,可以在给定的硬件组合上运行更多的容器.甚至可以在实际上是虚拟机的主机中运行Docker容器！

Docker提供了工具和平台来管理容器的生命周期：

• 使用容器开发应用程序及其支持组件.
• 容器成为分发和测试应用程序的单元.
• 准备就绪后,可以将应用程序作为容器或协调服务部署到生产环境中.

举个例子:

1. 开发人员在本地编写代码,并使用Docker容器与同事共享工作.
2. 使用Docker将其应用程序推送到测试环境中,并执行自动和手动测试.
3. 当开发人员发现错误时,他们可以在开发环境中对其进行修复,然后将其重新部署到测试环境中以进行测试和验证.
4. 测试完成后,将修补程序推送给生产环境就像将更新的映像推送到生产环境一样简单.

本文是《李智慧. 大型网站技术架构:核心原理与案例分析 . 电子工业出版社. 》一书的读书笔记。

大型网站的特点:

• 高并发,大流量的访问
• 高可用的服务
• 海量数据
• 用户分布广，网络环境复杂
• 安全环境恶劣
• 需要快速变更，发布频繁
• 渐进式发展，大型网站都是从一个小网站开始，渐进的演化。

函数式编程是一种编程范式,它把计算当成是数学函数的求值，从而避免改变状态和使用可变数据。它是一种声明式的编程范式，通过表达式和声明而不是语句来编程。函数式编程是幂等的(无状态的):函数的返回值仅取决于其参数，因此调用具有相同参数值的函数始终会产生相同的结果。这与命令式编程形成对比，在命令式编程中，除了函数的参数之外，程序状态可以影响函数的结果值。随着多核平台和并发计算的发展，函数式编程的无状态特性，在处理这些问题时有着其他编程范式不可比拟的天然优势。

我的Effective Maven使用笔记

内置变量

• ${project.basedir}: 代表项目根目录（pom.xml 所在目录）
• ${project.parent.basedir}/: 代表Maven 多模块项目，在父工程根目录

常用 mvn 命令

mvn输出增加线程ID

MAVEN_OPTS=-Dorg.slf4j.simpleLogger.showThreadName=true mvn <goals>

见 https://maven.apache.org/maven-logging.html

TrueTime 并不是让服务器的墙钟永远不回拨，而是承认“本地时钟可能不准”这个现实：它把一次读取得到的时间表示成一个保证包含真实时间的区间，再让 Spanner 在提交时等待足够长的时间，直到这个时间戳确定已经过去。换句话说，它不是消灭时钟误差，而是把误差变成一个有界的、可推理的 ε，然后用少量等待换取跨机器的时间戳单调性。

本篇是论文 Spanner: Google’s Globally-Distributed Database 的中文翻译，尽量保持原文的章节顺序与表述。

拓扑排序（Topological Sorting）是一个有向无环图（DAG, Directed Acyclic Graph）的所有顶点的线性序列。且该序列必须满足下面两个条件：

1. 每个顶点出现且只出现一次。
2. 若存在一条从顶点 A 到顶点 B 的路径，那么在序列中顶点 A 出现在顶点 B 的前面。

graph TD
id1((1)) --> id2((2))
id1((1)) --> id4((4))
id2((2)) --> id4((4))
id4((4)) --> id3((3))
id2((2)) --> id3((3))
id4((4)) --> id5((5))
id3((3)) --> id5((5))

有向无环图（DAG）才有拓扑排序，非DAG图没有拓扑排序一说。

shell 脚本选项参数解析通常有 3 种方法。

• 解析参数数组
• 基于getopts
• 基于getopt

概念介绍

布尔基础:

• 逻辑表达式: 由逻辑变量和与 $\land$ ,或 $\lor$ ,非 $\neg$ 3种运算符连接所构成的表达式。

• 析取式: 表达式之间都通过逻辑或连接的复合表达式。

• 合取式: 表达式之间都通过逻辑与连接的复合表达式。

• 合取范式 (Conjunctive Normal Form)2 是命题公式的一个标准型，它由一系列析取子句 用合取操作连接而来。如 $(a) \land (a \lor \neg c) \land (b \lor c)$

• 与之相反，析取范式 (Disjunctive Normal Form) 是命题公式的另一个标准型，它由一系列 合取子句 用 析取操作 连接而来。如 $(a) \lor (a \land \neg c) \lor (b \land c)$

表达式化简:

• 表达式相等: 两个表达式具有同样的变量，且对于变量的任意一组取值，表达式的值均相等，这两个表达式是相等的
• 最小项: 如果某个表达式的某个乘积(与)项包含了表达式的全部变量，其中每个表达式都以原变量或是反变量的形式出现。n个变量可以有2^n个最小项。
• 主析取式: 可以将表达式化简为全部由最小项组成的唯一表达式，也被称为主析取式(符合析取范式).