面试题:集群高并发环境下如何保证分布式唯一全局ID生成?

news2024/11/22 18:01:37

文章目录

  • 前言
  • 问题
    • 为什么需要分布式全局唯一ID以及分布式ID的业务需求
    • ID生成规则部分硬性要求
    • ID号生成系统的可用性要求
  • 一般通用解决方案
    • UUID
    • 数据库自增主键
  • 集群分布式集群
  • 基于Redis生成全局ID策略
    • 单机版
    • 集群分布式
  • 雪花算法
    • 什么是雪花算法
    • 结构
    • 实现
    • SpringBoot整合雪花算法


前言

系统唯一ID是我们在设计一个系统的时候常常会遇见的问题,也常常为这个问题而纠结。

不足之处,请多多指教!!

问题

为什么需要分布式全局唯一ID以及分布式ID的业务需求

在复杂分布式系统中,往往需要对大量的数据和消息进行唯一标识,如在美团点评的金融、支付、餐饮、酒店

猫眼电影等产品的系统中数据逐渐增长,对数据库分库分表后需要有一个唯一ID来标识一条数据或信息;

特别Ian的订单、骑手、优惠券都需要有唯一ID做标识

此时一个能够生成全局唯一ID的系统是非常必要的

在这里插入图片描述

ID生成规则部分硬性要求

  • 全局唯一
  • 趋势递增
    在MySQL的InnoDB引擎中使用的是聚集索引,由于多数RDBMS使用Btree的数据结构来存储索引,在主键的选择上面我们应该尽量使用有序的主键保证写入性能
  • 单调递增
    保证下一个ID一定大于上一个ID,例如事务版本号、IM增量消息、排序等特殊需求
  • 信息安全
    如果ID是连续,恶意用户的爬取工作就非常容易做了,直接按照顺序下载指定URL即可,如果是订单号就危险了,竞争对手可以直接知道我们一天的单量,所以在一些应用场景下,需要ID无规则不规则,让竞争对手不好猜
  • 含时间戳
    一样能够快速在开发中了解这个分布式ID什么时候生成的

ID号生成系统的可用性要求

  • 高可用
    发布一个获取分布式ID请求,服务器就要保证99.999%的情况下给我创建一个唯一分布式ID
  • 低延迟
    发一个获取分布式ID的请求,服务器就要快,极速
  • 高QPS
    例如并发一口气10万个创建分布式ID请求同时杀过来,服务器要顶得住且一下子成功创建10万个分布式ID

一般通用解决方案

UUID

UUID.randomUUID() , UUID的标准型包含32个16进制数字,以连字号分为五段,形式为 8-4-4-4-12的36个字符,性能非常高,本地生成,没有网络消耗。

存在问题
入数据库性能差,因为UUID是无序的

  • 无序,无法预测他的生成顺序,不能生成递增有序的数字

首先分布式id一般都会作为逐渐,但是按照mysql官方推荐主键尽量越短越好,UUID每一个都很长,所以不是很推荐。

  • 主键,ID作为主键时,在特定的环境下会存在一些问题

比如做DB主键的场景下,UUID就非常不适用MySQL官方有明确的说明

  • 索引,B+树索引的分裂

既然分布式ID是主键,然后主键是包含索引的,而mysql的索引是通过B+树来实现的,每一次新的UUID数据的插入,为了查询的优化,都会对索引底层的B+树进行修改,因为UUID数据是无序的,所以每一次UUID数据的插入都会对主键的B+树进行很大的修改,这一点很不好,插入完全无序,不但会导致一些中间节点产生分裂,也会白白创造出很多不饱和的节点,这样大大降低了数据库插入的性能。

UUID只能保证全局唯一性,不满足后面的趋势递增,单调递增。

数据库自增主键

单机

在分布式里面,数据库的自增ID机制的主要原理是:数据库自增ID和mysql数据库的replace into实现的,这里的replace into跟insert功能 类似,不同点在于:replace into首先尝试插入数据列表中,如果发现表中已经有此行数据(根据主键或唯一索引判断)则先删除,在插入,否则直接插入新数据。
在这里插入图片描述

