主頁 > 後端開發 > 面試官:說說你了解幾種限流演算法,手寫個demo?

面試官:說說你了解幾種限流演算法,手寫個demo?

2021-12-07 10:31:06 後端開發

前言

在流量突增的場景下,為了保證后端服務在整體上一個穩定性,我們需要對請求進行限流,來避免系統崩潰,

不過限流會對少部分用戶的請求直接進行拒絕或者延遲處理,影響這些用戶的體驗,

本文會介紹一些常見的限流演算法,并在最后附上對分布式限流的一些思考,


計數器法

計數器演算法,也成固定視窗法,可以控制在固定的時間視窗內,允許通過的最大的請求數,

例如,我們設定時間間隔視窗intervalWindow為1分鐘,該視窗內的最大請求數max為100,

當第1個請求到來時,我們記錄下當前視窗內的第一個請求的時間firstReqTime,那么之后的請求到來時,先判斷是否進入下一個視窗,

如果進入,則直接重置firstReqTime為當前時間,該請求通過,如果沒進入,再判斷是否超過max,

demo如下(并沒有考慮執行緒安全):

/**
 * @author qcy
 * @create 2021/12/04 18:20:30
 */
public class CountLimiter {
    /**
     * 時間間隔視窗(單位:毫秒)
     */
    private long intervalWindow;
    /**
     * 該視窗內的最大請求數
     */
    private int max;
    /**
     * 當前視窗內的請求計數
     */
    private int count;
    /**
     * 當前視窗內的第一個請求的時間
     */
    private long firstReqTime = System.currentTimeMillis();

    public CountLimiter(int intervalWindow, int max) {
        this.intervalWindow = intervalWindow;
        this.max = max;
    }

    //省略get與set方法

    public boolean limit() {
        long now = System.currentTimeMillis();

        if (now > firstReqTime + intervalWindow) {
            //代表已經進入下一個視窗
            firstReqTime = now;
            count = 1;
            return true;
        }

        //還在當前的時間視窗內
        if (count + 1 <= max) {
            count++;
            return true;
        }

        return false;
    }
    
}

計數器法,非常簡單粗暴,以上demo只是單機式限流,

如果需要進行分布式限流,可以使用Redis,以介面名稱作為key,max作為value,intervalWindow作為key過期時間,

當請求過來時,如果key不存在,則代表已經進入下一個視窗,value賦值為max-1,并允許請求通過,

如果key存在,則再判斷value是否大于0,大于0則允許請求通過,否則進行限流,

使用Redis進行分布式限流,需要注意保證代碼的原子性,可以直接使用lua腳本,

計數器法的缺點

該演算法無法應對突發的流量,因為計數器法是固定視窗的,

例如第一個請求10:00:00到來,那么第一個時間視窗為10:00:00-10:01:00,之后在10:00:59時,突然來了99個請求,又在下一個時間視窗的10:01:01來了100個請求,

也就是說,在10:00:59-10:01:01的短短幾秒內,共有199個請求到來,可能會瞬間壓垮我們的應用,


滑動視窗法

滑動視窗法可以解決計數器在固定視窗法下無法應對突發流量的問題

固定視窗法是以第一個請求為視窗開始期,并向后截取intervalWindow長度,只有當視窗時間流逝完,才開辟新的視窗,

滑動視窗法以每一個請求為視窗結束期,向前截取intervalWindow長度,檢查該范圍內的請求總和,相當于會為每個請求開辟一個新視窗,

既然要知道前intervalWindow長度內到底有多少個請求,那么就要為每個放行的請求記錄發生時間,

demo如下:

public class SlidingWindowLimiter {

    /**
     * 時間間隔視窗(單位:毫秒)
     */
    private long intervalWindow;
    /**
     * 視窗內的最大請求數
     */
    private int max;
    /**
     * 限流容器
     * 佇列尾部保存最新通過的請求時間
     */
    private LinkedList<Long> list = new LinkedList<>();

    public SlidingWindowLimiter(int intervalWindow, int max) {
        this.intervalWindow = intervalWindow;
        this.max = max;
    }

    //省略get與set方法


