搜索

[25864] 2016-12-21_雾里看花之PythonAsyncio

文档创建者：s7ckTeam
浏览次数：1
最后更新：2025-01-19
2016-12-21_雾里看花之PythonAsyncio - -   A r m i n   R o n a c h e r 1 0 % 2 3 % 4 0 % 4 4 % 5 6 % 6 1 % 6 3 % 6 8 % 6 8 % 8 1 % 9 0 % 雾 里 看 花 之   P y t h o n   A s y n c i o 原 创   译 者 f i r s t a d r e a m   L i n u x 中 国   2 0 1 6 - 1 2 - 2 1 从 试 用 的 经 历 来 看 ， 该 模 块 比 我 预 想 的 复 杂 许 多 ， 我 现 在 可 以 非 常 肯 定 地 说 ， 我 不 知 道 该 如 何 恰 当 地 使 用   a s y n c i o 。 本 文 导 航 - 事 件 循 环 - a w a i t a b l e   与 协 程 c o r o u t i n e - 协 程 封 装 器 c o r o u t i n e   w r a p p e r - a w a i t a b l e   和   f u t u r e - 任 务 - 句 柄 - 执 行 器 E x e c u t o r - 传 输 和 协 议 - 如 何 使 用   a s y n c i o - 上 下 文 数 据 - 个 人 感 想 编 译 自 ：   h t t p : / / l u c u m r . p o c o o . o r g / 2 0 1 6 / 1 0 / 3 0 / i - d o n t - u n d e r s t a n d - a s y n c i o /   作 者 ：   A r m i n   R o n a c h e r 译 者 ：   f i r s t a d r e a m 最 近 我 开 始 发 力 钻 研   P y t h o n   的 新   a s y n c i o [ 1 ]   模 块 。 原 因 是 我 需 要 做 一 些 事 情 ， 使 用 事 件   I O   会 使 这 些 事 情 工 作 得 更 好 ， 炙 手 可 热 的   a s y n i o   正 好 可 以 用 来 牛 刀 小 试 。 从 试 用 的 经 历 来 看 ， 该 模 块 比 我 预 想 的 复 杂 许 多 ， 我 现 在 可 以 非 常 肯 定 地 说 ， 我 不 知 道 该 如 何 恰 当 地 使 用   a s y n c i o 。 从   T w i s t e d   框 架 借 鉴 一 些 经 验 来 理 解   a s y n i o   并 非 难 事 ， 但 是 ， a s y n c i o   包 含 众 多 的 元 素 ， 我 开 始 动 摇 ， 不 知 道 如 何 将 这 些 孤 立 的 零 碎 拼 图 组 合 成 一 副 完 整 的 图 画 。 我 已 没 有 足 够 的 智 力 提 出 任 何 更 好 的 建 议 ， 在 这 里 ， 只 想 分 享 我 的 困 惑 ， 求 大 神 指 点 。
原 语 原 语 a s y n c i o   通 过 c o r o u t i n e s 协 程   的 帮 助 来 实 现 异 步   I O 。 最 初 它 是 通 过     和     表 达 式 实 现 的 一 个 库 ， 因 为   P y t h o n   语 言 本 身 演 进 的 缘 故 ， 现 在 它 已 经 变 成 一 个 更 复 杂 的 怪 兽 。 所 以 ， 为 了 在 同 一 个 频 道 讨 论 下 去 ， 你 需 要 了 解 如 下 一 些 术 语 ： 事 件 循 环 事 件 循 环 策 略 a w a i t a b l e 协 程 函 数 老 式 协 程 函 数 协 程 协 程 封 装 g e n e r a t o r 生 成 器 f u t u r e 并 发 的   f u t u r e t a s k 任 务 句 柄 e x e c u t o r 执 行 器 t r a n s p o r t 传 输 协 议 此 外 ， P y t h o n   还 新 增 了 一 些 新 的 特 殊 方 法 ：   和   ， 用 于 异 步 块 操 作   和   ， 用 于 异 步 迭 代 器 （ 异 步 循 环 和 异 步 推 导 ） 。 为 了 更 强 大 些 ， 协 议 已 经 改 变 过 一 次 了 。   在   P y t h o n   3 . 5   它 返 回 一 个 a w a i t a b l e （ 这 是 个 协 程 ） ； 在   3 . 6 它 返 回 一 个 新 的 异 步 生 成 器 。 ， 用 于 自 定 义 的   a w a i t a b l e 你 还 需 要 了 解 相 当 多 的 内 容 ， 文 档 涵 盖 了 那 些 部 分 。 尽 管 如 此 ， 我 做 了 一 些 额 外 说 明 以 便 对 其 有 更 好 的 理 解 ： 事 件 循 环 事 件 循 环 a s y n c i o   事 件 循 环 和 你 第 一 眼 看 上 去 的 略 有 不 同 。 表 面 看 ， 每 个 线 程 都 有 一 个 事 件 循 环 ， 然 而 事 实 并 非 如 此 。 我 认 为 它 们 应 该 按 照 如 下 的 方 式 工 作 ： y i e l d y i e l d   f r o m _ _ a e n t e r _ _ _ _ a e n t e r _ _ _ _ a i t e r _ _ _ _ a n e x t _ _ _ _ a w a i t _ _
如 果 是 主 线 程 ， 当 调 用     时 创 建 一 个 事 件 循 环 。 如 果 是 其 它 线 程 ， 当 调 用     时 返 回 运 行 时 错 误 。 当 前 线 程 可 以 使 用     在 任 何 时 间 节 点 绑 定 事 件 循 环 。 该 事 件 循 环 可 由     函 数 创 建 。 事 件 循 环 可 以 在 不 绑 定 到 当 前 线 程 的 情 况 下 使 用 。   返 回 绑 定 线 程 的 事 件 循 环 ， 而 非 当 前 运 行 的 事 件 循 环 。 这 些 行 为 的 组 合 是 超 混 淆 的 ， 主 要 有 以 下 几 个 原 因 。   首 先 ， 你 需 要 知 道 这 些 函 数 被 委 托 到 全 局 设 置 的 底 层 事 件 循 环 策 略 。 默 认 是 将 事 件 循 环 绑 定 到 线 程 。   或 者 ， 如 果 需 要 的 话 ， 可 以 在 理 论 上 将 事 件 循 环 绑 定 到 一 个   g r e e n l e t   或 类 似 的 。   然 而 ， 重 要 的 是 要 知 道 库 代 码 不 控 制 策 略 ， 因 此 不 能 推 断   a s y n c i o   将 适 用 于 线 程 。 其 次 ， a s y n c i o   不 需 要 通 过 策 略 将 事 件 循 环 绑 定 到 上 下 文 。   事 件 循 环 可 以 单 独 工 作 。   但 是 这 正 是 库 代 码 的 第 一 个 问 题 ， 因 为 协 同 程 序 或 类 似 的 东 西 并 不 知 道 哪 个 事 件 循 环 负 责 调 度 它 。   这 意 味 着 ， 如 果 从 协 程 中 调 用   ， 你 可 能 没 有 机 会 取 得 事 件 循 环 。   这 也 是 所 有   A P I   均 采 用 可 选 的 显 式 事 件 循 环 参 数 的 原 因 。   举 例 来 说 ， 要 弄 清 楚 当 前 哪 个 协 程 正 在 运 行 ， 不 能 使 用 如 下 调 用 ： 相 反 ， 必 须 显 式 地 传 递 事 件 循 环 。   这 进 一 步 要 求 你 在 库 代 码 中 显 式 地 遍 历 事 件 循 环 ， 否 则 可 能 发 生 很 奇 怪 的 事 情 。   我 不 知 道 这 种 设 计 的 思 想 是 什 么 ， 但 如 果 不 解 决 这 个 问 题 （ 例 如     返 回 实 际 运 行 的 事 件 循 环 ） ， 那 么 唯 一 有 意 义 的 其 它 方 案 是 明 确 禁 止 显 式 事 件 循 环 传 递 ， 并 要 求 它 绑 定 到 当 前 上 下 文 （ 线 程 等 ） 。 由 于 事 件 循 环 策 略 不 提 供 当 前 上 下 文 的 标 识 符 ， 因 此 库 也 不 可 能 以 任 何 方 式 “ 索 引 ” 到 当 前 上 下 文 。   也 没 有 回 调 函 数 用 来 监 视 这 样 的 上 下 文 的 拆 除 ， 这 进 一 步 限 制 了 实 际 可 以 开 展 的 操 作 。 a w a i t a b l e   与 与 c o r o u t i n e 协 程 协 程 a s y n c i o . g e t _ e v e n t _ l o o p ( ) a s y n c i o . g e t _ e v e n t _ l o o p ( ) a s y n c i o . s e t _ e v e n t _ l o o p ( ) a s y n c i o . n e w _ e v e t _ l o o p ( ) a s y n c i o . g e t _ e v e n t _ l o o p ( ) a s y n c i o . g e t _ e v e n t _ l o o p ( ) 1 .   d e f   g e t _ t a s k ( ) : 2 .           l o o p   =   a s y n c i o . g e t _ e v e n t _ l o o p ( ) 3 .           t r y : 4 .                   r e t u r n   a s y n c i o . T a s k . g e t _ c u r r e n t ( l o o p ) 5 .           e x c e p t   R u n t i m e E r r o r : 6 .                   r e t u r n   N o n e g e t _ e v e n t _ l o o p ( )
以 我 的 愚 见 ， P y t h o n   最 大 的 设 计 错 误 是 过 度 重 载 迭 代 器 。 它 们 现 在 不 仅 用 于 迭 代 ， 而 且 用 于 各 种 类 型 的 协 程 。   P y t h o n   中 迭 代 器 最 大 的 设 计 错 误 之 一 是 如 果     没 有 被 捕 获 形 成 的 空 泡 。   这 可 能 导 致 非 常 令 人 沮 丧 的 问 题 ， 其 中 某 处 的 异 常 可 能 导 致 其 它 地 方 的 生 成 器 或 协 同 程 序 中 止 。 这 是 一 个 长 期 存 在 的 问 题 ， 基 于   P y t h o n   的 模 板 引 擎 如   J i n j a   经 常 面 临 这 种 问 题 。   该 模 板 引 擎 在 内 部 渲 染 为 生 成 器 ， 并 且 当 由 于 某 种 原 因 的 模 板 引 起     时 ， 渲 染 就 停 止 在 那 里 。 P y t h o n   慢 慢 认 识 到 了 过 度 重 载 的 教 训 。   首 先 在   3 . x   版 本 加 入   a s y n c i o   模 块 ， 并 没 有 语 言 级 支 持 。   所 以 自 始 至 终 它 不 过 仅 仅 是 装 饰 器 和 生 成 器 而 已 。   为 了 实 现     以 及 其 它 东 西 ， 再 次 重 载 。   这 导 致 了 令 人 困 惑 的 行 为 ， 像 这 样 ： 没 有 错 误 ， 没 有 警 告 。 只 是 不 是 你 所 期 望 的 行 为 。   这 是 因 为 从 一 个 作 为 生 成 器 的 函 数 中     的 值 实 际 上 引 发 了 一 个 带 有 单 个 参 数 的   ， 它 不 是 由 迭 代 器 协 议 捕 获 的 ， 而 只 是 在 协 程 代 码 中 处 理 。 在   3 . 5   和   3 . 6   有 很 多 改 变 ， 因 为 现 在 除 了 生 成 器 我 们 还 有 协 程 对 象 。 除 了 通 过 封 装 生 成 器 来 生 成 协 程 ， 没 有 其 它 可 以 直 接 生 成 协 程 的 单 独 对 象 。 它 是 通 过 用 给 函 数 加   S t o p I t e r a t i o n S t o p I t e r a t i o n y i e l d   f r o m S t o p I t e r a t i o n 1 .   > > >   d e f   f o o ( n ) : 2 .   . . .     i f   n   i n   ( 0 ,   1 ) : 3 .   . . .       r e t u r n   [ 1 ] 4 .   . . .     f o r   i t e m   i n   r a n g e ( n ) : 5 .   . . .       y i e l d   i t e m   *   2 6 .   . . . 7 .   > > >   l i s t ( f o o ( 0 ) ) 8 .   [ ] 9 .   > > >   l i s t ( f o o ( 1 ) ) 1 0 .   [ ] 1 1 .   > > >   l i s t ( f o o ( 2 ) ) 1 2 .   [ 0 ,   2 ] r e t u r n S t o p I t e r a t i o n a s y n c
  前 缀 来 实 现 。   例 如   会 产 生 这 样 的 协 程 。   现 在 在   3 . 6 ， 将 有 单 独 的 异 步 生 成 器 ， 它 通 过 触 发     保 持 其 独 立 性 。   此 外 ， 对 于 P y t h o n   3 . 5   和 更 高 版 本 ， 导 入 新 的   f u t u r e   对 象 （ ） ， 如 果 代 码 在 迭 代 步 骤 中 触 发   ， 它 将 引 发   。 为 什 么 我 提 到 这 一 切 ？   因 为 老 的 实 现 方 式 并 未 真 的 消 失 。   生 成 器 仍 然 具 有     和     方 法 以 及 协 程 仍 然 在 很 大 程 度 上 表 现 为 生 成 器 。 你 需 要 知 道 这 些 东 西 ， 它 们 将 在 未 来 伴 随 你 相 当 长 的 时 间 。 为 了 统 一 很 多 这 样 的 重 复 ， 现 在 我 们 在   P y t h o n   中 有 更 多 的 概 念 了 ： a w a i t a b l e ： 具 有 方 法 的 对 象 。   由 本 地 协 同 程 序 和 旧 式 协 同 程 序 以 及 一 些 其 它 程 序 实 现 。 c o r o u t i n e f u n c t i o n 协 程 函 数 ： 返 回 原 生 协 程 的 函 数 。   不 要 与 返 回 协 程 的 函 数 混 淆 。 c o r o u t i n e 协 程 :   原 生 的 协 程 程 序 。   注 意 ， 目 前 为 止 ， 当 前 文 档 不 认 为 老 式   a s y n c i o   协 程 是 协 程 程 序 。   至 少     不 认 为 它 是 协 程 。   尽 管 它 被     分 支 接 纳 。 特 别 令 人 困 惑 的 是     和   正 在 做 不 同 的 事 情 ， 这 与     和     情 况 相 同 。   值 得 注 意 的 是 ， 尽 管     在 类 型 检 查 中 不 知 道 有 关   a s y c n i o   旧 式 协 程 函 数 的 任 何 信 息 ， 但 是 当 您 检 查   a w a i t a b l e   状 态 时 它 显 然 知 道 它 们 ， 即 使 它 与     不 一 致 。 c o r o u t i n e w r a p p e r 协 程 封 装 器 协 程 封 装 器 每 当 你 运 行     ， P y t h o n   就 会 调 用 一 个 线 程 局 部 的 协 程 封 装 器 。 它 由   a s y n c   d e f   x ( ) A s y n c S t o p I t e r a t i o n g e n e r a t o r _ s t o p S t o p I t e r a t i o n R u n t i m e E r r o r s e n d t h r o w _ _ a w a i t _ _ i n s p e c t . i s c o r o u t i n e f u t u r e / a w a i t a b l e a s y n c i o . i s c o r o u t i n e f u n c t i o n i n s p e c t . i s c o r o u t i n e f u n c t i o n i n s p e c t . i s c o r o u t i n e i n s p e c t . i s c o r o u t i n e f u n c t i o n i n s p e c t a w a i t a s y n c   d e f
  设 置 ， 并 且 它 是 可 以 包 装 这 些 东 西 的 一 个 函 数 。   看 起 来 有 点 像 如 下 代 码 ： 在 这 种 情 况 下 ， 我 从 来 没 有 实 际 调 用 原 始 的 函 数 ， 只 是 给 你 一 个 提 示 ， 说 明 这 个 函 数 可 以 做 什 么 。   目 前 我 只 能 说 它 总 是 线 程 局 部 有 效 ， 所 以 ， 如 果 替 换 事 件 循 环 策 略 ， 你 需 要 搞 清 楚 如 何 让 协 程 封 装 器 在 相 同 的 上 下 文 同 步 更 新 。 创 建 的 新 线 程 不 会 从 父 线 程 继 承 那 些 标 识 。 这 不 要 与   a s y n c i o   协 程 封 装 代 码 混 淆 。 a w a i t a b l e   和 和   f u t u r e 有 些 东 西 是   a w a i t a b l e   的 。   据 我 所 见 ， 以 下 概 念 被 认 为 是   a w a i t a b l e ： 原 生 的 协 程 配 置 了 假 的     标 识 的 生 成 器 （ 文 中 有 涉 及 ） 具 有     方 法 的 对 象 除 了 生 成 器 由 于 历 史 遗 留 的 原 因 不 使 用 之 外 ， 其 它 的 对 象 都 使 用     方 法 。     标 志 来 自 哪 里 ？ 它 来 自 一 个 协 程 封 装 器 （ 现 在 与     有 些 混 淆 ） ， 即   。   通 过 一 些 间 接 方 法 ， 它 使 用   （ 现 在 与   s y s . s e t _ c o r o u t i n e _ w r a p p e r 1 .   > > >   i m p o r t   s y s 2 .   > > >   s y s . s e t _ c o r o u t i n e _ w r a p p e r ( l a m b d a   x :   4 2 ) 3 .   > > >   a s y n c   d e f   f o o ( ) : 4 .   . . .     p a s s 5 .   . . . 6 .   > > >   f o o ( ) 7 .   _ _ m a i n _ _ : 1 :   R u n t i m e W a r n i n g :   c o r o u t i n e   ' f o o '   w a s   n e v e r   a w a i t e d 8 .   4 2 C O _ I T E R A B L E _ C O R O U T I N E _ _ a w a i t _ _ _ _ a w a i t _ _ C O _ I T E R A B L E _ C O R O U T I N E s y s . s e t _ c o r o u t i n e _ w r a p p e r @ a s y n c i o . c o r o u t i n e t y p e s . c o r o u t i n e t y p e s . C o r o u t i n e T y p e
  或     有 些 混 淆 ） 封 装 生 成 器 ， 并 通 过 另 外 一 个 标 志     重 新 创 建 内 部 代 码 对 象 。 所 以 既 然 我 们 知 道 这 些 东 西 是 什 么 ， 那 么 什 么 是   f u t u r e ？   首 先 ， 我 们 需 要 澄 清 一 件 事 情 ： 在   P y t h o n   3   中 ， 实 际 上 有 两 种 （ 完 全 不 兼 容 ） 的   f u t u r e   类 型 ：   和   。   其 中 一 个 出 现 在 另 一 个 之 前 ， 但 它 们 都 仍 然 在   a s y n c i o   中 使 用 。   例 如 ，   将 调 度 一 个 协 程 到 在 另 一 个 线 程 中 运 行 的 事 件 循 环 ， 但 它 返 回 一 个     对 象 ， 而 不 是     对 象 。   这 是 有 道 理 的 ， 因 为 只 有     对 象 是 线 程 安 全 的 。 所 以 现 在 我 们 知 道 有 两 个 不 兼 容 的   f u t u r e ， 我 们 应 该 澄 清 哪 个   f u t u r e   在   a s y n c i o   中 。   老 实 说 ， 我 不 完 全 确 定 差 异 在 哪 里 ， 但 我 打 算 暂 时 称 之 为 “ 最 终 ” 。 它 是 一 个 最 终 将 持 有 一 个 值 的 对 象 ， 当 还 在 计 算 时 你 可 以 对 最 终 结 果 做 一 些 处 理 。   f u t u r e   对 象 的 一 些 变 种 称 为   d e f e r r e d ， 还 有 一 些 叫 做   p r o m i s e 。   我 实 在 难 以 理 解 它 们 真 正 的 区 别 。 你 能 用 一 个   f u t u r e   对 象 做 什 么 ？   你 可 以 关 联 一 个 准 备 就 绪 时 将 被 调 用 的 回 调 函 数 ， 或 者 你 可 以 关 联 一 个   f u t u r e   失 败 时 将 被 触 发 的 回 调 函 数 。   此 外 ， 你 可 以     它 （ 它 实 现 ， 因 此 可 等 待 ） ， 此 外 ， f u t u r e   也 可 以 取 消 。 那 么 你 怎 样 才 能 得 到 这 样 的   f u t u r e   对 象 ？   通 过 在   a w a i t a b l e   对 象 上 调 用   。 它 会 把 一 个 旧 版 的 生 成 器 转 变 为   f u t u r e   对 象 。   然 而 ， 如 果 你 阅 读 文 档 ， 你 会 读 到     实 际 上 返 回 一 个 （ 任 务 ） 。   那 么 问 题 来 了 ， 什 么 是 任 务 ？ 任 务 任 务 t a s k 任 务 某 种 意 义 上 是 一 个 封 装 了 协 程 的   f u t u r   对 象 。 它 的 工 作 方 式 和   f u t u r e   类 似 ， 但 它 也 有 一 些 额 外 的 方 法 来 提 取 所 包 含 的 协 程 的 当 前 堆 栈 。   我 们 已 经 见 过 了 在 前 面 提 到 过 的 任 务 ， 因 为 它 是 通 过     确 定 事 件 循 环 当 前 正 在 做 什 么 的 主 要 方 式 。 t y p e s . C o r o u t i n e T y p e a s y n c i o . c o r o u t i n e C O _ I T E R A B L E _ C O R O U T I N E a s y n c i o . f u t u r e s . F u t u r e c o n c u r r e n t . f u t u r e s . F u t u r e a s y n c i o . r u n _ c o r o u t i n e _ t h r e a d s a f e ( ) c o n c u r r e n t . f u t u r e s . F u t u r e a s y n c i o . f u t u r e s . F u t u r e c o n c u r r e n t . f u t u r e s . F u t u r e a w a i t _ _ a w a i t _ _ a s y n c i o . e n s u r e _ f u t u r e a s y n c i o . e n s u r e _ f u t u r e t a s k T a s k . g e t _ c u r r e n t
