淺析libuv源碼-node事件輪詢解析(2)

来源:https://www.cnblogs.com/QH-Jimmy/archive/2019/05/07/10825884.html
-Advertisement-
Play Games

上一篇講了輪詢的邊角料,這篇進入正題。 Poll for I/O The loop blocks for I/O. At this point the loop will block for I/O for the duration calculated in the previous step. ...


  上一篇講了輪詢的邊角料,這篇進入正題。(竟然真有人看我博客,上兩個圖給你們整理下思路)

  這是輪詢總流程圖。

  下圖為本節內容簡圖。

 

Poll for I/O

  The loop blocks for I/O. At this point the loop will block for I/O for the duration calculated in the previous step. All I/O related handles that were monitoring a given file descriptor for a read or write operation get their callbacks called at this point.

  簡單來講,就兩點:

1、根據計算的timeout來進行I/O操作,這裡的操作包括fs.readFile、fs.stat等,期間進程將被阻塞。

2、所有I/O的handles會使用一個給定的文件描述符進行操作,並會調用對應的callbacks。

 

Call pengding callbacks

  Pending callbacks are called. All I/O callbacks are called right after polling for I/O, for the most part. There are cases, however, in which calling such a callback is deferred for the next loop iteration. If the previous iteration deferred any I/O callback it will be run at this point.

  從解釋中看不出什麼信息,但只有這一步真正調用我們從JS傳過去的callback。

 

  既然要解析,那麼不如從一個API入手,走一遍看代碼流向。

  這裡還是用之前fs.stat方法,雖然在前面(https://www.cnblogs.com/QH-Jimmy/p/9395985.html)有過看似很深入的解釋,但也只是走馬觀花的看了一遍,這次重新梳理一遍。

  與上篇一樣,省略大量無關源碼。

 

JavaScript層

  同樣從簡易的lib/fs.js文件中出發,這次著重註意的是傳過去的三個參數。

function stat(path, options, callback) {
  // ...
  // FSReqCallback是來源於c++層的一個class
  const req = new FSReqCallback(options.bigint);
  req.oncomplete = callback;
  // 這裡的第三個參數是一個Object 回調函數僅作為一個oncomplete屬性
  binding.stat(pathModule.toNamespacedPath(path), options.bigint, req);
}

  如下:

1、第一個是處理過的路徑path

2、第二個是一個可選參數,一般情況沒人傳,本文也不會做解析,畢竟不是重點

3、第三個是一個新生成的對象,而不是將我們的function直接作為參數傳到stat方法中

 

node層

  接下來直接到src/node_file.cc文件中,這裡會檢測參數並做包裝,不用懂C++直接看註釋。

static void Stat(const FunctionCallbackInfo<Value>& args) {
  Environment* env = Environment::GetCurrent(args);
  // 檢測參數數量是否大於2
  const int argc = args.Length();
  CHECK_GE(argc, 2);
  // 檢測path參數合法性
  BufferValue path(env->isolate(), args[0]);
  CHECK_NOT_NULL(*path);
  // 檢測是否傳了use_bigint
  bool use_bigint = args[1]->IsTrue();
  // 在同步調用stat的情況下 這個class為空指針
  // if、else後面有同步/非同步調用時參數情況
  FSReqBase* req_wrap_async = GetReqWrap(env, args[2], use_bigint);
  if (req_wrap_async != nullptr) {  // stat(path, use_bigint, req)
    AsyncCall(env, req_wrap_async, args, "stat", UTF8, AfterStat,
              uv_fs_stat, *path);
  } else {  // stat(path, use_bigint, undefined, ctx)
    // 同步情況...
  }
}

  在之前那一篇講node架構時,這塊只是簡單說了一下,直接跳到同步調用那塊了。

  但是只有在非同步調用的時候才會出現poll for I/O,所以這次跳過同步情況,來看非同步調用情況。(那一篇的非同步情況是瞎雞兒亂說的,根本沒法看)

  首先整理一下AsyncCall方法的參數。

AsyncCall(env, req_wrap_async, args, "stat", UTF8, AfterStat,uv_fs_stat, *path);

env => 一個萬能的全局對象,能存東西能做事情。可以通過env->isolate獲當前取V8引擎實例,env->SetMethod設置JS的對象屬性等等

req_wrap_async => 一個包裝類

args => 從JavaScript層傳過來的函數數組,可以簡單理解為arguments

"stat" => 需要調用的fs方法名字元串

UTF8 => 編碼類型

AfterStat => 一個內置的一個回調函數

uv_fs_stat => 非同步調用的實際方法

*path => 路徑參數

  參數看完,可以進到方法里,這是一個模版函數,不過也沒啥。

// Func類型為普通函數
// Args為路徑path
template <typename Func, typename... Args>
inline FSReqBase* AsyncCall(Environment* env,
    FSReqBase* req_wrap,
    const FunctionCallbackInfo<Value>& args,
    const char* syscall, enum encoding enc,
    uv_fs_cb after, Func fn, Args... fn_args) {
  return AsyncDestCall(env, req_wrap, args, syscall, nullptr, 0, enc, after, fn, fn_args...);
}

template <typename Func, typename... Args>
inline FSReqBase* AsyncDestCall(Environment* env,
    FSReqBase* req_wrap,
    const FunctionCallbackInfo<Value>& args,
    const char* syscall, const char* dest, size_t len,
    enum encoding enc, uv_fs_cb after, Func fn, Args... fn_args) {
  // 非同步調用這個類不能為空指針
  CHECK_NOT_NULL(req_wrap);
  // 依次調用包裝類的方法
  req_wrap->Init(syscall, dest, len, enc);
  int err = req_wrap->Dispatch(fn, fn_args..., after);
  if (err < 0) {
    // 出現error的情況 不用看...
  } else {
    req_wrap->SetReturnValue(args);
  }

  return req_wrap;
}

  看似一大團,實際上函數內容非常少,僅僅只有一個Init、一個Dispatch便完成了整個stat操作。

  由於都來源於req_wrap類,所以需要回頭去看一下這個類的內容。

FSReqBase* req_wrap_async = GetReqWrap(env, args[2], use_bigint);
inline FSReqBase* GetReqWrap(Environment* env, Local<Value> value, bool use_bigint = false) {
  if (value->IsObject()) {
    return Unwrap<FSReqBase>(value.As<Object>());
  } else if (value->StrictEquals(env->fs_use_promises_symbol())) {
    // Promise情況...
  }
  return nullptr;
}

  不用看Promise的情況,在最開始的講過,傳過來的第三個參數是一個新生成的對象,所以這裡的args[2]正好滿足value->IsObject()。

  這裡的return比較魔性,沒有C++基礎的不太好講,先看看源碼。

template <class T>
static inline T* Unwrap(v8::Local<v8::Object> handle) {
  // ...
  // 這裡是類型強轉
  return static_cast<T*>(wrap);
}

class FSReqBase : public ReqWrap<uv_fs_t> {
 public:
  // ...
  void Init(const char* syscall, const char* data, size_t len, enum encoding encoding) {}
}

template <typename T>
class ReqWrap : public AsyncWrap, public ReqWrapBase {
 public:
  // ...
  inline int Dispatch(LibuvFunction fn, Args... args);

 private:
  // ...
};

  剔除了所有無關的代碼,留下了一些關鍵信息。

  簡單來講,這裡的Unwrap是一個模版方法,作用僅僅是做一個強轉,關鍵在於強轉的FsReqBase類。這個類的繼承鏈比較長,可以看出類本身有一個Init,而在父類ReqWrap上有Dispatch方法,知道方法怎麼來的,這就足夠了。

  這裡重新看那兩步調用。

req_wrap->Init(syscall, dest, len, enc);
int err = req_wrap->Dispatch(fn, fn_args..., after);

  首先是Init。

void Init(const char* syscall, const char* data, size_t len, enum encoding encoding) {
  syscall_ = syscall;
  encoding_ = encoding;

  if (data != nullptr) {
    // ...
  }
}

  四個參數實際上分別是字元串"stat"、nullptr、0、枚舉值UFT8,所以這裡的if不會走,只是兩個賦值操作。

  接下來就是Dispatch。

template <typename T>
template <typename LibuvFunction, typename... Args>
int ReqWrap<T>::Dispatch(LibuvFunction fn, Args... args) {
  Dispatched();

  // This expands as:
  //
  // int err = fn(env()->event_loop(), req(), arg1, arg2, Wrapper, arg3, ...)
  //              ^                                       ^        ^
  //              |                                       |        |
  //              \-- Omitted if `fn` has no              |        |
  //                  first `uv_loop_t*` argument         |        |
  //                                                      |        |
  //        A function callback whose first argument      |        |
  //        matches the libuv request type is replaced ---/        |
  //        by the `Wrapper` method defined above                  |
  //                                                               |
  //               Other (non-function) arguments are passed  -----/
  //               through verbatim
  int err = CallLibuvFunction<T, LibuvFunction>::Call(fn, env()->event_loop(), req(), MakeLibuvRequestCallback<T, Args>::For(this, args)...);
  if (err >= 0)
    env()->IncreaseWaitingRequestCounter();
  return err;
}

  這個方法的內容展開之後巨麻煩,懶得講了,直接看官方給的註釋。

  簡單來說,就是相當於直接調用給的uv_fs_stat,參數依次為事件輪詢的全局對象loop、fs專用handle、路徑path、包裝的callback函數。

  這篇先這樣。


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

-Advertisement-
Play Games
更多相關文章
  • 說起迭代器, 那就要先瞭解迭代模式 迭代模式: 提供一種方法可以順序獲得聚合對象中的各個元素, 是一種最簡單, 也是最常見的設計模式,它可以讓用戶通過特定的介面尋訪集合中的每一個元素 而不用瞭解底層的實現。 迭代器 : 依照迭代模式的思想而實現, 分為內部迭代器和外部迭代器, 內部迭代器: 本身是函 ...
  • 頁面效果: 只是測試了一部分功能,因篇幅有限,不能測試全面,有什麼問題,歡迎留言一起學習! 裡面的正則表達式,參考小編的前幾篇文章,有資源連接的 ...
  • 註意點: 元素類型分為 塊級元素 和 行內元素 塊級元素: 在網頁中以塊的形式顯示,預設情況都會占據一行,兩個相鄰的塊級元素不會出現併列顯示的元素,按照順序自上而下排列。 塊級元素可以定義自己的寬度和長度。 div: dl:與dt、dd搭配使用 form:交互表單 h1-h6:標題 hr:水平線 o ...
  • 示例代碼托管在: "http://www.github.com/dashnowords/blogs" 博客園地址: "《大史住在大前端》原創博文目錄" 華為雲社區地址: "【你要的前端打怪升級指南】" [TOC] 一. 粒子特效 粒子特效一般指密集點陣效果,它並不是canvas獨有的,這個名詞更多出 ...
  • 移動佈局 1.移動設備有 手機和ipad 安卓系統 ios系統 安卓系統的內置瀏覽器是谷歌 ios內置 safari瀏覽器 他們的內核都是web,不考慮相容性,需要考慮的問題是安卓和ios的區別? 2.佈局(寫頁面) 要考慮以下幾點 設置的寬度 設備的實際大小(設備的解析度)廠家給的 頁面的大小 設 ...
  • 上一章介紹了閾值比例尺:https://www.cnblogs.com/littleSpill/p/10825038.html。到目前所有的定量比例尺已經介紹完了。 現在給大家介紹一下序數比例尺。 定量比例尺的定義域都是連續的,值域有連續的也有離散的。序數比例尺(Ordinal Scale)的定義域 ...
  • JQuery 第一章:Jquery概念介紹 1.1 Jquery介紹 (1)並不是一門新語言。將常用的、複雜的操作進行函數化封裝,直接調用,大大降低了使用JavaScript的難度,改變了使用JavaScript的習慣。 (2)常用插件網站:www.jq22.com (3)導入jquery插件兩種方 ...
  • 今天解決一個線上bug的時候發現的問題,如下圖: 從表象來看,同樣的圖片,安卓手機上可以正常展示,但是到ios手機上首次進入頁面就不能正常顯示圖片,必須手動刷新一次頁面才能正常載入。 這時候,我們首先會考慮是不是ios設備的相容問題? 於是乎,第一想到的就是問度娘,ios手機瀏覽器不能正常展示圖片是 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 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 ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...