    public boolean limit() {
        long now = System.currentTimeMillis();

        //佇列未滿,說明當前視窗還可以接收請求
        if (list.size() < max) {
            list.addLast(now);
            return true;
        }

        //佇列已滿
        Long first = list.getFirst();
        if (now - first <= intervalWindow) {
            //說明新請求和佇列中的請求還處于一個視窗內,觸發了限流
            return false;
        }

        //說明新請求和佇列中的請求不在通過視窗內
        list.removeFirst();
        list.addLast(now);
        return true;
    }
}

當然,也可以使用Redis的List或Zset實作嗎,大致步驟和以上demo類似,

這里多說一句,限流中的滑動視窗法和TCP的滑動視窗其實很像,滑動視窗法是去主動限流,而TCP的滑動視窗則是接收方為了告訴發送方自己還能接受多少資料,是對發送方的“限流”,

滑動視窗法的缺點

在滑動視窗法中,因為要倒推視窗的開始期,所以需要記錄每個請求的執行時間,會額外占用一些記憶體,

此外,在演算法中會頻繁地removeFirst與addLast,在選擇錯誤的資料結構下(例如陣列),可能會造成很大的移動開銷,


漏桶法

水龍頭可以通過松緊來控制出水的速率,下方有一個儲蓄桶來保存當前的水,儲蓄通底部有一個出口,內部的水會以恒定的速率從出口漏掉,

如果儲蓄桶滿了之后,再進來的水會全部溢位,只有當出水速率和漏水速率相同時,儲蓄桶才會在不漏水的前提下達到最大的吞吐量,

我們把水比作請求,水龍頭就是客戶端,請求產生的速率肯定不是恒定的,但處理請求的速率是恒定的,當儲蓄桶滿了之后,請求產生的速率必須要和處理請求的速率一致,

demo如下:

public class LeakyBucketLimiter {
    /**
     * 上次請求到來的時間
     */
    private long preTime = System.currentTimeMillis();
    /**
     * 漏水速率,n/s
     */
    private int leakRate;
    /**
     * 儲蓄桶容量
     */
    private int capacity;
    /**
     * 當前水量
     */
    private int water;

    public LeakyBucketLimiter(int leakRate, int capacity) {
        this.leakRate = leakRate;
        this.capacity = capacity;
    }

    //省略get與set方法

    public boolean limit() {
        long now = System.currentTimeMillis();

        //先漏水,計算剩余水量
        water = Math.max(0, water - (int) ((now - preTime) / 1000) * leakRate);
        preTime = now;

        //桶未滿
        if (water + 1 <= capacity) {
            water++;
            return true;
        }

        return false;
    }
}

仔細一想,儲蓄桶能夠把不定速率的請求轉化為恒定速率的請求,和訊息佇列一樣,具有削峰填谷的作用,

其實整套裝置和ScheduledThreadPoolExecutor執行緒池更像,將儲蓄桶想象為具有延時特性的阻塞佇列,超出佇列容量的請求,將直接執行拒絕策略,

如果儲蓄桶的容量為Integer.MAX_VALUE,流速為10/s,則可通過以下的代碼來模擬漏桶:

        //最大任務數為Integer.MAX_VALUE,即儲蓄桶容量
        ScheduledExecutorService pool = Executors.newScheduledThreadPool(30);
        //每隔0.1秒處理1個請求,即流速為10/s
        pool.scheduleAtFixedRate(() -> System.out.println("處理請求"), 0, 100, TimeUnit.MILLISECONDS);

漏桶法的缺點

使用漏桶法去做限流,在業務平穩期其實已經夠用了,但是在業務高峰期,我們又希望動態地去調整處理請求的速率,而不是一成不變的速率,

我們大可以動態地去改變引數leakRate的值,不過在計算剩余水量的時候,將會十分復雜,

因此,如果要考慮到對突發流量的控制,就不太推薦漏桶法了,


令牌桶法

首先有一個令牌桶,然后系統以一個恒定的速率向桶中放入令牌,當桶滿時,會丟棄生成的令牌,

每有一個請求過來時,拿到令牌就可以執行,否則阻塞獲取或者被直接丟棄,

