CppGuide社区 CppGuide社区
首页
  • 🔥最新谷歌C++风格指南(含C++17/20)
  • 🔥C++17详解
  • 🔥C++20完全指南
  • 🔥C++23快速入门
🔥C++面试
  • 第1章 C++ 惯用法与Modern C++篇
  • 第2章 C++开发工具与调试进阶
  • 第3章 C++多线程编程从入门到进阶
  • 第4章 C++网络编程重难点解析
  • 第5章 网络通信故障排查常用命令
  • 第6章 网络通信协议设计
  • 第7章 高性能服务结构设计
  • 第8章 Redis网络通信模块源码分析
  • 第9章 服务其他模块设计
  • 🚀 全部章节.pdf 下载 (opens new window)
  • 🔥C++游戏编程入门(零基础学C++)
  • 🔥使用C++17从零开发一个调试器 (opens new window)
  • 🔥使用C++20从零构建一个完整的低延迟交易系统 (opens new window)
  • 🔥交易系统开发岗位求职与面试指南统 (opens new window)
  • 🔥使用C++从零写一个C语言编译器 (opens new window)
  • 🔥从零用C语言写一个Redis
  • leveldb源码分析
  • libevent源码分析
  • Memcached源码分析
  • TeamTalk源码分析
  • 优质源码分享 (opens new window)
  • 🔥远程控制软件gh0st源码分析
  • 🔥Windows 10系统编程
  • 🔥Linux 5.x内核开发与调试 完全指南 (opens new window)
  • TCP源码实现超详细注释版.pdf (opens new window)
  • Go系统接口编程
  • 高效Go并发编程
  • Go性能调优
  • Go项目架构设计
  • 🔥使用Go从零开发一个数据库
  • 🔥使用Go从零开发一个编译器 (opens new window)
  • 🔥使用Go从零开发一个解释器 (opens new window)
Rust编程指南
  • SQL零基础指南
  • MySQL开发与调试指南
GitHub (opens new window)
首页
  • 🔥最新谷歌C++风格指南(含C++17/20)
  • 🔥C++17详解
  • 🔥C++20完全指南
  • 🔥C++23快速入门
🔥C++面试
  • 第1章 C++ 惯用法与Modern C++篇
  • 第2章 C++开发工具与调试进阶
  • 第3章 C++多线程编程从入门到进阶
  • 第4章 C++网络编程重难点解析
  • 第5章 网络通信故障排查常用命令
  • 第6章 网络通信协议设计
  • 第7章 高性能服务结构设计
  • 第8章 Redis网络通信模块源码分析
  • 第9章 服务其他模块设计
  • 🚀 全部章节.pdf 下载 (opens new window)
  • 🔥C++游戏编程入门(零基础学C++)
  • 🔥使用C++17从零开发一个调试器 (opens new window)
  • 🔥使用C++20从零构建一个完整的低延迟交易系统 (opens new window)
  • 🔥交易系统开发岗位求职与面试指南统 (opens new window)
  • 🔥使用C++从零写一个C语言编译器 (opens new window)
  • 🔥从零用C语言写一个Redis
  • leveldb源码分析
  • libevent源码分析
  • Memcached源码分析
  • TeamTalk源码分析
  • 优质源码分享 (opens new window)
  • 🔥远程控制软件gh0st源码分析
  • 🔥Windows 10系统编程
  • 🔥Linux 5.x内核开发与调试 完全指南 (opens new window)
  • TCP源码实现超详细注释版.pdf (opens new window)
  • Go系统接口编程
  • 高效Go并发编程
  • Go性能调优
  • Go项目架构设计
  • 🔥使用Go从零开发一个数据库
  • 🔥使用Go从零开发一个编译器 (opens new window)
  • 🔥使用Go从零开发一个解释器 (opens new window)
Rust编程指南
  • SQL零基础指南
  • MySQL开发与调试指南
GitHub (opens new window)
  • Go系统接口编程 前言
  • 第一部分:引言
  • 第1章 为什么选择Go语言?
  • 第2章 重温并发与并行
  • 第3章 理解系统调用
  • 第二部分:与操作系统交互
  • 第4章 文件和目录操作
  • 第5章 处理系统事件
  • 第6章 理解进程间通信中的管道
  • 第7章 Unix套接字
  • 第8章 内存管理
  • 第三部分:性能
  • 第9章 性能分析
  • 第10章 网络编程
  • 第四部分:连接的应用程序
  • 第11章 遥测技术
  • 第12章 分布式部署你的应用程序
  • 第五部分:深入探索
  • 第13章 顶点项目——分布式缓存
    • 理解分布式缓存
    • 系统要求
      • 需求
      • 性能
      • 可扩展性
      • 容错性
      • 数据过期和逐出
      • 监控和指标
      • 安全性
    • 设计与权衡
      • 创建项目
      • 线程安全
      • 选择正确的方法
      • 添加线程安全机制
    • 接口
      • TCP
      • HTTP
      • 其他协议
      • 决策——为什么我们的项目选择HTTP?
      • 引入HTTP服务器
      • 逐出策略
      • 最近最少使用(LRU)
      • 生存时间(TTL)
      • 先进先出(FIFO)
      • 选择正确的逐出策略
      • 添加TTL
      • 使用带有定时器(Ticker)的协程(goroutine)
      • 在获取(Get)操作时进行逐出
      • 添加LRU
      • 复制
      • 实现P2P复制
      • 分片(Sharding)
      • 分片的实现方式
      • 基于范围的分片
      • 基于哈希的分片
      • 一致性哈希
      • 实现一致性哈希
      • 可视化哈希环
    • 总结
  • 第14章 高效编码实践
  • 第15章 精通系统编程
目录

第13章 顶点项目——分布式缓存

# 第13章 顶点项目——分布式缓存

大结局来了,我们要把所学的一切知识应用到一个实际的挑战中。你可能会想:“构建一个分布式缓存肯定没那么复杂吧。” 先给你个提示:这可不仅仅是把一些内存存储拼凑在一起就完事了。这是理论与实践的碰撞,相信我,这会是一段充满挑战的历程。

我们设计的分布式缓存要能以最小的延迟处理频繁的读写操作。它会将数据分布在多个节点上,以确保可扩展性和容错能力。我们将实现数据分片(data sharding)、复制(replication)和逐出策略(eviction policies)等关键特性。

本章将涵盖以下关键主题:

  • 项目搭建
  • 实现数据分片
  • 添加复制功能
  • 逐出策略

在完成这个顶点项目后,你将从零构建出一个功能完备的分布式缓存。你会理解数据分布和性能优化的复杂之处。更重要的是,你将有信心在自己的项目中应对类似的挑战。

# 理解分布式缓存

那么,你是不是觉得分布式缓存只是把数据存储在几台服务器内存中的一个花哨说法?你太天真啦。要是事情真有那么简单就好了。我猜猜,你是不是那种觉得只要在任何东西前面加上 “分布式” 三个字,它就自动变得更好、更快、更酷的人?好吧,系好安全带,因为我们要一头扎进分布式缓存这个看似简单实则复杂的领域了。

想象一下,你正在参加一个软件开发人员的派对(我们都知道这种派对有多疯狂),有人随口说:“嘿,我们为什么不把所有东西都缓存起来呢?” 这就好比说:“我们为什么不通过多订些披萨来解决世界饥饿问题呢?” 当然,想法是不错,但细节才是关键。分布式缓存可不是往内存里塞更多数据这么简单。它是要巧妙地管理分布在多个节点上的数据,同时还要确保这不会变成一场混乱不堪的同步失败案例。

首先,让我们来了解一些基础知识。分布式缓存是位于应用程序和主数据存储之间的数据存储层。它旨在以减少延迟和提高读取吞吐量的方式存储经常访问的数据。可以把它想象成你办公桌旁边放了个小冰箱。你不用每次想喝东西都跑去厨房,而是可以直接从这个小冰箱里快速拿到你喜欢的饮料。