REPLACE into t_test(stub) values('b');  
select LAST_INSERT_ID();  

我们每次插入的时候,发现都会把原来的数据给替换,并且ID也会增加

这就满足了

  • 递增性
  • 单调性
  • 唯一性

在分布式情况下,并且并发量不多的情况,可以使用这种方案来解决,获得一个全局的唯一ID

集群分布式集群

那数据库自增ID机制适合做分布式ID吗?答案是不太适合

系统水平扩展比较困难,比如定义好步长和机器台数之后,如果要添加机器该怎么办,假设现在有一台机器发号是:1,2,3,4,5,(步长是1),这个时候需要扩容机器一台,可以这样做:把第二胎机器的初始值设置得比第一台超过很多,貌似还好,但是假设线上如果有100台机器,这个时候扩容要怎么做,简直是噩梦,所以系统水平扩展方案复杂难以实现。

数据库压力还是很大,每次获取ID都得读写一次数据库,非常影响性能,不符合分布式ID里面的延迟低和高QPS的规则(在高并发下,如果都去数据库里面获取ID,那是非常影响性能的)

基于Redis生成全局ID策略

单机版

因为Redis是单线程,天生保证原子性,可以使用原子操作INCR和INCRBY来实现

INCRBY:设置增长步长

集群分布式

注意:在Redis集群情况下,同样和MySQL一样需要设置不同的增长步长,同时key一定要设置有效期,可以使用Redis集群来获取更高的吞吐量。

假设一个集群中有5台Redis,可以初始化每台Redis的值分别是 1,2,3,4,5 , 然后设置步长都是5

各个Redis生成的ID为:

A1 6 11 16 21  
B2 7 12 17 22  
C3 8 13 18 23  
D4 9 14 19 24  
E5 10 15 20 25  

但是存在的问题是,就是Redis集群的维护和保养比较麻烦,配置麻烦。因为要设置单点故障,哨兵值守

但是主要是的问题就是,为了一个ID,却需要引入整个Redis集群,有种杀鸡焉用牛刀的感觉。

雪花算法

什么是雪花算法

Twitter的分布式自增ID算法,Snowflake

最初Twitter把存储系统从MySQL迁移到Cassandra(由Facebook开发一套开源分布式NoSQL数据库系统)因为Cassandra没有顺序ID生成机制,所有开发了这样一套全局唯一ID生成服务。

Twitter的分布式雪花算法SnowFlake,经测试SnowFlake每秒可以产生26万个自增可排序的ID

  • twitter的SnowFlake生成ID能够按照时间有序生成

  • SnowFlake算法生成ID的结果是一个64Bit大小的整数,为一个Long型(转换成字符串后长度最多19)

  • 分布式系统内不会产生ID碰撞(由datacenter 和 workerID做区分)并且效率较高

分布式系统中,有一些需要全局唯一ID的场景,生成ID的基本要求

  • 在分布式环境下,必须全局唯一性

  • 一般都需要单调递增,因为一般唯一ID都会存在数据库,而InnoDB的特性就是将内容存储在主键索引上的叶子节点,而且是从左往右递增的,所有考虑到数据库性能,一般生成ID也最好是单调递增的。为了防止ID冲突可以使用36位UUID,但是UUID有一些缺点,首先是它相对比较长,并且另外UUID一般是无序的

  • 可能还会需要无规则,因为如果使用唯一ID作为订单号这种,为了不让别人知道一天的订单量多少,就需要这种规则

结构

雪花算法的几个核心组成部分

在这里插入图片描述
在Java中64bit的证书是long类型,所以在SnowFlake算法生成的ID就是long类存储的

第一部分

二进制中最高位是符号位,1表示负数,0表示正数。生成的ID一般都是用整数,所以最高位固定为0。

第二部分

第二部分是41bit时间戳位,用来记录时间戳,毫秒级