一個簡要的demo如下:

public class TokenBucketLimiter {
    /**
     * 上次請求到來的時間
     */
    private long preTime = System.currentTimeMillis();
    /**
     * 放入令牌速率,n/s
     */
    private int putRate;
    /**
     * 令牌桶容量
     */
    private int capacity;
    /**
     * 當前令牌數
     */
    private int bucket;

    public TokenBucketLimiter(int putRate, int capacity) {
        this.putRate = putRate;
        this.capacity = capacity;
    }

    //省略get與set方法

    public boolean limit() {
        long now = System.currentTimeMillis();

        //先放入令牌,再獲取令牌
        bucket = Math.min(capacity, bucket + (int) ((now - preTime) / 1000) * putRate);
        preTime = now;

        if (bucket == 0) {
            return false;
        }

        bucket--;
        return true;
    }
}

看的出來,令牌桶和漏桶的原理有些相似,

漏桶是以一個恒定速率的出水,即處理請求的速率是恒定的,而令牌桶則是以一個恒定的速率往桶中放入令牌,在桶中令牌用完之前,并不限制處理請求的速率,

令牌桶的一個優勢在于,可以允許短時間內的一次突發流量,但不會允許在短時間內的多次突發流量,因為令牌的填充也是需要時間的,

Guava中的RateLimiter

google的工具包Guava中的RateLimiter就是對令牌桶的實作,其包含了兩種限流模式,位置處于SmoothRateLimiter的兩個靜態內部類中:

  • SmoothBursty,穩定模式,令牌生成的速率是恒定的,為默認模式,
  • SmoothWarmingUp,預熱模式,逐漸提升令牌的生成速率到一固定值,

其中acquire方法支持阻塞式獲取,tryAcquire支持獲取不到就回傳或者在指定時間內阻塞獲取,

關于RateLimiter原始碼分析,后面應該會另起篇幅介紹,


分布式限流

以上的RateLimiter屬于單機式限流,如果要進行分布式限流該怎么處理呢?

無非是將控制請求的閾值從單機中挪到統一的中間件上,例如Redis,

對于計數器法

如果要限制一天中對某個介面的呼叫次數,則可以使用介面的名稱作為key,value作為預設的閾值,過期時間為24小時,請求到來時利用原子指令判斷key是否存在,不存在則設定該key;存在則減1,再判斷是否大于0,

對于滑動視窗法

單機中我們使用list,在分布式系統中,則可以使用Redis的有序集合zset,key為某個介面名稱,value為處理請求的時間戳,請求到來時,先使用removeRangeByScore移除上一個時間視窗內的記錄,接著使用size獲取集合長度,若大于閾值,則進行限流,

對于漏桶法

阿里巴巴的開源分布式限流系統Sentienel,支持漏桶與令牌桶演算法,

個人覺得非常有必要去了解一下Sentienel的整體架構,可以看這篇文章入門阿里巴巴開源限流系統 Sentinel 全決議

對于令牌桶法

可以在每個應用中起一個延時的執行緒池,定時生產令牌到Redis中,這種方案在水平擴展時可以同比例的擴大限流閾值,但性能不高,

當然也可以利用lua腳本,在lua腳本中直接將生產令牌與獲取令牌的操作合在一起,即和上文的demo一樣,先放入令牌再獲取令牌,之后將腳本放在代碼中,每個應用先判斷Redis中是否存在該腳本,若不存在再加載該腳本,后續獲取令牌時直接執行該腳本即可,

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/374750.html

標籤:java

上一篇:SpringCloud微服務電商系統在Kubernetes集群中上線詳細教程