在 如 何 取 消 工 作 方 面 ， 任 务 和   f u t u r e   也 有 区 别 ， 但 这 超 出 了 本 文 的 范 围 。 “ 取 消 ” 是 它 们 自 己 最 大 的 问 题 。   如 果 你 处 于 一 个 协 程 中 ， 并 且 知 道 自 己 正 在 运 行 ， 你 可 以 通 过 前 面 提 到 的     获 取 自 己 的 任 务 ， 但 这 需 要 你 知 道 自 己 被 派 遣 在 哪 个 事 件 循 环 ， 该 事 件 循 环 可 能 是 、 也 可 能 不 是 已 绑 定 的 那 个 线 程 。 协 程 不 可 能 知 道 它 与 哪 个 循 环 一 起 使 用 。   也 没 有 提 供 该 信 息 的 公 共   A P I 。   然 而 ， 如 果 你 确 实 可 以 获 得 一 个 任 务 ， 你 可 以 访 问   ， 通 过 它 反 指 到 事 件 循 环 。 句 柄 句 柄 除 了 上 面 提 到 的 所 有 一 切 还 有 句 柄 。   句 柄 是 等 待 执 行 的 不 透 明 对 象 ， 不 可 等 待 ， 但 可 以 被 取 消 。   特 别 是 如 果 你 使 用     或 者   （ 还 有 其 它 一 些 ） 调 度 执 行 一 个 调 用 ， 你 可 以 获 得 句 柄 ， 然 后 使 用 它 尽 力 尝 试 取 消 执 行 ， 但 不 能 等 待 实 际 调 用 生 效 。 E x e c u t o r 执 行 器 执 行 器 因 为 你 可 以 有 多 个 事 件 循 环 ， 但 这 并 不 意 味 着 每 个 线 程 理 所 当 然 地 应 用 多 个 事 件 循 环 ， 最 常 见 的 情 形 还 是 一 个 线 程 一 个 事 件 循 环 。   那 么 你 如 何 通 知 另 一 个 事 件 循 环 做 一 些 工 作 ？   你 不 能 到 另 一 个 线 程 的 事 件 循 环 中 执 行 回 调 函 数 并 获 取 结 果 。   这 种 情 况 下 ， 你 需 要 使 用 执 行 器 。 E x e c u t o r 执 行 器 来 自   ， 它 允 许 你 将 工 作 安 排 到 本 身 未 发 生 事 件 的 线 程 中 。   例 如 ， 如 果 在 事 件 循 环 中 使 用     来 调 度 将 在 另 一 个 线 程 中 调 用 的 函 数 。   其 返 回 结 果 是   a s y n c i o   协 程 ， 而 不 是 像     这 样 的 并 发 协 程 。   我 还 没 有 足 够 的 心 智 来 弄 清 楚 为 什 么 设 计 这 样 的   A P I ， 应 该 如 何 使 用 ， 以 及 什 么 时 候 使 用 。   文 档 中 建 议 执 行 器 可 以 用 于 构 建 多 进 程 。 传 输 和 协 议 传 输 和 协 议 我 总 是 认 为 传 输 与 协 议 也 凌 乱 不 堪 ， 实 际 这 部 分 内 容 基 本 上 是 对   T w i s t e d   的 逐 字 拷 贝 。 详 情 毋 庸 赘 述 ， 请 直 接 阅 读 相 关 文 档 。 如 何 使 用 如 何 使 用   a s y n c i o 现 在 我 们 已 经 大 致 了 解   a s y n c i o ， 我 发 现 了 一 些 模 式 ， 人 们 似 乎 在 写   a s y n c i o   代 码 时 使 用 ： 将 事 件 循 环 传 递 给 所 有 协 程 。   这 似 乎 是 社 区 中 一 部 分 人 的 做 法 。   把 事 件 循 环 信 息 提 供 给 协 程 为 协 程 获 取 自 己 运 行 T a s k . g e t _ c u r r e n t t a s k t a s k . _ l o o p c a l l _ s o o n c a l l _ s o o n _ t h r e a d s a f e c o n c u r r e n t . f u t u r e s r u n _ i n _ e x e c u t o r r u n _ c o r o u t i n e _ t h r e a d s a f e
的 任 务 提 供 了 可 能 性 。 或 者 你 要 求 事 件 循 环 绑 定 到 线 程 ， 这 也 能 达 到 同 样 的 目 的 。   理 想 情 况 下 两 者 都 支 持 。   可 悲 的 是 ， 社 区 已 经 分 化 。 如 果 想 使 用 上 下 文 数 据 （ 如 线 程 本 地 数 据 ） ， 你 可 谓 是 运 气 不 佳 。   最 流 行 的 变 通 方 法 显 然 是   a t l a s s i a n   的   ， 它 基 本 上 需 要 你 手 动 传 递 上 下 文 信 息 到 协 程 ， 因 为 解 释 器 不 为 此 提 供 支 持 。   这 意 味 着 如 果 你 用 一 个 工 具 类 库 生 成 协 程 ， 你 将 失 去 上 下 文 。 忽 略   P y t h o n   中 的 旧 式 协 程 。   只 使 用   3 . 5   版 本 中     关 键 字 和 协 程 。   你 总 可 能 要 用 到 它 们 ， 因 为 在 老 版 本 中 ， 没 有 异 步 上 下 文 管 理 器 ， 这 是 非 常 必 要 的 资 源 管 理 。 学 习 重 新 启 动 事 件 循 环 进 行 善 后 清 理 。   这 部 分 功 能 和 我 预 想 的 不 同 ， 我 花 了 比 较 长 的 时 间 来 厘 清 它 的 实 现 。 清 理 操 作 的 最 好 方 式 是 不 断 重 启 事 件 循 环 直 到 没 有 等 待 事 件 。   遗 憾 的 是 没 有 什 么 通 用 的 模 式 来 处 理 清 理 操 作 ， 你 只 能 用 一 些 丑 陋 的 临 时 方 案 糊 口 度 日 。   例 如   a i o h t t p   的   w e b   支 持 也 做 这 个 模 式 ， 所 以 如 果 你 想 要 结 合 两 个 清 理 逻 辑 ， 你 可 能 需 要 重 新 实 现 它 提 供 的 工 具 助 手 ， 因 为 该 助 手 功 能 实 现 后 ， 它 彻 底 破 坏 了 事 件 循 环 的 设 计 。   当 然 ， 它 不 是 我 见 过 的 第 一 个 干 这 种 坏 事 的 库   : ( 。 使 用 子 进 程 是 不 明 显 的 。   你 需 要 一 个 事 件 循 环 在 主 线 程 中 运 行 ， 我 想 它 是 在 监 听 信 号 事 件 ， 然 后 分 派 到 其 它 事 件 循 环 。   这 需 要 通 过   通 知 循 环 。 编 写 同 时 支 持 异 步 和 同 步 的 代 码 在 某 种 程 度 上 注 定 要 失 败 。   尝 试 在 同 一 个 对 象 上 支 持     和     是 危 险 的 事 情 。 如 果 你 想 给 一 个 协 程 起 个 更 好 的 名 字 ， 弄 清 楚 为 什 么 它 没 有 被 等 待 ， 设 置   没 有 帮 助 。   你 需 要 设 置     而 不 是 打 印 出 错 误 消 息 来 。 有 时 内 部 类 型 交 换 会 使 你 麻 痹 。   特 别 是     函 数 将 确 保 所 有 的 事 情 都 是   f u t u r e ， 这 意 味 着 如 果 你 传 递 协 程 ， 你 将 很 难 发 现 你 的 协 程 是 否 已 经 完 成 或 者 正 在 等 待 ， 因 为 输 入 对 象 不 再 匹 配 输 出 对 象 。   在 这 种 情 况 下 ， 唯 一 真 正 理 智 的 做 法 是 确 保 前 期 一 切 都 是   f u t u r e 。 上 下 文 数 据 上 下 文 数 据 除 了 疯 狂 的 复 杂 性 和 对 如 何 更 好 地 编 写   A P I   缺 乏 理 解 ， 我 最 大 的 问 题 是 完 全 缺 乏 对 上 下 文 本 地 数 据 的 考 虑 。 这 是   N o d e   社 区 现 在 学 习 的 东 西 。   存 在 ， 但 该 实 现 被 接 受 的 太 晚 。 持 续 本 地 存 储 和 类 似 的 概 念 常 用 于 在 并 发 环 境 中 实 施 安 全 策 略 ， 并 且 该 信 息 的 损 坏 可 能 导 致 严 重 的 安 全 问 题 。 事 实 上 ， P y t h o n   甚 至 没 有 任 何 存 储 ， 这 令 人 失 望 至 极 。 我 正 在 研 究 这 个 内 容 ， 因 为 我 正 在 调 查 如 何 最 好 地 支 持   S e n t r y ' s b r e a d c r u m b s [ 2 ]   的   a s y n c i o ， 然 而 我 并 没 有 看 到 一 个 合 理 的 方 式 做 到 这 一 点 。 在   a s y n c i o   中 没 有 上 下 文 的 概 念 ， 没 有 办 法 从 通 用 代 码 中 找 出 您 正 在 使 用 的 事 件 循 环 ， 并 且 如 果 没 有   m o n k e y p a t c h i n g （ 运 行 环 境 下 的 补 丁 ） ， 也 无 法 获 取 这 些 信 息 。 N o d e   当 前 正 在 经 历 如 何 找 到 这 个 问 题 的 长 期 解 决 方 案 [ 3 ] 的 过 程 。 这 个 问 题 不 容 忽 视 ， 因 为 它 在 所 有 生 态 系 统 中 反 复 出 现 过 ， 如   J a v a S c r i p t 、 P y t h o n   和   . N E T   环 境 。 该 问 题 被 命 名 为 异 步 上 下 文 传 播 [ 4 ] ， 其 解 决 方 案 有 许 多 名 称 。 在   G o   中 ， 需 要 使 用 上 下 文 包 ， 并 明 确 地 传 递 给 所 有   g o r o u t i n e （ 不 是 一 个 完 美 的 解 决 方 案 ， 但 至 少 有 一 个 ） 。 . N E T   具 有 本 地 调 用 上 下 文 形 式 的 最 佳 解 决 方 案 。 它 可 以 是 线 程 上 下 文 ， W e b   请 求 上 下 文 或 类 似 的 东 西 ， 除 非 被 抑 制 ， 否 则 它 会 自 动 传 播 。 微 软 的 解 决 方 案 是 我 们 的 黄 金 标 准 。 我 现 在 相 信 ， 微 软 在   1 5   年 前 已 经 解 决 了 该 问 题 。 a i o l o c a l s a s y n c   d e f a s y n c i o . g e t _ c h i l d _ w a t c h e r ( ) . a t t a c h _ l o o p ( . . . ) w i t h a s y n c   w i t h _ _ n a m e _ _ _ _ q u a l n a m e _ _ a s y n c i o . w a i t ( ) c o n t i n u a t i o n - l o c a l - s t o r a g e
我 不 知 道 该 生 态 系 统 是 否 还 够 年 轻 ， 还 可 以 添 加 逻 辑 调 用 上 下 文 ， 可 能 现 在 仍 然 为 时 未 晚 。 个 人 感 想 个 人 感 想 复 杂 的 东 西 变 得 越 来 越 复 杂 。   我 没 有 随 意 使 用   a s y n c i o   的 心 智 。 它 需 要 不 断 地 更 新 所 有   P y t h o n   语 言 的 变 化 的 知 识 ， 这 很 大 程 度 上 使 语 言 本 身 变 得 复 杂 。   令 人 鼓 舞 的 是 ， 围 绕 着 它 的 生 态 系 统 正 在 不 断 发 展 ， 只 是 不 知 道 还 需 要 几 年 的 时 间 ， 才 能 带 给 开 发 者 愉 快 和 稳 定 的 开 发 体 验 。 3 . 5   版 本 引 入 的 东 西 （ 新 的 协 程 对 象 ） 非 常 棒 。   特 别 是 这 些 变 化 包 括 引 入 了 一 个 合 理 的 基 础 ， 这 些 都 是 我 在 早 期 的 版 本 中 一 直 期 盼 的 。 在 我 心 中 ，   通 过 重 载 生 成 器 实 现 协 程 是 一 个 错 误 。   关 于 什 么 是   a s y n c i o ， 我 难 以 置 喙 。   这 是 一 个 非 常 复 杂 的 事 情 ， 内 部 令 人 眼 花 缭 乱 。   我 很 难 理 解 它 工 作 的 所 有 细 节 。 你 什 么 时 候 可 以 传 递 一 个 生 成 器 ， 什 么 时 候 它 必 须 是 一 个 真 正 的 协 程 ， f u t u r e   是 什 么 ， 任 务 是 什 么 ， 事 件 循 环 如 何 工 作 ， 这 甚 至 还 没 有 触 碰 到 真 正 的   I O   部 分 。 最 糟 糕 的 是 ， a s y n c i o   甚 至 不 是 特 别 快 。   D a v i d   B e a z l e y   演 示 的 它 设 计 的   a s y n c i o   的 替 代 品 是 原 生 版 本 速 度 的 两 倍 。   a s y n c i o   巨 复 杂 ， 很 难 理 解 ， 也 无 法 兑 现 自 己 在 主 要 特 性 上 的 承 诺 ， 对 于 它 ， 我 只 想 说 我 想 静 静 。 我 知 道 ， 至 少 我 对   a s y n c i o   理 解 的 不 够 透 彻 ， 没 有 足 够 的 信 心 对 人 们 如 何 用 它 构 建 代 码 给 出 建 议 。 作 者 ： A r m i n   R o n a c h e r 软 件 开 发 者 和 开 源 骨 灰 ，   F l a s k   框 架 的 创 造 者 。 v i a :   h t t p : / / l u c u m r . p o c o o . o r g / 2 0 1 6 / 1 0 / 3 0 / i - d o n t - u n d e r s t a n d - a s y n c i o / 作 者 ： A r m i n   R o n a c h e r [ 5 ]   译 者 ： f i r s t a d r e a m   校 对 ： j a s m i n e p e n g 本 文 由   L C T T [ 6 ]   原 创 编 译 ， L i n u x 中 国   荣 誉 推 出 推 荐 文 章 滑 动 查 看 更 多 输 入 文 章   I D   或 长 按 二 维 码 直 达
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理