41位可以表示 2^41 -1 个数字

如果只用来表示正整数,可以表示的范围是:0 - 2^41 -1,减1是因为可以表示的数值范围是从0开始计算的,而不是从1。

也就是说41位可以表示 2^41 - 1 毫秒的值,转换成单位年则是 69.73年

第三部分

第三部分为工作机器ID,10Bit用来记录工作机器ID

可以部署在2^10 = 1024个节点,包括5位 datacenterId(数据中心,机房) 和 5位 workerID(机器码)

5位可以表示的最大正整数是 2 ^ 5 = 31个数字,来表示不同的数据中心 和 机器码

第四部分

12位bit可以用来表示的正整数是 2^12 = 4095,即可以用0 1 2 … 4094 来表示同一个机器同一个时间戳内产生的4095个ID序号。

SnowFlake可以保证

所有生成的ID按时间趋势递增

整个分布式系统内不会产生重复ID,因为有datacenterId 和 workerId来做区分

实现

雪花算法是由scala算法编写的,有人使用java实现。

/**  
 * twitter的snowflake算法 -- java实现  
 *   
 * @author beyond  
 */  
public class SnowFlake {  
  
    /**  
     * 起始的时间戳  
     */  
    private final static long START_STMP = 1480166465631L;  
  
    /**  
     * 每一部分占用的位数  
     */  
    private final static long SEQUENCE_BIT = 12; //序列号占用的位数  
    private final static long MACHINE_BIT = 5;   //机器标识占用的位数  
    private final static long DATACENTER_BIT = 5;//数据中心占用的位数  
  
    /**  
     * 每一部分的最大值  
     */  
    private final static long MAX_DATACENTER_NUM = -1L ^ (-1L << DATACENTER_BIT);  
    private final static long MAX_MACHINE_NUM = -1L ^ (-1L << MACHINE_BIT);  
    private final static long MAX_SEQUENCE = -1L ^ (-1L << SEQUENCE_BIT);  
  
    /**  
     * 每一部分向左的位移  
     */  
    private final static long MACHINE_LEFT = SEQUENCE_BIT;  
    private final static long DATACENTER_LEFT = SEQUENCE_BIT + MACHINE_BIT;  
    private final static long TIMESTMP_LEFT = DATACENTER_LEFT + DATACENTER_BIT;  
  
    private long datacenterId;  //数据中心  
    private long machineId;     //机器标识  
    private long sequence = 0L; //序列号  
    private long lastStmp = -1L;//上一次时间戳  
  
    public SnowFlake(long datacenterId, long machineId) {  
        if (datacenterId > MAX_DATACENTER_NUM || datacenterId < 0) {  
            throw new IllegalArgumentException("datacenterId can't be greater than MAX_DATACENTER_NUM or less than 0");  
        }  
        if (machineId > MAX_MACHINE_NUM || machineId < 0) {  
            throw new IllegalArgumentException("machineId can't be greater than MAX_MACHINE_NUM or less than 0");  
        }  
        this.datacenterId = datacenterId;  
        this.machineId = machineId;  
    }  
  
    /**  
     * 产生下一个ID  
     *  
     * @return  
     */  
    public synchronized long nextId() {  
        long currStmp = getNewstmp();  
        if (currStmp < lastStmp) {  
            throw new RuntimeException("Clock moved backwards.  Refusing to generate id");  
        }  
  
        if (currStmp == lastStmp) {  
            //相同毫秒内,序列号自增  
            sequence = (sequence + 1) & MAX_SEQUENCE;  
            //同一毫秒的序列数已经达到最大  
            if (sequence == 0L) {  
                currStmp = getNextMill();  
            }  
        } else {  
            //不同毫秒内,序列号置为0  
            sequence = 0L;  
        }  
  
        lastStmp = currStmp;  
  
        return (currStmp - START_STMP) << TIMESTMP_LEFT //时间戳部分  
                | datacenterId << DATACENTER_LEFT       //数据中心部分  
                | machineId << MACHINE_LEFT             //机器标识部分  
                | sequence;                             //序列号部分  
    }  
  