下一篇:資料結構 Java資料結構 堆疊和佇列 以及LeetCode相關面試題

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • Rust中的智能指標:Box<T> Rc<T> Arc<T> Cell<T> RefCell<T> Weak

    Rust中的智能指標是什么 智能指標(smart pointers)是一類資料結構,是擁有資料所有權和額外功能的指標。是指標的進一步發展 指標(pointer)是一個包含記憶體地址的變數的通用概念。這個地址參考,或 ” 指向”(points at)一些其 他資料 。參考以 & 符號為標志并借用了他們所 ......

    uj5u.com 2023-04-20 07:24:10 more
  • Java的值傳遞和參考傳遞

    值傳遞不會改變本身,參考傳遞(如果傳遞的值需要實體化到堆里)如果發生修改了會改變本身。 1.基本資料型別都是值傳遞 package com.example.basic; public class Test { public static void main(String[] args) { int ......

    uj5u.com 2023-04-20 07:24:04 more
  • [2]SpinalHDL教程——Scala簡單入門

    第一個 Scala 程式 shell里面輸入 $ scala scala> 1 + 1 res0: Int = 2 scala> println("Hello World!") Hello World! 檔案形式 object HelloWorld { /* 這是我的第一個 Scala 程式 * 以 ......

    uj5u.com 2023-04-20 07:23:58 more
  • 理解函式指標和回呼函式

    理解 函式指標 指向函式的指標。比如: 理解函式指標的偽代碼 void (*p)(int type, char *data); // 定義一個函式指標p void func(int type, char *data); // 宣告一個函式func p = func; // 將指標p指向函式func ......

    uj5u.com 2023-04-20 07:23:52 more
  • Django筆記二十五之資料庫函式之日期函式

    本文首發于公眾號:Hunter后端 原文鏈接:Django筆記二十五之資料庫函式之日期函式 日期函式主要介紹兩個大類,Extract() 和 Trunc() Extract() 函式作用是提取日期,比如我們可以提取一個日期欄位的年份,月份,日等資料 Trunc() 的作用則是截取,比如 2022-0 ......

    uj5u.com 2023-04-20 07:23:45 more
  • 一天吃透JVM面試八股文

    什么是JVM? JVM,全稱Java Virtual Machine(Java虛擬機),是通過在實際的計算機上仿真模擬各種計算機功能來實作的。由一套位元組碼指令集、一組暫存器、一個堆疊、一個垃圾回收堆和一個存盤方法域等組成。JVM屏蔽了與作業系統平臺相關的資訊,使得Java程式只需要生成在Java虛擬機 ......

    uj5u.com 2023-04-20 07:23:31 more
  • 使用Java接入小程式訂閱訊息!

    更新完微信服務號的模板訊息之后,我又趕緊把微信小程式的訂閱訊息給實作了!之前我一直以為微信小程式也是要企業才能申請,沒想到小程式個人就能申請。 訊息推送平臺🔥推送下發【郵件】【短信】【微信服務號】【微信小程式】【企業微信】【釘釘】等訊息型別。 https://gitee.com/zhongfuch ......

    uj5u.com 2023-04-20 07:22:59 more
  • java -- 緩沖流、轉換流、序列化流

    緩沖流 緩沖流, 也叫高效流, 按照資料型別分類: 位元組緩沖流:BufferedInputStream,BufferedOutputStream 字符緩沖流:BufferedReader,BufferedWriter 緩沖流的基本原理,是在創建流物件時,會創建一個內置的默認大小的緩沖區陣列,通過緩沖 ......

    uj5u.com 2023-04-20 07:22:49 more
  • Java-SpringBoot-Range請求頭設定實作視頻分段傳輸

    老實說,人太懶了,現在基本都不喜歡寫筆記了,但是網上有關Range請求頭的文章都太水了 下面是抄的一段StackOverflow的代碼...自己大修改過的,寫的注釋挺全的,應該直接看得懂,就不解釋了 寫的不好...只是希望能給視頻網站開發的新手一點點幫助吧. 業務場景:視頻分段傳輸、視頻多段傳輸(理 ......

    uj5u.com 2023-04-20 07:22:42 more
  • Windows 10開發教程_編程入門自學教程_菜鳥教程-免費教程分享

    教程簡介 Windows 10開發入門教程 - 從簡單的步驟了解Windows 10開發,從基本到高級概念,包括簡介,UWP,第一個應用程式,商店,XAML控制元件,資料系結,XAML性能,自適應設計,自適應UI,自適應代碼,檔案管理,SQLite資料庫,應用程式到應用程式通信,應用程式本地化,應用程式 ......

    uj5u.com 2023-04-20 07:22:35 more