elixir 高可用系列（五） Supervisor

来源:http://www.cnblogs.com/wang_yb/archive/2016/06/08/5564459.html
-Advertisement-
Play Games

概述 OTP 平臺的容錯性高，是因為它提供了機制來監控所有 processes 的狀態，如果有進程出現異常， 不僅可以及時檢測到錯誤，還可以對 processes 進行重啟等操作。 有了 supervisor，可以有效的提高系統的可用性，一個 supervior 監督一個或多個應用， 同時， sup ...


概述

OTP 平臺的容錯性高，是因為它提供了機制來監控所有 processes 的狀態，如果有進程出現異常， 不僅可以及時檢測到錯誤，還可以對 processes 進行重啟等操作。

有了 supervisor，可以有效的提高系統的可用性，一個 supervior 監督一個或多個應用， 同時， supervior 也可以監督 supervior，從而形成一個監督樹，提高整個系統的可用性。

註意 ，supervior 最好只用於監督，不要有其他的業務邏輯處理，越是接近監督樹根部的 supervior 就要越簡單， 因為 supervior 簡單就不容易出錯，它是保證系統高可用的關鍵。

監督者示例

下麵，使用 elixir 中提供的 Supervisor 模塊，構造簡單的監督示例來演示如何提高系統的可用性。

監督策略

監督策略有4種：

  1. :one_for_one 只重啟出錯的 process
  2. :one_for_all 當有 process 出錯時，重啟所有的 process
  3. :rest_for_one 重啟出錯的 process ，以及所有在它之後啟動的 process（也就是重啟對出錯 process 有依賴的 所有 process）
  4. :simple_one_for_one 類似 :one_for_one ，但是 supervior 只能包含一個 process

監督策略的轉換非常簡單，下麵演示2種監督策略的示例：

one for one

defmodule PseudoServerA do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerA PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerA", []}
  end
end

defmodule PseudoServerB do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerB PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerB", []}
  end
end

defmodule PseudoServerC do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerC PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerC", []}
  end
end

defmodule SupervisorTest do
  import Supervisor.Spec

  def init() do
    children = [
      worker(PseudoServerA, [[], [name: :server_a]]),
      worker(PseudoServerB, [[], [name: :server_b]]),
      worker(PseudoServerC, [[], [name: :server_c]])
    ]

    # Start the supervisor with children
    Supervisor.start_link(children, strategy: :one_for_one)
  end

end

測試方式：

$ iex -S mix