但是,就像生活和软件开发中的所有事情一样,这里面也有问题。要确保这个 “小冰箱” 里的数据始终新鲜、冰冷,并且办公室里的每个人都能同时使用,可不是一件容易的事。分布式缓存必须在多个节点之间保持一致性,优雅地处理故障,并高效地管理数据逐出。它们必须确保数据不会过期,更新能够正确传播,同时还要将延迟降到最低。

接着就是架构问题。一种流行的方法是分片,即将数据分成较小的块,并分布在不同的节点上。这有助于平衡负载,确保不会有单个节点成为瓶颈。另一个重要特性是复制。仅仅把数据分散开是不够的,你还需要数据副本,以便在节点发生故障时能够应对。然而,平衡一致性、可用性和分区容错性(CAP定理)是个棘手的问题。

# 系统要求

我们要介绍的每个特性对于构建一个强大且高性能的分布式缓存系统都至关重要。通过理解和实现这些特性,你将全面了解分布式缓存中涉及的复杂细节。

分布式缓存的核心在于它的内存存储能力。内存存储能够实现快速的数据访问,与基于磁盘的存储相比,显著降低了延迟。对于那些需要高速数据检索的应用程序来说,这个特性尤为重要。让我们来探讨一下我们的项目需求。

# 需求

欢迎来到需求这个有趣的世界!在你翻白眼、抱怨又要面对一份繁琐的清单之前,让我们先把话说清楚。需求可不是某个野心勃勃的产品经理凭空想象出来的。它们是经过深思熟虑的选择,塑造了你所构建产品的本质。可以把它们看作是你项目的 “基因”。没有需求,你就只是在盲目地编写代码,还祈祷它能正常运行。但我要告诉你,这是行不通的。

需求是你的指路明灯,是你的北极星。它们能让你保持专注,确保你在做正确的事,还能帮你避免可怕的范围蔓延(scope creep)问题。在我们的分布式缓存项目中,需求至关重要。所以,让我们深入了解这些必要的需求,把我们的分布式缓存打造成不仅能用,而且非常出色的产品。

# 性能

我们希望我们的缓存速度极快。这意味着数据检索的响应时间要达到毫秒级,数据更新的延迟也要最小化。要实现这一点,需要在内存存储和高效数据结构方面做出周全的设计选择。

以下是一些需要考虑的要点:

  • 快速的数据访问和检索
  • 数据更新的延迟最小化
  • 高效的数据结构和算法

# 可扩展性

我们的缓存应该具备横向扩展性(Horizontal scalability),也就是说,我们可以添加更多的节点来处理不断增加的负载。这需要实现数据分片,并确保我们的架构能够无缝扩展,而无需进行大规模的返工。

以下是一些需要考虑的要点:

  • 横向扩展性
  • 实现数据分片
  • 新节点的无缝添加

# 容错性

即使部分节点发生故障,数据也应该保持可用。这就需要实现复制功能,并确保我们的系统能够优雅地处理节点故障,不会导致数据丢失或出现长时间的停机。

以下是一些需要考虑的要点:

  • 即使节点发生故障,仍能保持高可用性
  • 数据在多个节点上进行复制
  • 优雅地处理节点故障

# 数据过期和逐出

我们的缓存应该通过使旧数据过期和逐出较少访问的数据来高效地管理内存。实现生存时间(TTL,time to live)和最近最少使用(LRU,least recently used)逐出策略将有助于我们有效地管理有限的内存资源。

以下是一些需要考虑的要点:

  • 高效的内存管理
  • 实现TTL和LRU逐出策略
  • 保持缓存数据的新鲜度和相关性

# 监控和指标

为了确保我们的缓存性能最佳,我们需要强大的监控和指标体系。这包括记录缓存操作、跟踪性能指标(如命中率/未命中率),以及为潜在问题设置警报。

以下是一些需要考虑的要点:

  • 对缓存操作进行强大的监控
  • 性能指标(命中率/未命中率)
  • 针对潜在问题的警报

# 安全性

安全性是不可协商的。我们需要确保我们的缓存不会受到未经授权的访问和潜在攻击。这包括实现身份验证、加密和安全的通信通道。

以下是一些需要考虑的要点:

  • 保护缓存免受未经授权的访问
  • 实现身份验证和加密
  • 确保安全的通信通道
  • 速度——内存存储能够快速访问数据
  • 易失性——存储在内存中的数据是易失性的,如果节点发生故障,数据可能会丢失

既然我们已经明确了需求,现在是时候深入项目的核心:设计决策。想象一下,你是一位大厨,有人给了你一份食材清单,要求你做出一道五星级菜肴。这些食材就是你的需求,而你如何将它们组合起来、使用什么烹饪技巧以及菜品的呈现方式 —— 这些都取决于你的设计决策。

设计一个分布式缓存也是如此。我们列出的每一项需求都需要经过深思熟虑,并仔细选择相应的策略和技术。我们所做的权衡将决定我们的缓存性能、可扩展性、容错能力、一致性维护等方面的表现。

# 设计与权衡

好了,大家做好准备,我们要深入探讨设计决策这个难题了。想象一下,你拿到了一个全新的Go开发环境,被要求构建一个分布式缓存。很简单,对吧?当然,如果你说的 “简单” 是指在充满各种权衡的雷区中小心翼翼地前行,稍有不慎就可能让你的系统崩溃的话。

# 创建项目

虽然本书GitHub仓库中提供了经过全面测试且功能完备的缓存版本,但让我们一步步重现构建缓存系统的所有步骤:

  1. 创建项目目录:
mkdir spewg-cache
cd spewg-cache
1
2
  1. 初始化Go模块:
go mod init spewg-cache
1
  1. 创建cache.go文件:
package main

type CacheItem struct {
    Value string
}

type Cache struct {
    items map[string]CacheItem
}

func NewCache() *Cache {
    return &Cache{
        items: make(map[string]CacheItem),
    }
}

func (c *Cache) Set(key, value string) {
    c.items[key] = CacheItem{
        Value: value,
    }
}