    private long getNextMill() {  
        long mill = getNewstmp();  
        while (mill <= lastStmp) {  
            mill = getNewstmp();  
        }  
        return mill;  
    }  
  
    private long getNewstmp() {  
        return System.currentTimeMillis();  
    }  
  
    public static void main(String[] args) {  
        SnowFlake snowFlake = new SnowFlake(2, 3);  
  
        for (int i = 0; i < (1 << 12); i++) {  
            System.out.println(snowFlake.nextId());  
        }  
  
    }  
}  

工程落地经验

hutools工具包
地址:https://github.com/looly/hutool

SpringBoot整合雪花算法

引入hutool工具类

<dependency>  
    <groupId>cn.hutool</groupId>  
    <artifactId>hutool-all</artifactId>  
    <version>5.3.1</version>  
</dependency>  

整合

/**  
 * 雪花算法  
 */  
public class SnowFlakeDemo {  
    private long workerId = 0;  
    private long datacenterId = 1;  
    private Snowflake snowFlake = IdUtil.createSnowflake(workerId, datacenterId);  
  
    @PostConstruct  
    public void init() {  
        try {  
            // 将网络ip转换成long  
            workerId = NetUtil.ipv4ToLong(NetUtil.getLocalhostStr());  
        } catch (Exception e) {  
            e.printStackTrace();  
        }  
    }  
  
    /**  
     * 获取雪花ID  
     * @return  
     */  
    public synchronized long snowflakeId() {  
        return this.snowFlake.nextId();  
    }  
  
    public synchronized long snowflakeId(long workerId, long datacenterId) {  
        Snowflake snowflake = IdUtil.createSnowflake(workerId, datacenterId);  
        return snowflake.nextId();  
    }  
  
    public static void main(String[] args) {  
        SnowFlakeDemo snowFlakeDemo = new SnowFlakeDemo();  
        for (int i = 0; i < 20; i++) {  
            new Thread(() -> {  
                System.out.println(snowFlakeDemo.snowflakeId());  
            }, String.valueOf(i)).start();  
        }  
    }  
}  

得到结果

1251350711346790400  
1251350711346790402  
1251350711346790401  
1251350711346790403  
1251350711346790405  
1251350711346790404  
1251350711346790406  
1251350711346790407  
1251350711350984704  
1251350711350984706  
1251350711350984705  
1251350711350984707  
1251350711350984708  
1251350711350984709  
1251350711350984710  
1251350711350984711  
1251350711350984712  
1251350711355179008  
1251350711355179009  
1251350711355179010  

优点

  • 毫秒数在高维,自增序列在低位,整个ID都是趋势递增的

  • 不依赖数据库等第三方系统,以服务的方式部署,稳定性更高,生成ID的性能也是非常高的

  • 可以根据自身业务特性分配bit位,非常灵活

缺点

  • 依赖机器时钟,如果机器时钟回拨,会导致重复ID生成

  • 在单机上是递增的,但由于涉及到分布式环境,每台机器上的时钟不可能完全同步,有时候会出现不是全局递增的情况,此缺点可以认为无所谓,一般分布式ID只要求趋势递增,并不会严格要求递增,90%的需求只要求趋势递增。

其它补充
为了解决时钟回拨问题,导致ID重复,后面有人专门提出了解决的方案

  • 百度开源的分布式唯一ID生成器 UidGenerator

  • Leaf - 美团点评分布式ID生成系统

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1041799.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【Pm4py第七讲】关于visualization

本节用于介绍pm4py中的可视化函数&#xff0c;包括可视化bpmn、petri、性能图谱、变迁系统等。 1.函数概述 本次主要介绍Pm4py中一些常见的可视化函数&#xff0c;总览如下表&#xff1a; 函数名说明view_alignments(log, aligned_traces[, format])可视化对齐方法 view_bpmn(…

QT之QML开发 行列布局,流布局,网格布局