# 啟動 supervisor 及其監督的3個 process 
iex(1)> SupervisorTest.init
{:ok, #PID<0.145.0>}

# 啟動後， 3個 process 的 PID 如下
iex(2)> GenServer.call(:server_a, :display)
'ServerA PID: <0.146.0>'
iex(3)> GenServer.call(:server_b, :display)
'ServerB PID: <0.147.0>'
iex(4)> GenServer.call(:server_c, :display)
'ServerC PID: <0.148.0>'

# 通過消息 :err 讓 serverA 出錯
iex(5)> GenServer.cast(:server_a, :err)
:ok
iex(6)>
14:47:53.119 [error] GenServer :server_a terminating
** (stop) "stop ServerA"
Last message: {:"$gen_cast", :err}
State: []

nil

# serverA 出錯後，再次查看3個process的PID，發現 supervisor 只重啟了 serverA，符合策略 :one_for_one
iex(7)> GenServer.call(:server_a, :display)
'ServerA PID: <0.155.0>'
iex(8)> GenServer.call(:server_b, :display)
'ServerB PID: <0.147.0>'
iex(9)> GenServer.call(:server_c, :display)
'ServerC PID: <0.148.0>'

one_for_all

我們換一種監督策略試試看，只需要將上面的代碼

# Start the supervisor with children
Supervisor.start_link(children, strategy: :one_for_one)

改成

# Start the supervisor with children
Supervisor.start_link(children, strategy: :one_for_all)

測試步驟 和 one_for_one 一樣：

$ iex -S mix

# 啟動 supervisor 及其監督的3個 process 
iex(1)> SupervisorTest.init
{:ok, #PID<0.145.0>}

# 啟動後， 3個 process 的 PID 如下
iex(2)> GenServer.call(:server_a, :display)
'ServerA PID: <0.146.0>'
iex(3)> GenServer.call(:server_b, :display)
'ServerB PID: <0.147.0>'
iex(4)> GenServer.call(:server_c, :display)
'ServerC PID: <0.148.0>'

# 通過消息 :err 讓 serverA 出錯
iex(5)> GenServer.cast(:server_a, :err)
:ok
iex(6)>
14:55:16.183 [error] GenServer :server_a terminating
 ** (stop) "stop ServerA"
 Last message: {:"$gen_cast", :err}
 State: []

 nil

# serverA 出錯後，再次查看3個process的PID，發現 supervisor 重啟了所有 process，符合策略 :one_for_all
iex(7)> GenServer.call(:server_a, :display)
'ServerA PID: <0.153.0>'
iex(8)> GenServer.call(:server_b, :display)
'ServerB PID: <0.154.0>'
iex(9)> GenServer.call(:server_c, :display)
'ServerC PID: <0.156.0>'

監督樹

監督者並不是一維的，監督者也可以監督其它監督者，從而形成樹狀的監督關係。

修改上面的測試代碼如下：（只修改了 Supervisor 的部分）

defmodule PseudoServerA do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerA PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerA", []}
  end
end

defmodule PseudoServerB do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerB PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerB", []}
  end
end

defmodule PseudoServerC do
  use GenServer

  def start_link(state, opts \\ []) do
    GenServer.start_link(__MODULE__, state, opts)
  end

  def handle_call(:display, _from, []) do
    {:reply, 'ServerC PID: ' ++ :erlang.pid_to_list(self()), []}
  end

  def handle_cast(:err, []) do
    {:stop, "stop ServerC", []}
  end
end

defmodule SupervisorBranch do
  import Supervisor.Spec

  def start_link(state) do
    children = [
      worker(PseudoServerA, [[], [name: :server_a]]),
      worker(PseudoServerB, [[], [name: :server_b]]),
    ]

    Supervisor.start_link(children, strategy: :one_for_one)
  end

end

defmodule SupervisorRoot do
  import Supervisor.Spec

  def init() do
    children = [
      supervisor(SupervisorBranch, [[name: :supervisor_branch]]),
      worker(PseudoServerC, [[], [name: :server_c]])
    ]

    # Start the supervisor with children
    Supervisor.start_link(children, strategy: :one_for_all)
  end

end

測試流程如下：

# 啟動 根 監督者 
iex(1)> SupervisorRoot.init
{:ok, #PID<0.149.0>}

# 啟動後，查看 3 個process 的PID
iex(2)> GenServer.call(:server_a, :display)
'ServerA PID: <0.151.0>'
iex(3)> GenServer.call(:server_b, :display)
'ServerB PID: <0.152.0>'
iex(4)> GenServer.call(:server_c, :display)
'ServerC PID: <0.153.0>'

# 通過消息 :err 讓 serverA 出錯
iex(5)> GenServer.cast(:server_a, :err)
:ok
iex(6)>
15:31:15.846 [error] GenServer :server_a terminating
 ** (stop) "stop ServerA"
 Last message: {:"$gen_cast", :err}
 State: []

 nil

 # serverA 出錯後，因為它的監督者 SupervisorBranch 的策略是 :one_for_one，所以只重啟了 serverA
 iex(7)> GenServer.call(:server_a, :display)
 'ServerA PID: <0.158.0>'
 iex(8)> GenServer.call(:server_b, :display)
 'ServerB PID: <0.152.0>'
 iex(9)> GenServer.call(:server_c, :display)
 'ServerC PID: <0.153.0>'

 # 通過消息 :err 讓 serverC 出錯
 iex(10)> GenServer.cast(:server_c, :err)
 :ok

 15:31:35.264 [error] GenServer :server_c terminating
 ** (stop) "stop ServerC"
 Last message: {:"$gen_cast", :err}
 State: []

 # serverC 出錯後，因為它的監督者 SupervisorRoot 的策略是 :one_for_all，所以所有的 proocess 都重啟了
 iex(11)> GenServer.call(:server_a, :display)
 'ServerA PID: <0.166.0>'
 iex(12)> GenServer.call(:server_c, :display)
 'ServerC PID: <0.168.0>'
 iex(13)> GenServer.call(:server_b, :display)
 'ServerB PID: <0.167.0>'

通過監督樹，我們可以給不同的 process 分組，然後讓每個組有不同的監督策略。

總結

有了監督機制，可以及時的把握所有 process 的狀態，通過監督樹，還可以加入不同恢復機制。 因此，用好 Supervisor 模塊，可以極大提高系統的可用性。

Supervisor 模塊詳細內容可以參見：http://elixir-lang.org/docs/stable/elixir/Supervisor.html

來源：http://blog.iotalabs.io/


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • Linux~yum命令安裝程式
    當我們使用linux的最小安裝時,很多系統程式都沒有被安裝,這時,我們可以通過yum命令安裝指定的包包,當然前提是你的linux處於聯網狀態的,下麵說一下yum的用法 1 顯示程式列表(聯網的) yum list | grep net-tools //顯示網上所有的net-tools包包列表,其中g ...
  • 工作周記 - 第三周 (2016/06/06 - 2016/06/8) 端午快樂
    1、訂單流程重新設計流程，資料庫表設計在原有基礎上進行相應的改動 2、企業類型增加車隊概念 3、重新修改sso單點登錄，原型支持一個用戶可登錄多個客戶端，目前只能同時登錄一個客戶端； 修改相應的攔截器 4、圖片/文件上傳通用組建，支持web端非同步上傳，以及手機端上傳圖片 5、資料庫模型推薦 (1)、 ...
  • [PHP源碼閱讀]array_slice和array_splice函數
    array_slice和array_splice函數是用在取出數組的一段切片，array_splice還有用新的切片替換原刪除切片位置的功能。類似javascript中的Array.prototype.splice和Array.prototype.slice方法。 ...
  • java工廠－積木系列
    這裡記錄一個例子，工廠模式的理論就不扯淡了。 遇到的問題：支付方式有很多種，比如微信支付 支付寶支付 銀聯支付 等等。我們在在實現的時候發現他麽的流程上是相似的，以及每個方式都有大量的個性配置，在實例化時需要載入他們，以及為了清晰的講調用方和實現方進行分離，就有來下麵的小設計。 以銀聯為例，(通過測 ...
  • python學習之多線程(二)
    使用multiprocessing 使用multiprocessing.dummy 單使用multiprocessing模塊的指的是多進程，使用multiprocessing.dummy則表示使用的是多線程 ...
  • python flask detect browser language
    python flask detect browser language No problem. We won't show you that ad again. Why didn't you like it? Uninteresting Misleading Offensive Repetitiv ...
  • java String 源碼分析
    TODO ...
  • json小結
    JSON的用途 使用基於JavaScript的應用程式，其中包括瀏覽器擴展和網站 使用JSON格式序列化和結構化的數據傳輸網路連接 這主要用於伺服器和Web應用程式之間的數據傳輸 Web服務和API採用JSON格式提供公共數據 它可以用來與現代編程語言 JSON的特點 易於讀寫JSON 輕量級的基於 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類