func (c *Cache) Get(key string) (string, bool) {
    item, found := c.items[key]
    if!found {
        return "", false
    }
    return item.Value, true
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

这段代码定义了一个简单的缓存数据结构,用于使用字符串键存储和检索字符串值。可以把它想象成一个临时存储空间,你可以把值存进去,之后通过记住相关的键就能快速取出来。

我们怎么知道这段代码是否有效呢?
幸运的是,我懂你的心思,听到你在心里默默喊:测试!
时不时查看测试文件,就能了解我们是如何测试项目组件的。

我们现在有了一个简单的内存缓存,但并发访问并不安全。让我们选择一种处理线程安全的方法来解决这个问题。

# 线程安全

确保并发安全对于防止多个goroutine同时访问缓存时出现数据竞争和不一致至关重要。你可以考虑以下几种方案:

  • 标准库的sync包:
    • sync.Mutex:实现并发安全最简单的方法是在读写操作期间使用互斥锁(mutex)锁定整个缓存。这确保了同一时间只有一个goroutine可以访问缓存。然而,在高负载情况下,这可能会导致竞争并降低性能。
    • sync.RWMutex:读写互斥锁允许多个读操作并发访问缓存,但同一时间只允许一个写操作。当读操作比写操作更频繁时,这种方式可以提高性能。
  • 并发映射实现:
    • sync.Map:Go语言提供了一个内置的并发映射实现,它在内部处理同步问题。它针对频繁读操作和不频繁写操作进行了优化,因此在许多缓存场景中是一个不错的选择。
    • 第三方库:像hashicorp/golang-lru(https://github.com/hashicorp/golang-lru)、patrickmn/go-cache(https://github.com/patrickmn/go-cache)和dgraph-io/ristretto(https://github.com/dgraph-io/ristretto)这样的库,提供了线程安全的缓存实现,还带有诸如逐出策略和过期时间等额外功能。
  • 无锁数据结构:
    • 原子操作:对于特定的用例,你可以使用原子操作来执行某些更新,而无需显式锁定。然而,这需要精心设计,并且通常正确实现起来更为复杂。
  • 基于通道的同步:
    • 序列化访问:你可以创建一个专门的goroutine来处理所有缓存操作。其他goroutine通过通道与这个goroutine进行通信,从而有效地将对缓存的访问序列化。
    • 分片缓存:将缓存划分为多个分片,每个分片由自己的互斥锁或并发映射保护。这样可以通过将负载分散到多个锁上,减少竞争。

# 选择正确的方法

实现并发安全的最佳方法取决于你的具体需求:

  • 读写比例:如果读操作比写操作频繁得多,sync.RWMutex或sync.Map可能是合适的选择。
  • 性能:如果追求最高性能至关重要,可考虑无锁数据结构或分片缓存。
  • 简单性:如果优先考虑实现的简易性,sync.Mutex或基于通道的方法可能更简单。

目前,为了简化操作,sync.RWMutex能在简单性和性能之间达到较好的平衡。

# 添加线程安全机制

我们必须更新cache.go文件,使用sync.RWMutex来添加线程安全机制:

import "sync"

type Cache struct {
    mu    sync.RWMutex
    items map[string]CacheItem
}

func (c *Cache) Set(key, value string) {
    c.mu.Lock()
    defer c.mu.Unlock()
    c.items[key] = CacheItem{
        Value: value,
    }
}

func (c *Cache) Get(key string) (string, bool) {
    c.mu.RLock()
    defer c.mu.RUnlock()
    item, found := c.items[key]
    if!found {
        return "", false
    }
    
    return item.Value, true
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

现在没问题了!我们的缓存现在是线程安全的。那么对外接口呢?让我们来探讨一下有哪些可能性。

# 接口

在设计分布式缓存时,你面临的一个关键决策是选择合适的程序接口,用于客户端和缓存服务器之间的通信。主要的可选方案有传输控制协议(TCP,Transmission Control Protocol )、超文本传输协议(HTTP,Hypertext Transfer Protocol )以及其他一些专用协议。每种协议都有其自身的优势和权衡之处,了解这些将有助于我们做出明智的决策。对于我们的项目,我们选择HTTP作为接口,但让我们来探究一下原因。

# TCP

正如我们在前面章节中所了解到的,TCP是现代网络的基石,但和任何技术一样,它也有其利弊。一方面,TCP在效率方面表现出色。它在底层运行,最大限度地减少了开销,使其成为一种精简高效的通信机制。与更高级别的协议相比,这种效率通常伴随着卓越的性能,尤其是在延迟和吞吐量方面,这使得它成为对速度要求苛刻的应用程序的首选。此外,TCP赋予开发人员对连接管理、数据流调节和错误处理的精细控制,从而能够针对特定的网络挑战提供定制化解决方案。

然而,这种强大的功能和效率是有代价的。TCP的内部工作原理很复杂,需要深入了解网络编程领域的知识。实现一个基于TCP的接口通常意味着要手动处理连接建立、数据包组装和错误缓解策略,这既需要专业知识,又耗费时间。即使具备相关技术知识,开发一个健壮的TCP接口也可能是一个漫长的过程,这有可能会延迟项目进度。另一个障碍是基于TCP构建的应用层协议缺乏标准化。虽然TCP本身遵循明确的标准,但在其之上的协议却往往差异很大,这会导致兼容性问题,阻碍不同系统之间的无缝通信。

从本质上讲,TCP是一个强大的工具,具有实现高性能和定制化的潜力,但它需要在开发工作和专业知识方面进行大量投入。

# HTTP

HTTP具有清晰的请求/响应模型,即使对于刚接触网络编程的开发人员来说,也相对容易理解和实现。它作为一种被广泛接受的标准,进一步增强了其易用性,确保了在不同平台、客户端之间的无缝兼容性。此外,围绕HTTP形成的庞大生态系统,包含丰富的工具、库和框架,能够加快开发和部署周期。我们不能忽视它的无状态特性,这一特性简化了扩展和容错处理,使其更易于应对不断增加的流量和意外故障。

然而,和任何技术一样,HTTP也并非完美无缺。它的简单性是以牺牲一定性能为代价的,具体表现为额外的开销。HTTP头部信息的包含以及对基于文本的格式化的依赖,会引入额外的数据,这在带宽受限的环境中可能会影响性能。此外,虽然无状态性在扩展方面具有优势,但与持久的TCP连接相比,它也可能导致延迟增加。每个请求都需要建立一个新的连接,除非采用诸如HTTP/2或长连接(keep-alive)机制等新技术,否则随着时间的推移,这种开销会逐渐累积。

从本质上讲,HTTP为网络通信提供了一个简单直接、标准化且得到广泛支持的基础。它的简单性和庞大的生态系统使其成为许多应用程序的热门选择。然而,开发人员必须注意潜在的开销和延迟问题,尤其是在对性能要求极高的场景中。

# 其他协议

gRPC在网络通信领域是一个高性能的竞争者。它利用HTTP/2和协议缓冲区(Protobuf,Protocol Buffers )的强大功能,实现高效、低延迟的交互。Protobuf的使用引入了强类型和定义明确的服务契约,使得代码更加健壮和易于维护。然而,这种强大的功能也伴随着一定的复杂性。设置gRPC需要同时支持HTTP/2和Protobuf,而这在某些环境中可能并不通用,并且与更简单的协议相比,学习曲线可能更陡峭。

另外,WebSocket提供了一种不同的优势:全双工通信。通过单个持久连接,WebSocket能够在客户端和服务器之间实现实时的双向数据流。这使得它非常适合聊天、游戏或实时仪表盘等需要即时更新的应用场景。然而,这种灵活性也带来了挑战。实现和管理WebSocket连接比传统的请求/响应模型更加复杂。长连接的要求也会使扩展变得复杂,并引入需要谨慎处理的潜在故障点。

从本质上讲,gRPC和WebSocket在不同领域各有所长。gRPC在对效率和结构化通信要求极高的场景中表现出色,而WebSocket则为实现无缝的实时交互提供了可能。两者之间的选择通常取决于应用程序的具体需求以及开发人员愿意做出的权衡。

# 决策——为什么我们的项目选择HTTP?

考虑到我们分布式缓存项目的需求和性质,HTTP成为最合适的选择有以下几个原因:

  • 简单易用:HTTP定义明确的请求/响应模型使其易于实现和理解。对于一个旨在让我们学习核心概念的项目来说,这种简单性特别有益。
  • 标准化和兼容性:HTTP是一种被广泛采用的标准,在不同平台、编程语言和客户端之间具有广泛的兼容性。这确保了我们的缓存可以轻松地与各种应用程序和工具集成。
  • 丰富的生态系统:HTTP可用的丰富库、工具和框架生态系统可以显著加快开发速度。我们可以利用现有的解决方案来处理请求解析、路由和连接管理等任务。
  • 无状态性:HTTP的无状态特性简化了扩展和容错处理。每个请求都是独立的,这使得在多个节点之间分配负载和从故障中恢复更加容易。
  • 开发速度:使用HTTP能让我们专注于实现分布式缓存的核心功能,而不会被底层网络细节所困扰。这对于快速搭建项目至关重要,因为我们的目标是在不引入不必要复杂性的情况下传达关键概念。一旦项目准备就绪,我们可以再添加其他协议。

# 引入HTTP服务器

创建server.go文件,其中将包含HTTP处理器:

import (
    "encoding/json"
    "net/http"
)

type CacheServer struct {
    cache *Cache
}

func NewCacheServer() *CacheServer {
    return &CacheServer{
        cache: NewCache(),
    }
}

func (cs *CacheServer) SetHandler(w http.ResponseWriter, r *http.Request) {
    var req struct {
        Key   string `json:"key"`
        Value string `json:"value"`
    }
    if err := json.NewDecoder(r.Body).Decode(&req); err != nil {
        http.Error(w, err.Error(), http.StatusBadRequest)
        return
    }
    
    cs.cache.Set(req.Key, req.Value)
    w.WriteHeader(http.StatusOK)
}

func (cs *CacheServer) GetHandler(w http.ResponseWriter, r *http.Request) {
    key := r.URL.Query().Get("key")
    value, found := cs.cache.Get(key)
    if !found {
        http.NotFound(w, r)
        return
    }
    
    json.NewEncoder(w).Encode(map[string]string{"value": value})
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

为了初始化我们的服务器,我们应该像这样创建main.go文件:

package main

import (
    "fmt"
    "net/http"
)

func main() {
    cs := NewCacheServer()
    http.HandleFunc("/set", cs.SetHandler)
    http.HandleFunc("/get", cs.GetHandler)
    err := http.ListenAndServe(":8080", nil)
    if err != nil {
        fmt.Println(err)
        return
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

现在,我们可以首次运行我们的缓存服务器了!在终端中,运行以下命令:

go run main.go server.go
1

服务器现在应该在http://localhost:8080上运行。

你可以使用curl(或像Postman这样的工具)与服务器进行交互。

curl -X POST -H "Content-Type: application/json" -d '{"key":"foo","value":"bar"}' -i http://localhost:8080/set
1

这应该会返回一个200 OK状态码。

要获取值,我们可以执行类似的操作:

curl –i "http://localhost:8080/get?key=foo"
1

如果键存在,这应该会返回{"value":"bar"}。

选择HTTP作为我们分布式缓存项目的接口,在简单性、标准化和易于集成之间达到了平衡。虽然TCP在性能方面有优势,但对于我们的学习目的来说,它带来的复杂性超过了其优势。通过使用HTTP,我们可以利用一种被广泛理解和支持的协议,使我们的分布式缓存易于访问、可扩展且易于实现。做出这个决定后,我们现在可以专注于构建分布式缓存的核心功能和特性了。

# 逐出策略

我们不能一直无限期地将所有内容都存储在内存中,对吧?最终,我们会耗尽内存空间。这就是逐出策略发挥作用的地方。逐出策略(Eviction policy)决定了在缓存达到最大容量时,哪些项会从缓存中被移除。让我们来探究一些常见的逐出策略,讨论它们的优缺点,并确定哪种策略最适合我们的分布式缓存项目。

# 最近最少使用(LRU)

最近最少使用(LRU,Least Recently Used )策略会首先逐出最近访问最少的项。它基于这样一个假设:近期未被访问的项在未来被访问的可能性较低。 优点

  • 可预测性:易于实现和理解。
  • 有效性:对于许多访问模式都很有效,因为最近使用的项更有可能再次被使用。

缺点

  • 内存开销:需要维护一个列表或其他数据结构来跟踪访问顺序,这会增加一些内存开销。
  • 复杂性:比先进先出(FIFO)或随机逐出策略的实现稍微复杂一些。

# 生存时间(TTL)

生存时间(TTL,Time To Live )策略为每个缓存项分配一个过期时间。当该项的时间到期时,它就会从缓存中被逐出。 优点

  • 简单性:易于理解和实现。
  • 数据新鲜度:确保缓存中的数据是新鲜且相关的。

缺点

  • 可预测性:由于项是基于时间而不是使用情况被逐出的,所以相比LRU,其可预测性较差。
  • 资源管理:这可能需要额外的资源来定期检查和移除过期的项。

# 先进先出(FIFO)

先进先出(FIFO,First-in, first-out )策略根据项被添加到缓存中的时间,逐出缓存中最旧的项。 优点

  • 简单性:非常容易实现。
  • 可预测性:具有可预测的逐出模式。

缺点

  • 低效性:不考虑项最近的访问情况,有可能会逐出频繁使用的项。

# 选择正确的逐出策略

对于我们的分布式缓存项目,我们需要在性能、内存管理和简单性之间取得平衡。考虑到这些因素,LRU和TTL都是有力的候选策略。 LRU适用于最近访问的数据很可能很快再次被访问的场景。它有助于将频繁访问的项保留在内存中,从而可以提高缓存命中率。TTL通过在一定时间后逐出项来确保数据的新鲜度和相关性。当缓存的数据很快就会过时的情况下,这一点特别有用。 对于我们的项目,我们将同时实现LRU和TTL策略。这种组合使我们能够有效地处理不同的用例:使用LRU基于访问模式进行性能优化,使用TTL确保数据的新鲜度。 让我们逐步将TTL和LRU逐出策略添加到我们的实现中。

# 添加TTL

在我们的缓存中添加TTL有两种主要方法:使用带有定时器(Ticker)的协程(goroutine)和在获取(Get)操作时进行逐出。

# 使用带有定时器(Ticker)的协程(goroutine)

在这种方法中,我们可以使用一个单独的协程(goroutine)来运行time.Ticker。定时器(Ticker)会定期触发evictExpiredItems函数,以检查并移除过期的条目。让我们来分析一下这种方法的优缺点:

  • 优点:
    • 主动逐出:即使过期的项没有被访问,也会定期被移除。这确保了缓存更加整洁,并且内存使用情况可预测。
    • 获取操作时潜在的低延迟:Get方法不需要执行逐出检查,在有许多项过期的情况下,这可能会使它稍微快一些。
  • 缺点:
    • 额外的协程:这引入了管理一个单独的协程(goroutine)和定时器(Ticker)的开销。
    • 不必要的检查:如果项很少过期或者缓存很小,那么定期检查可能是不必要的开销。

# 在获取(Get)操作时进行逐出

在这种方法中,我们不需要单独的协程(goroutine)或定时器(Ticker)。只有在使用Get方法访问项时,才会执行过期检查。如果该项已经过期,在返回“未找到”响应之前,它会被逐出。让我们来分析一下这种方法的优缺点:

  • 优点:
    • 实现更简单:不需要管理额外的协程(goroutine),这使得代码更简单。
    • 降低开销:避免了持续运行协程(goroutine)可能带来的开销。
    • 按需逐出:只有在必要时才会使用资源进行逐出。
  • 缺点:
    • 延迟逐出:如果项没有被访问,它们可能会在超过其TTL后仍然留在缓存中。
    • 获取操作时潜在的延迟:如果许多项同时过期,在Get操作期间的逐出过程可能会增加一些延迟。 | 哪种方法更好?
      “更好”的方法取决于你具体的用例和优先级。在以下情况下,你应该选择第一种方法:
      - 你需要严格控制项的逐出时间,并且希望无论访问模式如何,都能确保缓存整洁。
      - 你有一个大缓存,且项频繁过期,并且协程(goroutine)的开销是可以接受的。
      - 最小化Get操作的延迟至关重要,即使这意味着总体开销会略高一些。
      另一方面,在以下情况下,你应该选择第二种方法:
      - 你希望实现更简单,并且开销最小。
      - 你可以接受项最终被移除时的一些逐出延迟。
      - 你的缓存相对较小,并且由于逐出导致的Get操作潜在延迟是可以接受的。
      你也可以考虑将两种方法结合起来。在大多数情况下使用第二种方法,但定期运行一个单独的逐出过程(第一种方法)作为后台任务,以清理任何剩余的过期项。 | | ------------------------------------------------------------ |

综合考虑,我们采用协程(goroutine)版本,这样我们可以专注于Get方法的延迟问题。 我们将修改CacheItem结构体,使其包含过期时间,并在Set和Get方法中添加逻辑,以便它们能够处理TTL:

package main

import (
    "sync"
    "time"
)

type CacheItem struct {
    Value      string
    ExpiryTime time.Time
}

type Cache struct {
    mu    sync.RWMutex
    items map[string]CacheItem
}

func NewCache() *Cache {
    return &Cache{
        items: make(map[string]CacheItem),
    }
}

func (c *Cache) Set(key, value string, ttl time.Duration) {
    c.mu.Lock()
    defer c.mu.Unlock()
    c.items[key] = CacheItem{
        Value:      value,
        ExpiryTime: time.Now().Add(ttl),
    }
}

func (c *Cache) Get(key string) (string, bool) {
    c.mu.RLock()
    defer c.mu.RUnlock()
    item, found := c.items[key]
    if!found || time.Now().After(item.ExpiryTime) {
        // If the item is not found or has expired, return false
        return "", false
    }
    
    return item.Value, true
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

接下来,我们将添加一个后台协程(goroutine),定期逐出过期的项:

func (c *Cache) startEvictionTicker(d time.Duration) {
    ticker := time.NewTicker(d)
    go func() {
        for range ticker.C {
            c.evictExpiredItems()
        }
    }()
}

func (c *Cache) evictExpiredItems() {
    c.mu.Lock()
    defer c.mu.Unlock()
    now := time.Now()
    for key, item := range c.items {
        if now.After(item.ExpiryTime) {
            delete(c.items, key)
        }
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

此外,在缓存初始化(main.go)时,我们需要启动这个协程(goroutine):

cache := NewCache()
cache.startEvictionTicker(1 * time.Minute)
1
2

# 添加LRU

我们将通过添加LRU逐出策略来增强我们的缓存实现。LRU确保当缓存达到最大容量时,最近最少访问的项会首先被逐出。我们将使用一个双向链表来跟踪缓存项的访问顺序。 首先,我们需要修改Cache结构体,使其包含一个用于逐出的双向链表(list.List)和一个用于跟踪链表元素的映射(map)结构体。此外,我们还将定义一个capacity结构体来限制缓存中的项数:

package main

import (
    "container/list"
    "sync"
    "time"
)

type CacheItem struct {
    Value      string
    ExpiryTime time.Time
}

type Cache struct {
    mu       sync.RWMutex
    items    map[string]*list.Element // Map of keys to list elements
    eviction *list.List               // Doubly-linked list for
    eviction
    capacity int                      // Maximum number of items in
    the cache
}

type entry struct {
    key   string
    value CacheItem
}

func NewCache(capacity int) *Cache {
    return &Cache{
        items:    make(map[string]*list.Element),
        eviction: list.New(),
        capacity: capacity,
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

接下来,我们将修改Set方法,以便它管理双向链表并强制实施缓存容量限制:

func (c *Cache) Set(key, value string, ttl time.Duration) {
    c.mu.Lock()
    defer c.mu.Unlock()
    // Remove the old value if it exists
    if elem, found := c.items[key]; found {
        c.eviction.Remove(elem)
        delete(c.items, key)
    }
    
    // Evict the least recently used item if the cache is at capacity
    if c.eviction.Len() >= c.capacity {
        c.evictLRU()
    }
    
    item := CacheItem{
        Value:      value,
        ExpiryTime: time.Now().Add(ttl),
    }
    
    elem := c.eviction.PushFront(&entry{key, item})
    c.items[key] = elem
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

在这里,我们应该注意以下几个方面:

  • 检查键是否存在:如果键已经存在于缓存中,从双向链表和映射中移除旧值。
  • 必要时进行逐出:如果缓存达到容量上限,调用evictLRU来移除最近最少使用的项。
  • 添加新项:将新项添加到链表的前端,并更新映射。 现在,我们需要更新Get方法,以便它可以将被访问的项移动到逐出链表的前端:
func (c *Cache) Get(key string) (string, bool) {
    c.mu.Lock()
    defer c.mu.Unlock()
    elem, found := c.items[key]
    if !found || time.Now().After(elem.Value. (*entry).value.
        ExpiryTime) {
        // If the item is not found or has expired, return false
        if found {
            c.eviction.Remove(elem)
            delete(c.items, key)
        }
        return "", false
    }
    
    // Move the accessed element to the front of the eviction list
    c.eviction.MoveToFront(elem)
    return elem.Value. (*entry).value.Value, true
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

在上述代码中,如果找到的项已经过期,它会从链表和映射中被移除。此外,当该项有效时,代码会将其移动到链表的前端,以标记为最近被访问过。

我们还应该实现evictLRU方法,以处理最近最少使用(Least Recently Used,LRU)的项被逐出的情况:

func (c *Cache) evictLRU() {
    elem := c.eviction.Back()
    if elem != nil {
        c.eviction.Remove(elem)
        kv := elem.Value.(*entry)
        delete(c.items, kv.key)
    }
}
1
2
3
4
5
6
7
8

该函数删除链表末尾的项(LRU项),并从映射中删除它。

以下代码确保后台逐出例程定期删除过期的项:

func (c *Cache) startEvictionTicker(d time.Duration) {
    ticker := time.NewTicker(d)
    go func() {
        for range ticker.C {
            c.evictExpiredItems()
        }
    }()
}

func (c *Cache) evictExpiredItems() {
    c.mu.Lock()
    defer c.mu.Unlock()
    now := time.Now()
    for key, elem := range c.items {
        if now.After(elem.Value.(*entry).value.ExpiryTime) {
            c.eviction.Remove(elem)
            delete(c.items, key)
        }
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

在这段代码中,startEvictionTicker函数启动一个goroutine,它会定期检查并从缓存中删除过期的项。

最后,更新main函数,使其创建一个具有指定容量的缓存,并测试生存时间(Time To Live,TTL)和LRU特性:

func main() {
    cache := NewCache(5) // 设置容量为5以实现LRU
    cache.startEvictionTicker(1 * time.Minute)
}
1
2
3
4

至此,我们逐步为缓存实现添加了TTL和LRU逐出特性!这一增强功能确保我们的缓存通过保留频繁访问的项并逐出陈旧或较少使用的数据来有效地管理内存。TTL和LRU的结合使我们的缓存更健壮、高效,并且适用于各种用例。

逐出策略是任何缓存系统的关键方面,它直接影响系统的性能和效率。通过了解LRU、TTL和其他策略的优缺点,我们可以做出符合项目目标的明智决策。在分布式缓存中同时实现LRU和TTL,确保我们在性能和数据新鲜度之间取得平衡,提供一个健壮且通用的缓存解决方案。

既然我们已经通过LRU和TTL等有效的逐出策略完成了管理缓存内存的重要任务,现在是时候解决另一个关键问题:缓存复制。

# 复制

要在缓存服务器的多个实例之间复制数据,你有多种选择。以下是一些常见的方法:

  • 主副本复制(Primary replica replication):在这种设置中,一个实例被指定为主节点,其他实例为副本。主节点处理所有写入操作,并将更改传播到副本。
  • 对等(Peer-to-peer,P2P)复制:在P2P复制中,所有节点都可以发送和接收更新。这种方法更复杂,但避免了单点故障。
  • 发布-订阅(Publish-Subscribe,Pub/Sub)模型:这种方法使用消息代理将更新广播到所有缓存实例。
  • 分布式共识协议(Distributed consensus protocols):诸如Raft和Paxos之类的协议可确保副本之间的强一致性。这种方法更复杂,通常使用专门的库(例如etcd和Consul)来实现。

选择正确的复制策略取决于多种因素,例如可扩展性、容错性、实现的难易程度以及应用程序的特定要求。以下是我们选择P2P复制而非其他三种方法的原因:

  • 可扩展性:
    • P2P:在P2P架构中,每个节点都可以与任何其他节点通信,从而在网络中均匀分配负载。这使得系统能够更有效地进行水平扩展,因为不存在单点争用。
    • 主副本:可扩展性有限,因为主节点可能成为瓶颈。所有写入操作都由主节点处理,随着客户端数量的增加,这可能会导致性能问题。
    • Pub/Sub:虽然可扩展,但如果管理不当,消息代理可能成为瓶颈或单点故障。可扩展性取决于代理的性能和架构。
    • 分布式共识协议:这些协议可以扩展,但在许多节点之间达成共识可能会引入延迟和复杂性。它们通常更适合较小的集群,或者在强一致性至关重要的情况下使用。
  • 容错性:
    • P2P:在P2P网络中,不存在单点故障。如果一个节点发生故障,其余节点可以继续运行并相互通信,使系统更加健壮和有弹性。
    • 主副本:主节点是单点故障。如果主节点出现故障,在选举出新的主节点或恢复旧主节点之前,整个系统的写入能力都会受到影响。
    • Pub/Sub:消息代理可能是单点故障。虽然可以设置多个代理和故障转移机制,但这会增加复杂性和更多的组件。
    • 分布式共识协议:这些协议旨在处理节点故障,但它们带来了更高的复杂性。在出现故障的情况下达成共识可能具有挑战性,并且可能会影响性能。
  • 一致性:
    • P2P:虽然最终一致性(eventual consistency)在P2P系统中更为常见,但如果需要,你可以实现一些机制来确保更强的一致性。这种方法在平衡一致性和可用性方面提供了灵活性。
    • 主副本:它通常提供强一致性,因为所有写入都通过主节点进行。然而,副本上的读取一致性可能会有延迟。
    • Pub/Sub:它提供最终一致性,因为更新是异步传播给订阅者的。
    • 分布式共识协议:这些协议提供强一致性,但代价是更高的延迟和复杂性。
  • 实现和管理的难易程度:
    • P2P:虽然比主副本复制更复杂,但P2P系统在大规模管理时可能更容易,因为它们不需要中央协调点。每个节点都是平等的,简化了架构。
    • 主副本:最初实现起来比较容易,但在大规模管理时可能会变得复杂,尤其是在涉及故障转移和负载均衡机制时。
    • Pub/Sub:使用现有的消息代理相对容易实现,但管理代理基础设施并确保高可用性可能会增加复杂性。
    • 分布式共识协议:这些协议通常难以实现和管理,因为它们需要深入理解共识算法及其操作开销。
  • 灵活性:
    • P2P:在拓扑结构方面提供了高度的灵活性,可以轻松适应网络中的变化。节点可以加入或离开网络,而不会造成重大干扰。
    • 主从(Master-slave):由于主节点的集中化特性,灵活性较差。添加或删除节点需要重新配置,并且可能会影响系统的可用性。
    • Pub/Sub:在添加新订阅者方面具有灵活性,但代理基础设施可能会变得复杂难以管理。
    • 分布式共识协议:在容错和一致性方面具有灵活性,但需要仔细规划和管理,以处理节点变化和网络分区。

P2P复制是我们缓存项目的一个极具吸引力的选择。它避免了与主副本和Pub/Sub模型相关的单点故障,并且通常比分布式共识协议更容易扩展和管理。虽然它可能无法提供与共识协议相同的强一致性保证,但它提供了一种平衡的方法,可以根据各种一致性要求进行调整。

别误会我的意思!P2P并非完美无缺,但它是一种合理的起步方法。它也存在一些难题需要解决,例如最终一致性、冲突解决、复制开销、带宽消耗等等。

# 实现P2P复制

首先,我们需要修改缓存服务器,使其能够感知对等节点:

type CacheServer struct {
    cache *Cache
    peers []string
    mu    sync.Mutex
}
func NewCacheServer(peers []string) *CacheServer {
    return &CacheServer{
        cache: NewCache(10),
        peers: peers,
    }
}
1
2
3
4
5
6
7
8
9
10
11

我们还需要创建一个函数,将数据复制到对等节点:

func (cs *CacheServer) replicateSet(key, value string) {
    cs.mu.Lock()
    defer cs.mu.Unlock()
    req := struct {
        Key   string `json:"key"`
        Value string `json:"value"`
    }{
        Key:   key,
        Value: value,
    }
    data, _ := json.Marshal(req)
    for _, peer := range cs.peers {
        go func(peer string) {
            client := &http.Client{}
            req, err := http.NewRequest("POST", peer+"/set", bytes.NewReader(data))
            if err != nil {
                log.Printf("Failed to create replication request: %v", err)
                return
            }
            
            req.Header.Set("Content-Type", "application/json")
            req.Header.Set(replicationHeader, "true")
            _, err = client.Do(req)
            if err != nil {
                log.Printf("Failed to replicate to peer %s: %v", peer, err)
            }
            
            log.Println("replication successful to", peer)
        }(peer)
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

这里的核心思想是遍历缓存服务器配置中的所有对等节点(cs.peers),对于每个对等节点: 对于每个对等节点,会执行以下操作:

  • 启动一个新的goroutine(go func(...))。这允许对每个对等节点进行并发复制,从而提高性能。
  • 构造一个HTTP POST请求,将JSON数据发送到对等节点的/set端点。
  • 向请求中添加一个名为replicationHeader的自定义标头。这可能有助于接收对等节点区分复制请求和常规客户端请求。
  • 使用client.Do(req)发送HTTP请求。
  • 如果在请求创建或发送过程中出现任何错误,将记录这些错误。现在我们可以在SetHandler中使用复制功能:
func (cs *CacheServer) SetHandler(w http.ResponseWriter, r *http.Request) {
    var req struct {
        Key   string `json:"key"`
        Value string `json:"value"`
    }
    if err := json.NewDecoder(r.Body).Decode(&req); err != nil {
        http.Error(w, err.Error(), http.StatusBadRequest)
        return
    }
    
    cs.cache.Set(req.Key, req.Value, 1*time.Hour)
    if r.Header.Get(replicationHeader) == "" {
        go cs.replicateSet(req.Key, req.Value)
    }
    w.WriteHeader(http.StatusOK)
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

这个新的条件块用于检查传入缓存服务器的请求(r)是常规客户端请求还是来自其他缓存服务器的复制请求。根据这个判断,它决定是否触发向其他对等节点的进一步复制。

为了将所有内容整合在一起,让我们修改main函数,使其接收对等节点并使用它们来启动代码:

var port string
var peers string
func main() {
    flag.StringVar(&port, "port", ":8080", "HTTP server port")
    flag.StringVar(&peers, "peers", "", "Comma-separated list of peer addresses")
    flag.Parse()

    peerList := strings.Split(peers, ",")
    cs := spewg.NewCacheServer(peerList)
    http.HandleFunc("/set", cs.SetHandler)
    http.HandleFunc("/get", cs.GetHandler)
    err := http.ListenAndServe(port, nil)
    if err != nil {
        fmt.Println(err)
        return
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

至此,实现完成!让我们运行两个缓存实例,看看数据是否被复制。

让我们运行第一个实例:

go run main.go -port=:8080 -peers=http://localhost:8081
1

现在,让我们运行第二个实例:

go run main.go -port=:8081 -peers=http://localhost:8080
1

我们现在可以使用curl或任何HTTP客户端在集群中测试Set和Get操作。设置一个键值对:

curl -X POST -d '{"key":"foo","value":"bar"}' -H "Content-Type: application/json" http://localhost:8080/set
1

从不同的实例获取键值对:

curl http://localhost:8081/get?key=foo
1

如果复制正常工作,你应该会看到值为bar。

查看每个实例的日志,以查看复制过程的实际情况。你应该会看到日志条目在所有实例中都有记录!如果你想尝试一下,可以运行多个缓存实例,亲眼看看复制的过程。

我们可以无限地为缓存添加功能并进行优化,但对于我们的项目来说,“无限”似乎有点过头了。我们拼图的最后一块将是数据分片(sharding)。

# 分片(Sharding)

分片是一种基础技术,用于将数据划分到多个节点上,以确保可扩展性和性能。分片为分布式缓存带来了诸多关键优势,使其成为颇具吸引力的选择:

  • 水平扩展(Horizontal scaling):分片允许通过向系统中添加更多节点(分片)来进行水平扩展。这使得缓存能够处理更大的数据集和更高的请求量,同时不会降低性能。
  • 负载均衡(Load distribution):通过将数据分布到多个分片上,分片有助于平衡负载,避免单个节点成为瓶颈。
  • 并行处理(Parallel processing):多个分片可以并行处理请求,从而加快查询和更新操作的速度。
  • 故障隔离(Isolation of failures):如果一个分片发生故障,其他分片仍可继续运行,确保系统在出现故障时仍能保持可用。
  • 管理简化(Simplified management):每个分片都可以独立管理,便于维护和升级,而不会影响整个系统。

# 分片的实现方式

实现分片有多种方法,每种方法都有其优缺点。最常见的方法包括基于范围的分片(range-based sharding)、基于哈希的分片(hash-based sharding)和一致性哈希(consistent hashing)。

# 基于范围的分片

在基于范围的分片中,数据根据分片键(例如,数字范围或字母范围)被划分为连续的区间。每个分片负责特定范围内的键。

  • 优点:
    • 实现和理解都很简单。
    • 范围查询效率高。
  • 缺点:
    • 如果键的分布不均匀,数据分布也会不均衡。
    • 如果某些范围被更频繁地访问,可能会形成热点。
# 基于哈希的分片

在基于哈希的分片中,通过对分片键应用哈希函数来确定分片。这种方法可确保数据在各个分片中分布更加均匀。

  • 优点:
    • 数据分布均匀。
    • 避免了因键分布不均导致的热点问题。
  • 缺点:
    • 范围查询效率低,因为可能涉及多个分片。
    • 重新分片(添加/删除节点)可能比较复杂。
# 一致性哈希

一致性哈希是基于哈希的分片的一种特殊形式,可最大程度减少重新分片的影响。节点和键被哈希到一个环形空间中,每个节点负责其范围内的键。

  • 优点:
    • 重新分片时数据移动量最小。
    • 提供良好的负载均衡和容错能力。
  • 缺点:
    • 与简单的基于哈希的分片相比,实现更复杂。
    • 需要仔细调整和管理。

我们选择一致性哈希。这种方法将帮助我们实现数据的均衡分布,并高效处理重新分片的情况。

# 实现一致性哈希

我们首先要做的是创建哈希环(hash ring)。等等!什么是哈希环?别着急,耐心听我讲!

想象一个环形圈,环上的每个点都代表哈希函数可能的输出。这就是我们的 “哈希环”。

系统中的每个缓存服务器(或节点)都会被分配到环上的一个随机位置,这个位置通常是通过对服务器的唯一标识符(例如其地址)进行哈希计算得到的。这些位置代表了节点在环上的 “所有权范围”。每一条数据(一个缓存条目)也会被哈希处理。得到的哈希值同样会映射到环上的一个点。

数据键会被分配给从其位置开始沿环顺时针移动时遇到的第一个节点。

# 可视化哈希环

在下面的示例中,我们可以看到:

  • 键1被分配给节点A。
  • 键2被分配给节点B。
  • 键3被分配给节点C。

我们仔细看一下:

	Node B
   /
  / 	Key 2
 /
/
Node A --------- Key 1
\
 \ 		Key 3
  \
   \
	Node C
1
2
3
4
5
6
7
8
9
10
11

下面这个 hashring.go 文件是管理一致性哈希环的基础:

package spewg

// ... (imports) ...

type Node struct {
    ID   string // 唯一标识符
    Addr string // 网络地址
}

type HashRing struct {
    nodes  []Node  // 节点列表
    hashes []uint32 // 节点的哈希值(用于高效搜索)
    lock   sync.RWMutex // 并发保护
}

func NewHashRing() *HashRing { ... }
func (h *HashRing) AddNode(node Node) { ... }
func (h *HashRing) RemoveNode(nodeID string) { ... }
func (h *HashRing) GetNode(key string) Node { ... }
func (h *HashRing) hash(key string) uint32 { ... }
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

在查看代码仓库中的这个文件时,我们可以看到:

  • nodes:一个用于存储节点结构体(每个服务器的ID和地址)的切片。
  • hashes:一个 uint32 类型的切片,用于存储每个节点的哈希值。这有助于高效搜索以找到负责的节点。
  • lock:一个互斥锁,用于确保对环的并发访问是安全的。
  • hash():这个函数使用SHA-1算法对节点ID和数据键进行哈希计算。
  • AddNode:该方法计算节点的哈希值,将其插入到 hashes 切片中,并对切片进行排序以保持顺序。
  • GetNode:给定一个键,它会在已排序的 hashes 切片上进行二分查找,找到第一个大于或等于该键哈希值的哈希值。nodes 切片中对应的节点就是所有者。

我们还需要更新 server.go,以便它能与哈希环进行交互:

type CacheServer struct {
    cache    *Cache
    peers    []string
    hashRing *HashRing
    selfID   string
    mu       sync.Mutex
}

func NewCacheServer(peers []string, selfID string) *CacheServer {
    cs := &CacheServer{
        cache:    NewCache(10),
        peers:    peers,
        hashRing: NewHashRing(),
        selfID:   selfID,
    }
    for _, peer := range peers {
        cs.hashRing.AddNode(Node{ID: peer, Addr: peer})
    }
    cs.hashRing.AddNode(Node{ID: selfID, Addr: "self"})
    return cs
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

现在,我们需要修改 SetHandler,使其能够处理复制和请求转发:

const replicationHeader = "X-Replication-Request"
func (cs *CacheServer) SetHandler(w http.ResponseWriter, r *http.Request) {
    var req struct {
        Key   string `json:"key"`
        Value string `json:"value"`
    }
    if err := json.NewDecoder(r.Body).Decode(&req); err != nil {
        http.Error(w, err.Error(), http.StatusBadRequest)
        return
    }
    
    targetNode := cs.hashRing.GetNode(req.Key)
    if targetNode.Addr == "self" {
        cs.cache.Set(req.Key, req.Value, 1*time.Hour)
        if r.Header.Get(replicationHeader) == "" {
            go cs.replicateSet(req.Key, req.Value)
        }
        w.WriteHeader(http.StatusOK)
    } else {
        cs.forwardRequest(w, targetNode, r)
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

我们还需要添加 replicateSet 方法,将设置请求复制到其他对等节点:

func (cs *CacheServer) replicateSet(key, value string) {
    cs.mu.Lock()
    defer cs.mu.Unlock()
    req := struct {
        Key   string `json:"key"`
        Value string `json:"value"`
    }{
        Key:   key,
        Value: value,
    }
    data, _ := json.Marshal(req)
    for _, peer := range cs.peers {
        if peer != cs.selfID {
            go func(peer string) {
                client := &http.Client{}
                req, err := http.NewRequest("POST", peer+"/set", bytes.NewReader(data))
                if err != nil {
                    log.Printf("Failed to create replication request: %v", err)
                    return
                }
                req.Header.Set("Content-Type", "application/json")
                req.Header.Set(replicationHeader, "true")
                _, err = client.Do(req)
                if err != nil {
                    log.Printf("Failed to replicate to peer %s: %v", peer, err)
                }
            }(peer)
        }
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

完成这些后,我们可以修改 GetHandler,使其将请求转发到相应的节点:

func (cs *CacheServer) GetHandler(w http.ResponseWriter, r *http.Request) {
    key := r.URL.Query().Get("key")
    targetNode := cs.hashRing.GetNode(key)
    if targetNode.Addr == "self" {
        value, found := cs.cache.Get(key)
        if !found {
            http.NotFound(w, r)
            return
        }
        
        err := json.NewEncoder(w).Encode(map[string]string{"value": value})
        if err != nil {
            w.WriteHeader(http.StatusInternalServerError)
            return
        }
    } else {
        originalSender := r.Header.Get("X-Forwarded-For")
        if originalSender == cs.selfID {
            http.Error(w, "Loop detected", http.StatusBadRequest)
            return
        }
        
        r.Header.Set("X-Forwarded-For", cs.selfID)
        cs.forwardRequest(w, targetNode, r)
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

这两个方法都使用了 forwardRequest。我们也来创建这个方法:

func (cs *CacheServer) forwardRequest(w http.ResponseWriter, targetNode Node, r *http.Request) {
    client := &http.Client{}
    var req *http.Request
    var err error
    if r.Method == http.MethodGet {
        url := fmt.Sprintf("%s%s?%s", targetNode.Addr, r.URL.Path, r.URL.RawQuery)
        req, err = http.NewRequest(r.Method, url, nil)
    } else if r.Method == http.MethodPost {
        body, err := io.ReadAll(r.Body)
        if err != nil {
            http.Error(w, "Failed to read request body", http.StatusInternalServerError)
            return
        }
        
        url := fmt.Sprintf("%s%s", targetNode.Addr, r.URL.Path)
        req, err = http.NewRequest(r.Method, url, bytes.NewReader(body))
        if err != nil {
            http.Error(w, "Failed to create forward request", http.StatusInternalServerError)
            return
        }
        
        req.Header.Set("Content-Type", r.Header.Get("Content-Type"))
    }
    
    if err != nil {
        log.Printf("Failed to create forward request: %v", err)
        http.Error(w, "Failed to create forward request", http.StatusInternalServerError)
        return
    }
    
    req.Header = r.Header
    resp, err := client.Do(req)
    if err != nil {
        log.Printf("Failed to forward request to node %s: %v", targetNode.Addr, err)
        http.Error(w, "Failed to forward request", http.StatusInternalServerError)
        return
    }
    
    defer resp.Body.Close()
    w.WriteHeader(resp.StatusCode)
    _, err = io.Copy(w, resp.Body)
    if err != nil {
        log.Printf("Failed to write response from node %s: %v", targetNode.Addr, err)
    }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

最后一步是更新 main.go,使其考虑到节点:

var port string
var peers string
func main() {
    flag.StringVar(&port, "port", ":8080", "HTTP server port")
    flag.StringVar(&peers, "peers", "", "Comma-separated list of peer addresses")
    flag.Parse()
    nodeID := fmt.Sprintf("%s%d", "node", rand.Intn(100))
    peerList := strings.Split(peers, ",")
    cs := spewg.NewCacheServer(peerList, nodeID)
    http.HandleFunc("/set", cs.SetHandler)
    http.HandleFunc("/get", cs.GetHandler)
    http.ListenAndServe(port, nil)
}
1
2
3
4
5
6
7
8
9
10
11
12
13

让我们测试一下一致性哈希!

运行第一个实例:

go run main.go -port=:8083 -peers=http://localhost:8080
1

运行第二个实例:

go run main.go -port=:8080 -peers=http://localhost:8083
1

第一组测试将是基本的SET和GET命令。我们在节点A(localhost:8080)上设置一个键值对:

curl -X POST -H "Content-Type: application/json" -d '{"key": "mykey", "value": "myvalue"}' localhost:8080/set
1

现在,我们可以从正确的节点获取值:

curl localhost:8080/get?key=mykey
#  或者
curl localhost:8083/get?key=mykey
1
2
3

根据mykey的哈希方式,值应该从端口8080或8083返回。为了测试哈希和键分布,我们可以设置多个键:

curl -X POST -H "Content-Type: application/json" -d '{"key": "key1", "value": "value1"}' localhost:8080/set
curl -X POST -H "Content-Type: application/json" -d '{"key": "key2", "value": "value2"}' localhost:8080/set
curl -X POST -H "Content-Type: application/json" -d '{"key": "key3", "value": "value3"}' localhost:8080/set
1
2
3

然后,我们可以获取这些值并观察分布情况:

curl localhost:8080/get?key=key1
curl localhost:8083/get?key=key2
curl localhost:8080/get?key=key3
1
2
3

注:

根据哈希值映射到环上的方式,有些键可能在一台服务器上,而其他键可能在第二台服务器上。

这个实现的关键要点如下:

  • 哈希环(hash ring)提供了一种将键一致地映射到节点的方法,即使在系统扩展时也是如此。
  • 一致性哈希(Consistent hashing)最大限度地减少了添加或删除节点所造成的干扰。
  • 该补丁中的实现侧重于简单性,使用SHA-1进行哈希计算,并使用排序切片(sorted slice)来高效查找节点。

恭喜!你已经开启了一段激动人心的分布式缓存之旅,构建了一个不仅功能完备,而且为新的优化做好准备的系统。现在,是时候通过深入研究优化、指标和性能分析领域,充分发挥你所创建系统的潜力了。把这想象成微调你的高性能引擎,确保它高效快速地运行。

从这里你还可以做些什么呢?让我们总结一下:

  • 优化技术:
    • 缓存替换算法:尝试使用替代的缓存替换算法,如低互引用最近使用集(Low Inter-Reference Recency Set,LIRS)或自适应替换缓存(Adaptive Replacement Cache,ARC)。与传统的最近最少使用(LRU)算法相比,这些算法可以提供更高的命中率,并且能更好地适应不同的工作负载。
    • 调整逐出策略:根据特定的数据特征和访问模式,微调生存时间(TTL)值和LRU阈值。这可以防止有价值的数据被过早逐出,并确保缓存能够响应不断变化的需求。
    • 压缩:实施数据压缩技术,减少缓存项的内存占用。这可以让你在缓存中存储更多数据,并有可能提高命中率,特别是对于可压缩的数据类型。
    • 连接池:通过在缓存客户端和服务器之间实施连接池(connection pooling)来优化网络通信。这可以减少为每个请求建立新连接的开销,从而加快响应时间。
  • 指标和监控:
    • 关键指标:持续监控关键指标,如缓存命中率、未命中率、逐出率、延迟、吞吐量和内存使用率。这些指标能为缓存的性能提供有价值的见解,并有助于识别潜在的瓶颈或需要改进的地方。
    • 可视化:使用可视化工具(如Grafana)创建实时显示这些指标的仪表盘。这能让你轻松跟踪趋势、发现异常,并基于数据做出关于缓存优化的决策。
    • 警报:根据关键指标的预定义阈值设置警报。例如,如果缓存命中率低于某个百分比,或者延迟超过指定限制,你可以收到警报。这能让你在问题影响用户之前主动解决问题。
  • 性能分析:
    • CPU性能分析:识别缓存代码中CPU密集型的函数或操作。这有助于你找出优化后能带来最大性能提升的部分。
    • 内存性能分析:分析内存使用模式,检测内存泄漏或低效的内存分配。优化内存使用可以提高缓存的整体性能和稳定性。

只要有决心并采用数据驱动的方法,你就能充分挖掘分布式缓存的潜力,并确保它在未来的软件架构中始终是一项宝贵的资产。

哇!这一路走来不容易,对吧?在这一章中,我们探讨了很多设计决策和实现方法。让我们总结一下所做的工作。

# 总结

在本章中,我们从头开始构建了一个分布式缓存。我们从一个简单的内存缓存开始,逐步添加了诸如线程安全、HTTP接口、逐出策略(LRU和TTL)、复制以及用于分片的一致性哈希等功能。每一步都是构建块,为我们缓存的健壮性、可扩展性和性能做出了贡献。

虽然我们的缓存已经可以使用,但这仅仅是个开始。还有无数的途径可供进一步探索和优化。分布式缓存的世界广阔且不断发展,本章为你提供了必要的知识和实践技能,让你能够自信地在其中探索。记住,构建分布式缓存不仅仅关乎代码;它还关乎理解底层原理、做出明智的设计决策,以及不断迭代以满足应用程序不断变化的需求。

现在,我们已经在设计决策和权衡的艰难道路上前行,为分布式缓存奠定了坚实的基础。我们结合了正确的策略、技术,打造出一个健壮、可扩展且高效的系统。但是设计一个系统只是成功的一半;另一半是编写不会让未来的开发人员(包括我们自己)因沮丧而流泪的代码。

在下一章“有效的代码实践”中,我们将介绍提升Go编程能力的基本技术。你将学习如何通过高效复用系统资源来最大化性能,如何消除冗余任务执行以简化流程,如何掌握内存管理以保持系统精简快速,以及如何避开可能降低性能的常见问题。准备好深入研究Go的最佳实践,在这个过程中,精确、清晰和一点调侃是成功的关键。

第五部分:深入探索
第14章 高效编码实践

← 第五部分:深入探索 第14章 高效编码实践→

最近更新
01
第一章 auto与类型推导
03-27
02
第二章 关键字static及其不同用法
03-27
03
C++语言面试问题集锦 目录与说明
03-27
更多文章>
Copyright © 2024-2025 沪ICP备2023015129号 张小方 版权所有
  • 跟随系统
  • 浅色模式
  • 深色模式
  • 阅读模式