本节将演示一下QML布局之行列布局&#xff0c;流布局和网格布局 目录 1.行列布局 1.1一列多行 1.2 一行多列 2.流布局 2.1 从左向右&#xff08;默认&#xff09; ​编辑 2.2 从上往下 3.网格布局 1.行列布局 1.1一列多行 // 行列布局 import QtQuick 2.15 import Qt…

前端架构师进阶之路07_JavaScript函数

1 函数的定义与调用 1.1 初识函数 函数是用于封装一段完成特定功能的代码。 相当于将一条或多条语句组成的代码块包裹起来&#xff0c;在使用时只需关心参数和返回值&#xff0c;就能完成特定的功能&#xff0c;而不用了解具体的实现。 // 内置函数 console.log(parseFloat…

基于R语言、MATLAB、Python机器学习方法与案例分析

目录 基于R语言机器学习方法与案例分析 基于MATLAB机器学习、深度学习在图像处理中的实践技术应用 全套Python机器学习核心技术与案例分析实践应用 基于R语言机器学习方法与案例分析 机器学习已经成为继理论、实验和数值计算之后的科研“第四范式”&#xff0c;是发现新规律&…

iOS技术之app审核信息填写联系人信息提交失败

在AppStore Connect中填写联系人信息中联系方式的电话号码时,输入11位手机号,一直提示 此栏无效: 报错一直说明次栏无效, 开始以为手机号不兼容, 换了好多手机号,座机号都不行, 最终尝试正确的输入格式是:86-xxxxxxxxxxx, 前面有""号, 连接用"-"

关于Modbus消息帧,这些内容你都了解吗?

在 Modbus网络通信的两种传输模式中&#xff08; ASCII或RTU&#xff09;&#xff0c;传输设备以将Modbus消息转为有起点和终点的帧&#xff0c;这就允许接收的设备在消息起始处开始工作&#xff0c;读地址分配信息&#xff0c;判断哪一个设备被选中&#xff08;广播方式则传给…

EfficientFormer:高效低延迟的Vision Transformers

我们都知道Transformers相对于CNN的架构效率并不高&#xff0c;这导致在一些边缘设备进行推理时延迟会很高&#xff0c;所以这次介绍的论文EfficientFormer号称在准确率不降低的同时可以达到MobileNet的推理速度。 Transformers能否在获得高性能的同时&#xff0c;跑得和Mobile…

华为云云耀云服务器 L 实例评测:快速建站的新选择,初创企业和开发者的理想之选

华为云云耀云服务器 L 实例评测&#xff1a;快速建站的新选择&#xff0c;初创企业和开发者的理想之选 文章目录 华为云云耀云服务器 L 实例评测&#xff1a;快速建站的新选择&#xff0c;初创企业和开发者的理想之选导语&#xff1a;摘要&#xff1a; 正文产品概述部署简易性步…

TG Pro for Mac强大的硬件温度检测、风扇控制工具测评

无论您是旧机型还是全新MacBookPro&#xff0c;使用TG Pro均可延长Mac的使用寿命。小编就给大家详细说一下使用TG Pro的体验~ 打开TG Pro&#xff0c;您会注意到的第一件事是带有大量温度&#xff0c;风扇速度和诊断信息的主窗口。 这是您将与之交互的应用程序的主要区域之一。…

[动物文学]走红年轻人化身“精神动物”,这届年轻人不想做人了

数据洞察流行趋势&#xff0c;敏锐把握流量风口。本期千瓜与您分享近期小红书八大热点内容&#xff0c;带您看热点、追热门、借热势&#xff0c;为您提供小红书营销布局风向标。 「动物文学」走红 年轻人化身“精神动物” 其实&#xff0c;这届年轻人“不想做人”很久了………

# 深入理解高并发编程(二)

深入理解高并发编程&#xff08;二&#xff09; 文章目录 深入理解高并发编程&#xff08;二&#xff09;synchronized作用使用方法示例代码 ReentrantLock概述示例代码ReentrantLock中的方法 ReentrantReadWriteLock介绍特点示例代码 StampedLock示例代码 wait() 和 notify()示…

