From 55628c8a421218f0fce192d917bd8fcce8e06fde Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Wed, 14 Mar 2018 20:44:44 +0800
Subject: [PATCH 1/9] auto commit
---
notes/Git.md | 22 ++++----
notes/HTTP.md | 26 ++++-----
notes/JVM.md | 26 ++++-----
notes/Java IO.md | 18 +++---
notes/Java 基础.md | 8 +--
notes/Java 容器.md | 6 +-
notes/Java 并发.md | 18 +++---
notes/Leetcode 题解.md | 18 +++---
notes/Linux.md | 16 +++---
notes/MySQL.md | 10 ++--
notes/Redis.md | 32 ++++++-----
notes/SQL.md | 2 +-
notes/代码可读性.md | 2 +-
notes/剑指 offer 题解.md | 34 +++++------
notes/数据库系统原理.md | 20 +++----
notes/算法.md | 94 +++++++++++++++----------------
notes/计算机操作系统.md | 26 ++++-----
notes/计算机网络.md | 118 +++++++++++++++++++--------------------
notes/设计模式.md | 86 ++++++++++++++--------------
notes/重构.md | 24 ++++----
notes/面向对象思想.md | 26 ++++-----
21 files changed, 317 insertions(+), 315 deletions(-)
diff --git a/notes/Git.md b/notes/Git.md
index a14b8e9c..3418d95e 100644
--- a/notes/Git.md
+++ b/notes/Git.md
@@ -39,20 +39,20 @@ Git 的中心服务器用来交换每个用户的修改。没有中心服务器
# Git 工作流
-
+
新建一个仓库之后,当前目录就成为了工作区,工作区下有一个隐藏目录 .git,它属于 Git 的版本库。
Git 版本库有一个称为 stage 的暂存区,还有自动创建的 master 分支以及指向分支的 HEAD 指针。
-
+
- git add files 把文件的修改添加到暂存区
- git commit 把暂存区的修改提交到当前分支,提交之后暂存区就被清空了
- git reset -- files 使用当前分支上的修改覆盖暂缓区,用来撤销最后一次 git add files
- git checkout -- files 使用暂存区的修改覆盖工作目录,用来撤销本地修改
-
+
可以跳过暂存区域直接从分支中取出修改或者直接提交修改到分支中
@@ -63,25 +63,25 @@ Git 版本库有一个称为 stage 的暂存区,还有自动创建的 master
Git 把每次提交都连成一条时间线。分支使用指针来实现,例如 master 分支指针指向时间线的最后一个节点,也就是最后一次提交。HEAD 指针指向的是当前分支。
-
+
新建分支是新建一个指针指向时间线的最后一个节点,并让 HEAD 指针指向新分支表示新分支成为当前分支。
-
+
每次提交只会让当前分支向前移动,而其它分支不会移动。
-
+
合并分支也只需要改变指针即可。
-
+
# 冲突
当两个分支都对同一个文件进行了修改,在分支合并时就会产生冲突。
-
+
Git 会使用 <<<<<<< ,======= ,>>>>>>> 标记出不同分支的内容,只需要把不同分支中冲突部分修改成一样就能解决冲突。
@@ -103,7 +103,7 @@ Creating a new branch is quick AND simple.
$ git merge --no-ff -m "merge with no-ff" dev
```
-
+
# 分支管理策略
@@ -111,7 +111,7 @@ master 分支应该是非常稳定的,只用来发布新版本;
日常开发在开发分支 dev 上进行。
-
+
# 储藏(Stashing)
@@ -151,6 +151,6 @@ $ ssh-keygen -t rsa -C "youremail@example.com"
# Git 命令一览
-
+
比较详细的地址:http://www.cheat-sheets.org/saved-copy/git-cheat-sheet.pdf
diff --git a/notes/HTTP.md b/notes/HTTP.md
index 1ae9578e..e038a98d 100644
--- a/notes/HTTP.md
+++ b/notes/HTTP.md
@@ -61,17 +61,17 @@
URI 包含 URL 和 URN,目前 WEB 只有 URL 比较流行,所以见到的基本都是 URL。
-
+
## 请求和响应报文
**请求报文**
-
+
**响应报文**
-
+
# HTTP 方法
@@ -152,7 +152,7 @@ DELETE /file.html HTTP/1.1
CONNECT www.example.com:443 HTTP/1.1
```
-
+
## TRACE:追踪路径
@@ -162,7 +162,7 @@ CONNECT www.example.com:443 HTTP/1.1
通常不会使用 TRACE,并且它容易受到 XST 攻击(Cross-Site Tracing,跨站追踪),因此更不会去使用它。
-
+
# HTTP 状态码
@@ -204,7 +204,7 @@ CONNECT www.example.com:443 HTTP/1.1
- **401 Unauthorized** :该状态码表示发送的请求需要有认证信息(BASIC 认证、DIGEST 认证)。如果之前已进行过一次请求,则表示用户认证失败。
-
+
- **403 Forbidden** :请求被拒绝,服务器端没有必要给出拒绝的详细理由。
@@ -385,13 +385,13 @@ Expires 字段也可以用于告知缓存服务器该资源什么时候会过期
当浏览器访问一个包含多张图片的 HTML 页面时,除了请求访问 HTML 页面资源,还会请求图片资源,如果每进行一次 HTTP 通信就要断开一次 TCP 连接,连接建立和断开的开销会很大。持久连接只需要建立一次 TCP 连接就能进行多次 HTTP 通信。
-
+
持久连接需要使用 Connection 首部字段进行管理。HTTP/1.1 开始 HTTP 默认是持久化连接的,如果要断开 TCP 连接,需要由客户端或者服务器端提出断开,使用 Connection : close;而在 HTTP/1.1 之前默认是非持久化连接的,如果要维持持续连接,需要使用 Connection : Keep-Alive。
**管线化方式** 可以同时发送多个请求和响应,而不需要发送一个请求然后等待响应之后再发下一个请求。
-
+
## 编码
@@ -448,7 +448,7 @@ Content-Length: 1024
涉及以下首部字段:Accept、Accept-Charset、Accept-Encoding、Accept-Language、Content-Language。
-
+
## 虚拟主机
@@ -464,19 +464,19 @@ Content-Length: 1024
使用代理的主要目的是:缓存、网络访问控制以及访问日志记录。
-
+
**网关**
与代理服务器不同的是,网关服务器会将 HTTP 转化为其它协议进行通信,从而请求其它非 HTTP 服务器的服务。
-
+
**隧道**
使用 SSL 等加密手段,为客户端和服务器之间建立一条安全的通信线路。
-
+
# HTTPs
@@ -496,7 +496,7 @@ HTTPs 并不是新协议,而是 HTTP 先和 SSL(Secure Socket Layer)通信
HTTPs 采用 **混合的加密机制** ,使用公开密钥加密用于传输对称密钥,之后使用对称密钥加密进行通信。(下图中,共享密钥即对称密钥)
-
+
## 认证
diff --git a/notes/JVM.md b/notes/JVM.md
index 78d24f77..a49135b3 100644
--- a/notes/JVM.md
+++ b/notes/JVM.md
@@ -65,7 +65,7 @@
# 内存模型
-
+
注:白色区域为线程私有的,蓝色区域为线程共享的。
@@ -224,7 +224,7 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
### 2.1 标记-清除算法
-
+
将需要回收的对象进行标记,然后清除。
@@ -237,7 +237,7 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
### 2.2 复制算法
-
+
将内存划分为大小相等的两块,每次只使用其中一块,当这一块内存用完了就将还存活的对象复制到另一块上面,然后再把使用过的内存空间进行一次清理。
@@ -247,7 +247,7 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
### 2.3 标记-整理算法
-
+
让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存。
@@ -262,13 +262,13 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
## 3. 垃圾收集器
-
+
以上是 HotSpot 虚拟机中的 7 个垃圾收集器,连线表示垃圾收集器可以配合使用。
### 3.1 Serial 收集器
-
+
它是单线程的收集器,不仅意味着只会使用一个线程进行垃圾收集工作,更重要的是它在进行垃圾收集时,必须暂停所有其他工作线程,往往造成过长的等待时间。
@@ -278,7 +278,7 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
### 3.2 ParNew 收集器
-
+
它是 Serial 收集器的多线程版本。
@@ -300,7 +300,7 @@ finalize() 类似 C++ 的析构函数,用来做关闭外部资源等工作。
### 3.4 Serial Old 收集器
-
+
Serial Old 是 Serial 收集器的老年代版本,也是给 Client 模式下的虚拟机使用。如果用在 Server 模式下,它有两大用途:
@@ -309,7 +309,7 @@ Serial Old 是 Serial 收集器的老年代版本,也是给 Client 模式下
### 3.5 Parallel Old 收集器
-
+
是 Parallel Scavenge 收集器的老年代版本。
@@ -317,7 +317,7 @@ Serial Old 是 Serial 收集器的老年代版本,也是给 Client 模式下
### 3.6 CMS 收集器
-
+
CMS(Concurrent Mark Sweep),从 Mark Sweep 可以知道它是基于标记-清除算法实现的。
@@ -342,7 +342,7 @@ CMS(Concurrent Mark Sweep),从 Mark Sweep 可以知道它是基于标记-
### 3.7 G1 收集器
-
+
G1(Garbage-First)收集器是当今收集器技术发展最前沿的成果之一,它是一款面向服务端应用的垃圾收集器,HotSpot 开发团队赋予它的使命是(在比较长期的)未来可以替换掉 JDK 1.5 中发布的 CMS 收集器。
@@ -439,7 +439,7 @@ JVM 并不是永远地要求对象的年龄必须达到 MaxTenuringThreshold 才
## 1 类的生命周期
-
+
包括以下 7 个阶段:
@@ -627,7 +627,7 @@ public static void main(String[] args) {
应用程序都是由三种类加载器相互配合进行加载的,如果有必要,还可以加入自己定义的类加载器。下图展示的类加载器之间的层次关系,称为类加载器的双亲委派模型(Parents Delegation Model)。该模型要求除了顶层的启动类加载器外,其余的类加载器都应有自己的父类加载器,这里类加载器之间的父子关系一般通过组合(Composition)关系来实现,而不是通过继承(Inheritance)的关系实现。
-
+
**工作过程**
diff --git a/notes/Java IO.md b/notes/Java IO.md
index 58709c31..4bfb4d46 100644
--- a/notes/Java IO.md
+++ b/notes/Java IO.md
@@ -49,7 +49,7 @@ File 类可以用于表示文件和目录,但是它只用于表示文件的信
# 字节操作
-
+
Java I/O 使用了装饰者模式来实现。以 InputStream 为例,InputStream 是抽象组件,FileInputStream 是 InputStream 的子类,属于具体组件,提供了字节流的输入操作。FilterInputStream 属于抽象装饰者,装饰者用于装饰组件,为组件提供额外的功能,例如 BufferedInputStream 为 FileInputStream 提供缓存的功能。
@@ -150,7 +150,7 @@ is.close();
- Socket:客户端类
- 服务器和客户端通过 InputStream 和 OutputStream 进行输入输出。
-
+
## 4. Datagram
@@ -211,19 +211,19 @@ I/O 包和 NIO 已经很好地集成了,java.io.\* 已经以 NIO 为基础重
状态变量的改变过程:
1. 新建一个大小为 8 个字节的缓冲区,此时 position 为 0,而 limit = capacity = 9。capacity 变量不会改变,下面的讨论会忽略它。
-
+
2. 从输入通道中读取 3 个字节数据写入缓冲区中,此时 position 移动设为 3,limit 保持不变。
-
+
3. 以下图例为已经从输入通道读取了 5 个字节数据写入缓冲区中。在将缓冲区的数据写到输出通道之前,需要先调用 flip() 方法,这个方法将 limit 设置为当前 position,并将 position 设置为 0。
-
+
4. 从缓冲区中取 4 个字节到输出缓冲中,此时 position 设为 4。
-
+
5. 最后需要调用 clear() 方法来清空缓冲区,此时 position 和 limit 都被设置为最初位置。
-
+
## 4. 文件 NIO 实例
@@ -284,7 +284,7 @@ buffer.clear();
服务端都会为每个连接的客户端创建一个线程来处理读写请求,阻塞式的特点会造成服务器会创建大量线程,并且大部分线程处于阻塞的状态,因此对服务器的性能会有很大的影响。
-
+
### 5.2 非阻塞式 I/O
@@ -294,7 +294,7 @@ buffer.clear();
线程通信:线程之间通过 wait()、notify() 等方式通信,保证每次上下文切换都是有意义的,减少无谓的线程切换。
-
+
## 6. 套接字 NIO 实例
diff --git a/notes/Java 基础.md b/notes/Java 基础.md
index 7c4964a2..33938e9a 100644
--- a/notes/Java 基础.md
+++ b/notes/Java 基础.md
@@ -145,13 +145,13 @@ protected void finalize() throws Throwable {}
引用类型引用同一个对象。clone() 方法默认就是浅拷贝实现。
-
+
**深拷贝**
可以使用序列化实现。
-
+
> [How do I copy an object in Java?](https://stackoverflow.com/questions/869033/how-do-i-copy-an-object-in-java)
@@ -293,7 +293,7 @@ StringBuilder 不是线程安全的;StringBuffer 是线程安全的,使用 s
如果 String 已经被创建过了,那么就会从 String Pool 中取得引用。只有 String 是不可变的,才可能使用 String Pool。
-
+
**安全性**
@@ -448,7 +448,7 @@ Throwable 可以用来表示任何可以作为异常抛出的类,分为两种
Exception 分为两种: **受检异常** 和 **非受检异常**。受检异常需要用 try...catch... 语句捕获并进行处理,并且可以从异常中恢复;非受检异常是程序运行时错误,例如除 0 会引发 Arithmetic Exception,此时程序奔溃并且无法恢复。
-
+
更详细的内容:
- [Java 入门之异常处理](https://www.tianmaying.com/tutorial/Java-Exception)
diff --git a/notes/Java 容器.md b/notes/Java 容器.md
index 73a831fd..2da89cca 100644
--- a/notes/Java 容器.md
+++ b/notes/Java 容器.md
@@ -32,7 +32,7 @@
# 概览
-
+
容器主要包括 Collection 和 Map 两种,Collection 又包含了 List、Set 以及 Queue。
@@ -257,13 +257,13 @@ transient Entry[] table;
其中,Entry 就是存储数据的键值对,它包含了四个字段。从 next 字段我们可以看出 Entry 是一个链表,即每个桶会存放一个链表。
-
+
### 拉链法的工作原理
使用默认构造函数新建一个 HashMap,默认大小为 16。Entry 的类型为 <String, Integer>。先后插入三个元素:("sachin", 30), ("vishal", 20) 和 ("vaibhav", 20)。计算 "sachin" 的 hashcode 为 115,使用除留余数法得到 115 % 16 = 3,因此 ("sachin", 30) 键值对放到第 3 个桶上。同样得到 ("vishal", 20) 和 ("vaibhav", 20) 都应该放到第 6 个桶上,因此需要把 ("vaibhav", 20) 链接到 ("vishal", 20) 之后。
-
+
当进行查找时,需要分成两步进行,第一步是先根据 hashcode 计算出所在的桶,第二步是在链表上顺序查找。由于 table 是数组形式的,具有随机读取的特性,因此这一步的时间复杂度为 O(1),而第二步需要在链表上顺序查找,时间复杂度显然和链表的长度成正比。
diff --git a/notes/Java 并发.md b/notes/Java 并发.md
index bb498cb0..23fc6d1b 100644
--- a/notes/Java 并发.md
+++ b/notes/Java 并发.md
@@ -403,7 +403,7 @@ interrupted() 方法在检查完中断状态之后会清除中断状态,这样
# 线程状态转换
-
+
1. NEW(新建):创建后尚未启动的线程。
2. RUNNABLE(运行):处于此状态的线程有可能正在执行,也有可能正在等待着 CPU 为它分配执行时间。
@@ -454,7 +454,7 @@ volatile 关键字通过添加内存屏障的方式来进制指令重排,即
每个处理器都有一个高速缓存,但是所有处理器共用一个主内存,因此高速缓存引入了一个新问题:缓存一致性。当多个处理器的运算都涉及同一块主内存区域时,将可能导致各自的缓存数据不一致。缓存不一致问题通常需要使用一些协议来解决。
-
+
除了增加高速缓存之外,为了使得处理器内部的运算单元能尽量被充分利用,处理器可能会对输入代码进行乱序执行(Out-Of-Order Execution)优化,处理器会在计算之后将乱序执行的结果重组,保证该结果与顺序执行的结果是一致的,但并不保证程序中各个语句计算的先后顺序与输入代码中的顺序一致,因此,如果存在一个计算任务依赖另外一个计算任务的中间结果,那么其顺序性并不能靠代码的先后顺序来保证。与处理器的乱序执行优化类似,Java 虚拟机的即时编译器中也有类似的指令重排序(Instruction Reorder)优化。
@@ -468,7 +468,7 @@ Java 内存模型的主要目标是定义程序中各个变量的访问规则,
Java 内存模型规定了所有的变量都存储在主内存(Main Memory)中。每条线程还有自己的工作内存,线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝,线程对变量的所有操作(读取、赋值等)都必须在工作内存中进行,而不能直接读写主内存中的变量。不同的线程之间也无法直接访问对方工作内存中的变量,线程间变量值的传递均需要通过主内存来完成,线程、主内存、工作内存三者的交互关系如图所示。
-
+
## 4. 内存间交互操作
@@ -718,10 +718,10 @@ Thread printThread = new Thread(new Runnable() {
如果需要使用上述功能,选用 ReentrantLock 是一个很好的选择,那如果是基于性能考虑呢?关于 synchronized 和 ReentrantLock 的性能问题,Brian Goetz 对这两种锁在 JDK 1.5 与单核处理器,以及 JDK 1.5 与双 Xeon 处理器环境下做了一组吞吐量对比的实验,实验结果如图 13-1 和图 13-2 所示。
-
+
JDK 1.5、单核处理器下两种锁的吞吐量对比
-
+
JDK 1.5、双 Xeon 处理器下两种锁的吞吐量对比
多线程环境下 synchronized 的吞吐量下降得非常严重,而 ReentrantLock 则能基本保持在同一个比较稳定的水平上。与其说 ReentrantLock 性能好,还不如说 synchronized 还有非常大的优化余地。后续的技术发展也证明了这一点,JDK 1.6 中加入了很多针对锁的优化措施,JDK 1.6 发布之后,人们就发现 synchronized 与 ReentrantLock 的性能基本上是完全持平了。因此,如果读者的程序是使用 JDK 1.6 或以上部署的话,性能因素就不再是选择 ReentrantLock 的理由了,虚拟机在未来的性能改进中肯定也会更加偏向于原生的 synchronized,所以还是提倡在 synchronized 能实现需求的情况下,优先考虑使用 synchronized 来进行同步。
@@ -886,15 +886,15 @@ public static String concatString(String s1, String s2, String s3) {
对象头信息是与对象自身定义的数据无关的额外存储成本,考虑到虚拟机的空间效率,Mark Work 被设计成一个非固定的数据结构以便在极小的空间内存储尽量多的信息,它会根据对象的状态复用自己的存储空间。例如,在 32 位的 HotSpot 虚拟机中对象未被锁定的状态下,Mark Word 的 32bit 空间中的 25bit 用于存储对象哈希码(HashCode),4bit 用于存储对象分代年龄,2bit 用于存储锁标志位,1bit 固定为 0,在其他状态(轻量级锁定、重量级锁定、GC 标记、可偏向)下对象的存储内容见表 13-1。
-
+
简单地介绍了对象的内存布局后,我们把话题返回到轻量级锁的执行过程上。在代码进入同步块的时候,如果此同步对象没有被锁定(锁标志位为 “01” 状态)虚拟机首先将在当前线程的栈帧中建立一个名为锁记录(Lock Record)的空间,用于存储锁对象目前的 Mark Word 的拷贝(官方把这份拷贝加上了一个 Displaced 前缀,即 Displaced Mark Word),这时候线程堆栈与对象头的状态如图 13-3 所示。
-
+
然后,虚拟机将使用 CAS 操作尝试将对象的 Mark Word 更新为指向 Lock Record 的指针。如果这个更新动作成功了,那么这个线程就拥有了该对象的锁,并且对象 Mark Word 的锁标志位 (Mark Word 的最后 2bit)将转变为 “00”,即表示此对象处于轻量级锁定状态,这时候线程堆栈与对象头的状态如图 12-4 所示。
-
+
如果这个更新操作失败了,虚拟机首先会检查对象的 Mark Word 是否指向当前线程的栈帧,如果只说明当前线程已经拥有了这个对象的锁,那就可以直接进入同步块继续执行,否则说明这个锁对象以及被其他线程线程抢占了。如果有两条以上的线程争用同一个锁,那轻量级锁就不再有效,要膨胀为重量级锁,所标志的状态变为 “10”,Mark Word 中存储的就是指向重量级锁(互斥量)的指针,后面等待锁的线程也要进入阻塞状态。
@@ -912,7 +912,7 @@ public static String concatString(String s1, String s2, String s3) {
当有另外一个线程去尝试获取这个锁时,偏向模式就宣告结束。根据锁对象目前是否处于被锁定的状态,撤销偏向(Revoke Bias)后恢复到未锁定(标志位为 “01”)或轻量级锁定(标志位为 “00”)的状态,后续的同步操作就如上面介绍的轻量级锁那样执行。偏向锁、轻量级锁的状态转换及对象 Mark Word 的关系如图 13-5 所示。
-
+
偏向锁可以提高带有同步但无竞争的程序性能。它同样是一个带有效益权衡(Trade Off)性质的优化,也就是说,它并不一定总是对程序运行有利,如果程序中大多数的锁总是被多个不同的线程访问,那偏向模式就是多余的。在具体问题具体分析的前提下,有时候使用参数 -XX:-UseBiasedLocking 来禁止偏向锁优化反而可以提升性能。
diff --git a/notes/Leetcode 题解.md b/notes/Leetcode 题解.md
index b0d25164..8ba46162 100644
--- a/notes/Leetcode 题解.md
+++ b/notes/Leetcode 题解.md
@@ -745,7 +745,7 @@ public List topKFrequent(int[] nums, int k) {
### BFS
-
+
广度优先搜索的搜索过程有点像一层一层地进行遍历:从节点 0 出发,遍历到 6、2、1 和 5 这四个新节点。
@@ -801,7 +801,7 @@ private class Position {
### DFS
-
+
广度优先搜索一层一层遍历,每一层遍历到的所有新节点,要用队列先存储起来以备下一层遍历的时候再遍历;而深度优先搜索在遍历到一个新节点时立马对新节点进行遍历:从节点 0 出发开始遍历,得到到新节点 6 时,立马对新节点 6 进行遍历,得到新节点 4;如此反复以这种方式遍历新节点,直到没有新节点了,此时返回。返回到根节点 0 的情况是,继续对根节点 0 进行遍历,得到新节点 2,然后继续以上步骤。
@@ -1087,7 +1087,7 @@ private void dfs(int r, int c, boolean[][] canReach) {
[Leetcode : 51. N-Queens (Hard)](https://leetcode.com/problems/n-queens/description/)
-
+
题目描述:在 n\*n 的矩阵中摆放 n 个皇后,并且每个皇后不能在同一行,同一列,同一对角线上,要求解所有的 n 皇后解。
@@ -1095,11 +1095,11 @@ private void dfs(int r, int c, boolean[][] canReach) {
45 度对角线标记数组的维度为 2\*n - 1,通过下图可以明确 (r,c) 的位置所在的数组下标为 r + c。
-
+
135 度对角线标记数组的维度也是 2\*n - 1,(r,c) 的位置所在的数组下标为 n - 1 - (r - c)。
-
+
```java
private List> ret;
@@ -1156,7 +1156,7 @@ private void backstracking(int row) {
[Leetcode : 17. Letter Combinations of a Phone Number (Medium)](https://leetcode.com/problems/letter-combinations-of-a-phone-number/description/)
-
+
```html
Input:Digit string "23"
@@ -1598,7 +1598,7 @@ private boolean isPalindrome(String s, int begin, int end) {
[Leetcode : 37. Sudoku Solver (Hard)](https://leetcode.com/problems/sudoku-solver/description/)
-
+
```java
private boolean[][] rowsUsed = new boolean[9][10];
@@ -2519,7 +2519,7 @@ public int minDistance(String word1, String word2) {
题目描述:交易之后需要有一天的冷却时间。
-
+
```html
s0[i] = max(s0[i - 1], s2[i - 1]); // Stay at s0, or rest from s2
@@ -4797,7 +4797,7 @@ private void inorder(TreeNode node, int k) {
### Trie
-
+
Trie,又称前缀树或字典树,用于判断字符串是否存在或者是否具有某种字符串前缀。
diff --git a/notes/Linux.md b/notes/Linux.md
index cf76b2c9..341de0aa 100644
--- a/notes/Linux.md
+++ b/notes/Linux.md
@@ -219,7 +219,7 @@ GPT 第 1 个区块记录了 MBR,紧接着是 33 个区块记录分区信息
GPT 没有扩展分区概念,都是主分区,最多可以分 128 个分区。
-
+
## 开机检测程序
@@ -229,7 +229,7 @@ BIOS 是开机的时候计算机执行的第一个程序,这个程序知道可
MBR 中的开机管理程序提供以下功能:选单、载入核心文件以及转交其它开机管理程序。转交这个功能可以用来实现了多重引导,只需要将另一个操作系统的开机管理程序安装在其它分区的启动扇区上,在启动 MBR 中的开机管理程序时,就可以选择启动当前的操作系统或者转交给其它开机管理程序从而启动另一个操作系统。
-
+
安装多重引导,最好先安装 Windows 再安装 Linux。因为安装 Windows 时会覆盖掉 MBR,而 Linux 可以选择将开机管理程序安装在 MBR 或者其它分区的启动扇区,并且可以设置开机管理程序的选单。
@@ -241,7 +241,7 @@ UEFI 相比于 BIOS 来说功能更为全面,也更为安全。
挂载利用目录作为分区的进入点,也就是说,进入目录之后就可以读取分区的数据。
-
+
# 文件权限与目录配置
@@ -340,7 +340,7 @@ UEFI 相比于 BIOS 来说功能更为全面,也更为安全。
完整的目录树如下:
-
+
# 文件与目录
@@ -501,7 +501,7 @@ find 可以使用文件的属性和权限进行搜索。
+4、4 和 -4 的指示的时间范围如下:
-
+
#### 4.2 与文件拥有者和所属群组有关的选项
@@ -543,7 +543,7 @@ find 可以使用文件的属性和权限进行搜索。
Ext2 文件系统使用了上述的文件结构,并在此之上加入了 block 群组的概念,也就是将一个文件系统划分为多个 block 群组,方便管理。
-
+
## inode
@@ -551,7 +551,7 @@ Ext2 文件系统支持的 block 大小有 1k、2k 和 4k 三种,不同的 blo
inode 中记录了文件内容所在的 block,但是每个 block 非常小,一个大文件随便都需要几十万的 block。而一个 inode 大小有限,无法直接引用这么多 block。因此引入了间接、双间接、三间接引用。间接引用是指,让 inode 记录的引用 block 块当成 inode 用来记录引用信息。
-
+
inode 具体包含以下信息:
@@ -1030,7 +1030,7 @@ daemon 2
# vim 三个模式
-
+
在指令列模式下,有以下命令用于离开或者存储文件。
diff --git a/notes/MySQL.md b/notes/MySQL.md
index cb67acd3..53b18b43 100644
--- a/notes/MySQL.md
+++ b/notes/MySQL.md
@@ -247,7 +247,7 @@ customer_id_selectivity: 0.0373
### 3.5 聚簇索引
-
+
聚簇索引并不是一种索引类型,而是一种数据存储方式。
@@ -282,7 +282,7 @@ customer_id_selectivity: 0.0373
### 4. 1 B-Tree
-
+
为了描述 B-Tree,首先定义一条数据记录为一个二元组 [key, data],key 为记录的键,data 为数据记录除 key 外的数据。
@@ -298,7 +298,7 @@ B-Tree 是满足下列条件的数据结构:
### 4.2 B+Tree
-
+
与 B-Tree 相比,B+Tree 有以下不同点:
@@ -307,7 +307,7 @@ B-Tree 是满足下列条件的数据结构:
### 4.3 带有顺序访问指针的 B+Tree
-
+
一般在数据库系统或文件系统中使用的 B+Tree 结构都在经典 B+Tree 基础上进行了优化,在叶子节点增加了顺序访问指针,做这个优化的目的是为了提高区间访问的性能。
@@ -424,7 +424,7 @@ do {
通过代理,可以路由流量到可以使用的服务器上。
-
+
**在应用中处理故障转移**
diff --git a/notes/Redis.md b/notes/Redis.md
index 36c036f9..9e941e8c 100644
--- a/notes/Redis.md
+++ b/notes/Redis.md
@@ -10,9 +10,11 @@
* [发布与订阅](#发布与订阅)
* [事务](#事务)
* [持久化](#持久化)
- * [1. 快照持久化](#1-快照持久化)
- * [2. AOF 持久化](#2-aof-持久化)
+ * [快照持久化](#快照持久化)
+ * [AOF 持久化](#aof-持久化)
* [复制](#复制)
+ * [从服务器连接主服务器的过程](#从服务器连接主服务器的过程)
+ * [主从链](#主从链)
* [处理故障](#处理故障)
* [分片](#分片)
* [事件](#事件)
@@ -212,7 +214,7 @@ MULTI 和 EXEC 中的操作将会一次性发送给服务器,而不是一条
Redis 是内存型数据库,为了保证数据在断电后不会丢失,需要将内存中的数据持久化到硬盘上。
-## 1. 快照持久化
+## 快照持久化
将某个时间点的所有数据都存放到硬盘上。
@@ -220,7 +222,7 @@ Redis 是内存型数据库,为了保证数据在断电后不会丢失,需
如果系统发生故障,将会丢失最后一次创建快照之后的数据。并且如果数据量很大,保存快照的时间也会很长。
-## 2. AOF 持久化
+## AOF 持久化
AOF 持久化将写命令添加到 AOF 文件(Append Only File)的末尾。
@@ -242,17 +244,17 @@ always 选项会严重减低服务器的性能;everysec 选项比较合适,
一个从服务器只能有一个主服务器,并且不支持主主复制。
-**1. 从服务器连接主服务器的过程**
+## 从服务器连接主服务器的过程
-(1) 主服务器创建快照文件,发送给从服务器,并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后,开始向从服务器发送存储在缓冲区中的写命令;
-(2) 从服务器丢弃所有旧数据,载入主服务器发来的快照文件,之后从服务器开始接受主服务器发来的写命令;
-(3) 主服务器每执行一次写命令,就向从服务器发送相同的写命令。
+- 主服务器创建快照文件,发送给从服务器,并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后,开始向从服务器发送存储在缓冲区中的写命令;
+- 从服务器丢弃所有旧数据,载入主服务器发来的快照文件,之后从服务器开始接受主服务器发来的写命令;
+- 主服务器每执行一次写命令,就向从服务器发送相同的写命令。
-**2. 主从链**
+## 主从链
-随着负载不断上升,主服务器可能无法很快地更新所有从服务器,或者重新连接和重新同步从服务器而导致系统超载。为了解决这个问题,可以创建一个中间层来分担主服务器的复制工作。中间层的服务器是最上层服务器的从服务器,又是最下层服务器的主服务器。
+随着负载不断上升,主服务器可能无法很快地更新所有从服务器,或者重新连接和重新同步从服务器将导致系统超载。为了解决这个问题,可以创建一个中间层来分担主服务器的复制工作。中间层的服务器是最上层服务器的从服务器,又是最下层服务器的主服务器。
-
+
# 处理故障
@@ -338,7 +340,7 @@ def main():
事件处理的角度下服务器运行流程如下:
-
+
# Redis 与 Memcached 的区别
@@ -411,7 +413,7 @@ Redis 这种内存数据库才能支持计数器的频繁读写操作。
Redis 没有表的概念将同类型的数据存放在一起,而是使用命名空间的方式来实现这一功能。键名的前面部分存储命名空间,后面部分的内容存储 ID,通常使用 : 来进行分隔。例如下面的 HASH 的键名为 article:92617,其中 article 为命名空间,ID 为 92617。
-
+
**2. 点赞功能**
@@ -419,13 +421,13 @@ Redis 没有表的概念将同类型的数据存放在一起,而是使用命
为了节约内存,规定一篇文章发布满一周之后,就不能再对它进行投票,而文章的已投票集合也会被删除,可以为文章的已投票集合设置一个一周的过期时间就能实现这个规定。
-
+
**3. 对文章进行排序**
为了按发布时间和点赞数进行排序,可以建立一个文章发布时间的有序集合和一个文章点赞数的有序集合。(下图中的 score 就是这里所说的点赞数;下面所示的有序集合分值并不直接是时间和点赞数,而是根据它们间接计算出来的)
-
+
# 参考资料
diff --git a/notes/SQL.md b/notes/SQL.md
index d9a82b2d..20d5c00d 100644
--- a/notes/SQL.md
+++ b/notes/SQL.md
@@ -710,7 +710,7 @@ SHOW GRANTS FOR myuser;
GRANT SELECT, INSERT ON mydatabase.* TO myuser;
```
-
+
账户用 username@host 的形式定义,username@% 使用的是默认主机名。
diff --git a/notes/代码可读性.md b/notes/代码可读性.md
index 28b61ed8..0c5ab772 100644
--- a/notes/代码可读性.md
+++ b/notes/代码可读性.md
@@ -44,7 +44,7 @@
用 min、max 表示数量范围;用 first、last 表示访问空间的包含范围,begin、end 表示访问空间的排除范围,即 end 不包含尾部。
-
+
布尔相关的命名加上 is、can、should、has 等前缀。
diff --git a/notes/剑指 offer 题解.md b/notes/剑指 offer 题解.md
index d7f91dbb..f7492747 100644
--- a/notes/剑指 offer 题解.md
+++ b/notes/剑指 offer 题解.md
@@ -302,7 +302,7 @@ private TreeNode reConstructBinaryTree(int[] pre, int preL, int preR, int[] in,
- 如果一个节点有右子树不为空,那么该节点的下一个节点是右子树的最左节点;
- 否则,向上找第一个左链接指向的树包含该节点的祖先节点。
-
+
```java
public TreeLinkNode GetNext(TreeLinkNode pNode) {
@@ -679,12 +679,12 @@ private void printNumber(char[] number) {
- 如果链表不是尾节点,那么可以直接将下一个节点的值赋给节点,令节点指向下下个节点,然后删除下一个节点,时间复杂度为 O(1)。
-
+
- 否则,就需要先遍历链表,找到节点的前一个节点,然后让前一个节点指向节点的下一个节点,时间复杂度为 O(N)。
-
+
- 综上,如果进行 N 次操作,那么大约需要移动节点的次数为 N-1+N=2N-1,其中 N-1 表示不是链表尾节点情况下的移动次数,N 表示是尾节点情况下的移动次数。(2N-1)/N \~ 2,因此该算法的时间复杂度为 O(1)。
@@ -832,7 +832,7 @@ public void reOrderArray(int[] array) {
设链表的长度为 N。设两个指针 P1 和 P2,先让 P1 移动 K 个节点,则还有 N - K 个节点可以移动。此时让 P1 和 P2 同时移动,可以知道当 P1 移动到链表结尾时,P2 移动到 N - K 个节点处,该位置就是倒数第 K 个节点。
-
+
```java
public ListNode FindKthToTail(ListNode head, int k) {
@@ -857,7 +857,7 @@ public ListNode FindKthToTail(ListNode head, int k) {
在相遇点,slow 要到环的入口点还需要移动 z 个节点,如果让 fast 重新从头开始移动,并且速度变为每次移动一个节点,那么它到环入口点还需要移动 x 个节点。在上面已经推导出 x=z,因此 fast 和 slow 将在环入口点相遇。
-
+
```java
public ListNode EntryNodeOfLoop(ListNode pHead) {
@@ -902,7 +902,7 @@ public ListNode ReverseList(ListNode head) {
**题目描述**
-
+
```java
public ListNode Merge(ListNode list1, ListNode list2) {
@@ -928,7 +928,7 @@ public ListNode Merge(ListNode list1, ListNode list2) {
**题目描述**
-
+
```java
public boolean HasSubtree(TreeNode root1, TreeNode root2) {
@@ -951,7 +951,7 @@ private boolean isSubtree(TreeNode root1, TreeNode root2) {
**题目描述**
-
+
```java
public void Mirror(TreeNode root) {
@@ -1027,7 +1027,7 @@ private int height(TreeNode root) {
下图的矩阵顺时针打印结果为:1, 2, 3, 4, 8, 12, 16, 15, 14, 13, 9, 5, 6, 7, 11, 10
-
+
```java
public ArrayList printMatrix(int[][] matrix) {
@@ -1105,7 +1105,7 @@ public boolean IsPopOrder(int[] pushA, int[] popA) {
例如,以下二叉树层次遍历的结果为 8, 6, 10, 5, 7, 9, 11
-
+
**解题思路**
@@ -1201,7 +1201,7 @@ public ArrayList> Print(TreeNode pRoot) {
例如,下图中后序遍历序列 5, 7, 6, 9, 11, 10, 8 所对应的二叉搜索树。
-
+
```java
public boolean VerifySquenceOfBST(int[] sequence) {
@@ -1229,7 +1229,7 @@ private boolean verify(int[] sequence, int first, int last) {
下图的二叉树有两条和为 22 的路径:10, 5, 7 和 10, 12
-
+
```java
private ArrayList> ret = new ArrayList<>();
@@ -1259,21 +1259,21 @@ private void dfs(TreeNode node, int target, int curSum, ArrayList path)
输入一个复杂链表(每个节点中有节点值,以及两个指针,一个指向下一个节点,另一个特殊指针指向任意一个节点),返回结果为复制后复杂链表的 head。(注意,输出结果中请不要返回参数中的节点引用,否则判题程序会直接返回空)
-
+
**解题思路**
第一步,在每个节点的后面插入复制的节点。
-
+
第二步,对复制节点的 random 链接进行赋值。
-
+
第三步,拆分。
-
+
```java
public RandomListNode Clone(RandomListNode pHead) {
@@ -1315,7 +1315,7 @@ public RandomListNode Clone(RandomListNode pHead) {
输入一棵二叉搜索树,将该二叉搜索树转换成一个排序的双向链表。要求不能创建任何新的结点,只能调整树中结点指针的指向。
-
+
```java
private TreeNode pre = null;
diff --git a/notes/数据库系统原理.md b/notes/数据库系统原理.md
index 47394ee8..a38880b7 100644
--- a/notes/数据库系统原理.md
+++ b/notes/数据库系统原理.md
@@ -128,7 +128,7 @@ MySQL 中主要提供了两种封锁粒度:行级锁以及表级锁。
## 三级封锁协议
-
+
**一级封锁协议**
@@ -191,7 +191,7 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中,随时
以下关系中,Sno 表示学号,Sname 表示学生姓名,Sdept 表示学院,Cname 表示课程名,Mname 表示院长姓名。函数依赖为 {Sno, Cname} -> {Sname, Sdept, Mname}。
-
+
不符合范式的关系,会产生很多异常。主要有以下四种异常:
@@ -228,13 +228,13 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中,随时
-
+
-
+
## 第三范式 (3NF)
@@ -242,7 +242,7 @@ MySQL InnoDB 采用的是两阶段锁协议。在事务执行过程中,随时
上述 S1 存在传递依赖,Mname 依赖于 Sdept,而 Sdept 又依赖于 Sno,可以继续分解。
-
+
## BC 范式(BCNF)
@@ -324,29 +324,29 @@ Entity-Relationship,有三个组成部分:实体、属性、联系。
如果 A 到 B 是 1 对多关系,那么画个带箭头的线段指向 B;如果是 1 对 1,画两个带箭头的线段;如果是多对多,画两个不带箭头的线段。下图的 Course 和 Student 是 1 对多的关系。
-
+
## 表示出现多次的关系
一个实体在联系出现几次,就要用几条线连接。下图表示一个课程的先修关系,先修关系出现两个 Course 实体,第一个是先修课程,后一个是后修课程,因此需要用两条线来表示这种关系。
-
+
## 联系的多向性
虽然老师可以开设多门课,并且可以教授多名学生,但是对于特定的学生和课程,只有一个老师教授,这就构成了一个三元联系。
-
+
一般只使用二元联系,可以把多元关系转换为二元关系。
-
+
## 表示子类
用 IS-A 联系来表示子类,具体做法是用一个三角形和两条线来连接类和子类。与子类有关的属性和联系都连到子类上,而与父类和子类都有关的连到父类上。
-
+
# 一些概念
diff --git a/notes/算法.md b/notes/算法.md
index 06a18cf7..1f02fbc1 100644
--- a/notes/算法.md
+++ b/notes/算法.md
@@ -95,7 +95,7 @@
转换为
-
+
## 2. 数学模型
@@ -103,13 +103,13 @@
使用 \~f(N) 来表示所有随着 N 的增大除以 f(N) 的结果趋近于 1 的函数 , 例如 N3/6-N2/2+N/3 \~ N3/6。
-
+
**增长数量级**
增长数量级将算法与它的实现隔离开来,一个算法的增长数量级为 N3 与它是否用 Java 实现,是否运行于特定计算机上无关。
-
+
**内循环**
@@ -174,7 +174,7 @@ public class ThreeSumFast {
如果 T(N) \~ aNblgN,那么 T(2N)/T(N) \~ 2b,例如对于暴力方法的 ThreeSum 算法,近似时间为 \~N3/6,对它进行倍率实验得到如下结果:
-
+
可见 T(2N)/T(N)\~23,也就是 b 为 3。
@@ -365,11 +365,11 @@ public class Queue- {
用于解决动态连通性问题,能动态连接两个点,并且判断两个点是否连接。
-
+
**API**
-
+
**基本数据结构**
@@ -416,7 +416,7 @@ public class UF {
在 union 时只将触点的 id 值指向另一个触点 id 值,不直接用 id 来存储所属的连通分量。这样就构成一个倒置的树形结构,根节点需要指向自己。在进行查找一个节点所属的连通分量时,要一直向上查找直到根节点,并使用根节点的 id 值作为本连通分量的 id 值。
-
+
```java
public int find(int p) {
@@ -434,7 +434,7 @@ public class UF {
这种方法可以快速进行 union 操作,但是 find 操作和树高成正比,最坏的情况下树的高度为触点的数目。
-
+
## 3. 加权 quick-union 算法
@@ -442,7 +442,7 @@ public class UF {
理论研究证明,加权 quick-union 算法构造的树深度最多不超过 lgN。
-
+
```java
public class WeightedQuickUnionUF {
@@ -489,7 +489,7 @@ public class WeightedQuickUnionUF {
## 5. 各种 union-find 算法的比较
-
+
# 排序
@@ -519,7 +519,7 @@ private void exch(Comparable[] a, int i, int j){
找到数组中的最小元素,将它与数组的第一个元素交换位置。再从剩下的元素中找到最小的元素,将它与数组的第二个元素交换位置。不断进行这样的操作,直到将整个数组排序。
-
+
```java
public class Selection {
@@ -542,7 +542,7 @@ public class Selection {
入排序从左到右进行,每次都将当前元素插入到左部已经排序的数组中,使得插入之后左部数组依然有序。
-
+
```java
public class Insertion {
@@ -573,7 +573,7 @@ public class Insertion {
希尔排序使用插入排序对间隔 h 的序列进行排序,如果 h 很大,那么元素就能很快的移到很远的地方。通过不断减小 h,最后令 h=1,就可以使得整个数组是有序的。
-
+
```java
public class Shell {
@@ -601,7 +601,7 @@ public class Shell {
归并排序的思想是将数组分成两部分,分别进行排序,然后归并起来。
-
+
### 2.1 归并方法
@@ -645,9 +645,9 @@ private static void sort(Comparable[] a, int lo, int hi) {
}
```
-
+
-
+
因为每次都将问题对半分成两个子问题,而这种对半分的算法复杂度一般为 O(NlgN),因此该归并排序方法的时间复杂度也为 O(NlgN)。
@@ -657,7 +657,7 @@ private static void sort(Comparable[] a, int lo, int hi) {
先归并那些微型数组,然后成对归并得到的子数组。
-
+
```java
public static void busort(Comparable[] a) {
@@ -677,7 +677,7 @@ public static void busort(Comparable[] a) {
归并排序将数组分为两个子数组分别排序,并将有序的子数组归并使得整个数组排序;快速排序通过一个切分元素将数组分为两个子数组,左子数组小于等于切分元素,右子数组大于等于切分元素,将这两个子数组排序也就将整个数组排序了。
-
+
```java
public class QuickSort {
@@ -699,7 +699,7 @@ public class QuickSort {
取 a[lo] 作为切分元素,然后从数组的左端向右扫描直到找到第一个大于等于它的元素,再从数组的右端向左扫描找到第一个小于等于它的元素,交换这两个元素,并不断继续这个过程,就可以保证左指针的左侧元素都不大于切分元素,右指针 j 的右侧元素都不小于切分元素。当两个指针相遇时,将切分元素 a[lo] 和左子数组最右侧的元素 a[j] 交换然后返回 j 即可。
-
+
```java
private static int partition(Comparable[] a, int lo, int hi) {
@@ -740,7 +740,7 @@ private static int partition(Comparable[] a, int lo, int hi) {
三向切分快速排序对于只有若干不同主键的随机数组可以在线性时间内完成排序。
-
+
```java
public class Quick3Way {
@@ -770,7 +770,7 @@ public class Quick3Way {
堆可以用数组来表示,因为堆是一种完全二叉树,而完全二叉树很容易就存储在数组中。位置 k 的节点的父节点位置为 k/2,而它的两个子节点的位置分别为 2k 和 2k+1。这里我们不使用数组索引为 0 的位置,是为了更清晰地理解节点的关系。
-
+
```java
public class MaxPQ {
@@ -861,7 +861,7 @@ public Key delMax() {
无序数组建立堆最直接的方法是从左到右遍历数组,然后进行上浮操作。一个更高效的方法是从右至左进行下沉操作,如果一个节点的两个节点都已经是堆有序,那么进行下沉操作可以使得这个节点为根节点的堆有序。叶子节点不需要进行下沉操作,因此可以忽略叶子节点的元素,因此只需要遍历一半的元素即可。
-
+
```java
public static void sort(Comparable[] a){
@@ -890,7 +890,7 @@ public static void sort(Comparable[] a){
### 5.1 排序算法的比较
-
+
快速排序时最快的通用排序算法,它的内循环的指令很少,而且它还能利用缓存,因为它总是顺序地访问数据。它的运行时间增长数量级为 \~cNlgN,这里的 c 比其他线性对数级别的排序算法都要小。使用三向切分之后,实际应用中可能出现的某些分布的输入能够达到线性级别,而其它排序算法仍然需要线性对数时间。
@@ -927,11 +927,11 @@ public static Comparable select(Comparable[] a, int k) {
### 1.1 无序符号表
-
+
### 1.2 有序符号表
-
+
有序符号表的键需要实现 Comparable 接口。
@@ -1010,7 +1010,7 @@ public class BinarySearchST, Value> {
**二叉查找树** (BST)是一颗二叉树,并且每个节点的键都大于其左子树中的任意节点的键而小于右子树的任意节点的键。
-
+
二叉查找树的查找操作每次迭代都会让区间减少一半,和二分查找类似。
@@ -1083,7 +1083,7 @@ private Node put(Node x, Key key, Value val) {
二叉查找树的算法运行时间取决于树的形状,而树的形状又取决于键被插入的先后顺序。最好的情况下树是完全平衡的,每条空链接和根节点的距离都为 lgN。在最坏的情况下,树的高度为 N。
-
+
复杂度:查找和插入操作都为对数级别。
@@ -1139,7 +1139,7 @@ private Node min(Node x) {
令指向最小节点的链接指向最小节点的右子树。
-
+
```java
public void deleteMin() {
@@ -1157,7 +1157,7 @@ public Node deleteMin(Node x) {
如果待删除的节点只有一个子树,那么只需要让指向待删除节点的链接指向唯一的子树即可;否则,让右子树的最小节点替换该节点。
-
+
```java
public void delete(Key key) {
@@ -1209,7 +1209,7 @@ private void keys(Node x, Queue queue, Key lo, Key hi) {
### 3.1 2-3 查找树
-
+
一颗完美平衡的 2-3 查找树的所有空链接到根节点的距离应该是相同的。
@@ -1217,7 +1217,7 @@ private void keys(Node x, Queue queue, Key lo, Key hi) {
当插入之后产生一个临时 4- 节点时,需要将 4- 节点分裂成 3 个 2- 节点,并将中间的 2- 节点移到上层节点中。如果上移操作继续产生临时 4- 节点则一直进行分裂上移,直到不存在临时 4- 节点。
-
+
#### 3.1.2 性质
@@ -1229,7 +1229,7 @@ private void keys(Node x, Queue queue, Key lo, Key hi) {
2-3 查找树需要用到 2- 节点和 3- 节点,红黑树使用红链接来实现 3- 节点。指向一个节点的链接颜色如果为红色,那么这个节点和上层节点表示的是一个 3- 节点,而黑色则是普通链接。
-
+
红黑树具有以下性质:
@@ -1238,7 +1238,7 @@ private void keys(Node x, Queue queue, Key lo, Key hi) {
画红黑树时可以将红链接画平。
-
+
```java
public class RedBlackBST, Value> {
@@ -1272,9 +1272,9 @@ public class RedBlackBST, Value> {
因为合法的红链接都为左链接,如果出现右链接为红链接,那么就需要进行左旋转操作。
-
+
-
+
```java
public Node rotateLeft(Node h) {
@@ -1293,9 +1293,9 @@ public Node rotateLeft(Node h) {
进行右旋转是为了转换两个连续的左红链接,这会在之后的插入过程中探讨。
-
+
-
+
```java
public Node rotateRight(Node h) {
@@ -1313,9 +1313,9 @@ public Node rotateRight(Node h) {
一个 4- 节点在红黑树中表现为一个节点的左右子节点都是红色的。分裂 4- 节点除了需要将子节点的颜色由红变黑之外,同时需要将父节点的颜色由黑变红,从 2-3 树的角度看就是将中间节点移到上层节点。
-
+
-
+
```java
void flipColors(Node h){
@@ -1333,7 +1333,7 @@ void flipColors(Node h){
- 如果左子节点是红色的且它的左子节点也是红色的,进行右旋转;
- 如果左右子节点均为红色的,进行颜色转换。
-
+
```java
public void put(Key key, Value val) {
@@ -1369,11 +1369,11 @@ private Node put(Node x, Key key, Value val) {
2. 如果当前节点的左子节点是 2- 节点而它的兄弟节点不是 2- 节点,向兄弟节点拿一个 key 过来;
3. 如果当前节点的左子节点和它的兄弟节点都是 2- 节点,将左子节点、父节点中的最小键和最近的兄弟节点合并为一个 4- 节点。
-
+
最后得到一个含有最小键的 3- 节点或者 4- 节点,直接从中删除。然后再从头分解所有临时的 4- 节点。
-
+
#### 3.2.6 分析
@@ -1449,7 +1449,7 @@ public class Transaction{
拉链法使用链表来存储 hash 值相同的键,从而解决冲突。此时查找需要分两步,首先查找 Key 所在的链表,然后在链表中顺序查找。
-
+
对于 N 个键,M 条链表 (N>M),如果哈希函数能够满足均匀性的条件,每条链表的大小趋向于 N/M,因此未命中的查找和插入操作所需要的比较次数为 \~N/M。
@@ -1457,7 +1457,7 @@ public class Transaction{
线性探测法使用空位来解决冲突,当冲突发生时,向前探测一个空位来存储冲突的键。使用线程探测法,数组的大小 M 应当大于键的个数 N(M>N)。
-
+
```java
public class LinearProbingHashST {
@@ -1551,7 +1551,7 @@ public void delete(Key key) {
α = N/M,把 α 称为利用率。理论证明,当 α 小于 1/2 时探测的预计次数只在 1.5 到 2.5 之间。
-
+
为了保证散列表的性能,应当调整数组的大小,使得 α 在 [1/4, 1/2] 之间。
@@ -1576,13 +1576,13 @@ private void resize(int cap) {
虽然每次重新调整数组都需要重新把每个键值对插入到散列表,但是从摊还分析的角度来看,所需要的代价却是很小的。从下图可以看出,每次数组长度加倍后,累计平均值都会增加 1,因为表中每个键都需要重新计算散列值,但是随后平均值会下降。
-
+
## 5. 应用
### 5.1 各种符号表实现的比较
-
+
应当优先考虑散列表,当需要有序性操作时使用红黑树。
diff --git a/notes/计算机操作系统.md b/notes/计算机操作系统.md
index 1ad98c99..6a85d3ab 100644
--- a/notes/计算机操作系统.md
+++ b/notes/计算机操作系统.md
@@ -177,7 +177,7 @@
## 进程状态的切换
-
+
阻塞状态是缺少需要的资源从而由运行状态转换而来,但是该资源不包括 CPU,缺少 CPU 会让进程从运行态转换为就绪态。
@@ -227,7 +227,7 @@ shortest remaining time next(SRTN)。
#### 2.3 多级反馈队列
-
+
如果一个进程需要执行 100 个时间片,如果采用轮转调度算法,那么需要交换 100 次。多级队列是为这种需要连续执行多个时间片的进程考虑,它设置了多个队列,每个队列时间片大小都不同,例如 1,2,4,8,..。进程在第一个队列没执行完,就会被移到下一个队列。这种方式下,之前的进程只需要 7 (包括最初的装入)的交换。
@@ -475,7 +475,7 @@ void writer() {
### 2. 哲学家进餐问题
-
+
五个哲学家围着一张圆桌,每个哲学家面前放着食物。哲学家的生活有两种交替活动:吃饭以及思考。当一个哲学家吃饭时,需要先拿起筷子左右的两根筷子,并且一次只能拿起一根筷子。
@@ -553,7 +553,7 @@ void test(i) { // 尝试拿起两把筷子
## 死锁的必要条件
-
+
1. 互斥:每个资源要么已经分配给了一个进程,要么就是可用的。
2. 占有和等待:已经得到了某个资源的进程可以再请求新的资源。
@@ -576,7 +576,7 @@ void test(i) { // 尝试拿起两把筷子
#### 2.1 每种类型一个资源的死锁检测
-
+
上图为资源分配图,其中方框表示资源,圆圈表示进程。资源指向进程表示该资源已经分配给该进程,进程指向资源表示进程请求获取该资源。
@@ -586,7 +586,7 @@ void test(i) { // 尝试拿起两把筷子
#### 2.2 每种类型多个资源的死锁检测
-
+
上图中,有三个进程四个资源,每个数据代表的含义如下:
@@ -635,7 +635,7 @@ void test(i) { // 尝试拿起两把筷子
#### 4.1 安全状态
-
+
图 a 的第二列 Has 表示已拥有的资源数,第三列 Max 表示总共需要的资源数,Free 表示还有可以使用的资源数。从图 a 开始出发,先让 B 拥有所需的所有资源(图 b),运行结束后释放 B,此时 Free 变为 5(图 c);接着以同样的方式运行 C 和 A,使得所有进程都能成功运行,因此可以称图 a 所示的状态时安全的。
@@ -647,13 +647,13 @@ void test(i) { // 尝试拿起两把筷子
一个小城镇的银行家,他向一群客户分别承诺了一定的贷款额度,算法要做的是判断对请求的满足是否会进入不安全状态,如果是,就拒绝请求;否则予以分配。
-
+
上图 c 为不安全状态,因此算法会拒绝之前的请求,从而避免进入图 c 中的状态。
#### 4.3 多个资源的银行家算法
-
+
上图中有五个进程,四个资源。左边的图表示已经分配的资源,右边的图表示还需要分配的资源。最右边的 E、P 以及 A 分别表示:总资源、已分配资源以及可用资源,注意这三个为向量,而不是具体数值,例如 A=(1020),表示 4 个资源分别还剩下 1/0/2/0。
@@ -675,7 +675,7 @@ void test(i) { // 尝试拿起两把筷子
大部分虚拟内存系统都使用分页技术。把由程序产生的地址称为虚拟地址,它们构成了一个虚拟地址空间。例如有一台计算机可以产生 16 位地址,它的虚拟地址空间为 0\~64K,然而计算机只有 32KB 的物理内存,因此虽然可以编写 64KB 的程序,但它们不能被完全调入内存运行。
-
+
虚拟地址空间划分成固定大小的页,在物理内存中对应的单元称为页框,页和页框大小通常相同,它们之间通过页表进行映射。
@@ -683,11 +683,11 @@ void test(i) { // 尝试拿起两把筷子
### 2. 分段
-
+
上图为一个编译器在编译过程中建立的多个表,有 4 个表是动态增长的,如果使用分页系统的一维地址空间,动态增长的特点会导致覆盖问题的出现。
-
+
分段的做法是把每个表分成段,一个段构成一个独立的地址空间。每个段的长度可以不同,并且可以动态增长。
@@ -741,7 +741,7 @@ void test(i) { // 尝试拿起两把筷子
-
+
### 4. 时钟(Clock)
diff --git a/notes/计算机网络.md b/notes/计算机网络.md
index 7adb340a..a9ebd753 100644
--- a/notes/计算机网络.md
+++ b/notes/计算机网络.md
@@ -100,7 +100,7 @@
网络把主机连接起来,而互联网是把多种不同的网络连接起来,因此互联网是网络的网络。
-
+
## ISP
@@ -110,14 +110,14 @@
互联网交换点 IXP 允许两个 ISP 直接相连而不用经过第三个 ISP。
-
+
## 互联网的组成
1. 边缘部分:所有连接在互联网上的主机,用户可以直接使用;
2. 核心部分:由大量的网络和连接这些网络的路由器组成,为边缘部分的主机提供服务。
-
+
## 主机之间的通信方式
@@ -131,7 +131,7 @@
## 电路交换与分组交换
-
+
### 1. 电路交换
@@ -145,7 +145,7 @@
分组交换也使用了存储转发,但是转发的是分组而不是报文。把整块数据称为一个报文,由于一个报文可能很长,需要先进行切分,来满足分组能处理的大小。在每个切分的数据前面加上首部之后就成为了分组,首部包含了目的地址和源地址等控制信息。
-
+
存储转发允许在一条传输线路上传送多个主机的分组,因此两个用户之间的通信不需要占用端到端的线路资源。
@@ -155,7 +155,7 @@
总时延 = 发送时延 + 传播时延 + 处理时延 + 排队时延
-
+
### 1. 发送时延
@@ -183,7 +183,7 @@
## 计算机网络体系结构*
-
+
### 1. 七层协议
@@ -210,7 +210,7 @@
路由器只有下面三层协议,因为路由器位于网络核心中,不需要为进程或者应用程序提供服务,因此也就不需要运输层和应用层。
-
+
### 4. TCP/IP 体系结构
@@ -218,11 +218,11 @@
现在的 TCP/IP 体系结构不严格遵循 OSI 分层概念,应用层可能会直接使用 IP 层或者网络接口层。
-
+
TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中占用举足轻重的地位。
-
+
# 第二章 物理层
@@ -236,7 +236,7 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
模拟信号是连续的信号,数字信号是离散的信号。带通调制把数字信号转换为模拟信号。
-
+
## 信道复用技术
@@ -246,19 +246,19 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
使用这两种方式进行通信,在通信的过程中用户会一直占用一部分信道资源。但是由于计算机数据的突发性质,没必要一直占用信道资源而不让出给其它用户使用,因此这两种方式对信道的利用率都不高。
-
+
### 2. 统计时分复用
是对时分复用的一种改进,不固定每个用户在时分复用帧中的位置,只要有数据就集中起来组成统计时分复用帧然后发送。
-
+
### 3. 波分复用
光的频分复用。由于光的频率很高,因此习惯上用波长而不是频率来表示所使用的光载波。
-
+
### 4. 码分复用
@@ -280,7 +280,7 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
码分复用需要发送的数据量为原先的 m 倍。
-
+
# 第三章 数据链路层
@@ -290,7 +290,7 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
将网络层传下来的分组添加首部和尾部,用于标记帧的开始和结束。
-
+
### 2. 透明传输
@@ -298,7 +298,7 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
帧中有首部和尾部,如果帧的数据部分含有和首部尾部相同的内容,那么帧的开始和结束位置就会被错误的判定。需要在数据中出现首部尾部相同的内容前面插入转义字符,如果需要传输的内容正好就是转义字符,那么就在转义字符前面再加个转义字符,在接收端进行处理之后可以还原出原始数据。这个过程透明传输的内容是转义字符,用户察觉不到转义字符的存在。
-
+
### 3. 差错检测
@@ -308,7 +308,7 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
互联网用户通常需要连接到某个 ISP 之后才能接入到互联网,PPP 协议就是用户计算机和 ISP 进行通信时所使用的数据链路层协议。
-
+
在 PPP 的帧中
@@ -317,11 +317,11 @@ TCP/IP 协议族是一种沙漏形状,中间小两边大,IP 协议在其中
- FCS 字段是使用 CRC 的检验序列
- 信息部分的长度不超过 1500
-
+
## 局域网的拓扑
-
+
## 广播信道 - CSMA/CD 协议*
@@ -333,7 +333,7 @@ CSMA/CD 表示载波监听多点接入 / 碰撞检测。
- **载波监听** :每个站都必须不停地监听信道。在发送前,如果检听信道正在使用,就必须等待。
- **碰撞检测** :在发送中,如果监听 到信道已有其它站正在发送数据,就表示发生了碰撞。虽然每一个站在发送数据之前都已经检听到信道为空闲,但是由于电磁波的传播时延的存在,还是有可能会发生碰撞。
-
+
记端到端的传播时延为 τ,最先发送的站点最多经过 2τ 就可以知道是否发生了碰撞,称 2τ 为 **争用期** 。只有经过争用期之后还没有检测到碰撞,才能肯定这次发送不会发生碰撞。
@@ -351,7 +351,7 @@ CSMA/CD 表示载波监听多点接入 / 碰撞检测。
集线器是一种共享式的传输设备,意味着同一时刻只能传输一组数据帧。
-
+
### 2. 在链路层进行扩展
@@ -363,19 +363,19 @@ CSMA/CD 表示载波监听多点接入 / 碰撞检测。
交换机具有自学习能力,学习的是交换表的内容,交换表中存储着 MAC 地址到 接口的映射。下图中,交换机有 4 个接口,主机 A 向主机 B 发送数据帧时,交换机把主机 A 到接口 1 的映射写入交换表中。为了发送数据帧到 B,先查交换表,此时没有主机 B 的表项,那么主机 A 就发送广播帧,主机 C 和主机 D 会丢弃该帧,主机 B 收下之后,查找交换表得到主机 A 映射的接口为 1,因此就把帧发送给主机 A,同时交换机添加主机 B 到接口 3 的映射。
-
+
### 3. 虚拟局域网
虚拟局域网可以建立与物理位置无关的逻辑组,只有在同一个虚拟局域网中的成员才会收到链路层广播信息,例如下图中 (A1, A2, A3, A4) 属于一个虚拟局域网,A1 发送的广播会被 A2、A3、A4 收到,而其它站点收不到。
-
+
## MAC 层*
MAC 地址是 6 字节(48 位)的地址,用于唯一表示网络适配器(网卡),一台主机拥有多少个适配器就有多少个 MAC 地址,例如笔记本电脑普遍存在无线网络适配器和有线网络适配器。
-
+
- **类型** :标记上层使用的协议;
- **数据** :长度在 46-1500 之间,如果太小则需要填充;
@@ -390,7 +390,7 @@ MAC 地址是 6 字节(48 位)的地址,用于唯一表示网络适配器
使用 IP 协议,可以把异构的物理网络连接起来,使得在网络层看起来好像是一个统一的网络。
-
+
与 IP 协议配套使用的还有三个协议:
@@ -398,11 +398,11 @@ MAC 地址是 6 字节(48 位)的地址,用于唯一表示网络适配器
2. 网际控制报文协议 ICMP(Internet Control Message Protocol)
3. 网际组管理协议 IGMP(Internet Group Management Protocol)
-
+
## IP 数据报格式
-
+
- **版本** : 有 4(IPv4)和 6(IPv6)两个值;
@@ -416,7 +416,7 @@ MAC 地址是 6 字节(48 位)的地址,用于唯一表示网络适配器
- **片偏移** : 和标识符一起,用于发生分片的情况。片偏移的单位为 8 字节。
-
+
- **生存时间** :TTL,它的存在是为了防止无法交付的数据报在互联网中不断兜圈子。以路由器跳数为单位,当 TTL 为 0 时就丢弃数据报。
@@ -438,7 +438,7 @@ IP 地址的编址方式经历了三个历史阶段:
IP 地址 ::= {< 网络号 >, < 主机号 >}
-
+
### 2. 子网划分
@@ -466,19 +466,19 @@ CIDR 的地址掩码可以继续称为子网掩码,子网掩码首 1 长度为
网络层实现主机之间的通信,而链路层实现具体每段链路之间的通信。因此在通信过程中,IP 数据报的源地址和目的地址始终不变,而 MAC 地址随着链路的改变而改变。
-
+
## 地址解析协议 ARP
实现由 IP 地址得到 MAC 地址。
-
+
每个主机都有一个 ARP 高速缓存,里面有本局域网上的各主机和路由器的 IP 地址到硬件地址的映射表。
如果主机 A 知道主机 B 的 IP 地址,但是 ARP 高速缓存中没有该 IP 地址到 MAC 地址的映射,此时主机 A 通过广播的方式发送 ARP 请求分组,主机 B 收到该请求后会发送 ARP 响应分组给主机 A 告知其 MAC 地址,随后主机 A 向其高速缓存中写入主机 B 的 IP 地址到硬件地址的映射。
-
+
## 路由器的结构
@@ -486,11 +486,11 @@ CIDR 的地址掩码可以继续称为子网掩码,子网掩码首 1 长度为
分组转发部分由三部分组成:交换结构、一组输入端口和一组输出端口。
-
+
交换结构的交换网络有以下三种实现方式:
-
+
## 路由器分组转发流程
@@ -502,7 +502,7 @@ CIDR 的地址掩码可以继续称为子网掩码,子网掩码首 1 长度为
5. 若路由表中有一个默认路由,则把数据报传送给路由表中所指明的默认路由器;
6. 报告转发分组出错。
-
+
## 路由选择协议
@@ -515,7 +515,7 @@ CIDR 的地址掩码可以继续称为子网掩码,子网掩码首 1 长度为
1. 内部网关协议 IGP(Interior Gateway Protocol):在 AS 内部使用,如 RIP 和 OSPF。
2. 外部网关协议 EGP(External Gateway Protocol):在 AS 之间使用,如 BGP。
-
+
### 1. 内部网关协议 RIP
@@ -555,17 +555,17 @@ BGP 只能寻找一条比较好的路由,而不是最佳路由。它采用路
每个 AS 都必须配置 BGP 发言人,通过在两个相邻 BGP 发言人之间建立 TCP 连接来交换路由信息。
-
+
## 网际控制报文协议 ICMP
ICMP 是为了更有效地转发 IP 数据报和提高交付成功的机会。它封装在 IP 数据报中,但是不属于高层协议。
-
+
ICMP 报文分为差错报告报文和询问报文。
-
+
## 分组网间探测 PING
@@ -580,7 +580,7 @@ PING 的过程:
在一对多的通信中,多播不需要将分组复制多份,从而大大节约网络资源。
-
+
## 虚拟专用网 VPN
@@ -596,7 +596,7 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
下图中,场所 A 和 B 的通信部经过互联网,如果场所 A 的主机 X 要和另一个场所 B 的主机 Y 通信,IP 数据报的源地址是 10.1.0.1,目的地址是 10.2.0.3。数据报先发送到与互联网相连的路由器 R1,R1 对内部数据进行加密,然后重新加上数据报的首部,源地址是路由器 R1 的全球地址 125.1.2.3,目的地址是路由器 R2 的全球地址 194.4.5.6。路由器 R2 收到数据报后将数据部分进行解密,恢复原来的数据报,此时目的地址为 10.2.0.3,就交付给 Y。
-
+
## 网络地址转换 NAT
@@ -604,7 +604,7 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
在以前,NAT 将本地 IP 和全球 IP 一一对应,这种方式下拥有 n 个全球 IP 地址的专用网内最多只可以同时有 n 台主机接入互联网。为了更有效地利用全球 IP 地址,现在常用的 NAT 转换表把运输层的端口号也用上了,使得多个专用网内部的主机共用一个全球 IP 地址。使用端口号的 NAT 也叫做网络地址与端口转换 NAPT。
-
+
# 第五章 运输层*
@@ -620,13 +620,13 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
## UDP 首部格式
-
+
首部字段只有 8 个字节,包括源端口、目的端口、长度、检验和。12 字节的伪首部是为了计算检验和而临时添加的。
## TCP 首部格式
-
+
- **序号** :用于对字节流进行编号,例如序号为 301,表示第一个字节的编号为 301,如果携带的数据长度为 100 字节,那么下一个报文段的序号应为 401。
@@ -644,7 +644,7 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
## TCP 的三次握手
-
+
假设 A 为客户端,B 为服务器端。
@@ -657,7 +657,7 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
## TCP 的四次挥手
-
+
以下描述不讨论序号和确认号,因为序号和确认号的规则比较简单。并且不讨论 ACK,因为 ACK 在连接建立之后都为 1。
@@ -675,7 +675,7 @@ VPN 使用公用的互联网作为本机构各专用网之间的通信载体。
## TCP 滑动窗口
-
+
窗口是缓存的一部分,用来暂时存放字节流。发送方和接收方各有一个窗口,接收方通过 TCP 报文段中的窗口字段告诉发送方自己的窗口大小,发送方根据这个值和其它信息设置自己的窗口大小。
@@ -707,7 +707,7 @@ TCP 使用超时重传来实现可靠传输:如果一个已经发送的报文
如果网络出现拥塞,分组将会丢失,此时发送方会继续重传,从而导致网络拥塞程度更高。因此当出现拥塞时,应当控制发送方的速率。这一点和流量控制很像,但是出发点不同。流量控制是为了让接收方能来得及接受,而拥塞控制是为了降低整个网络的拥塞程度。
-
+
TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、快重传、快恢复。发送方需要维护有一个叫做拥塞窗口(cwnd)的状态变量。注意拥塞窗口与发送方窗口的区别,拥塞窗口只是一个状态变量,实际决定发送方能发送多少数据的是发送方窗口。
@@ -716,7 +716,7 @@ TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、
1. 接收方有足够大的接收缓存,因此不会发生流量控制;
2. 虽然 TCP 的窗口基于字节,但是这里设窗口的大小单位为报文段。
-
+
### 慢开始与拥塞避免
@@ -734,7 +734,7 @@ TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、
在这种情况下,只是丢失个别报文段,而不是网络拥塞,因此执行快恢复,令 ssthresh = cwnd / 2 ,cwnd = ssthresh,注意到此时直接进入拥塞避免。
-
+
# 第六章 应用层*
@@ -748,9 +748,9 @@ TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、
一个域名由多个层次构成,从上层到下层分别为顶级域名、二级域名、三级域名以及四级域名。所有域名可以画成一颗域名树。
-
+
-
+
域名服务器可以分为以下四类:
@@ -761,11 +761,11 @@ TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、
区和域的概念不同,可以在一个域中划分多个区。图 b 在域 abc.com 中划分了两个区:abc.com 和 y.abc.com
-
+
因此就需要两个权限域名服务器:
-
+
### 2. 解析过程
@@ -773,13 +773,13 @@ TCP 主要通过四种算法来进行拥塞控制:慢开始、拥塞避免、
迭代的方式下,本地域名服务器向一个域名服务器解析请求解析之后,结果返回到本地域名服务器,然后本地域名服务器继续向其它域名服务器请求解析;而递归地方式下,结果不是直接返回的,而是继续向前请求解析,最后的结果才会返回。
-
+
## 文件传输协议 FTP
FTP 在运输层使用 TCP,并且需要建立两个并行的 TCP 连接:控制连接和数据连接。控制连接在整个会话期间一直保持打开,而数据连接在数据传送完毕之后就关闭。控制连接使用端口号 21,数据连接使用端口号 20。
-
+
## 远程终端协议 TELNET
@@ -795,7 +795,7 @@ TELNET 可以适应许多计算机和操作系统的差异,例如不同操作
一个电子邮件系统由三部分组成:用户代理、邮件服务器以及邮件发送协议和读取协议。其中发送协议常用 SMTP,读取协议常用 POP3 和 IMAP。
-
+
### POP3
@@ -809,7 +809,7 @@ IMAP 协议中客户端和服务器上的邮件保持同步,如果不去手动
SMTP 只能发送 ASCII 码,而互联网邮件扩充 MIME 可以发送二进制文件。MIME 并没有改动或者取代 SMTP,而是增加邮件主题的结构,定义了非 ASCII 码的编码规则。
-
+
## 动态主机配置协议 DHCP
diff --git a/notes/设计模式.md b/notes/设计模式.md
index 67f88866..4da4c967 100644
--- a/notes/设计模式.md
+++ b/notes/设计模式.md
@@ -29,7 +29,7 @@
需要说明的一点是,文中的 UML 类图和规范的 UML 类图不大相同,其中组合关系使用以下箭头表示:
-
+
# 设计模式入门
@@ -47,7 +47,7 @@
使用继承的解决方案如下,这种方案代码无法复用,如果两个鸭子类拥有同样的飞行方式,就有两份重复的代码。
-
+
**4. 设计原则**
@@ -57,17 +57,17 @@
运用这一原则,将叫和飞行的行为抽象出来,实现多种不同的叫和飞行的子类,让子类去实现具体的叫和飞行方式。
-
+
**多用组合,少用继承** 组合也就是 has-a 关系,通过组合,可以在运行时动态改变实现,只要通过改变父类对象具体指向哪个子类即可。而继承就不能做到这些,继承体系在创建类时就已经确定。
运用这一原则,在 Duck 类中组合 FlyBehavior 和 QuackBehavior 类,performQuack() 和 performFly() 方法委托给这两个类去处理。通过这种方式,一个 Duck 子类可以根据需要去实例化 FlyBehavior 和 QuackBehavior 的子类对象,并且也可以动态地进行改变。
-
+
**5. 整体设计图**
-
+
**6. 模式定义**
@@ -182,7 +182,7 @@ FlyBehavior.FlyNoWay
定义了对象之间的一对多依赖,当一个对象改变状态时,它的所有依赖者都会收到通知并自动更新。主题(Subject)是被观察的对象,而其所有依赖者(Observer)成为观察者。
-
+
**2. 模式类图**
@@ -190,7 +190,7 @@ FlyBehavior.FlyNoWay
观察者拥有一个主题对象的引用,因为注册、移除还有数据都在主题当中,必须通过操作主题才能完成相应功能。
-
+
**3. 问题描述**
@@ -198,7 +198,7 @@ FlyBehavior.FlyNoWay
**4. 解决方案类图**
-
+
**5. 设计原则**
@@ -320,17 +320,17 @@ StatisticsDisplay.update:1.0 1.0 1.0
下图中 DarkRoast 对象被 Mocha 包裹,Mocha 对象又被 Whip 包裹,并且他们都继承自相同父类,都有 cost() 方法,但是外层对象的 cost() 方法实现调用了内层对象的 cost() 方法。因此,如果要在 DarkRoast 上添加 Mocha,那么只需要用 Mocha 包裹 DarkRoast,如果还需要 Whip ,就用 Whip 包裹 Mocha,最后调用 cost() 方法能把三种对象的价格都包含进去。
-
+
**3. 模式类图**
装饰者和具体组件都继承自组件类型,其中具体组件的方法实现不需要依赖于其它对象,而装饰者拥有一个组件类型对象,这样它可以装饰其它装饰者或者具体组件。所谓装饰,就是把这个装饰者套在被装饰的对象之外,从而动态扩展被装饰者的功能。装饰者的方法有一部分是自己的,这属于它的功能,然后调用被装饰者的方法实现,从而也保留了被装饰者的功能。可以看到,具体组件应当是装饰层次的最低层,因为只有具体组件有直接实现而不需要委托给其它对象去处理。
-
+
**4. 问题解决方案的类图**
-
+
**5. 设计原则**
@@ -338,7 +338,7 @@ StatisticsDisplay.update:1.0 1.0 1.0
**6. Java I/O 中的装饰者模式**
-
+
**7. 代码实现**
@@ -425,11 +425,11 @@ public class StartbuzzCoffee {
这样做能把客户类和具体子类的实现解耦,客户类不再需要知道有哪些子类以及实例化哪个子类。因为客户类往往有多个,如果不使用简单工厂,所有的客户类都要知道所有子类的细节。一旦子类发生改变,例如增加子类,那么所有的客户类都要发生改变。
-
+
**3. 解决方案类图**
-
+
**4. 代码实现**
@@ -497,19 +497,19 @@ CheesePizza
在简单工厂中,创建对象的是另一个类,而在工厂方法中,是由子类来创建对象。下图中,Creator 有一个 anOperation() 方法,这个方法需要用到一组产品类,这组产品类由 factoryMethod() 方法创建。该方法是抽象的,需要由子类去实现。
-
+
**4. 解决方案类图**
PizzaStore 由 orderPizza() 方法,顾客可以用它来下单。下单之后需要先使用 createPizza() 来制作 Pizza,这里的 createPizza() 就是 factoryMethod(),不同的 PizzaStore 子类实现了不同的 createPizza()。
-
+
**5. 设计原则**
**依赖倒置原则** :要依赖抽象,不要依赖具体类。听起来像是针对接口编程,不针对实现编程,但是这个原则说明了:不能让高层组件依赖底层组件,而且,不管高层或底层组件,两者都应该依赖于抽象。例如,下图中 Pizza 是抽象类,PizzaStore 和 Pizza 子类都依赖于 Pizza 这个抽象类。
-
+
**6. 代码实现**
@@ -623,11 +623,11 @@ ChicagoStyleCheesePizza is making..
从高层次来看,抽象工厂使用了组合,即 Cilent 组合了 AbstractFactory ,而工厂模式使用了继承。
-
+
**3. 解决方案类图**
-
+
**4. 代码实现**
@@ -748,7 +748,7 @@ MarinaraSauce
使用一个私有构造器、一个私有静态变量以及一个公有静态函数来实现。私有构造函数保证了不能通过构造函数来创建对象实例,只能通过公有静态函数返回唯一的私有静态变量。
-
+
**3. 懒汉式-线程不安全**
@@ -839,9 +839,9 @@ if (uniqueInstance == null) {
有非常多的家电,并且之后会增加家电。
-
+
-
+
**2. 模式定义**
@@ -857,11 +857,11 @@ if (uniqueInstance == null) {
- RemoteLoader 是客户端,注意它与 RemoteControl 的区别。因为 RemoteControl 不能主动地调用自身的方法,因此也就不能当成是客户端。客户端好比人,只有人才能去真正去使用遥控器。
-
+
**4. 模式类图**
-
+
**5. 代码实现**
@@ -948,15 +948,15 @@ Light is on!
将一个类的接口,转换为客户期望的另一个接口。适配器让原本不兼容的类可以合作无间。
-
+
**2. 模式类图**
有两种适配器模式的实现,一种是对象方式,一种是类方式。对象方式是通过组合的方法,让适配器类(Adapter)拥有一个待适配的对象(Adaptee),从而把相应的处理委托给待适配的对象。类方式用到多重继承,Adapter 继承 Target 和 Adaptee,先把 Adapter 当成 Adaptee 类型然后实例化一个对象,再把它当成 Target 类型的,这样 Client 就可以把这个对象当成 Target 的对象来处理,同时拥有 Adaptee 的方法。
-
+
-
+
**3. 问题描述**
@@ -966,7 +966,7 @@ Light is on!
**4. 解决方案类图**
-
+
**5. 代码实现**
@@ -1024,7 +1024,7 @@ gobble!
**6. Enumration 适配成 Iterator**
-
+
# 外观模式
@@ -1034,17 +1034,17 @@ gobble!
**2. 模式类图**
-
+
**3. 问题描述**
家庭影院中有众多电器,当要进行观看电影时需要对很多电器进行操作。要求简化这些操作,使得家庭影院类只提供一个简化的接口,例如提供一个看电影相关的接口。
-
+
**4. 解决方案类图**
-
+
**5. 设计原则**
@@ -1066,19 +1066,19 @@ gobble!
模板方法 templateMethod() 定义了算法的骨架,确定了 primitiveOperation1() 和 primitiveOperation2() 方法执行的顺序,而 primitiveOperation1() 和 primitiveOperation2() 让子类去实现。
-
+
**3. 问题描述**
冲咖啡和冲茶都有类似的流程,但是某些步骤会有点不一样,要求复用那些相同步骤的代码。
-
+
**4. 解决方案类图**
其中 prepareRecipe() 方法就是模板方法,它确定了其它四个方法的具体执行步骤。其中 brew() 和 addCondiments() 方法在子类中实现。
-
+
**5. 设计原则**
@@ -1182,7 +1182,7 @@ Tea.addCondiments
- Client 需要拥有一个 Aggregate 对象,这是很明显的。为了迭代变量 Aggregate 对象,也需要拥有 Iterator 对象。
-
+
**3. 代码实现**
@@ -1338,7 +1338,7 @@ public class Client {
组合类拥有一个组件对象,因此组合类的操作可以委托给组件对象去处理,而组件对象可以是另一个组合类或者叶子类。
-
+
**4. 代码实现**
@@ -1451,7 +1451,7 @@ Composite:root
Context 的 request() 方法委托给 State 对象去处理。当 Context 组合的 State 对象发生改变时,它的行为也就发生了改变。
-
+
**3. 与策略模式的比较**
@@ -1467,7 +1467,7 @@ Context 的 request() 方法委托给 State 对象去处理。当 Context 组合
糖果销售机有多种状态,每种状态下销售机有不同的行为,状态可以发生转移,使得销售机的行为也发生改变。
-
+
**5. 直接解决方案**
@@ -1475,7 +1475,7 @@ Context 的 request() 方法委托给 State 对象去处理。当 Context 组合
这种解决方案在需要增加状态的时候,必须对每个操作的代码都进行修改。
-
+
**6 代码实现**
@@ -1773,13 +1773,13 @@ No gumball dispensed
视图使用组合模式,模型使用了观察者模式,控制器使用了策略模式。
-
+
**Web 中的 MVC**
模式不再使用观察者模式。
-
+
# 与设计模式相处
@@ -1791,6 +1791,6 @@ No gumball dispensed
模式分类:
-
+
# 剩下的模式
diff --git a/notes/重构.md b/notes/重构.md
index fa855b12..8cf08472 100644
--- a/notes/重构.md
+++ b/notes/重构.md
@@ -124,7 +124,7 @@
包括三个类:Movie、Rental 和 Customer,Rental 包含租赁的 Movie 以及天数。
-
+
最开始的实现是把所有的计费代码都放在 Customer 类中。
@@ -159,19 +159,19 @@ double getTotalCharge() {
以下是继承 Movie 的多态解决方案,这种方案可以解决上述的 switch 问题,因为每种电影类别的计费方式都被放到了对应 Movie 子类中,当变化发生时,只需要去修改对应子类中的代码即可。
-
+
但是由于 Movie 可以在其生命周期内修改自己的类别,一个对象却不能在生命周期内修改自己所属的类,因此这种方案不可行。可以使用策略模式来解决这个问题(原书写的是使用状态模式,但是这里应该为策略模式,具体可以参考设计模式内容)。
下图中,Price 有多种实现,Movie 组合了一个 Price 对象,并且在运行时可以改变组合的 Price 对象,从而使得它的计费方式发生改变。
-
+
重构后整体的类图和时序图如下:
-
+
-
+
# 重构原则
@@ -579,7 +579,7 @@ Hide Delegate 有很大好处,但是它的代价是:每当客户要使用受
将该数据赋值到一个领域对象中,建立一个 Oberver 模式,用以同步领域对象和 GUI 对象内的重复数据。
-
+
## 7. Change Unidirectional Association to Bidirectional(将单向关联改为双向关联)
@@ -636,13 +636,13 @@ public 字段应当改为 private,并提供相应的访问函数。
类中有一个数值类型码,但它并不影响类的行为,就用一个新类替换该数值类型码。如果类型码出现在 switch 语句中,需要使用 Replace Conditional with Polymorphism 去掉 switch,首先必须运用 Replace Type Code with Subcalss 或 Replace Type Code with State/Strategy 去掉类型码。
-
+
## 14. Replace Type Code with Subcalsses(以子类取代类型码)
有一个不可变的类型码,它会影响类的行为,以子类取代这个类型码。
-
+
## 15. Replace Type Code with State/Strategy (以 State/Strategy 取代类型码)
@@ -650,13 +650,13 @@ public 字段应当改为 private,并提供相应的访问函数。
和 Replace Type Code with Subcalsses 的区别是 Replace Type Code with State/Strategy 的类型码是动态可变的,前者通过继承的方式来实现,后者通过组合的方式来实现。因为类型码可变,如果通过继承的方式,一旦一个对象的类型码改变,那么就要改变用新的对象来取代旧对象,而客户端难以改变新的对象。但是通过组合的方式,改变引用的状态类是很容易的。
-
+
## 16. Replace Subclass with Fields(以字段取代子类)
各个子类的唯一差别只在“返回常量数据”的函数上。
-
+
# 简化条件表达式
@@ -776,7 +776,7 @@ double getSpeed() {
}
```
-
+
## 7. Introduce Null Object(引入Null对象)
@@ -916,7 +916,7 @@ double finalPrice = discountedPrice (basePrice);
以一个对象取代这些参数。
-
+
## 10. Remove Setting Method(移除设值函数)
diff --git a/notes/面向对象思想.md b/notes/面向对象思想.md
index efcf1ec6..1b88525f 100644
--- a/notes/面向对象思想.md
+++ b/notes/面向对象思想.md
@@ -227,13 +227,13 @@ public class Music {
从具体类中继承。
-
+
**实现关系 (Realize)**
从抽象类或者接口中继承。
-
+
### 1.2 整体和部分
@@ -241,13 +241,13 @@ public class Music {
表示整体由部分组成,但是整体和部分不是强依赖的,整体不存在了部分还是会存在。以下表示 B 由 A 组成:
-
+
**组合关系 (Composition)**
和聚合不同,组合中整体和部分是强依赖的,整体不存在了部分也不存在了。比如公司和部门,公司没了部门就不存在了。但是公司和员工就属于聚合关系了,因为公司没了员工还在。
-
+
### 1.3 相互联系
@@ -255,13 +255,13 @@ public class Music {
表示不同类对象之间有关联,这是一种静态关系,与运行过程的状态无关,在最开始就可以确定。因此也可以用 1 对 1、多对 1、多对多这种关联关系来表示。比如学生和学校就是一种关联关系,一个学校可以有很多学生,但是一个学生只属于一个学校,因此这是一种多对一的关系,在运行开始之前就可以确定。
-
+
**依赖关系 (Dependency)**
和关联关系不同的是 , 依赖关系是在运行过程中起作用的。一般依赖作为类的构造器或者方法的参数传入。双向依赖时一种不好的设计。
-
+
## 2. 时序图
@@ -273,7 +273,7 @@ public class Music {
从虚线从上往下表示时间的推进。
-
+
可见,通过时序图可以知道每个类具有以下操作:
@@ -317,7 +317,7 @@ public class 孙权 {
有三种表现形式
-
+
在画图时,应该遵循以下原则:
@@ -329,7 +329,7 @@ public class 孙权 {
生命线从对象的创建开始到对象销毁时终止
-
+
**消息**
@@ -339,15 +339,15 @@ public class 孙权 {
1\. 简单消息,不区分同步异步。
-
+
2\. 同步消息,发送消息之后需要暂停活动来等待回应。
-
+
3\. 异步消息,发送消息之后不需要等待。
-
+
4\. 返回消息,可选。
@@ -355,7 +355,7 @@ public class 孙权 {
生命线上的方框表示激活状态,其它时间处于休眠状态。
-
+
# 参考资料
From 499a39e36dc415c3afa52ae836a19ce88aae9f27 Mon Sep 17 00:00:00 2001
From: crossoverJie
Date: Wed, 14 Mar 2018 20:49:09 +0800
Subject: [PATCH 2/9] :pencil2: Fixing typos.
---
notes/MySQL.md | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/notes/MySQL.md b/notes/MySQL.md
index 53b18b43..29ad01ce 100644
--- a/notes/MySQL.md
+++ b/notes/MySQL.md
@@ -343,7 +343,7 @@ B+Tree 更适合外存索引,原因和内节点出度 d 有关。由于 B+Tree
最好使用 LIMIT 语句来取出想要的那些行。
-还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不适用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
+还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不使用用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
```sql
SELECT * FROM sakila.film_actor WHERE film_id = 1;
@@ -406,7 +406,7 @@ do {
## 5. 分表与分区的不同
-分表,就是讲一张表分成多个小表,这些小表拥有不同的表名;而分区是将一张表的数据分为多个区块,这些区块可以存储在同一个磁盘上,也可以存储在不同的磁盘上,这种方式下表仍然只有一个。
+分表,就是将一张表分成多个小表,这些小表拥有不同的表名;而分区是将一张表的数据分为多个区块,这些区块可以存储在同一个磁盘上,也可以存储在不同的磁盘上,这种方式下表仍然只有一个。
# 故障转移和故障恢复
From d3c67180bac916ff79cea3bb6b741d72e90ad409 Mon Sep 17 00:00:00 2001
From: crossoverJie
Date: Wed, 14 Mar 2018 20:50:45 +0800
Subject: [PATCH 3/9] :pencil2: Fixing typos.
---
notes/MySQL.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/notes/MySQL.md b/notes/MySQL.md
index 29ad01ce..98a8fde3 100644
--- a/notes/MySQL.md
+++ b/notes/MySQL.md
@@ -343,7 +343,7 @@ B+Tree 更适合外存索引,原因和内节点出度 d 有关。由于 B+Tree
最好使用 LIMIT 语句来取出想要的那些行。
-还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不使用用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
+还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不使用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
```sql
SELECT * FROM sakila.film_actor WHERE film_id = 1;
From 8b4265557e5bcd2808f73c05094b9335742ddc8e Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Wed, 14 Mar 2018 20:53:33 +0800
Subject: [PATCH 4/9] auto commit
---
notes/MySQL.md | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/notes/MySQL.md b/notes/MySQL.md
index 53b18b43..e0f3bd60 100644
--- a/notes/MySQL.md
+++ b/notes/MySQL.md
@@ -343,7 +343,7 @@ B+Tree 更适合外存索引,原因和内节点出度 d 有关。由于 B+Tree
最好使用 LIMIT 语句来取出想要的那些行。
-还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不适用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
+还可以建立索引来减少条件语句的全表扫描。例如对于下面的语句,不使用索引的情况下需要进行全表扫描,而使用索引只需要扫描几行记录即可,使用 Explain 语句可以通过观察 rows 字段来看出这种差异。
```sql
SELECT * FROM sakila.film_actor WHERE film_id = 1;
@@ -406,7 +406,8 @@ do {
## 5. 分表与分区的不同
-分表,就是讲一张表分成多个小表,这些小表拥有不同的表名;而分区是将一张表的数据分为多个区块,这些区块可以存储在同一个磁盘上,也可以存储在不同的磁盘上,这种方式下表仍然只有一个。
+分表,就是将一张表分成多个小表,这些小表拥有不同的表名;而分区是将一张表的数据分为多个区块,这些区块可以存储在同一个磁盘上,也可以存储在不同的磁盘上,这种方式下表仍然只有一个。
+
# 故障转移和故障恢复
From b13b76d5fb5e49dafee0a2bceb49a501d1c7fe48 Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Wed, 14 Mar 2018 21:01:16 +0800
Subject: [PATCH 5/9] auto commit
---
notes/MySQL.md | 1 -
notes/Redis.md | 80 +++++++++++++++++++++++++++-----------------------
2 files changed, 44 insertions(+), 37 deletions(-)
diff --git a/notes/MySQL.md b/notes/MySQL.md
index e0f3bd60..98a8fde3 100644
--- a/notes/MySQL.md
+++ b/notes/MySQL.md
@@ -408,7 +408,6 @@ do {
分表,就是将一张表分成多个小表,这些小表拥有不同的表名;而分区是将一张表的数据分为多个区块,这些区块可以存储在同一个磁盘上,也可以存储在不同的磁盘上,这种方式下表仍然只有一个。
-
# 故障转移和故障恢复
故障转移也叫做切换,当主库出现故障时就切换到备库,使备库成为主库。故障恢复顾名思义就是从故障中恢复过来,并且保证数据的正确性。
diff --git a/notes/Redis.md b/notes/Redis.md
index 9e941e8c..5b29679d 100644
--- a/notes/Redis.md
+++ b/notes/Redis.md
@@ -1,11 +1,11 @@
* [Redis 是什么](#redis-是什么)
* [Redis 的五种基本类型](#redis-的五种基本类型)
- * [Strings](#strings)
- * [Lists](#lists)
- * [Sets](#sets)
- * [Hashs](#hashs)
- * [Sorted Sets](#sorted-sets)
+ * [STRING](#string)
+ * [LIST](#list)
+ * [SET](#set)
+ * [HASH](#hash)
+ * [ZSET](#zset)
* [键的过期时间](#键的过期时间)
* [发布与订阅](#发布与订阅)
* [事务](#事务)
@@ -18,6 +18,8 @@
* [处理故障](#处理故障)
* [分片](#分片)
* [事件](#事件)
+ * [事件类型](#事件类型)
+ * [事件的调度与执行](#事件的调度与执行)
* [Redis 与 Memcached 的区别](#redis-与-memcached-的区别)
* [Redis 适用场景](#redis-适用场景)
* [数据淘汰策略](#数据淘汰策略)
@@ -38,15 +40,15 @@ Redis 支持很多特性,例如将内存中的数据持久化到硬盘中,
| 数据类型 | 可以存储的值 | 操作 |
| -- | -- | -- |
-| Strings | 字符串、整数或者浮点数 | 对整个字符串或者字符串的其中一部分执行操作 对整数和浮点数执行自增或者自减操作 |
-| Lists | 链表 | 从两端压入或者弹出元素 读取单个或者多个元素 进行修剪,只保留一个范围内的元素 |
-| Sets | 无序集合 | 添加、获取、移除单个元素 检查一个元素是否存在于集合中 计算交集、并集、差集 从集合里面随机获取元素 |
-| Hashs | 包含键值对的无序散列表 | 添加、获取、移除单个键值对 获取所有键值对 检查某个键是否存在|
-| Sorted Sets | 有序集合 | 添加、获取、删除元素个元素 根据分值范围或者成员来获取元素 计算一个键的排名 |
+| STRING | 字符串、整数或者浮点数 | 对整个字符串或者字符串的其中一部分执行操作 对整数和浮点数执行自增或者自减操作 |
+| LIST | 链表 | 从两端压入或者弹出元素 读取单个或者多个元素 进行修剪,只保留一个范围内的元素 |
+| SET | 无序集合 | 添加、获取、移除单个元素 检查一个元素是否存在于集合中 计算交集、并集、差集 从集合里面随机获取元素 |
+| HASH | 包含键值对的无序散列表 | 添加、获取、移除单个键值对 获取所有键值对 检查某个键是否存在|
+| ZSET | 有序集合 | 添加、获取、删除元素个元素 根据分值范围或者成员来获取元素 计算一个键的排名 |
> [What Redis data structures look like](https://redislabs.com/ebook/part-1-getting-started/chapter-1-getting-to-know-redis/1-2-what-redis-data-structures-look-like/)
-## Strings
+## STRING
@@ -61,7 +63,7 @@ OK
(nil)
```
-## Lists
+## LIST
@@ -89,7 +91,7 @@ OK
2) "item"
```
-## Sets
+## SET
@@ -123,7 +125,7 @@ OK
2) "item3"
```
-## Hashs
+## HASH
@@ -154,7 +156,7 @@ OK
2) "value1"
```
-## Sorted Sets
+## ZSET
@@ -246,9 +248,11 @@ always 选项会严重减低服务器的性能;everysec 选项比较合适,
## 从服务器连接主服务器的过程
-- 主服务器创建快照文件,发送给从服务器,并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后,开始向从服务器发送存储在缓冲区中的写命令;
-- 从服务器丢弃所有旧数据,载入主服务器发来的快照文件,之后从服务器开始接受主服务器发来的写命令;
-- 主服务器每执行一次写命令,就向从服务器发送相同的写命令。
+1. 主服务器创建快照文件,发送给从服务器,并在发送期间使用缓冲区记录执行的写命令。快照文件发送完毕之后,开始向从服务器发送存储在缓冲区中的写命令;
+
+2. 从服务器丢弃所有旧数据,载入主服务器发来的快照文件,之后从服务器开始接受主服务器发来的写命令;
+
+3. 主服务器每执行一次写命令,就向从服务器发送相同的写命令。
## 主从链
@@ -270,27 +274,31 @@ Redis 中的分片类似于 MySQL 的分表操作,分片是将数据划分为
假设有 4 个 Reids 实例 R0,R1,R2,R3,还有很多表示用户的键 user:1,user:2,... 等等,有不同的方式来选择一个指定的键存储在哪个实例中。最简单的方式是范围分片,例如用户 id 从 0\~1000 的存储到实例 R0 中,用户 id 从 1001\~2000 的存储到实例 R1 中,等等。但是这样需要维护一张映射范围表,维护操作代价很高。还有一种方式是哈希分片,使用 CRC32 哈希函数将键转换为一个数字,再对实例数量求模就能知道应该存储的实例。
-**1. 客户端分片**
+**客户端分片**
客户端使用一致性哈希等算法决定键应当分布到哪个节点。
-**2. 代理分片**
+**代理分片**
将客户端请求发送到代理上,由代理转发请求到正确的节点上。
-**3. 服务器分片**
+**服务器分片**
Redis Cluster。
# 事件
-**1. 事件类型**
+## 事件类型
-(1) 文件事件:服务器有许多套接字,事件产生时会对这些套接字进行操作,服务器通过监听套接字来处理事件。常见的文件事件有:客户端的连接事件;客户端的命令请求事件;服务器向客户端返回命令结果的事件;
+**文件事件**
-(2) 时间事件:又分为两类,定时事件是让一段程序在指定的时间之内执行一次;周期性时间是让一段程序每隔指定时间就执行一次。
+服务器有许多套接字,事件产生时会对这些套接字进行操作,服务器通过监听套接字来处理事件。常见的文件事件有:客户端的连接事件;客户端的命令请求事件;服务器向客户端返回命令结果的事件;
-**2. 事件的调度与执行**
+**时间事件**
+
+又分为两类:定时事件是让一段程序在指定的时间之内执行一次;周期性时间是让一段程序每隔指定时间就执行一次。
+
+## 事件的调度与执行
服务器需要不断监听文件事件的套接字才能得到待处理的文件事件,但是不能监听太久,否则时间事件无法在规定的时间内执行,因此监听时间应该根据距离现在最近的时间事件来决定。
@@ -302,7 +310,7 @@ def aeProcessEvents():
# 获取到达时间离当前时间最接近的时间事件
time_event = aeSearchNearestTimer()
- #计算最接近的时间事件距离到达还有多少毫秒
+ # 计算最接近的时间事件距离到达还有多少毫秒
remaind_ms = time_event.when - unix_ts_now()
# 如果事件已到达,那么 remaind_ms 的值可能为负数,将它设为 0
@@ -338,7 +346,7 @@ def main():
clean_server()
```
-事件处理的角度下服务器运行流程如下:
+从事件处理的角度来看,服务器运行流程如下:
@@ -346,21 +354,21 @@ def main():
两者都是非关系型内存键值数据库。有以下主要不同:
-**1. 数据类型**
+**数据类型**
Memcached 仅支持字符串类型,而 Redis 支持五种不同种类的数据类型,使得它可以更灵活地解决问题。
-**2. 数据持久化**
+**数据持久化**
Redis 支持两种持久化策略:RDB 快照和 AOF 日志,而 Memcached 不支持持久化。
-**3. 分布式**
+**分布式**
Memcached 不支持分布式,只能通过在客户端使用像一致性哈希这样的分布式算法来实现分布式存储,这种方式在存储和查询时都需要先在客户端计算一次数据所在的节点。
Redis Cluster 实现了分布式的支持。
-**4. 内存管理机制**
+**内存管理机制**
在 Redis 中,并不是所有数据都一直存储在内存中,可以将一些很久没用的 value 交换到磁盘。而 Memcached 的数据则会一直在内存中。
@@ -368,19 +376,19 @@ Memcached 将内存分割成特定长度的块来存储数据,以完全解决
# Redis 适用场景
-**1. 缓存**
+**缓存**
适用 Redis 作为缓存,将热点数据放到内存中。
-**2. 消息队列**
+**消息队列**
-Redis 的 list 类型是双向链表,很适合用于消息队列。
+Redis 的 List 类型是双向链表,很适合用于消息队列。
-**3. 计数器**
+**计数器**
Redis 这种内存数据库才能支持计数器的频繁读写操作。
-**4. 好友关系**
+**好友关系**
使用 set 类型的交集很容易就可以知道两个用户的共同好友。
From 492309c1106324a3f06a8c4bd71685cdf11cdc99 Mon Sep 17 00:00:00 2001
From: CyC2018 <1029579233@qq.com>
Date: Wed, 14 Mar 2018 21:09:41 +0800
Subject: [PATCH 6/9] auto commit
---
notes/Redis.md | 27 ++++++++++--------
pics/485fdf34-ccf8-4185-97c6-17374ee719a0.png | Bin 0 -> 33792 bytes
pics/7c54de21-e2ff-402e-bc42-4037de1c1592.png | Bin 0 -> 44032 bytes
pics/f7d170a3-e446-4a64-ac2d-cb95028f81a8.png | Bin 0 -> 21504 bytes
4 files changed, 15 insertions(+), 12 deletions(-)
create mode 100644 pics/485fdf34-ccf8-4185-97c6-17374ee719a0.png
create mode 100644 pics/7c54de21-e2ff-402e-bc42-4037de1c1592.png
create mode 100644 pics/f7d170a3-e446-4a64-ac2d-cb95028f81a8.png
diff --git a/notes/Redis.md b/notes/Redis.md
index 5b29679d..9f63fa1c 100644
--- a/notes/Redis.md
+++ b/notes/Redis.md
@@ -24,6 +24,9 @@
* [Redis 适用场景](#redis-适用场景)
* [数据淘汰策略](#数据淘汰策略)
* [一个简单的论坛系统分析](#一个简单的论坛系统分析)
+ * [文章信息](#文章信息)
+ * [点赞功能](#点赞功能)
+ * [对文章进行排序](#对文章进行排序)
* [参考资料](#参考资料)
@@ -411,31 +414,31 @@ Redis 这种内存数据库才能支持计数器的频繁读写操作。
该论坛系统功能如下:
-1. 可以发布文章;
-2. 可以对文章进行点赞;
-3. 在首页可以按文章的发布时间或者文章的点赞数进行排序显示;
+- 可以发布文章;
+- 可以对文章进行点赞;
+- 在首页可以按文章的发布时间或者文章的点赞数进行排序显示;
-**1. 文章信息**
+## 文章信息
文章包括标题、作者、赞数等信息,在关系型数据库中很容易构建一张表来存储这些信息,在 Redis 中可以使用 HASH 来存储每种信息以及其对应的值的映射。
-Redis 没有表的概念将同类型的数据存放在一起,而是使用命名空间的方式来实现这一功能。键名的前面部分存储命名空间,后面部分的内容存储 ID,通常使用 : 来进行分隔。例如下面的 HASH 的键名为 article:92617,其中 article 为命名空间,ID 为 92617。
+Redis 没有关系型数据库中的表这一概念来将同类型的数据存放在一起,而是使用命名空间的方式来实现这一功能。键名的前面部分存储命名空间,后面部分的内容存储 ID,通常使用 : 来进行分隔。例如下面的 HASH 的键名为 article:92617,其中 article 为命名空间,ID 为 92617。
-
+
-**2. 点赞功能**
+## 点赞功能
-当有用户为一篇文章点赞时,除了要对该文章的 votes 字段进行加 1 操作,还必须记录该用户已经对该文章进行了点赞,防止用户不断点赞。可以建立文章的已投票用户集合来进行记录。
+当有用户为一篇文章点赞时,除了要对该文章的 votes 字段进行加 1 操作,还必须记录该用户已经对该文章进行了点赞,防止用户点赞次数超过 1。可以建立文章的已投票用户集合来进行记录。
为了节约内存,规定一篇文章发布满一周之后,就不能再对它进行投票,而文章的已投票集合也会被删除,可以为文章的已投票集合设置一个一周的过期时间就能实现这个规定。
-
+
-**3. 对文章进行排序**
+## 对文章进行排序
-为了按发布时间和点赞数进行排序,可以建立一个文章发布时间的有序集合和一个文章点赞数的有序集合。(下图中的 score 就是这里所说的点赞数;下面所示的有序集合分值并不直接是时间和点赞数,而是根据它们间接计算出来的)
+为了按发布时间和点赞数进行排序,可以建立一个文章发布时间的有序集合和一个文章点赞数的有序集合。(下图中的 score 就是这里所说的点赞数;下面所示的有序集合分值并不直接是时间和点赞数,而是根据时间和点赞数间接计算出来的)
-
+
# 参考资料
diff --git a/pics/485fdf34-ccf8-4185-97c6-17374ee719a0.png b/pics/485fdf34-ccf8-4185-97c6-17374ee719a0.png
new file mode 100644
index 0000000000000000000000000000000000000000..f9f73fafda46b97f3551fa291713b86559b59c6e
GIT binary patch
literal 33792
zcmd>``9IX(|M#bQQ*R7;M>0ZbMW_tQzBE*lozPI(#xj-|$~HROM#qh_30D=82U2QV3TnT_PrjI}
zesQV5-3G(IJbuFL4)M5N|I0Ae^eY_mhr-f`L~ecJF@D08`Hv?)jblSTsv)>}c+Q+?
zR|{r&%SgQ_B64{zcUM`4MjCF=?JLZq7R}6s&?t$%kCLhL;Lr5jQuh3)1@`bhFg#TV
z?)Q(w{||qJ7S#LFG=&2;?+<$|jSBkjZOu#zfw5E{f?ly1dDtdF6y9wT{<8S&$nEE&
zk7ooubTORAuN*%3R;qEgdw4$tLfB@$661xs)8O~Gx7K@Uwq3gGWtU4YrAJpKV!9)N
z56XY}wERZD^&2t)eAX<{KrTd|R
zN7v{3#N#jCS1-42;ViT9n5|IU{q>nx?LIl-#h}w#>;u2&I3{4G=iZrGzR-Mmj2lBC
z722tcxqXHb^NjNkVIhGUthjxl1)Xfr6u*@lo?S|`YoWpck9O~_hp@6d*;<{^I+x^W
zP&(qE!?LKL1pM#&j
zIE%tVg%E>3W2}S@zE||&TB=*^yyBcuc&>1+AW(>WDCwjgaj~dsmU(Ty3wK^6mYnat
zt-Lig+aWgwk79*9%dtbP?HoV`5dyo{QvBz-Gu`>1f
zYqR=>cLz;$QNP&Df)Da`B*>z}$QAxO8?#{ab8fxJHoxVse0CCoqAzbH$QEX8lH|)J
z3k@kG50sM2J>m-6rHDtG|GYSc#@
zrtJ5qW0kfzBsW-zPB3GKe9R2GCjZmHYxr5)$(7b{=HJBydP<_+2f=L@*jT{1I?N|3g{T_=>%eEC+A
ze8t%-!@f)Pxo!JD;%;M}(k;xs#`$}4svo#{3ZCJ?I6s(mYCKA1?~!MZj@+55cTlLV
z@|Mj?zlc^F{nVz|vz|`boR9T8)Y>;cjZQm_yB?J&{?sp7yg|_5it`QEwunMM-pTro
z9xb)i?k%(LvZ*PtZei`}o_(3n9NGW#Ajh%8%v&>U2?<1?u3R|`(}UqoChchH+Y1=!
z&0ly@-DP|hj=J^K?nY@;AOAs}0a)73i1ZP$XU2zjDqTikN$$=3-yX)FIq&*`8E8(C
zD-II>9OY&
z9ZxCJ7V-eALCdv~URfiTqE0vybN98PCDN~VVd?j`Hi3L-Znj;y)Ef!IJMxSjih*158J;x4(Yq1+!%zTO4}0Vok`z~ma4Q<
z{zmpRjbguxW`Ehqer})QFZ(z#K0r#nYmW8VlLH5vm&$fv8ar9@Xs<3f58c3UQ}2-I
z>M=;pYy1tz(tj8`mXlOCPJ`dvGOB0lh!;|-?w7ivqz?8?xCs3C@k7w0c46mS5d>pj
z`1W`ZSDLc__UR~7^1A{DnLhO7i*w1XiCZ_}o2;
z8PcZ-VhJD6gHn7*PyO7hzjzNNWB0bkDSg8`Y@!CI;V6YJg{3;1nmzhXi}c!CW3Wi0
zUgcXvE>hpNETv%kj7|Ie%yN7q@pJtZ2pgaLBBf*tluI9d2D~G*>`|jQ`BhtJZ~hb?mwIDtWY$<2-Av^FV3u
zuhb>O9a;m*X$o>${vZy=UbnYRkfQ7!oPz9
zx;>fppk!9~2))VR{(J9h8Z1A#u$!NIF`GJ+UY;z3dQfGbf5G5Oe(Co5uYE^gFwxh>
zb$QP#qSo2XRg6%nUc_`wd3Y|!7_ir>8u7C53)5%h`98;Hj2-PQvI_|*XSWv}
zo^5T>ma6ArMn
zxTz9Otqo-lhvxUIY({7wrTm?#K8w)U3$1?!unE=;hQNmF{@2kWW%Ry+(TW!T(^qiC^=F
zf6Aoml$8FKxk;#qstgq`}nJGygB>Ts=;x)Zor+x
z(Tw~85|~%d*xMmGWGB7fRq9sbr$e>Vm#)#3k`*79)?~i7Qkh+(!|<)eSUSaK@J5A*R`f_y;{0fa%WcU<-{AOwu7uYH*}NF|DE2OCqxT4`
z9BOLik6DSWD?6Ar(XHf@=5kXRYhkotOK&Rgerh}$6}v|e`!E;fK~kMj>^KBPv~b>`
zdTbYWNquZfRQje6{$qt!F(mOVPY!NW(NXF?*<9`WddJT}=Skh{l_L<8tl%RL#@S4N
z-J?H*1GN==$33#UOnPKIOW&XSy=x$^A}?WvJjYXlo7)Mv=Sf=o6Z6^DT!yebnvlt8NnhX&O+#jV4`Jms
zq8i2d2s&6_>Ykm&`zHz)?8aquKQ%h4@~Zp+*q{n#7VWLh!{I9k!wd-7m%35b7nfNu
z<5qR1+%<31j`(o90B>L2TTX}hW*9Q|uAGoakUe}Dk~dA}MsT)fx-%NG)@@oRlp8r8
z&fPPGdDEYTY#>mx>U(`?jWR;Dp+Xk#h)<%BYmBILX#LNw#bU{u4q#Z=vne8Fi+8BP
zFh<(l_1koZ;IMf+gSk5l39gAu
z%kJ3zXM(HT1dB#~Xg8IGZ}uSfM#kvKyNSFGpF_EHg|erQhV5~`FOWWEX08O^+^K1I
zR{O`te@}S(@{VLNgxr2zUc_~YJae96E@A+O8`X47MB%;(a7}T&CdX8;^6yu*Uv6O^
z%;Jyo)HkFrwoQ_`;%{BEzuVLBhVIoNL+(B9+@5#v5cFWEh8TQSMfX%;81-O)6{B48
zCN=smUKt0zB!hh!>a9iR^2fQB$v6@1;vwcZ+vK{33FCX*D@)>OBkDmU{kM^iYRk@T
zbGs
zH=-Dk1XQ_3)mGWIOwb-@%?NrVD~NxaO1LIuw!5^aX-*omr7iiDHM(MVhQ_j}6cOmp
z<3>0&EjH}lYDx?F#AXv$z+rj}W5p_sI#S!haA?@5DDLz7KymOMeVqL`YkK)efI0C;
zq)h94)e<9H%J81~p8TLFymwVAr%xjYJDnX(fp2Cf(2I}}cUM1p$*o4!s0
zUVijzJl=)HxI#=ls2cZCxOkkaUq=8Uv4`C@QSM1iulDNPDb)!|k)TDr>Lj6VY4R5e
z!FV_^O8a)M2#QMiAW)2wfan4z+1Wwp#@=O9(+y##me-s1`{Vl-X7a<(m07pqUJsjk
zDZXkRs3xPYQ)CgSR3ggJIG9!YpsNvIuCKx1YCa{Jft@A{1zVuXLFu%XqETD;j|UE9CPM7
zBZ$BhYm5s^c!}<-_5ao;B*BZ_$S9x++iGYSV_z9<4q)=;Q11Exv?LP_Xd3OKa#8yL
zkN4Ot`)4krz1=}uWhts`%}(JwK@Wr#6~W#1Oj>k@u@532K7UAukSfiw;rcdSA)uR~
z+-o%5AsLp>0W~J@C)9Y%G`}g?O~9_YzD8FqQmhz0ig)V5E{PQuNT>%jpWh`4)Ac(9
zHjZ)FxsD0;?Xl6rR%a7m2wS!#FYgb`+v0=wdB1L}Kl}Q{3c8ulxRo$#
z+PM9$hBiKZmfmw)L4rwDCQ~pQsk0{*paQaFo`
z+yUqml~d2Abv9C5x7X%mSl+XhTdPL)qAhczC0%Dd}pQVCPveoc52Zgp*JZ=>oBIV**W#O_~dgd%Vo)%NrmjSJq~eK1^Ez^-Yl&zDqQ
z6VH3C`6d66C3|{)-2UM-Egk7YQy7PCtc!PGWjvd^k_pA+NwNBnRHacbesyywOT}P2
zD63`A>qjsjX?K||!j!;$-`i|xZQH28$=|%O_N7bhj}U>^V`U(1p+v@SH^%f`M;)d&
zt&bVfi|7U9%MYhoId@cPTTLPz1!iRvv@ZXGZFD3|M$EEmqaNGn(zX3mEZ-URO03c>
z#fj1WBz_}bIm)N5*;Mr77KL;f(UrJQwX7PeGSX;Vxi#kRXoh9SBxJp(F<9r9lIQ_d
zI%85)Z-db>m&W|Uc%kCPf$iG7@pN)`r;+IZc_S3N8M>_YD@dp98LR)dp(HvVcA0Pa
z*7Z=4#@dLz)%P`ow-tU{E1S=2Ym4-HR&y-0iJ})URCa%Gu{XvHV&&PV_&z!4EPWO9
z9@ZE8GM#&lnR1&K+qIv^r}Xu{Tj?{kiV$XpBz>dr#F5vk^u`)-K{wbq-<;JETdV3r
z#~{7Ts0;7R4sJR-(Fi93pxJ?#i*qZ4)V;4R?)iK7=L6hw41UaeC5T=Id-&c(l+Xk3
z@tm%z4ry=TngsEuAijeia#8dY)?!>2u8|p>R`*ug^ke-fBLCv@lVfOt@!U
z(J{!Hq{AM35J}LnDnfKlLsWU!l2Vtx=|#IX&a78`Xri0Y}U>dq*~-eg0ua`ZV>O07h0MzfD(v`&6ns
z%e?NKC3k77@L~O!3($*RRoay9TU_fr4HLzNl%BdBMAf%!|BQ79M#ar1Ig6-iCr{A~
zdsfH7fo_{OcXw-Zq=Xe;DV
z*f14#uqRi5Nww`AJ)s9JmO7cWVox&uG+Yr7)^D7>9CF~7^OAX5ru3u!9Qs@II
zUy-$g#@V5)>!0@q$qh%B>Kb?38ei_P9{{gCn0_wB@AB05`Mi&**!gQKfdiKcH>eMtJK|}MBCLgC*R-%a
zOF3no@@>ORIpO&3D3(D#4d4B&vKv%W;SXL_y*;1*MsR)5sW{F8Q29WO&$GnzH$Hdx
z@aS_%|G-E^$b^N|lNuqhf1YhgR`N{)nT$%L(?o;+PQ1mCM)tFiaH)nXe?#$XC%|X8
zoqu=`(Uq(;G(5O1#s!Uk&_|68`gwT}Jf&J6DLz&JtVYpDS%e%9xP1FT(`
zA_*s&8aRur^@_8wFwMmMcx!n3h4;0k(fSSv@Fc|37$pG9x}D_cf=0dz4$(=FJ)zyd2CEl-?=*MYNpnnW@(
zLtO!{pA`JK&d+=@5@-sqo`qP^=S}~8c6&B`QZTi_oH=YqCKm$Va-b`~&IPRlM$Uu_
z%bdql0_y%;oT9ror8^P7_1?neQdN1@cl970ot`Wm=_=;i-RL{uu$+v4-2dVJ^m~%g
zW7H#%ApMzSYz*uP{8I7Vw`<4|A>2wAQ9lpBTV6Dn!96pE;~h&OJ&y$?lN3m%?wQ9
zXuWSoeS}%b14OB1#To7QvA$tjyQ^L4AdNo*yY%2%Z=pq%O$v%J{I5)t#uSk*BvC&;
zIY6|IQZgwMT$e4>q8xyv@^Zs&;Z#worrTgzCsfB-gA20M8OgrX7wjvF7M0E~B=NIp
zvmZWlY9nLDBpY{EP(VkRCPw&f{ftRJ6{UFDta1N$p!cAtg(;RhnK72;Ws6bD+c`CI
zV=F(~(gWz*eTvG3Oznmk0u^Xam%lj_>61V*oKj+eq>3Mgwe!j1_91P_MM(D&7nN{C
zg3#)>b1AVE89mW!*q!Ei&`&bMii8T@BU&UrfKmNhQ=#e*Yf$g3ZCTY|a&AE36WJB20Xu
zjDuP_PfBxN^+ckx;iP$sQ&B|$|XGNwr>Yyt)Ax>61ZVZ;SPHI
z$_Kl8M}+$4cp0aO!}o;K7X|*6Y^t4JS*}{R*7G(7cn|GtEDE59Dmw~((l(aHguQL&
zM{2$2roE2zcsOA9K?r$=pwrq3gutQ)8bO~vmD;vlZsDEv3JyGS`^w3!VKI)nZojP0I2?SiF_z@fr_EByhOSi}fx~acYz7x54hwi#jaULZ
zhJ9(BWl9+Bf_#t%eVu%+jqBLO6JS4xYOjwV4!mTFOP0mWeyD|m5J=%m!acVA>Id-O
zLCrDogn;k|I9ESK+5dHyOWF3PM*7AOak)h}rNGqsY%e|QLe&YACrd&juBYLfh`OgF
ze*47e-DEx(y!JKJLaeu}S+v@-@~g6@{Ui8iqx3aPE3jO?c}c$qbIS?lHXO{Y7jA!#
zpkKa=>io>udEQmA`9&X!sGZEko!8ouH%K^1Wf$)>P4&;aTdQy4V%OsPGQW?E))B@z
z*`#2Q@|TO8B*3OS&%Yzrb3g)3)KC`@f8lVL9KF7`vGGrh4*2(-!vaxt8EqSW2h*ir
z^_E$yQi$8hKr^b|WQU%Ryh$P8Eq&%PQ9nKf%aHZ-HDB0@9IV+sB;uF)wTBe5N%vnZ9CySPzZG(#_ky_qrQhf^s;>%
z1V|AezJKbVTBn6@#%a%Cti%I{rTSFbxVJmDNAXjUy5h<4H-&r>3hj;JFD+6K1+WDGW2$(
zfn>jxZ#MLfV?C)exF`K?hq9@%W9|L-j?M?q&Z44QA!F+Y9b4cL_d(aW|-?;wkcXA7Ayv!Byb1vu-2~
zfR<5^l19Ofc>flq?ZS;=kFGf1dF!tD>LsKE!Zj`L+s52FP0gh5K
zPw}ryZgDXk02%b**7%B>e8V0ZK&j|EM7t2A{;DW$A4IkG1Uxn^knpMyP}WoRGfCc-
zr7!J9%*s*vj!k((q(Tcmoy04bFebu+1Eg4%T1gpXwfN!%^}&JX1>~QhtO`LPysM7eHbnF>858{2>h+a-uN8y17CW~OBlGWXQ7s{G3#rt`I|`N>=U4~xPz
z-nD1Uz+n7YJwv{^r2o+jTAL#ToJMyFvS?R(F@@)oj6Wa?*5bonW9v)-XqF_6@5gDTA{}9TSqaAB~kkNF|yu`0UNmLu_^#uf6;VbaB3B@b{6kz3VkRbactS>pIrJql1zITLR+t?Au>}0gZoyEEZ
zloj=WJ;W63AyS^|8kL=gpzqlV!AV3~JLjFirp+6xT=jv>Q{*Gr$c2rr1dxFl~!e{F!kap0BjhdP;_T5oO{rmM?0Ub-F4>
z$s*&)EEOXV7U@777evF-w-oVNWiX*Dy?>R;&9Ql52IZrMJN~H^b`3GHv9g}StfJN
zT!}_Y{A?*j<_jC*rad3+V@T+w9-@zucbSnOj3;oo@!eTxbkeEEHZC~=
zv(j=^ld$i23e;ihdv}AFMi5?o4$tL9cL<77c!Ldg;T?*2cmOF)OA&TcPbub?wmaSS
zF7CDIFgqlV_wS6onLe%>aLx#TbH)IiGppg!g6m{w_(}YjiUI*(y59UCR_IL<*svK}
z@n(Le{4i3nm6gYPHKaK{O#QtA9X+t`vzhrxct$Wzgm1Rzm;lYO6VakkO@=yb#7RLQ
z`2Ap>OTawm`i9|is}Th0E=6nV;`v1pb4Le665g37ZrfnwMsMMlqP9g@>l**ozLg^3
zaRa{d(EYaoDC{q>)+%@V@d-8A9Fc3UJYRnv$t|y5G-nZ>=uW)6I@47gSCf1F%7rvu
z^`QM(Lo8xTu)}Ho6I{2Y9?H0lU_lakCTi}bgU>!l4(!iJKG}68BMlWD?1V?AyB5+#
zkfxrbQjpz1Dk48R#v2#5rOfws6D_NB@$p$rYg-=k`A{LnE1Z8h1edw=1b_Ezl7Omr
z%ERuuqRu}Y*+)zB>_}d}LFr!Q6jrYLY#fD@4^LloJNST4G%wsSm~aArF+m_~t*po<
zX``k`xg^E9)^8B93uiOOzpn5f2H8qFFki*_g80z|Ywqi9)FH!@QkRE*k}t$+O!Fs37qFg>AqN0S^@~AH%DD
za2n9vLc2I%Y@qMZysOj7*lsXd>uaf+@ncBs;Ri^a9R#v&VXx1F22QiAizaPsSJoZh
z5ng#stLmf-uuIil96dKEx6QFF?e*?&{XL$-j$?fL!Gb*n7Oa=LhB70p$xMgkJs!^!
zhiQgF5rZI)Kc1q0$gI@n#xD_f2c0&1WKKacVca`Zp90jA4ADEY^86ia9Nl6#wKe?O
zcK1_T6LDV|7wmXB>-__N!aF>Ppx0iB9!e80t}FdaG#~0!x{kEX0Actp65~lu#ho0)QhPmN@~D22qs=M0OR8rXQ&g>WWVU#J(!
zXSiY8CsK2|ik#})kv3IisMBNzP={TvBgzT|DNoi7Dxi$Wb)>4|q(%1v2zz}4QANX*
zMQ=B145N$7%#t3Tae+Y01#wRZ%zFMWZrCAUNQI~#{{Q9y)Jflsg%@_6iTwZL^6bhE
z5Q3xh;ON0}R7<3w-P{9Gf!UD=0l6Yii&C2xW*U`1P*60-dpdZwNmO0K(!8;Jf|y?Y
zZ?fJLl0<+YaMMKsNg*N8h-uumQt%HBWIJmM_)8-&x@}<
zcV4Fkm1kjo5-Wk6L2qQ9_Fsqc7fB6Qnc4?AgU0_S%MU&Ts>->tF6Hn8PXu^M%I>B*q=-pOXO}>Rq3z&=U6VEx@HqHEfD-%C!h%{pPLdS>()LzkqQwUdCn!*!?_-
z2tGuppx2#w{H_V%SUo6g68Mtf>+WVcCsl(Vj>bLlVcP{RF|DC0
zS2?HI9BK8S(eToxNni%Odu12I^*a#PZOk%#f^U7kJFV=1*i)t!Q(X@{T|{2fyTl)d
zD)DVO;d-qHxD;PqD3-izpXjd1wC4_QFx4&@erbn&N;pyqwO*jGuB$q|V5ciGv+
zomzju?kAxDpu=Xx(0X2>d4<^aaujy>z7>bCvSJwoyV@aVXk~5L)9|qNE}#w<2kU*S
z%qUB9?QP(mn3X9pZMA-0h&D<<5|kLwy-0lsV1PvLS2jps(KXaXtKny?p1cAuBR?sN
z$_r(Iy^CTwx>tTYoAStix)C8adQm&0=h1=MT^+fR-naXWzt)iQXE-re4QL6#VR^Qz
zIO_wqJiY;tz}cc&>i0!j@h`WPZ|BZY`r=;JsT#a*zSU1JT<>DCW
z#kwRxHU;Xy@nDYNh*!WXn}613wt(XgX=o^Ce$+h4&`x#Xps?TJ^|_vNTMHp!W+T){
zrB?Q1#(EF}KW8nJO%Y*dCpH0;%Od`lg_l@%XiIW5SxtL=XL1IUZ~1`8>rkp#^P}Dg
z$uGi-$-9jQ*2pC>8sOsX`yhJYu-xiC3r|IEve<*7*>Gndyb+Yb9`APD1v=(6GcIvb
zt6%5^ihUk)Wm>1~KIF?mjNDld0lOA68I@%Mg+ms=(XEJL5`{+OftwhMfv0*%Bs_R#
zxW;309p$g9v~D!)f7%t|&TSq_S_f801UsK(K~2ch$Pf7fk<^~ch}zYu>Cq%X*rq+4Gfm*14bBiwhCi_fcg>
z9dOce`9I&qrmSqB-((F{q42!CbrOCIjt)6dmFv_7VkUNouEDas+NC1AK1)1>QF0Ws
z6!u*x87@+za^Dy1BN5TO{veZBx_BhgVs}oSb)y1R8-7d9{0kuUX*iA0vt9i1c&hLV
z*A3MlB5)4^09!H6L3oqgaARqd^GBv*wxE{Z-T;otlRR%v=9h1~S7QxZ>#xgo<6QyO
zWa8ANmk$3mQc%t3yb1te>6BH;QBfy(9;R3DE
zbD;U`OI3b(k8Y-qxE_~I*(*hI!+2O_G+vE_)GjsDivGAksRmZrH|vgPGuJ8P1YZj6
z6T8&u10CV*x6e@Rkx?D-wl~U0*j{a1^~|~!^cCb9w$DNsjIa6JpaK+x9ldZz@5nKu
zTg*HsnO_U(Yjn?{AwZ$t?mRpLc~6^S@?4MaoQ&Z5MsZz1i;bY*1}KfMR~_<7fI1Am~^S0;3Mhg0)dP64){ZVsUJkICn$wlXDB+80LP*R9tlO~z%gEg<`(fdEY
zzgzA~3s{y-%(?EjJ(t~~wBB=^0Vsn{snTPuT>7bTKsbx9YNRa+fMaR6-j11Q?$is3
zHSiLKsTOSh_*U~%<;Cm#gdInA&k8%F*??eMDi(9UCT+JXrE;mXO){Jo^r?8Se*7u>
z>qS!Ik+Zi@-}_+@NS-Fx&VD@$aW)QNZPfKSg)|)&z1*j6&voqy0+EQc^l$IMbJYN@
zG|H`YJi69JJ9q)y&Y`!`9QZr2lCWu)wzavQj{3P>nq;v9_U+Xpsr1ZcUaIk1dfAo1
zPN(8}*?yJ_5s@EjDSewf7H&gXdTAx%9mi~nq}k-l?var;&QEpssZQGL`j5+v6dxuQ
zG%Z6QMiGC`8fI0yUNkhr=O+&wlTO{e%qaiMhXIH{lATOsVP
zm{RailQt3+_Dl|&S~1qZpf8aVBSbY)g3B>^g22g6{LH0tck}5ZL^aOv$7#6a$?(x^
zCS$u2Yo*hb?qv5CdIo4i%w6XnCe6AG&$(VTqSo8Ho}EmE?RoGjSuc*CL&^`;y${n~#5%oUnd1h7dVdnKq
zk5|-#&@f%xjF{o+Q1DMND#pv^YZxySQ`o(eOY19=qZAmn0%&c}g3r;89c^?O!DFg*
ztBTFanhW+p0!avP!$$wyu=N)2nE_Mo9E#{$rTzJ$;*0X7oyRhk!$-^Gp6?P4!yXOa
zV$+4)rFhjC^zgG{j2(|Au{;9xqdZUDfrFgw5{Z})EmLokizPZ`TtIE}Cl1)BjNlZa
z!`xXaM9LFuEoG3_Op~u5o-y0HH}&leMMyZ+EM`H~R|fh?N(0yKUst&VS~6bLeyk~1
z!Gts^9U(Si87Khg?fwQy`qQfqtcK)*td*nWDNcsSdoojbuHPDM3mh2F-K
zd*6MLc;91Z_Yin+F*@CG5bVYo-f^+!@b+m#uEt+|tD+FNI!l=FE?;_o8ao8slKqg?EC*crw9Mc6VZ%C;Z*dP=QR^PKSMPE
zF;;rnzV*sFLTb@1MATcdcws_#*d#bZDsYll5Su+Uz;8?fc#n6J4Mp`yxTKV~sg|8A
zio~pq)f3E#4ki-N{z}~SC&q?NM{#Nk)XDGdy?+6X7}Oo=PXKJ3C!ClUNjG!b6~9m`
z0WZ_F4`#*K8pLFYRaH%5^3bG$N5l~w>t82(&L()MVpZWBrJ#Vk@
zXi9^@i2g3W{qUy-=aeC9M%OiUna6OtkxT
zuq}9=0tDde&ppBg@F#QdsJwTsw-{b
zc3jboiIkt$6H4Wtfg%UR$K*y#z8@NrHlkvrI?$2>AnlhiRtBmRE1MB5uDz3YVPThg
zX`N#VeYO#cjibt*^huHrb0z1iTd;UbZ<_K-$v?74;fgr*Au8YgRc-T`HPA$4rWNcbao>>N;!;`BcH08oF9Levzu91_RtaOl0
zVMnv(_rJqT)kYIOShqwnMHC_cz=mCZy}tT*5hKF<7870gX3=N7`o4)R@Di8?B%aYK
z`7~wbaar#ezkEKTs6JKHKHRzNJ#j6|?}>_nruQiG17P2VxR%)WVZ2vp#%j
zpP)o}voT{EgFK1^MGo=%J8|ja_q%&LOXO$jGU%$vXW1q8$!iUBGPcM--4tly=aj$2
zjf^PkPF7G*8Z@YyliKxtZZ9f$|EjJu+o{U|Fsj$tbgrg@1VH+r*2H}NPUM%l%eD7d~B8=ZhXV(U-`_rPH0%J07emTGp9#jE`4CTYEXlcORJ!Qas
znm7xeS}kr!=ri)n8@e8C7BdX^2of0fm-&NV0a^SnsefWf<#m=;@jmK7Rv+>)7}WXh
za^aOC#YM2HbiTTeBIbAhAeBKO#DSpApjSPk38ia;yQ#+<+2ry6$dm0rws`=26wr=%
z%7C6b3#!irw+yl@hReW|U-TcC5o+#ysgg!?U+-5$Fb@Be2lvTqcXPRh(#QQ!5XUJv
zS9lJ7J(_w0q%Iim#~^K*B*$(Xs}kk7ovc{%i`x~r-YRDnt&)@sXy+pg&p(XD*M;xY
z=nN?W^`)Jve{!$4)M2Ms$R{HFs6<#-tSw!bxQNGZ0aN5n7C}G-{{cG@&>y}NA=8=K
zF=zefW%^B@q>YMP|N5R)!AZ%*%3mooIp1==r8v%a7?UU3zc5luzF-VpWQPWlR&y!Z
zro7L6EEhHE?a<+$!kZ7E2qm3s=l_yfX~>0;eTM1zS#h|q+bZ#zh`P?bO-i4=x;+ct
z5qmUqv1(^nwm#YJ8Mqtr0{`EDnEzm>z@sIg>l6ic2_m!ClvxkSFMRks(UrB=wx0U3G``VmO;)4G&*+7;83Qv$Xf)_#5F
z(gJC7_z;~oCcFsl)Ud_vvZ{e1S771MuW}i2BxU;7JND(_X%&{Vy2q<&z!-InX-(?D
zyVkFhP@hAfM35uczGsD`t}_+>tANG)lxy75frIrv3ofs#9EI}&rPMX1={QPKD|jBr
z-;;-5SGrUsxqbSZX*{tOGE0fE3b-l{6o5CF1sd^H~9OmwVsOd
zd?Z}a&S&L!p9Ekp@FT@axd7)wSlFk$~uAe=3LV$yq
zq{yhJjV9m=&ew^48L;Ku&nIQ+OfAeT`NzfWDj<0isbC=DOzQl5AZ)z_4|_yI%BiDVwQW{qON2Pq7T|YKdKlw1pOL_eZsQ*}pW~a6{X=2Q
z85mIN(SyTL9AAMKM%eG=&URRG(_wHJYUPum5Y_zuO79!c9z-Rc>-@C%sF+Uk$RvWgDAcpl}|@0
zn4Co43Ti$%`@qACA0sF(pZ<F~-BshJ0>Yn3>Pb&-~~YrjZ?GhH6{o0GpW
z+ZTrIcsF6Y&g4R;>$B$nn8AMyCKb-(LWM5Vc9WHzws-q&S2}mAcLRA~C@@dI^%YP9
zROV>}sWjGyP5igtBi7lz=WpQmD2~@}Ez;Kc50>HInEB3yv}xmly4EdgDt;vU*P(&w
zL-Q0?0Vcsl&y_C*Abi~H^=~zuv?QA@eF=E0Ed9!n{*(%<_mar?8ZLF7Z6Uv3O;a_u
zRp@JveD37mLV*@s`iayo#GrAU_u`=Ok*Ch4;whHlmT!=^Qwr0{PHZ(@b{zv#$3)HS
z3IC@Lg!QAOdHMN@wut`?YaBE&HbafaVkL*)dHolu8PICd46YN*PfdIH2h=<%lubNe
ztw>+%nNFTqi^p^vKtkG;%5YCjg3-?vWXG9)Q+Ag^-I2UfJbLcx+IE;%33u>$fo+~m
zurb+Fw~{X7aMG1#BRRvrG9~SpD$s$vcvj0H&~J)YewG!eGl^|Rqb{fyQ?e3VZVLH=
z0>%TbJeNt?aSyE)Ji`Bm$<`!y@W1v5hM2&CcCHmX`qM7bO|_+ssMD9lJr4W<-h~>1q?c5BLGs1
z>blGPogB+_Kg9CyR
z3im%f>+P~l$Nk@<=*MH6I(Q?EQ|ElxY!3o;f)J7uh>5zAA5|kPyGuwdJ7T;ETJm29
ztXDdGD6agr7*w1^&zO)ae08)DQWf?8S>pD
ze9s^21Xn2>c^zibc-S@g(``gyvvYNDLA<5LAos8G{fdhfnM74P-ftW3gIX>n1uj<1
z9?&jx$c)DTGM*gnVh7jV;o+mwl$sH}loKr8Zd0
zxZ`O!+&TeqU|0s7S8r9O%X>8;^U`S;`JQmLyR-}8m&)XJ0Z(REnS!qYin*lw{4db
zOJYGLAtJd=SXeJZ!m6Q8gGhD+t)m?nj6vDWLQx_+q=PB+&~RFvcLSEhyXE4^mrnT>7l6*~96yeII1Kyddj!VA?cV4NL54?;^MJRlJ^4X%QCc@
zLADq|W7@p7dkuTK`PWFMg>N;?jLtc(K&so98zubc-uzjMWTP1O)6550E#=UX=cF5qpUu
z$5xe$r}2`~?Gah;+Y|WfM~Fu<6`wGM8_3~T%}{CW^@lCCrJsRnrR8;mXeP{!vn3;>
zFBfj>O3&9O2X5I<>TIVf>X%})?73SnhVYJ-ZmDGIF$+ou=*>~!1$)-%PBBZM6^ph<
zj4WI#4lRtwYWV39&!hAV1IgNT&zsUl&0+Z?u3u#AccyCp3+KZglG_+VQe;K;vYhfm
z$SOZS5)o5+)mE#>var0Yd=F`Jf?m$c?$5P1zUtq#f6hE0yWU>vPqFf*F&kIFloTfw
zEUd4}cwTO!hn7g{)`X$w9c~^Yz5rWA)UDCw{aJQzo5?%g$EVobQ^Bf%IUMG7%pFCU
zrTk;e2%6PKq^34q?4rIvxz@gwzv?@B@kW@eu#O7rc=E{3SRf>1*B!;!og`P#3jXl&{j)-
zA;w3apfCf{uu8L?i}K}zsYXbBjHo`E>01c>V%zic_9p4!!_yrT<}(fzBN~Zp>_J}q
z9>?FSkGVLt{cx00%-^Lx%Q({xMd(%wK^6$-hNNTNapAIZkjy0h6w
z#&T4_I1jjvflM-g{VB@mSzpDOcDp=biR`cSaa5EqA`N9y(=%(p`nkJR$CN=v4DfC&
zEiXcM_StE`>lBB@%d*JO@)iskT<~d|asvg;|FWlha3Z*-VXbrviRp?<%!XPD-YY?`
zR1d!}`~6GeM2>C%L@_*^6yRN;hP(?7rKfKaJM9YQh)X*zh|Sog<&rvWCktwuoZ`YF
z+;vR4HH2@UJd@oO{O_8H#NAL`v67}9P3g|UBaQs>v5PljtE6Q2r0()2VDw0rG!vhd
zA7Ta23l<8!rxxQzDw8<6E0>;Z|J4B$&?)|}W>W+eix`Z+J^OlTH
zlzpMoBXT2Xpiy!#x5o5V_={=&dk`kydIbe2KDlm`@DIbpiXTLJ`Czli|MY^
zhX}FHL%Ts#xX(_Ks&waS89$!rqc(Y+ReTlu@kvE^To0h@dd
z*0-CuTU>%24ZLRSQHh~k
zHma%;RY|mf*Ivnv;gzv$->}cTUSSd^_hGoD9312s+3%HQr2iulQ*jj{F{y&j
zshPvJpWlPHeA`E2Aie0wSYH72n7f$vHjk~=6JW@rq0y7E(wX#gdKPeWyS{E}N18Lt
z)KH`QUrvao6WHrtzoTL7&~#Os!e)i)t_vMwvM25jL8vh5U94zfcm9KR1Dv7=8)w@Z6!FcJ1!gn1k@x&R7Z%{$76O&8?Ak
zn-dl^ozt(bUOu2eDCe-r6PEEdn}s8!l#2zY)ne^-wG+XsJcn9*2rIAlJUWKD
z)V{D2(uPyX7>HL5k*+AR5smOXBh(_)`z3g6j1j9+NiSFkF0DS8FY_?W-2knzWXqYD
zsD`h*Wp_@>{XIyoXE+wWuCeGmb$X;92u8IqcC2}VR3crH@Am)lz{3c&*=~b0WZM5o
z1&^1%^_XO7>PG4L@2%r!?R$Lag)6Usv;)Ejf#+(-17gJTc$z!NuH
zUSd=bOY`b(`Fs54Pt{9VhvI1I*gP4ey74O7m^N?;guF>e-*`3Q883bNb*G#Qo7RYp
z#eS81ugM6sc_Ub&q^drP-WKStj~2dt8FGvd>hnf}6L`HI>06_VlKlW1wj<6$JKFk|
zE`@#3OzW#v;ImV|?urno__2O>gy{BSOCyQ|4JyU(8MiuCA|_%g8eC00v%lMJl7wpPOka;{50;M2ZGI`oIT
zZSG@puqRILV~anQ(+b46KmPHvCmj0M$6?_nlpbE|6YaOSMYt3jBb!4<&F|}qI!U1+
zs>!<9eERl^WeG%N6!LK;?vg214a@_X0|C<`EqUOQQM5IbQa2M7D|K%?E~W{D83(y!Mwc7oZ|f{8fz)D(5^%>60i2U8{QCF$LqPLan9-(`le7A
z?JaJtflUVOjeJ1?SO3WCL5jV^oYCN&`sVObZk~i}TN*Cy`&sz}TH!MVNZGtoA4!6%
zK@^46A|$*NLP$z>wF&ONpe{C;VHAB*)Si(YP570uxue>=oUySx^tX&nV|6A$;-Wg0
z0{Tj+u#!Vj3|>;~a@m)of{w24eCK6&
z#qvYr{FrO5h7k`3&ggGA6=YE+P@}fIgMtE!TOsDlrOwA-eu9GC
ze$%Q4vLv_z4Ca164q8B88<99K!F>y}``dwG|FAC{F(O@A^0s_gn`Xf@nSkLP$~h?=
z%$nd#v1=|m^&*2^s$=iORjrAwiq4k6G0*dW&-+sB(f)EzMnWGI3cz18`Eo~AW
z9ZzVwg~8|I7J2=}A?A=9p(xLcQ9Y%n*FqL+%fF7@?|sxLsVK)Piy7CDnxn^zIUFI30$jB&bM6yZw|!v2G$0EG;cb1K
zIFOO;vCpnTlJ)LO)0^UEKOk4Vy^%4Mq_T6U>1NjJwh7;fTenJ#&Sk=x7;F&VaI@FT
zQla`$P0`J&FNa}vBb%Mk@vt0n>S|^eru5JkUOTolZ%*pg7+D+Rido;e*krmXZ^*V-=1>yn=Ke%<^iRzb5>Ip(4*`j(J?
zbZ-Wg1TS-O#=U8B)$T`Ms97EFvC{L=&_b`iJj@EC_xY&Ufu4GJC@5A`smUYeSA?_qspgDyj@tS6cfY*|
zw1A3J8!FDFw2CM_gJIljU|D$YIvp$~!WF+PCgM+chpC8u{c6kok)Eb>8!tRIM>e7}p018pZ@c
z7L)b4p|J
zzBo9yGhj9?+MS^uea~lVb>3|Y{_*_Ox*_}t1{8izHEmfd6oPzDjPrF_a`ku50U1~wQ*9-Ut@j6^^wyThnNgn{75
zNT0E*&GIoF0SMdTgG92)9chWkwd5G5+^Dv|0{#zA@D$#T1~ZlS6mTi+OUT7@2;$S;}|q>^C8XU
z`C&;w>Y+Pc-{YgHjd#P;AbwLvLXx}R$%DHM9a3l#jbJW(7Xeb@uQPlTHw73V)h_st`(@3fwZF$g}hBDS?SyA5^YtM#v?IEp`o(~
zV`uGuK<43YK)q~m;K4t>1Q;5+wrMeI`fgT5R5FwHox4@JTHq>B7WcZ1|C`!j*#m0F
z%<)%7B7H#ks51#;ZMzpE27_Ul)z_@nweYgorb_k&3Jb1|HreKRj%eCOkU6`5
zg9qu0f4M;x+LqlQ24=WV8l8?ze_jpqkaS|dE5okcqz{#obp6il_lh3>7Qq4V@q>Yh
z)nG|k82RX}WYCj4(Bnf2x4)c^CYS2|(XHqB)e{IQ?f?BUI0Bmx;b4j04xxY{Al~R>
zHmj!@jdzvqO411n3PeIG5VemI*B*a9TbhUG@WeEG*VO<=pI*y?tdjN$kRRhDYA?u%jd$GdQAYqef
zPO*sNdRo7YA~9Ic?)#RUPS
z4jsJVa4%R{1O#%CW!AYIY6*PELkQ=fpQswa;3Fp5z6`X9dXw6Yj{0!dj=*mYmC}}%E1s8z*Y8n9V5XsJ{P~p*XYSoTZMH0B`lz$T)J|r7PZrtETOnT
zW&Fq3{Uw_RXAI47CoAPW`t77*6B@Et!67Aa!7%oF4!>W)wC(0Mc=>3m)WlXVAR}j_
zZuLf79tLleNxi>&Gpagz@B4tvAbWdyD|!{tXE|(Rr76cmqy;vpy60;YLwA`!zN_W)
z1w@uuK%~U)$)ABYb+%9BJ8T8&KCutH9oey8o4-Or%eAdgX#!JY5OF=RU&5Rk@OHh)
zc8Zjk7^jsl1Kx}uS3(;@SD_huqCmY)9+H6bNV?7Pp;2hUrZY
z5v$~6fJZXcSZG=4HCmazf~C(0we{3gkN?hv@cDH3YgIl^>^QpXcQM-AyvX+
z*~d1k6U8N}l2q~CL=S)NLvU{?J^5lxdZe>8zeo?k;|%@H2;%<_j*I52od4_ukwv+I
zfB6a_-jtc(MuQ~G08_4$S{P3AcGLw_3g*?-6(4>q`5oG+;=Sd}J)twN`z03&diLOJ
z;Mu;9`z;{nk=78HRrBci-u^zKOPtUO@>b-0d9vQ!e>jjDE
zckmsB4fQF!^h?!QS!_R45Vg3GL)MjOfgVz}wAN7wstIVTwl2HQ(=xcAS;j;wa6?L*
zT;=_+k2dOr29BL;ORA#Z%oeav+KFyVdL-?05s1hN`Ga@#6b#xfb!U{mKebZty!tlv
z3Y!YW%a1BgCpR7MtoP(eY}iBLolH~{J@=
zYRkvEGq+7woh?Z%+_gd4_OXZY7Qkv0I&U#RrL+eUdniNKMt8Y`Fb%>n*3YY?p}23B3hkWzNBxA+V>`
zwcV~lA3$Pwi00>>caa^IcHK^DLjWBxMUcw5GIJW3
z#&M2qC3D0^{wMPT)sKK7`<>eZ!r(zMZ_>J?(nj2MP6%K1?>KWlu3KBoHrcMG%p`Tn0am^Py9Onl}
z<6RG$(H}sJu#gIB;2j>h?#&)HFYG`TW9Ovw+?vq>pwTVKSpQg(0}N}JGkH-o0DC;i
z2$(0|2wl*fiFY=CHmWgNrs16X%E78dJw5$}6vC#^5G)39Axo0U56n+5I_vSH&sT4D
z6fJg;Dk3g@jP)e-dEp}<-zKxM8!P721kz-YH`X#6qL#4F1ce_<6zN#-U(hom}AVd+1sYZ+_Q^LYyFX>b~qFTrWd!?1v4J#ch0-jM|`7e=1P-*od{Z-r)0?JK;^2m
z4kAIF;hA_{C;D|ggqvt*{I~%A(hj6Q(^8M>3&XDq$@S>R*yq6vb6;iQ2)f-4fX(O+
zvcA@VDS$~Uyak=hf8aXUu)32t&^Zxc=pe;@_vOT32qHw76ig+F_>xXpDqUxsJz1P{
zyT~-ewlkj@8=KqXZQbUTJN(I9I`xj<8&jwLFqTZPxnWEG5oaSkGpC#;Ef1OA!G&zD
z4~QeOx?UWYw?(&`KSvH!Goi9vB4hnhK{jiZTtsjGku0>5dEHkLV^|lDKakcJFC{%M
zdLLU3Trd+5l1`MHFrtz|uIRSZ)~qoQI)O7
zan~^8j}t?ZPQLN*k|gVu;r=H`N0=abQKZ2~v~j%6F+JU}?)gsU^Tx$XR1Tyf_%|v?(8#TG
z$*~8Sm@=yJta?QLzYH30HV=anfX`WT>!15k^gP~Lx@~m)Mh#_L@M~}VfvJK!JvxPb
z1JzvW{gz&x`?$A>&R>(psutWl(hEtQjQ08O|EmCPqUdwOo0EvnC=C7&SoI6z}Ha(
zpO4@&;K;vR8BS8J0raQa8dM5<`f_SZIny50*0J>TM24%nM83A4gV9So$9wVm6@J(~
zqh;N*$dU1EUNonJ*QYs!qn(Nd*Yb8|rq}NRX$-`}2?9;By!3yDapQi!|kfl;jG4)%)LXdVfsD$eftiBc!9U_
z+g4X&Mr8`EXC;SfOyPpaejenckRegXap^C2fESSlp{Q!?S<+So+mxrM4hLmr^^sic
zJ<-aaCiF6$Zk2?dNEZu}&(Q_W?ShJ4?^2C#e?X?7kmrp#;M4m!bjWa3vBu7{_Z_K5
z4n{%6PtyqWVmDv#@vdNm^0%U0rk{8$cCB==V0e|x5b)bkZLd7FI`{ba7t@YiCBkIP
zrBp1z<&x9pBx^Iwa8DJ`m
z_;<_05Rmy?Hq?@wI(LX^;JswYD6DinLeo;#8A4K>2tyD9uEa!UIP59qWsvUF$B~~-
z;T!#&mYy%wp1U$qQ^q@@%sSpy1X1n1NwB-n(C`s-YCEG|c60IfEH5qf42Xjj7e4DM
z{DnSS#(QL)rGhkJTX1Ki+D_fly^#9Jg2wbSND~=D$NcOu&$;=+?SB&|I=;MiO;;06
zitTW7wUAn6V~zQHn&mrM;HvC0
zHb9FsyC~hHCHWx-WtqN5DdtqD@*;=Arzh1{O{BXTf{($It$MPzXQ2@5f$yOv_|R>u
z`7fK%=4e@IJ1Q^5*rwT2(TS|GxH1H8)ooC)pWUVY&E~~$(47ySidw@|f*XdmgMw-D
z0u#Ca72_?i`OuEq=(kTblnHj9Xg20^f@G(AkX^~czy=?e_U=8_ec+o0D-!G&8k&1g
zjop7Jxw9?lUE+qH_#yU0b@n>zA+7aW8b!p|5ku_|1z4J@;gENpc6$0_s2q$C1iXdA
z4pLs&-MLXS$Xt2Ri)M3)NVLUv(^!V@*fZOkA}=Su)(;msn7r<&+tn`hvhQrkG46J3
ze~a}c)UroIO#vpJVMHuEh)4Ev3i05a(%!^6;U#iIWGg4;H>-n*>K-S@Hp*$RR@F!u
ztEmXtxaE^$g(M2mzgW=i|xD77N!_1X_uou^dM-P`2jgj@9
zgxlyPu!xfSvZP`1wS&4OX*42q%#$6>FPjB0Is_rdVU~>8I4#W`?`#)1Hh#RNwpCZB
zcqZMol$P^7W8Vs`twq@UgGF3ifQOrsLRC*usV4s_XDbmFt2cqHi<1j1&)(Prl+oMU
z)Db_Uz}3wLtClv76W;p&|Kk7Q>mkzhHzLwfYR0Fq3^F}SK^-K~G18z)Q76&n08E$(
zbl;<92`YDV7p85NFw8I^gNDYd_PSt;wTZ06M9v#=?LA2cyqzLHKSwrTgP@A#%y0$l
zqj&Z59Q+{zKJ2h#HV6kTkTh+qfeVKO4QyWhF5L=S*-^5a9hgX{1eEg9w-Yh4+U4$v
zNP)IgR&aw6r&gqRa3w_j9s}ZNsY=SeyhA<9Mk)g#nslA;^ho~#Ox--koyzLD%=_dR
zY2+qFQb6XD$1(4Xx!d8^HH1vghUYM{5D}IZSOE2;4!yQS$e^dT6;VQl^f9TG&6_c)
zSgR;FKYiwZw>$oE^K;J*#a~Eac=P=x<_Yr6FElaI4;LlE8y@51Veu&P7GZII7!d&l
z1d4odOlSYb!)M6W9j}LeMqADY*m8>7Q5R#pdW1IpviRJIoOY(^qats$>>Q0K!HU+;t
zw@h_L`VmtMhSRXYR#F%JfHh4T8UN87zGS!oKS!
zqVU`ae(KUuUM>FATijLjpaZC*4%S5<4yKSKwJ(6vYY2)yfzQo>;EQ}$Hc5xga7Li*fvagBf@zMOodWFp<$5qa
zyjdoZhxV4PLClMlWgI&>>GRODeP~KV_R3lUfD`8z`WJC7e|S}O*i+Jy^KA@n%yZlp
zvDG(X4-NhK>pUKV=zD214!F8Qw3%jDe|b4ijt8~EqW=VSiomO7sJGV_5OF{Dw(4pr
zs~$xB}saAM706TCasElCA(u2Yh^M
zUiuLvJ-Geg(oM7UfBlTGl8^36@iRENSkBxbtfiy=9`4!)vcWK~SiYP$8jw97+iQ}n
zi6|^^xk19ce{HkplH3GG5m+4w-{wwEQMeBp^}FtEZV=wMYFu5@${g0V7{sTM2TmEOW+$_Z^-*{|!EB2J*ga4>zFJzfBE4
ze#h$|{CgS-1r%IURM@wBCdM$e*vlo7RMv`RSbxLMpz-nJpBHEP`N=R!foCEP=GDh)YRA9f=lusg8Jof8pr&k;EqCgwH3s8a0l
z{G7#ULI&7+TK9xtFv-oQ5je(VqR?WaO`A&vIu&al*mWVH?uM1R_*o>S3bc+4#PkJ#
zqns9uy7V36%$9*}D~*BTa87=OJ3@Q^>a`~~ejeFSDw~#s(AF~$t3tM-4v~n$JV&yX
z+}$#JPwP)}it##}J5T@lF=O8Sv+p!Brkb=>=jv3$*R%R+dTi4pv&+TAia=Z652S4S
z6mhWkeX3|^CGbZH*)M-Cp8!TZsoz%n*)3b;Lr}a|kVL{K(uBnvk)3b7JD+cHs=n;s
zJ7JFA`RjZ!L}cn%wBAnXnfuYsBeF<2CZHY*Ih!T8`~Sfoxj&k}GiC4_8h?@&-7Lbs
zWZ`9S^E1yzYId(Zs>7~P@x61Gj5sj0W25>NrR%f^ceC6
zg6fdmENpFCIs!hO*rlhpSxDn46LcH;JWMx-NSCIy+H`G#^hVU^T|5J7Aw3gc$CrQK
z6Z=TX;a!8r&k|@0|3qT{oI^zX_@W-`4>HQWZy_Eh%jeSqy6bbiDXs}MZiS`&YXtYo{ifJD`90wFEE@QN
z>=P_1ZN2Xj^k%y#nej7mw+~1-ay;K@X(iu&A1Z1p@!T<@#H}|-k`>0S^gcr1J{iHb
zmp1xXvvngE_Ehld8LA;%GO@si>g>w(*r=@9EvI>`^Yc9tP`@w|@Fb|ZFLEVyUvqih
z?sey1Y|(E}5UyCUjj1sfOimG5MY^j0SiWSeB?cRKKq8g1;a>R&N4}>cB2NTOdam+O
z^;LB9kI=$U$^w_6`q_x<20@caN(k4v%Iypu9DN!*=fyd+ddTi=kEO$;+p-1+u
zsk|C4!wQYukE5H>M;BtBx*E{iI@nqo9cS~|h_rmlk
zY1pc*+~W{wU9j7Y#Uut--Ag`elJMrGYcMW@Wna+@&IAfYu11_(+{@yS8c?pp@C6@k
zo)3u!Nw^>@56pYT+&ak_#Ud89yn_D2tVu^rT)=~Ab*=aU>#OA2S=Zkc4VWL#(j9Kb
z2dug!BksaxDXzJ=Vp!6o{P}aiNK}*L&Z-HhF#p1njAE2;GA`69yNs92gzTYIv@AGT
zHst5}i|&%R+I_2lGZs>&toY>OmaM_?nJ8ZANH}kkQ{;>ht*Wf}qV-^34gpIh%aM)|
z4Vde6`ufn^GP$p+!+f@00__Z`zZD0Y#!lgb2{zN6M7r+hmi{l)FA-RxT
zHZeZO37MjAe%!_BDy)rCY8J8_jp*nwA19GmyEsWbjThbSYY^jEkP=kH83
zDT=Bc{kf=ESnu>K75$V^wDPT-quq-1>#vo!)=8RHH7d83gwwU=Ihc*kDV4piO{Nc$
zQ*f>hn3}n+8mgozdk$Ac)s5tLY<6_Uj8%@~=DL)xGw5SJH_q$$Vr1d>PceAobJL}r
z-ZO-HT#OkhMx?IlwkXl&Vl}%o()3d8~-8EK(DC)=GRLlz>jy^5C=W}X3U!6=Q_`t8e1^o(jg03^
z{Ndcp>aA4cJM^&mKBPuBQhb2u!C>w2fGUzHMmC-Iwr_%c4z|movZJkP(Io4*(z>U-
z(x-GU`Z?|$oa*#to{Q%kideuqv~KZ5JU$H5|J0lCXePxefe{&6z0h^snSfI9#>M*t
z^yd(9>jr$I$+`&)u2$RKV2aqB2XLfZqZ8VGs4QYevcC?@78Sau#O(>f6v
zQ^RnJ6baHE%%g}qxA(lVzDc{+5%Do+*q<5|6+Uz0Ubwj6dI^p43V+c}62F%VSnvBH
ziAwKZ;AHvJmCH|0%cFhim(n?7GX+~MsgLZ}b$Rna(AcPFPkpK;2E>lB=Ee^=SLata
z*y_Oao|i|ehmjjiYn*?Ho=#xlGA?iqYyEMSevfn5gQ&}!p9$$5CXMgU80>xBT0z#tM->RTVCcW4$`gpNnAcfb}MhR68LWPP4*WBlXmZkWZ@vcPiTpW3u-{NB!
z_TF&~jQHjS4`Kl>mbjoe2RIfyiyBX!09xH@*r=wtB}k&@z?#mphgoZ`0Uz?F*Zg%c
z5w=zV@$S7cv4PcVKZt01oO$I#7E=t3k@F(7slMwyTdP`Ni|M?uP#+P_rDtNvMisMl
z_e6rdBb8GwPG%6ik0g}2E))%yGk;H2w)z8Zg~WIiNzQA+X5Z8B>GF}*1I%!eaDZDr
zIc|I5W~EYb@BHu}x(BI^)lVq5)F~#f-J@e1hvi=5W4V-g|7hbvI!@L}#k=22o;Q){
z!{uHZIS?GipetAP>o(!T6DX{i(#(EV_zNyP6mTlRhwyG=!8JlP#$5loL*DY8*z8HS
zQur0;Knl69nup`R{E}_j3-1zAQlI^-9o0bq*Y2=2DbD=`p5V$6CUiiR5br
zB$n$;C~^K{`XtVyt_J5SqdPtIl1r!W*%n%WdWW)a$om{jmBWP1UtsVU-nId5$S%F>
zrG(41Z@9(e`aS3VjEHi3e=|Ioo;hrF?d(M9^q=Gyk&QaWi&dl^UICFa7m;7lP$_s{
zsqj>50GW4maSnDEo7op6J5w1*Q1z9a3DZqC8hlCc2_Sty#qnI7m)_hI3S%MD+rQu0f5Kr(9(=I*`P1fx>$N-y
z2eeO)j0;@dE3659s3=hpL{UJpB*{rYB0TAgOI~
z?j|;&X>K*o^L}^SANM!hgXmzFC(S()?}-hu!>SPbp>9zpO_@Huy)s{({(eIb49BbqHi3zB^Y_%
z{+=~^^;qU42dij
z$m~hL`5r~w<4X9|l!%@^-Q5#f@tkX{mwEBR;)U;{dFtCO)SzQ{ct76ZBS>-o8N|B<
zUJ86};Qend47%D)mOcC`=Hr1H)l>~SoU$#I^#Q-Mp8I=gut2+T{xp6~VE-lo)GC}&
zG5#t(otqlUrv>fP`s>T108$Ce(I_G}3+RX=d2;xeJ7%3;;Igx5g1|ivWT$;ZQSIWCJjvI@-{CBopFbToD~e=InxYmS$b@j)wYsQGZN
z>!yAO+HS%0WV58AD9P7#6)B!`LUqeYwrza2A=S1M*FERFET6vl^;vx4vwdaXvsUZe
z6rB^{f~qH&;+iQ|-x?S~bbnB~)x>9OtVa3k(}#L3{(cm!c#_Wu&K-B5fl$ZysF2~8
zZueb#xjF9sINDhVP)>d(D>o`#3aKk?!FrdSV^3?dG^6F~(tNh-O*mEy9*FMs^0umo
zY{lM*wp(;+a)zdr+Ba@iD85Z;4Z!c(dBTcG;54TB=F-jL*M=lTK<7i5gT?gl@WdZr
zT7FC1#x`GTqknxLirJZj{M7Z8m*F(1dP4hm4>U>Tq0J&)`lgOer-m1^c7{jXa({KGHHqIg
zqj^a!TT+aSNy&Wupv>pVx<8t4ZhkRFHL^4ptaKk5JQDU>Sok7>;C${ff|Q%!eEsd|
zR;{6tuZqOkz7m=)y;pNvW105Gl=Abo^QOIiV#7wi&x2x!K=OGf?fhR!e)3}1@M)bS
zeVbSx7ksS>pLwUH&yDC_oGwkxP=WclnDfRZRVObEwhBG-RtzeD5*MQj^Df2B-ZmX
z+oZB8rX5?vW=a=&g-*8{9ewSq_fy@+^>@Stl%%Kl{XQ#(UN2`gsfntcF?=KFM>TJ0GU82@QF0TiA13zA3V(0nj1*bAQEclLe9^S1cWt4NWfzX1VJ5?H}0
zL#~utScA0LW`9S;WTh6PNO^b(}H)+mGO%^=(c{}9ae%Qu-@~E
zxXaqErC!$IpOhVEEZ=7OVa~FTnm=AXLGt`P3duY}+ST5o6StIi7vPt
zONQ;<+{|a&DOv-{3JZ<{Uk$WB)c(B|GxYkHo=x=w|4u$6$F;SJuDUs4-x;IL*&=w_!@
ztG)EQYxK(J>Ufo5zCL{&nWM(aE=Xdxu7$>i#4YSu;IY$wx|ND+z1AfCSDOL(y~ZBO
zM>li>3-76NiU_N^HcNn!K^#+?`Z_xuFC~OLcN{O$-9s6Q1NX71
zVxe_d%2TuFdXv>`85>ks58IYG`@V*&cxqI&v>FRxEbz`xcgdT8hjd=}LUZ3AyO-AG
zAkjIz``U~cTAc1OZC@K?4zts}TfbrCy_W4f$D}DbOhd5ctHxyfw}C8qS2qG;W4C`B
z%Zl&j$Wwp(b=L@CLu1+aP>IPnBUpZw9yes-w1k6AtwChk9)-T+M42@N36r#ZR%%BN
z6^@PxDtYF6bdT8fK7SVI>K@JbHWrXB$Ts4{o668;8b>dZsc9>hbT7(~Tb;O^$Bw#V
z>eWTH)EHSijcL^N=S>Z6wfX7o3Gx@iX251*~ljqR!DIOL|=
zPUUV-XPI0zU8lf0M1>4g;^F;j;|O`vP0YAF(tXFr<&wSuvQW+I`>qMcnmpu_)I^0b
z-$-Y0{ZhDh$zJCoi-SDJUI{88Uy9LQDQP~Br%l|%oZvfD@(4|y=69&S++{Z?C*Y4c
zIx_#A^sti((aHC5LU(bL1v5*+HDJ#|Y>Ghk%OPErtKGhiJ9p^bHM(1M6rUPb?_ok+
zWbk6YXp=9x`Vq!>sI*M`wnBSfueKSc3ySHAx7Q!<=PlMen!XZmZGHJ2>q|21x^X}2
zMD;*wg;y7yCy6dh^*N-)(L8M0DwEro6SkB?>Y$&F(QYQxud|)bYZ{cfGw5{-EB3Cm
z&LgPBmmtQVXe3YZsFCBwmP+Po^82_%MbiNNv1rHs#`!R|46zPppL>f;kDN>Q%hWxK
zx23uq$~&kyR$|=`hVXbj*=2PcL&{c8bRT9A<<4ikJ)fs;vGPjTZ>g!jQr~^zFwTgX
z{h)Jxs#SLhufnP4;Zh=36Y6=D09|9R7PcU9XR0Gt$t~*l?)_iwlvs(Ap(q#T4=>l9
zpJb?h7shq+>q{_5%82iROf2!_^>$G*8+D2`^fZ1KmjTY}K
zk9+w$TM7Km#=dKw&c(uH)dt>+RDNh1tBVwE-GE8(R1f}|WxsJ8GF2?7kF=z6CxljS
z7si<)Sm`P{f8pUB&Bsf_D!#t%GP)&vc7qulesFG!9oa-Q?0P-9-qxb1
zrdVXtvbQooir<(D#U3M!8j^b8*dJj8(BnkvbWQ~Fq;cRY_oFGzoAd}|%}h^=+RE|Q
zt?W9^Brx|M|szOV#@lO1H`8g4NHfsWP$S7}lt*48K
z)CB%l91+4qS1GLu-XuANAHKVUmz6Hs%^BirI5-PcZ-E`inPB7vl#?B3fY^8{lLeZ>Kr
z)a(w%Vrqk&-L)Y(`h)I0V+7JrV}Iphpp!U?$cnyRB!-)#Az_ciOG+-ARg
zEsdRYSveOP^_ORRq}kpiJ@vysu=(q&asQo}9x{mrub?xRR-ug}d03{B=K7f7M&)YO
z^m-a4b-k|zhXrV=`XeOX)~c4^oF4NRKXhQaE7oLKXV?rZN+YK^ua%&M@hXBOR>Lca
zsgzjnp~dGr)X*Jj4z5>pISH8x(aV*(jI#cdWP$75nhB|`*k2VtUvUwf7wMDu?%-a?
z9qxy|fnQ6-uRLun5#CUaKe!KF{tX#)vszGQ~0)y;+aKu11m3$8M6Iqe$Bg{*pqE
z+MQA{BPt>sb-*`IR}`__3eS+rwM_N0pf&aDJ^3-_lKi5S7+OucLZ^8(jilBtXC|%g
zO7sDAibP2MS^$-~7f5h2ABANSC9+yDHJJc6j9B;KO0p1OA^q{R$WysFLtC@vlk;BA
z;~_g$g$E-^JV~iS5j<`1@2*SpF^gfWJ867=Z^6i$Vs{g8Bd-Dyz%mAYkhA?gg`fMQ
z($4pw4)x5_SuEL%mi^!E8rRpZ5h6;Z*j@fO(|5L1
zbL?I>nHtfsAY5^v#BSSE$>P&B9=)mC{yXPkv9d<7E!w5Omi1}eAzui4w9vfbtJ1E_
z3(uFCP5kU@saBD1a8!HBfrs}-Jr`AbuSe_BFT>;6zD5v01<=s*k1G{kO?GgndHM8ygnSEQ@j6`5ts12po`dPzlsS))IF2c^VB^-efT6IR##Zf?
zd`%|LU46NTpy<@Gg`xh+Jzyc@u6{)YZtiS0trK@B$xV;#a*prX%s~$<63w;qSsI<<
zBZhmoBX(1UUK;lwzKttN4dW}Iz?LMdCWaB+O{7g
zIxX2)m88US7U~oeb?N7IElFTP&IervplDBMLW72L?MPf36r@?Lrr0IZn#UEs`=fMY
z8+G(bbEEOw>y^zj&Pzdk_ki_C^h_&1ha3qcCwJZ9MRdv&Yz&PC0(r
zqv<@k#U$I3wFMha^qvRR<1Nw#g`+~9!ar{}WybI|vZMTlnIkqS(pNhCfST5|$g!}A%cfa(BbZPEDO7)DtkRpcB2VLJdgH}v${t579-eQ$
z;*lb0Ufk@aZat&GAfHywAI^-5thzk*gT%b&kSJq^XZ0Ntp%M24f-B{0EFOs5sJf|I
zI>_Hu<6Cjufs?l02
z>!Qyi9(G5dnk|Mgtx1;t+cWi{SCZY0JLDAKHzrDdA<>O{(b$$Q$U0NiI!d;`?i`(#
zxy?a%F#I*nxssLK=2{)dW1mlad)zBFB_8KZU%{hZ%fGss8FiEGra}yZ#Q*^!13l!w
z!e=FzFDqTC`iDbWVWlE&pEamui$=F&zZ?&bvpaMB7PgI37h>M|N#0FYYvEhB`cku@
zUAe5UuZ9r?T$)sj&n?}<5OsrKL9J`81RGhs=`VwmwGf{ZZEbA$LLEap9z}^(Kz`UoqdXg>
zAl7Wpl1NMjbmPQ2MrJZ~jQG%2N)z!Sh6bdco$#IGs*5bMdrh6Iq69R5CmwA;J?~rD
zs}?FPrdM$zsx%+uDH<6sFtK-#pZnwGB{3|0j$ong^^(ufzrnHn;nVQdhTv|tP*>~g
zj|Tbin~hX@%jKQR7i@Q3mA^5Vam}W?m}u%HJ$+-n&;_!6)OulQjVN2+ljBx=dKsU_
z7=LOkm=lL@uXy?fc?admGfP-p-yZ(4G!(C3Zyg7L=ie&)uMP1O7DKk{0Zu`#@r;n0
zvb;vwwHB%s?R~tEPc7Jk(#%`1hw^VX^qKnZELx!Sb9BzZp3J1VPmG@HF_^2=h>BT$
z`s|uw{MsG5>HZ=EZ9-_8gALw04;F))cV}E4D)XtPi8p6IWbMECrDOOkzAqM$#oUo5DA%+iT_9A+_Ry}VZxyWLP*#5eLb5G2CY
z93_Qh*zG$s@Uf6fcwuTev}CY0Q>*lnDva*&H+{1S_e;uQ;gOpDtB322IWGE3t~$~;
z+awaxu=}|jYq-=#)~6xdpBxKZ+xac#$YsSogKw`NJfgnsH&d|xYyT3YczlW__RHkX
z@VPe0o9Zumqamd}&nCY7wiNHfFDDwckpS)`-j?;I&Fss)vs(40>dCnNJugRhu7=!-
zi4Di-)R^JYZmA9cvQjU#tg}qat23QzFQpe5X1B$3I`v4NjeBf`?9TX~Znd_Y=$^BV
z*8=1+^w5p;i~+M0WkCj6{Pkr>2M5l+o0D}AhobPIw`^w4PfX8k>z?Qd3^^l8FBQGm
zC%rE!IE6#0@di&PHwb<=7p!K)yAP`)Bzz7x|C*j}KcfjFN<
z`U^A-(Rt2rPhG}6Ge`^YDOlY@OgCHUry7q`gP?Orf-x0*@d~NvEqfgBj%P(BfkBW;
zD>rpe83q=fpz*5-p&X~UJU2w34n5~1XLt$sSW;J&^~n77oyvY;wy7z78**%v=TT{%M$X^ysYe2F8ex4iAaH^OT!{?ZS&
z(k3$EbCuFX!+Mly(_3d>UW4j?kbYPzU-bDI{M@f9n^%hyV}FhX-~{(S_JTJL04c)i
z-TOY9x9!(R;)u_Ekj(;AST@~~Pyf9CyE_0$%8P3`okhMd6qa6UJ1;0KA#z+qL(kEf
zAmjm`S5L3_3QXHoS}9uQ8673x^}_}6a)$r(%L#`dcC3u5RQ-louio5KH&FkY~(sUJTTb|gnRyk=Y#bO9IU
zy(P!R+Eo{`jYmT7x3A8QK>~#IpH?o+xhXUav&cL|bEoXdYF96a*?b1^-_
z1a0)V+utw!dw~Y;zr66{9XS?`J**7?2)Oy3U^Cp8#h>p|0oUVET~A5cabN7y*8@@K
zb7&Yft@mpBo#2DavvvuLv{UC@%fM#<&HibA@!&?$jeF1RUJ*ilF_%u#WW%Yhku$51
z*n@e!SoW)`cV>w3;sQ{>Tvo*aPopM800o=D_7yB>(;NbQh(|^|8ww}-Q>k~
z@D6+Re`vh^UuLe-_jvd37rFa{_6wa6|IYM(hlRrp@&BHu`#*U?O-M1Gop8HuA#yPG
zH~0gR=b+pFe;CF+Ltn5eouq5|wDQeWr3(Mm-yJ|Xg&>>kyFY=wVjb8}
z{VJo-!Kmf}wX8=6rLK%m;Uxs=l|)sEGrqT*Y(dA$7G1juzYrXSgTf?^|X)lC%2pQ0k~%Qs#qc+#;YC3zklI%KM&8v)6&W
zKl3x_>=Zr%{!090HPdN4&V6HC)^J#zI4khuupWcO$^P0QI^vyQ<
z>tr~B69ovVt0G%fni!RYa+9;0T4kc>8Q1ji2X4CFtFxHD0i+**rw`is@LuZ6E>+Tv
zwwCvzAhB&7OqZ5^$W_iUloCQj+}Bs~z7`2PbvP2a5#$Nt(Jsy#IKr`tnJ!R*gaYTE
z{`QL?NuI%d_m2GH*U-*gbkq%)BE52kqoakWb`xIhAN&>;{ojOI-6xExN$&DwS+-mu
zoL-2M5Z^|;Jz2}m6zj`M9+pN<0d9e^#dN(x+mUns8Km3L3b3iy8Mw{vH>!2K!}wK!W^S%4b;aUhpdJ33
z5*XCmG;TV_kx0~p?+T8E!qLTDS6BgKRNcHDcH><*1`TF%;OLA_^sN&L*sH9MNB}E6
z@O&yqe)pYzT;kxA6WJ`2t`mPZ6FFXDd@p54oK=$V)u`_TE}ko88F4&qOkm;qoguOP
zh>$!AtQ^7K&*MvMQ(a^PG-I-
zt^;BMllHZ<^G^Zt`^UK+d$Qqb>7@yIXst|?{TsxKZQ2u*X!aSm;qxgbzH24hUVsU6
zPTH8G)Q#|ye?DDp>il$PNGL2S)$DG;6Wxk!&28v__^I7fkn;=DDIa;4D1`7$aX6;`
zS*7Dc61PF$&DRhtCPt14J+qPhHRXtAIQq)A*+Xy+eCJi*FYQ=9$0#Kh@XX{?!=A6a
z{reu@V6Hyd5hgS>a`&;ri%)lk$U^vHtVTDbPW-1j>}3zji>Q8M8%U}9DzYy9Ief6i
zSBcCG+y878{}#8>noCMC_T8~8p|7X6oPSjo-G3E?+N>c-55jbpEUkWiEu2d^!XkDiryHajXVKTd6S%Hog$@-vCrcs6JG4!oCsO3qe1kFlhL>W{vp1U#Cc{
z%HMv5EKj5D$6U?(8sUnqyGuRoCIq^Aih|XecgJT?0Bw(Iu@!R^@ja_)@zEb<&^hy?
zzb@dYE=o}|BThor+Fg3z{|NCES{~#>xn>qFTU~-%TL`~tUg_V>E5nLhHx?}0;x{4;
zFBw$ZX#3JF`5Cly(3YN8_eF-!L`K6VLhgI#Eg6I*^z#qAux6NeR-3T6KccGY%USY3
z$7r!(F{ifQ53qLui1v`Ku5PV-HQUC>gtdkS*nGO{obO(rxR@MH;&N1+qb^rJKbJet
zp-W3%bLPMCC!gKp-Wq4!-w)!2i?xPx&nt18MPv1YLfZ)@)uZV;F%pl~uP<&R97`G4
zdsz2p$3-Ab`iT-+0f8+IJ&-HLM~%o+AR0NP7=hub
zH~w|j_RaIcgMa5tdWlOq
z$?b{DI_(XwR5MuBb2ZVq8-@zWc!0V0kweg1{;2SK!o47&7nKZ0RiD-vYw=AB_$|*)
z4u(wft^`8G4?Vv^wfB(H
z;+yg#3O1~Y$_I6?T0iu@?|QaH0OcU^1j(kCva@xO0$}I@Yt6U)s3XGjHogh>#PK*&
zZTm!^LRi5v{cJ*sb*O{%p;OaEl>xBSSeP$1oha0e9e*SLdI%frH;ZpKBX~*_Es8UX
zW>StaK9|K`f<_a3R8rw=OUI4W%B1OuZ>s*r4qVo7D1^pKva>#)U6|%Z!@@gdN8MFY
zmJ|{NiP6pd-X;He(;#~di#QnpqH{m=tiU&y;=E&aMbfPy@X9AAO!dzw((_QNyXpPy
zXLA(LS-D0E%7$5Q`sW!Y#pl*+t2W6NMZd{hWP!6Djg3D%(7N;)ejGq5ey8O2cZKXk
zi($%m{mbQf1nyB2ZEi`A#937Pc$EolH2F9)N-l=|r#_f|72ubCa@zUGA5s4%NrzfT
zqo_;t&?#q+3F#4zjlb+_XFXasN?Y!4?PQiX=7Z@UKXn>%i<&TURlXzV%3*F$&)?Ua
zXXS0xVM%D`+O!-pKx4E?)KhfI_2@Zes?c0*5h`8DXk9qB-!o6?o9q|ChyR$I1`{vx
zIs$pK?X^ehcD8k!X%A`|Ht7X_NhRI}PqmlLfy;jWQ6p=o{W|@k(U;P$jkZ4uw}LZQ
zN>5diM)Z)Q9^}n3?p7brOmi
z7nzk!J2X}|rRgi~!$jKgEPhXzF8r9btA|H`@!p^IF^Im$_S#yI(
z=r3SK!w;DjU~JmN(Aw7s*GN*xyvB-w44
zOcZJf|D>Wh^QTbYg#Dr8=O=mq3)&}M&kAibRRRF-z|49Q-HXbfNAqFzeC2tRl3P;W
z4eV?>!YGI4-tgVXK0DjM0O$B*YFfPHLBGMHwqjOI
zrQNI=QK<@c`-p>G5G0Rz(8e^s@_x8mLcaWF#%xv&+%)k!7>jr8`)=>pe4um0VUzUY
zbcPSX^&Th5tEFuOL3FMPFUxzEwd{nNpZ1%R%HgarEq4m;tbi~^AkzUQpFE>OU^_4qw0R<0{}
zmoNH7a6GL3q)@aM<{$mGh9&8~{Pt^M6YKAyTg%CgHwU;cYaizs6aMZN=m1HhJ1*`K0nBrY1oV&0XDqJ(*~Ue2$k#9V$4D-<-Dv
zJKZ)5f1SD!YVbYgDxfyrrs(3kIF{#Txp62zc5nBaY?Byx9LV2csX-d4JhcDPg<6qk
z3FE-Np+s(+^I36NAY
zZa2hRuYKC8=;2JCey^;K;2M=JO1&y#XO2^Qxs6Ux^sNRO=;SIV$9vx}x2Yd_E^#C{hHzu-N^S5U)EVg>RinS78
zNs8H`Ax%-0W?MwDwK6=
zhL7#yZYvPGmT=d9(b4zc7iiWgaVuyFngdxi4x0JzY0+^{{ud~invlVz{TNko!U*k0
z0J~|p5-5SE)t@07{sHJ6gKNy%gD;TveP#ex=Fx(ic#`P%IM7S#=n5X58~uO#vNYHC
zH4DqWBuY_$3#AtuRI^T9k5fnKZ~Il@5QQ>;30(ylt(OysJA*c)
zwSNBx5^;Wb1QHiHpYKoHvzGuva{He~=>g3^PV2K-zOz@h_0>F*5T~nO{dF?P?^dj0
z>iOW`ca?5rH*Vm&1GIQXlJ)?BXvO7?TgBG{q3#bb_|N{M%s$eu3q~R7{>7iIsC8d<
z;}qRijsVmuyn>K$Qb$f}>l#x^;Q#q}`_YF46K@v1W^Z@Y;k4rgKwIX2cCz~EMDnPX
z6oBijpzvTTqsj1Y21YlPZ&~T{4B-lw7R-StAul@x}|A<2mszB%|
zz-_*}0H1fw+jF@;0Ffc$}kN1v7%`7X9u`7z6eiLj%JAVbw#*l>MOo4mDr~4nD6m{MA
zVK)-B1X`$2UV9F^YJfI{6k6HvE5qmFf{3ZFQyaUf+nv}C?)%~bDO|yUU_TDGaT=Cq
zzE;|NXdqaf#$^$wI%}&z^Ta;(h5WTzqFk^8u|;NLC!W#s-FiEmCExlmgqF;%dQ8XJ
zU<(K$TR|NgicBeE`C2qauIPKWMgeg6IVexlNrkH7|xf7_q
z=qk*Nq!r@15NX$P8O$i{NC0hl+X`e`{@ivNgdm0m=wfo~MA`UNEt(Wiu)qNi#7>;%
z%ylv#3+9ReZOw^^-&anwv}qeXMV>}jKP~dg0T>1Z1-R|N>7~QG_vLbQ?pjAm7a3rk
z>YL_01xv9IumU@rM=Hn8*yy5PD$u87?&InjGBQu*VF@Ah{%?I@<0FDNsMU{$uFzHH
z4^qcEtBPlZ0c)98p_rl?+@*)372pyHcOq>Id~L5yvq#StZCrpq?1^5>3|lF>
zC#)%3dv+rNr$4Tc{-mUvt<-7gSD@b-@ng=8IyG5NjO3@B<$)JF!RfQj$RO<@j*?)1
z(h4L(gQX$XujR+C{J;-HIISS@OM9ylFP|qbXaVG|E337vcXDLK2dciR>ev=|U-tl#
zw4bgq>?}9Js8D226O3F!(PB^h0Uq<}VR;hM+^~|f`nTbqmeD9xMUh7jjH6iz^_eau
zQbZ~<4-Zr8%3SEM!^{4}L&91NepfoRT%(UUnrQs|;)~!4A@qRg#8;8*d?Z(uG|l+S
zzPf4#0PSAkxR1PdS(kN#%4hgTPwaoDVb{@=x<)lgT;vKMZJ
zKVp17OjmHGKe&__%;qtAP+G?-&PveBKT7-{AruJf%a@M$ZnNUxxk0*C+CnEN5GvR9
zwwF3B)m&(lIVI$+)w15{8qJ1<8}KojxYI49rq``uKdE8+Jz*m*D)D;SY~nydQ7e`$?`Em~ql2fprd7j31=IS1@&jZ7Y^M
zs(CUdwqaap2&F_;x!)H45-(dOTQw{LX)4L|M5X#{6N&=>9VM83*2C38OF}O$DsGY!
zlv{6@!Cc6%{T-
zib%Mv4*q?2