软件设计模式系列之十六——命令模式

目录 1 模式的定义2 举例说明3 结构4 实现步骤5 代码实现6 典型应用场景7 优缺点8 类似模式9 小结 1 模式的定义 命令模式&#xff08;Command Pattern&#xff09;是一种行为型设计模式&#xff0c;旨在将请求发送者和接收者解耦&#xff0c;将一个请求封装为一个对象&#x…

OmniOutliner 5 Pro for Mac(信息大纲记录工具)v5.12正式版 支持M1、M2

OmniOutliner 5 Pro是一款功能强大的大纲工具&#xff0c;可以帮助用户进行头脑风暴、组织思维和创建结构化的笔记。以下是这款软件的一些主要功能和特点&#xff1a; 大纲模式。OmniOutliner 5 Pro支持全屏模式、分屏模式、实时预览模式和导航模式等多种创作模式&#xff0c;…

RT-Thread 自动初始化机制

RT-Thread自动初始化机制 自动初始化机制是指初始化函数不需要被显示调用&#xff0c;只需要在函数定义处通过宏定义的方式进行申明&#xff0c;就会在系统启动过程中被执行。 例如在串口驱动中调用一个宏定义告知系统初始化需要调用的函数&#xff0c;代码如下&#xff1a; …

25814-2010 三聚氯氰 阅读笔记

声明 本文是学习GB-T 25814-2010 三聚氯氰. 而整理的学习笔记,分享出来希望更多人受益,如果存在侵权请及时联系我们 1 范围 本标准规定了三聚氯氰的要求、采样、试验方法、检验规则以及标志、标签、包装、运输、贮存、安全、 安全技术说明书。 本标准适用于三聚氯氰的产品…

基于springboot+vue的大学生创新创业系统(前后端分离)

博主主页&#xff1a;猫头鹰源码 博主简介&#xff1a;Java领域优质创作者、CSDN博客专家、公司架构师、全网粉丝5万、专注Java技术领域和毕业设计项目实战 主要内容&#xff1a;毕业设计(Javaweb项目|小程序等)、简历模板、学习资料、面试题库、技术咨询 文末联系获取 项目介绍…

idea 如何在命令行快速打开项目

背景 在命令行中从git仓库检出项目&#xff0c;如何在该命令行下快速用idea 打开当前项目&#xff0c;类似vscode 可以通过在项目根目录下执行 code . 快速打开当前项目。 步骤 以macos 为例 vim /usr/local/bin/idea 输入如下内容 #!/bin/sh open -na "IntelliJ IDE…

浅谈智能型电动机控制器在斯里兰卡电厂中的应用

摘要&#xff1a;传统的低压电动机保护是通过继电保护二次回路实现&#xff0c;但是我们结合电厂辅助控制设备的特点及其控制要求&#xff0c;推荐ARD2F智能型电动机控制器。以下综合介绍ARD2F智能型电动机控制器产品的特点及其智能化保护、测量、控制和通讯等。 Abstract: Th…

基于微信小程序的校园失物招领系统设计与实现(源码+lw+部署文档+讲解等)

前言 &#x1f497;博主介绍&#xff1a;✌全网粉丝10W,CSDN特邀作者、博客专家、CSDN新星计划导师、全栈领域优质创作者&#xff0c;博客之星、掘金/华为云/阿里云/InfoQ等平台优质作者、专注于Java、小程序技术领域和毕业项目实战✌&#x1f497; &#x1f447;&#x1f3fb;…

PS7软件功能——相位、延迟测量

PicoScope 7 &#xff08;PS7&#xff09;软件增添了新的测量功能——测量相位之间的角度和延迟时间&#xff08;图1&#xff09;。 注&#xff1a;Phase- 相位&#xff1b;Delay - 延迟。 图1 相位测量 点击“Phase”&#xff0c;选择需要测量的通道&#xff0c;如下图选择的是…