{"id":694,"date":"2026-09-11T10:38:05","date_gmt":"2026-09-11T02:38:05","guid":{"rendered":"https:\/\/aitimes.link\/index.php\/2026\/09\/11\/92-ye-lun-wen-jiang-gei-pu-tong-kai-fa-zhe-ting\/"},"modified":"2026-09-11T10:38:05","modified_gmt":"2026-09-11T02:38:05","slug":"92-ye-lun-wen-jiang-gei-pu-tong-kai-fa-zhe-ting","status":"publish","type":"post","link":"https:\/\/aitimes.link\/index.php\/2026\/09\/11\/92-ye-lun-wen-jiang-gei-pu-tong-kai-fa-zhe-ting\/","title":{"rendered":"92 \u9875\u8bba\u6587\uff0c\u8bb2\u7ed9\u666e\u901a\u5f00\u53d1\u8005\u542c\uff1aDeepSeek Harness \u7684\u63d2\u4ef6\u5185\u6838\u4e3a\u4ec0\u4e48\u662f\u5bf9\u7684"},"content":{"rendered":"<blockquote>\n<p>\u7cbe\u8bfb\u5bf9\u8c61\uff1a<strong>arXiv:2608.25512<\/strong>\u300aA Programming Paradigm for Spatiotemporal Composability\u300b<\/p>\n<p>\u4f5c\u8005\uff1a<strong>Yifan Shi<\/strong>\uff08\u5317\u4eac\u5927\u5b66 \/ DeepSeek-AI\uff09\u3001<strong>Wei Zhang<\/strong>\uff08\u5317\u4eac\u5927\u5b66\uff09\u3001<strong>Tianyi Cui<\/strong>\uff08DeepSeek-AI\uff09<\/p>\n<p>\u63d0\u4ea4\uff1a2026-08-26 \u00b7 92 \u9875 \u00b7 1 \u56fe 2 \u8868 \u00b7 cs.PL + cs.SE<\/p>\n<p>\u524d\u60c5\u63d0\u8981\uff1a\u4e0a\u4e00\u7bc7\u300aDeepSeek Harness \u7cbe\u8bfb\u300b\u8bb2\u4e86 Cordis <strong>\u600e\u4e48\u7528<\/strong>\uff0c\u8fd9\u4e00\u7bc7\u8bb2\u5b83<strong>\u4e3a\u4ec0\u4e48\u662f\u5bf9\u7684<\/strong>\u3002<\/p>\n<\/blockquote>\n<h2>0. \u4e00\u53e5\u8bdd\u901f\u89c8<\/h2>\n<p><strong>\u8fd9\u4e0d\u662f\u4e00\u7bc7 AI \u8bba\u6587\uff0c\u662f\u4e00\u7bc7\u7f16\u7a0b\u8bed\u8a00\uff08PL\uff09\u8bba\u6587\u3002<\/strong> \u5b83\u7ed9 DeepSeek Harness \u7684\u63d2\u4ef6\u5185\u6838 <strong>Cordis v4<\/strong> \u8865\u4e0a\u4e86\u5b8c\u6574\u7684\u6570\u5b66\u5730\u57fa\u3002<\/p>\n<p>\u4f5c\u8005\u540d\u5355\u91cc\u7684 <strong>Yifan Shi<\/strong>\uff0c\u5c31\u662f Koishi \/ Cordis \u7684\u4f5c\u8005 <strong>Shigma<\/strong> \u2014\u2014 \u73b0\u5728\u5728 DeepSeek\u3002\u8bba\u6587\u81ea\u5df1\u4e5f\u4ea4\u4ee3\u4e86\uff1aKoishi \u8dd1\u5728 Cordis v3 \u4e0a\uff0c\u8bba\u6587\u5448\u73b0\u7684\u662f v4\uff0c\u6838\u5fc3\u7ec4\u5408\u6a21\u578b\u4e24\u7248\u5171\u4eab\u3002<\/p>\n<p>\u6240\u4ee5\u8fd9\u4e0d\u662f\u300c\u53c8\u4e00\u7bc7 Agent \u8bba\u6587\u300d\u3002\u5b83\u662f\u4e00\u6b21<strong>\u5de5\u7a0b\u5b9e\u8df5\u7684\u56de\u5934\u603b\u7ed3<\/strong>\uff1a\u4e00\u4e2a\u4ece 2019 \u5e74\u4e00\u8def\u957f\u8d77\u6765\u7684\u6846\u67b6\u3001\u88ab 4000+ \u793e\u533a\u63d2\u4ef6\u538b\u6d4b\u4e86\u56db\u5e74\uff0c\u7ec8\u4e8e\u6709\u4eba\u628a\u300c\u5b83\u4e3a\u4ec0\u4e48 work\u300d\u8bb2\u6e05\u695a\u4e86\u3002<\/p>\n<p>\u4e09\u4e2a\u4f60\u5728 dsh \u91cc\u5929\u5929\u89c1\u5230\u7684\u4e1c\u897f\uff0c\u8bba\u6587\u90fd\u7ed9\u4e86\u6b63\u5f0f\u7b54\u6848\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u4f60\u5728 dsh \u91cc\u770b\u5230\u7684<\/th>\n<th>\u8bba\u6587\u91cc\u7684\u540d\u5b57<\/th>\n<th>\u5b83\u8bc1\u660e\u4e86\u4ec0\u4e48<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><code>ctx.effect()<\/code> \u8fd4\u56de disposer\uff0c\u5378\u8f7d\u81ea\u52a8\u64a4\u9500<\/td>\n<td>\u53ef\u56de\u6eda\u6548\u5e94<br \/>Revertible Effects<\/td>\n<td>\u5378\u8f7d\u4e00\u4e2a\u7ec4\u4ef6\u65f6\uff0c\u5b83\u64a4\u56de\u7684<strong>\u53ea\u6709\u5b83\u81ea\u5df1\u7684<\/strong>\u8d21\u732e<\/td>\n<\/tr>\n<tr>\n<td><code>inject<\/code> \u58f0\u660e\u4f9d\u8d56\uff0c\u670d\u52a1\u5c31\u7eea\u624d\u542f\u52a8<\/td>\n<td>\u54cd\u5e94\u5f0f\u4f59\u6548\u5e94<br \/>Reactive Coeffects<\/td>\n<td>provider \u64a4\u56de\u7ed1\u5b9a<strong>\u4e4b\u524d<\/strong>\uff0c\u6240\u6709\u4f9d\u8d56\u65b9\u4e00\u5b9a\u5df2\u7ecf\u505c\u7528<\/td>\n<\/tr>\n<tr>\n<td><code>reload<\/code> \u4e0d\u91cd\u542f\u8fdb\u7a0b<\/td>\n<td>\u5408\u6d41\u5b9a\u7406<br \/>Confluence<\/td>\n<td>\u4e2d\u9014\u600e\u4e48\u6298\u817e\u90fd\u65e0\u6240\u8c13\uff0c<strong>\u6700\u7ec8\u72b6\u6001\u53ea\u53d6\u51b3\u4e8e\u6700\u7ec8\u914d\u7f6e<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<hr>\n<h2>1. \u95ee\u9898\uff1a\u52a8\u6001\u7ec4\u5408\u4e3a\u4ec0\u4e48\u4e00\u76f4\u6ca1\u6709\u7406\u8bba<\/h2>\n<p>\u8bba\u6587\u6807\u9898\u91cc\u90a3\u4e2a\u62d7\u53e3\u7684\u8bcd \u2014\u2014 <strong>\u65f6\u7a7a\u53ef\u7ec4\u5408\u6027\uff08spatiotemporal composability\uff09<\/strong> \u2014\u2014 \u5176\u5b9e\u662f\u628a\u300c\u8fd0\u884c\u65f6\u88c5\u5378\u7ec4\u4ef6\u300d\u8fd9\u4ef6\u4e8b\u62c6\u6210\u4e86\u4e24\u4e2a\u6b63\u4ea4\u7684\u7ef4\u5ea6\u3002<\/p>\n<div class=\"fig\">\n<svg viewBox=\"0 0 680 270\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><\/p>\n<style>text{font-family:-apple-system,BlinkMacSystemFont,\"Segoe UI\",\"PingFang SC\",\"Hiragino Sans GB\",\"Microsoft YaHei\",sans-serif;}<\/style>\n<p>  <title>\u52a8\u6001\u7ec4\u5408\u7684\u4e24\u4e2a\u6b63\u4ea4\u7ef4\u5ea6<\/title>\n  <desc>\u65f6\u95f4\u53ef\u7ec4\u5408\u6027\u5173\u6ce8\u5378\u8f7d\u65f6\u80fd\u5426\u5b8c\u6574\u64a4\u9500\u526f\u4f5c\u7528\uff0c\u7a7a\u95f4\u53ef\u7ec4\u5408\u6027\u5173\u6ce8\u7ec4\u4ef6\u95f4\u4f9d\u8d56\u7684\u58f0\u660e\u4e0e\u89e3\u6790<\/desc>\n  <defs>\n    <marker id=\"aitArr1\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"6\" markerHeight=\"6\" orient=\"auto-start-reverse\">\n      <path d=\"M2 1L8 5L2 9\" fill=\"none\" stroke=\"context-stroke\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"\/>\n    <\/marker>\n  <\/defs>\n  <rect x=\"240\" y=\"40\" width=\"200\" height=\"44\" rx=\"8\" fill=\"#F1EFE8\" stroke=\"#B4B2A9\" stroke-width=\"0.5\"\/>\n  <text x=\"340\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#444441\">\u52a8\u6001\u7ec4\u5408<\/text>\n  <path d=\"M340 84 L340 108 M160 108 L520 108 M160 108 L160 126 M520 108 L520 126\" fill=\"none\" stroke=\"#888780\" stroke-width=\"1.5\" marker-end=\"url(#aitArr1)\"\/>\n  <rect x=\"50\" y=\"130\" width=\"220\" height=\"56\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"160\" y=\"150\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#0C447C\">\u65f6\u95f4\u53ef\u7ec4\u5408\u6027<\/text>\n  <text x=\"160\" y=\"168\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#185FA5\">\u5378\u8f7d\u65f6\u5b8c\u6574\u64a4\u9500\u526f\u4f5c\u7528<\/text>\n  <rect x=\"410\" y=\"130\" width=\"220\" height=\"56\" rx=\"8\" fill=\"#E1F5EE\" stroke=\"#0F6E56\" stroke-width=\"0.5\"\/>\n  <text x=\"520\" y=\"150\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#085041\">\u7a7a\u95f4\u53ef\u7ec4\u5408\u6027<\/text>\n  <text x=\"520\" y=\"168\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#0F6E56\">\u4f9d\u8d56\u7684\u58f0\u660e\u4e0e\u54cd\u5e94\u5f0f\u89e3\u6790<\/text>\n  <rect x=\"50\" y=\"206\" width=\"220\" height=\"44\" rx=\"8\" fill=\"#F1EFE8\" stroke=\"#B4B2A9\" stroke-width=\"0.5\"\/>\n  <text x=\"160\" y=\"228\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#444441\">VSCode \u524d 100 \u6269\u5c55 \u00b7 87 \u4e2a\u542b\u4ee3\u7801<\/text>\n  <rect x=\"410\" y=\"206\" width=\"220\" height=\"44\" rx=\"8\" fill=\"#F1EFE8\" stroke=\"#B4B2A9\" stroke-width=\"0.5\"\/>\n  <text x=\"520\" y=\"228\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#444441\">VSCode \u524d 100 \u6269\u5c55 \u00b7 \u4ec5 7 \u4e2a\u58f0\u660e\u4f9d\u8d56<\/text>\n<\/svg>\n<\/div>\n<p><strong>\u65f6\u95f4\u53ef\u7ec4\u5408\u6027<\/strong>\u7ba1\u7684\u662f\uff1a\u7ec4\u4ef6\u88ab\u5378\u8f7d\u65f6\uff0c\u5b83\u5bf9\u5171\u4eab\u73af\u5883\u505a\u7684\u4fee\u6539\u5fc5\u987b\u88ab\u5b8c\u6574\u3001\u5b89\u5168\u5730\u64a4\u9500\u3002\u6bcf\u4e00\u6b21\u8d44\u6e90\u5206\u914d\u3001\u4e8b\u4ef6\u6ce8\u518c\u3001\u72b6\u6001\u53d8\u66f4\u90fd\u8981\u80fd\u88ab\u8ffd\u8e2a\u548c\u56de\u6536\u3002<\/p>\n<p><strong>\u7a7a\u95f4\u53ef\u7ec4\u5408\u6027<\/strong>\u7ba1\u7684\u662f\uff1a\u7ec4\u4ef6\u5fc5\u987b\u80fd\u58f0\u660e\u3001\u53d1\u73b0\u3001\u89e3\u6790\u5f7c\u6b64\u7684\u4f9d\u8d56\uff0c\u5e76\u5728\u4f9d\u8d56\u51fa\u73b0\u6216\u6d88\u5931\u65f6\u534f\u8c03\u5404\u81ea\u7684\u751f\u547d\u5468\u671f\u3002<\/p>\n<p>\u9759\u6001\u573a\u666f\u4e0b\u8fd9\u4e24\u4ef6\u4e8b\u90fd\u6709\u73b0\u6210\u7b54\u6848\uff1a\u65f6\u95f4\u7ef4\u5ea6\u9000\u5316\u6210\u8bcd\u6cd5\u4f5c\u7528\u57df\uff08RAII\u3001bracket \u6a21\u5f0f\uff09\uff0c\u7a7a\u95f4\u7ef4\u5ea6\u9000\u5316\u6210\u6a21\u5757\u5bfc\u5165\u89e3\u6790\u3002<strong>\u4f46\u4e00\u65e6\u7ec4\u4ef6\u80fd\u5728\u8fd0\u884c\u65f6\u6765\u53bb\uff0c\u4e24\u8fb9\u540c\u65f6\u5d29\u6389<\/strong> \u2014\u2014 \u6ca1\u6709\u54ea\u4e2a\u8bcd\u6cd5\u4f5c\u7528\u57df\u80fd\u6846\u4f4f\u4e00\u4e2a\u90e8\u7f72\u540e\u624d\u52a0\u8f7d\u7684\u63d2\u4ef6\uff0c\u4e5f\u6ca1\u6709\u54ea\u4e2a\u7f16\u8bd1\u671f\u4e0a\u4e0b\u6587\u80fd\u9884\u6d4b\u8fd0\u884c\u65f6\u914d\u7f6e\u91cc\u5192\u51fa\u6765\u7684\u4f9d\u8d56\u3002<\/p>\n<h3>\u8bba\u6587\u62ff VSCode \u5f00\u5200\uff0c\u6570\u636e\u5f88\u624e\u5fc3<\/h3>\n<p>\u63d2\u4ef6\u7cfb\u7edf\u662f\u52a8\u6001\u7ec4\u5408\u6700\u5178\u578b\u7684\u573a\u666f\u3002\u8bba\u6587\u6311\u4e86 VSCode \u505a\u6837\u672c\uff0c\u56e0\u4e3a\u5b83\u6700\u666e\u53ca\u3001\u4e5f\u6700\u7ecf\u5178\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u7ef4\u5ea6<\/th>\n<th>VSCode \u7684\u73b0\u72b6<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>\u65f6\u95f4<\/strong><\/td>\n<td>\u6240\u6709\u6269\u5c55\u8dd1\u5728\u540c\u4e00\u4e2a extension host \u8fdb\u7a0b\u91cc\u3002<strong>\u5b89\u88c5\u91cf\u524d 100 \u7684\u6269\u5c55\u91cc 87 \u4e2a\u542b\u53ef\u6267\u884c\u4ee3\u7801<\/strong>\uff0c\u7981\u7528\u6216\u5378\u8f7d\u4efb\u4f55\u4e00\u4e2a\uff0c\u90fd\u5f97\u91cd\u542f\u6574\u4e2a host\uff0c\u5f71\u54cd\u6240\u6709\u5df2\u52a0\u8f7d\u6269\u5c55\u3002<\/td>\n<\/tr>\n<tr>\n<td><strong>\u7a7a\u95f4<\/strong><\/td>\n<td>\u867d\u7136\u63d0\u4f9b\u4e86 <code>extensionDependencies<\/code>\uff0c\u4f46<strong>\u524d 100 \u91cc\u53ea\u6709 7 \u4e2a<\/strong>\u58f0\u660e\u4e86\u975e\u5185\u7f6e\u6269\u5c55\u4f9d\u8d56\u3002<code>getExtension(...).exports<\/code> \u8fd4\u56de <code>any<\/code>\uff0c\u5b8c\u5168\u6ca1\u6709\u7c7b\u578b\u5951\u7ea6\u3002<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u8bba\u6587\u5bf9 <code>deactivate<\/code> \u94a9\u5b50\u7684\u6279\u8bc4\u7279\u522b\u503c\u5f97\u8bb0\u4e00\u7b14\uff1a\u5b83\u4e0d\u53ea\u662f\u300c\u4e0d\u5f7b\u5e95\u300d\uff0c\u800c\u662f<strong>\u628a\u6548\u679c\u7684\u9500\u6bc1\uff08<code>deactivate<\/code>\uff09\u548c\u6548\u679c\u7684\u521b\u5efa\uff08<code>activate<\/code>\uff09\u62c6\u5230\u4e86\u4e24\u4e2a\u5730\u65b9<\/strong>\uff0c\u8fdd\u53cd\u4e86\u5173\u6ce8\u7684\u5c40\u90e8\u6027 \u2014\u2014 \u4e8e\u662f\u300c\u6e05\u7406\u5b8c\u6574\u5417\u300d\u8fd9\u4e2a\u95ee\u9898\uff0c\u53d8\u6210\u4e86\u4e00\u4ef6\u65e0\u6cd5\u9a8c\u8bc1\u7684\u4e8b\u3002<\/p>\n<p>\u987a\u5e26\uff0c\u8bba\u6587\u4e5f\u70b9\u4e86\u73b0\u6709\u53d8\u901a\u65b9\u6848\u7684\u672c\u8d28\uff1a<strong>\u64cd\u4f5c\u7cfb\u7edf\u5728\u300c\u8fdb\u7a0b\u300d\u7c92\u5ea6\u7ed9\u4e86\u65f6\u95f4\u53ef\u7ec4\u5408\u6027\uff0c\u5bb9\u5668\u7f16\u6392\u5668\u5728\u300c\u670d\u52a1\u300d\u7c92\u5ea6\u7ed9\u4e86\u7a7a\u95f4\u53ef\u7ec4\u5408\u6027\u3002<\/strong> \u4ee3\u4ef7\u662f\u6bcf\u6b21\u91cd\u542f\u4e22\u6389\u5168\u90e8\u8fdb\u7a0b\u5185\u72b6\u6001\uff08\u7f13\u5b58\u3001\u8fde\u63a5\u3001\u90e8\u5206\u8ba1\u7b97\uff09\uff0c\u91cd\u5efa\u8981\u51e0\u79d2\u5230\u51e0\u5206\u949f\uff1b\u5bb9\u5668\u7f16\u6392\u8fd8<strong>\u65e0\u6cd5\u8868\u8fbe\u5171\u4eab\u5730\u5740\u7a7a\u95f4\u5185\u7ec4\u4ef6\u4e4b\u95f4\u7684\u4f9d\u8d56<\/strong>\uff0c\u7ed9\u672c\u53ef\u4ee5\u662f\u672c\u5730\u51fd\u6570\u8c03\u7528\u7684\u4ea4\u4e92\u786c\u585e\u8fdb\u4e00\u5c42\u7f51\u7edc\u5f00\u9500\u3002<\/p>\n<p>\u8bba\u6587\u7ed9\u5b83\u8d77\u4e86\u4e2a\u540d\u5b57\uff1a<strong>\u7c92\u5ea6\u9519\u914d\uff08granularity mismatch\uff09<\/strong>\u3002\u73b0\u4ee3\u7cfb\u7edf\u8d8a\u6765\u8d8a\u5728\u66f4\u7ec6\u7684\u7c92\u5ea6\u4e0a\u7ec4\u5408\uff0c\u800c\u73b0\u6709\u673a\u5236\u53ea\u5728\u8fdb\u7a0b\u548c\u5bb9\u5668\u7684\u8fb9\u754c\u4e0a\u5de5\u4f5c\u3002<\/p>\n<p>\u5bf9 AI agent \u6765\u8bf4\u8fd9\u4e8b\u66f4\u81f4\u547d\u3002\u8bba\u6587\u628a\u300c\u81ea\u8fdb\u5316 harness\u300d\u5217\u4e3a\u5934\u53f7\u52a8\u673a\uff0c\u5e76\u6307\u51fa\u6700\u5371\u9669\u7684\u4e00\u6761\uff1a<strong>\u6ca1\u6709\u65f6\u95f4\u53ef\u7ec4\u5408\u6027\uff0c\u4e00\u6b21\u9519\u8bef\u7684\u81ea\u6211\u4fee\u6539\u53ef\u80fd\u8ba9\u6062\u590d\u6240\u9700\u7684\u90a3\u4e2a\u8fdb\u7a0b\u672c\u8eab\u762b\u75ea\u3002<\/strong><\/p>\n<hr>\n<h2>2. \u65f6\u95f4\u7ef4\u5ea6\uff1a\u8ba9\u6bcf\u4e2a\u51fd\u6570\u81ea\u5e26\u300c\u9006\u300d<\/h2>\n<p>\u7ecf\u5178 effect system \u548c coeffect system \u90fd\u662f<strong>\u9759\u6001\u5de5\u5177<\/strong>\uff1a\u6548\u5e94\u5728\u8bcd\u6cd5\u56fa\u5b9a\u7684\u4f5c\u7528\u57df\u5185\u88ab\u8ffd\u8e2a\u3001\u7531\u7f16\u8bd1\u671f\u7684 handler \u5904\u7406\uff1b\u4f59\u6548\u5e94\u6ce8\u89e3\u9488\u5bf9\u6267\u884c\u524d\u5c31\u786e\u5b9a\u7684\u4e0a\u4e0b\u6587\u9a8c\u8bc1\u3002<\/p>\n<p>\u8bba\u6587\u7684\u5173\u952e\u5224\u65ad\u662f\uff1a<strong>\u4e0e\u5176\u7ed9\u9759\u6001\u7c7b\u578b\u7cfb\u7edf\u7ee7\u7eed\u52a0\u6ce8\u89e3\uff0c\u4e0d\u5982\u628a\u6548\u5e94\u548c\u4f59\u6548\u5e94\u7684\u6982\u5ff5\u7ed3\u6784\u300c\u5177\u4f53\u5316\u300d\uff08reify\uff09\uff0c\u8ba9\u8fd0\u884c\u65f6\u80fd\u76f4\u63a5\u64cd\u4f5c\u5b83\u4eec\u3002<\/strong><\/p>\n<p>\u843d\u5230\u65f6\u95f4\u7ef4\u5ea6\u4e0a\uff0c\u6210\u679c\u7b80\u5355\u5230\u6709\u70b9\u610f\u5916\uff1a<strong>\u4e00\u4e2a\u6548\u5e94\u4e0d\u662f\u300c\u4e00\u4e2a\u51fd\u6570\u300d\uff0c\u800c\u662f\u300c\u4e00\u4e2a\u51fd\u6570 + \u5b83\u81ea\u5df1\u7684\u9006\u300d\u3002<\/strong> \u7c7b\u578b\u5199\u6210\u8fd9\u6837\uff1a<\/p>\n<pre><code>e : \u0393 \u2192 \u0393 \u00d7 (\u0393 \u2192 \u0393)\n      \u2191     \u2191\n   \u65b0\u72b6\u6001   \u64a4\u9500\u8fd9\u6b21\u53d8\u6362\u7684\u9006<\/code><\/pre>\n<p>\u8fd0\u884c\u65f6\u628a\u6bcf\u4e00\u6b65\u8fd4\u56de\u7684\u9006\u7d2f\u79ef\u4fdd\u5b58\u8d77\u6765\uff08\u8bba\u6587\u53eb\u5b83<strong>\u7d2f\u52a0\u5668<\/strong>\uff09\u3002\u4e8e\u662f\uff1a<\/p>\n<p><strong>\u300c\u5378\u8f7d\u4e00\u4e2a\u7ec4\u4ef6\u300d\u5c31\u9000\u5316\u6210\u300c\u628a\u7d2f\u79ef\u7684\u9006\u8dd1\u4e00\u904d\u300d\u3002<\/strong><\/p>\n<div class=\"fig\">\n<svg viewBox=\"0 0 680 250\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><\/p>\n<style>text{font-family:-apple-system,BlinkMacSystemFont,\"Segoe UI\",\"PingFang SC\",\"Hiragino Sans GB\",\"Microsoft YaHei\",sans-serif;}<\/style>\n<p>  <title>\u53ef\u56de\u6eda\u6548\u5e94\uff1a\u6bcf\u4e2a\u6548\u5e94\u643a\u5e26\u81ea\u5df1\u7684\u9006<\/title>\n  <desc>\u7ec4\u4ef6\u52a0\u8f7d\u65f6\u4f9d\u6b21\u6267\u884c\u6548\u5e94\uff0c\u6bcf\u4e2a\u6548\u5e94\u8fd4\u56de\u65b0\u4e0a\u4e0b\u6587\u548c\u5b83\u81ea\u5df1\u7684\u9006\uff1b\u9006\u6309\u5e94\u7528\u987a\u5e8f\u7d2f\u79ef\u8fdb\u7d2f\u52a0\u5668\uff0c\u5378\u8f7d\u65f6\u6309 LIFO \u9006\u5e8f\u6267\u884c\u5373\u53ef\u56de\u5230\u521d\u59cb\u72b6\u6001<\/desc>\n  <defs>\n    <marker id=\"aitArr2\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"6\" markerHeight=\"6\" orient=\"auto-start-reverse\">\n      <path d=\"M2 1L8 5L2 9\" fill=\"none\" stroke=\"context-stroke\" stroke-width=\"1.5\" stroke-linecap=\"round\" stroke-linejoin=\"round\"\/>\n    <\/marker>\n  <\/defs>\n  <rect x=\"60\" y=\"50\" width=\"90\" height=\"44\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"105\" y=\"72\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#0C447C\">\u72b6\u6001 0<\/text>\n  <rect x=\"210\" y=\"50\" width=\"90\" height=\"44\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"255\" y=\"72\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#0C447C\">\u72b6\u6001 1<\/text>\n  <rect x=\"360\" y=\"50\" width=\"90\" height=\"44\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"405\" y=\"72\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#0C447C\">\u72b6\u6001 2<\/text>\n  <rect x=\"510\" y=\"50\" width=\"90\" height=\"44\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"555\" y=\"72\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#0C447C\">\u72b6\u6001 3<\/text>\n  <path d=\"M150 72 L204 72\" fill=\"none\" stroke=\"#185FA5\" stroke-width=\"1.5\" marker-end=\"url(#aitArr2)\"\/>\n  <path d=\"M300 72 L354 72\" fill=\"none\" stroke=\"#185FA5\" stroke-width=\"1.5\" marker-end=\"url(#aitArr2)\"\/>\n  <path d=\"M450 72 L504 72\" fill=\"none\" stroke=\"#185FA5\" stroke-width=\"1.5\" marker-end=\"url(#aitArr2)\"\/>\n  <text x=\"177\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#185FA5\">\u6548\u5e94 1<\/text>\n  <text x=\"327\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#185FA5\">\u6548\u5e94 2<\/text>\n  <text x=\"477\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#185FA5\">\u6548\u5e94 3<\/text>\n  <rect x=\"60\" y=\"130\" width=\"540\" height=\"44\" rx=\"8\" fill=\"#FAEEDA\" stroke=\"#854F0B\" stroke-width=\"0.5\"\/>\n  <text x=\"330\" y=\"152\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#633806\">\u7d2f\u52a0\u5668 = \u9006 1 \u2218 \u9006 2 \u2218 \u9006 3\u3000\uff08\u6bcf\u4e2a\u6548\u5e94\u81ea\u5e26\u9006\uff0c\u6309\u5e94\u7528\u987a\u5e8f\u7d2f\u79ef\uff09<\/text>\n  <path d=\"M555 174 L555 212 L105 212 L105 100\" fill=\"none\" stroke=\"#0F6E56\" stroke-width=\"1.5\" marker-end=\"url(#aitArr2)\"\/>\n  <text x=\"330\" y=\"232\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#0F6E56\">\u5378\u8f7d = \u628a\u7d2f\u52a0\u5668\u8dd1\u4e00\u904d\uff0c\u9006\u5e8f\u6267\u884c\u81ea\u52a8\u56de\u5230\u521d\u59cb\u72b6\u6001<\/text>\n<\/svg>\n<\/div>\n<p>\u6700\u6f02\u4eae\u7684\u4e00\u70b9\u662f\uff1a<strong>LIFO \u987a\u5e8f\u662f\u767d\u9001\u7684<\/strong>\u3002\u9006\u6309\u5e94\u7528\u987a\u5e8f\u7d2f\u79ef\u3001\u6309\u76f8\u53cd\u987a\u5e8f\u6267\u884c\uff0c\u6b63\u597d\u6bcf\u4e00\u6b21\u64a4\u9500\u90fd\u62ff\u5230\u300c\u5f53\u521d\u81ea\u5df1\u9020\u6210\u7684\u90a3\u4e00\u4e2a\u72b6\u6001\u300d\u3002\u8bba\u6587\u7528\u4e00\u6761\u5b9a\u7406\u628a\u8fd9\u4e2a\u8bf4\u6b7b\u4e86\uff08\u6bcf\u6b65\u64a4\u9500\u90fd\u7cbe\u786e\u56de\u5230\u5b83\u81ea\u5df1\u7684\u8d77\u70b9\uff0c\u4e14\u4e2d\u95f4\u6bcf\u4e2a\u72b6\u6001\u90fd\u6ee1\u8db3\u53ef\u9760\u6027\u4e0d\u53d8\u91cf\uff09\uff0c\u4e0d\u9700\u8981\u989d\u5916\u89c4\u5219\u3002<\/p>\n<p>\u8bba\u6587\u8fd8\u70b9\u51fa\u4e00\u4e2a\u6211\u5f88\u559c\u6b22\u7684\u7c7b\u6bd4\uff1a<strong>\u6548\u5e94\u8fed\u4ee3\u5668\u672c\u8d28\u4e0a\u5c31\u662f\u4e00\u4e2a\u300c\u5177\u4f53\u5316\u7684\u5b9a\u754c\u7eed\u4f53\u300d\uff0c\u4e5f\u5c31\u662f\u4e3b\u6d41\u8bed\u8a00\u7528 <code>yield<\/code> \u66b4\u9732\u7684\u90a3\u4e2a\u7ed3\u6784<\/strong>\u3002\u6240\u4ee5\u8fd9\u5957\u6a21\u578b\u4e0d\u662f\u8981\u53d1\u660e\u4ec0\u4e48\u65b0\u8bed\u8a00\u7279\u6027 \u2014\u2014 \u5b83\u76f4\u63a5\u843d\u5728\u8bed\u8a00\u5df2\u7ecf\u7ed9\u7684 generator \u4e0a\u3002<\/p>\n<h3>\u7ffb\u8bd1\u6210 Cordis \u7684\u5199\u6cd5\uff0c\u5c31\u662f\u4f60\u5728 dsh \u91cc\u5929\u5929\u89c1\u7684\u4e1c\u897f<\/h3>\n<pre><code>ctx.effect(() =&gt; {\n  const onSignal = () =&gt; shutdown()\n  process.on('SIGINT', onSignal)     \/\/ \u2190 \u6b63\u5411\uff1a\u505a\u4e00\u4ef6\u4e8b\n  \/\/ \u8fd9\u4e2a\u8fd4\u56de\u503c\u5c31\u662f\u8bba\u6587\u91cc\u7684\u300c\u9006\u300d\n  return () =&gt; process.off('SIGINT', onSignal)\n})<\/code><\/pre>\n<p>\u4f60\u8fd4\u56de\u7684\u90a3\u4e2a <code>() =&gt; ...<\/code>\uff0c\u5728\u8bba\u6587\u91cc\u662f\u6709\u4e25\u683c\u7c7b\u578b\u7684\u5bf9\u8c61\uff1a<strong>\u8fd0\u884c\u65f6\u6301\u6709\u5b83\uff0c\u5378\u8f7d\u65f6\u6309 LIFO \u8dd1\u5b83<\/strong>\u3002\u6240\u4ee5\u4f60\u4e0d\u9700\u8981\u5199 uninstall \u8def\u5f84\uff0c\u4e5f\u4e0d\u9700\u8981\u8bb0\u5f97\u6e05\u7406 \u2014\u2014 \u8fd9\u4e0d\u662f\u300c\u65b9\u4fbf\u300d\uff0c\u662f<strong>\u6709\u8bc1\u660e\u7684\u7ed3\u6784\u6027\u4fdd\u8bc1<\/strong>\u3002<\/p>\n<hr>\n<h2>3. \u7a7a\u95f4\u7ef4\u5ea6\uff1a\u4f9d\u8d56\u64cd\u4f5c\u672c\u8eab\u5c31\u662f\u6548\u5e94<\/h2>\n<p>\u4f9d\u8d56\u8fd9\u8fb9\uff0c\u8bba\u6587\u5148\u7528\u4e00\u5f20\u90e8\u5206\u51fd\u6570\u8868\u6765\u5efa\u6a21\uff0c\u4e5f\u5c31\u662f <code>key \u2192 \u503c<\/code> \u7684\u6620\u5c04\uff0c\u53eb<strong>\u4f59\u6548\u5e94\u4e0a\u4e0b\u6587<\/strong>\u3002\u7528\u7c7b\u578b\u65cf\u4fdd\u8bc1\u6bcf\u4e2a key \u5173\u8054\u5230\u5177\u4f53\u7684\u503c\u7c7b\u578b\uff0c\u8bbf\u95ee\u4f9d\u8d56\u65f6\u7c7b\u578b\u662f\u5b89\u5168\u7684\u3002<\/p>\n<p>\u7136\u540e\u662f\u5168\u7bc7\u6700\u300c\u554a\u54c8\u300d\u7684\u4e00\u6b65\u3002\u6ce8\u518c\u4e00\u4e2a\u4f9d\u8d56\u7684\u64cd\u4f5c\u7b7e\u540d\u957f\u8fd9\u6837\uff1a<\/p>\n<pre><code>set(k, v) : \u03a3 \u21c0 \u03a3 \u00d7 (\u03a3 \u21c0 \u03a3)\n              \u2191        \u2191\n           \u65b0\u72b6\u6001   \u64a4\u9500\u8fd9\u6b21\u6ce8\u518c\u7684\u9006<\/code><\/pre>\n<p><strong>\u8fd9\u4e2a\u7c7b\u578b\u6070\u597d\u5c31\u662f\u7b2c 2 \u8282\u90a3\u4e2a\u53ef\u56de\u6eda\u6548\u5e94\u51fd\u6570\u7684\u7c7b\u578b\u3002<\/strong><\/p>\n<p>\u4e5f\u5c31\u662f\u8bf4\uff1a<strong>\u6ce8\u518c\u4e00\u4e2a\u4f9d\u8d56\uff0c\u672c\u8eab\u5c31\u662f\u4e00\u6b21\u53ef\u56de\u6eda\u6548\u5e94<\/strong>\uff0c\u5b83\u8fd4\u56de\u7684\u9006\u5c31\u662f\u300c\u628a k \u4ece\u8868\u91cc\u5220\u6389\u300d\u3002\u8bba\u6587\u7684\u7ed3\u8bba\u662f \u2014\u2014 \u4f9d\u8d56\u6ce8\u518c\u7684\u8ffd\u8e2a\u548c\u6062\u590d\uff0c<strong>\u5b8c\u5168\u4e0d\u9700\u8981\u65b0\u673a\u5236\uff0c\u76f4\u63a5\u4ece\u65f6\u95f4\u90a3\u4e00\u534a\u767d\u5ad6\u8fc7\u6765<\/strong>\u3002\u539f\u6587\u628a\u8fd9\u79f0\u4e3a\u4e24\u79cd\u673a\u5236\u4e4b\u95f4\u7684 synergy\uff1a<em>\u4f59\u6548\u5e94\u64cd\u4f5c\u5c31\u662f\u6548\u5e94\uff0c\u800c\u6548\u5e94\u662f\u53ef\u56de\u6eda\u7684\u3002<\/em><\/p>\n<p>\u5728\u8fd9\u4e4b\u4e0a\u624d\u662f\u300c\u54cd\u5e94\u5f0f\u300d\u3002\u6bcf\u6b21\u4e0a\u4e0b\u6587\u53d1\u751f\u53d8\u5316\uff0c\u90fd\u4f1a\u88ab\u5bf9\u7167\u7ec4\u4ef6\u58f0\u660e\u7684\u4f9d\u8d56\u6e05\u5355\uff08specification\uff09\u5206\u7c7b\u6210\u4e09\u79cd\u4e4b\u4e00\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u5206\u7c7b<\/th>\n<th>\u542b\u4e49<\/th>\n<th>\u540e\u679c<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>activating<\/strong><\/td>\n<td>\u4f9d\u8d56\u4ece\u300c\u4e0d\u6ee1\u8db3\u300d\u53d8\u6210\u300c\u6ee1\u8db3\u300d<\/td>\n<td>\u6267\u884c\u7ec4\u4ef6\u7684\u6548\u5e94\uff08\u81ea\u52a8\u88ab\u8ffd\u8e2a\uff09<\/td>\n<\/tr>\n<tr>\n<td><strong>deactivating<\/strong><\/td>\n<td>\u4f9d\u8d56\u4ece\u300c\u6ee1\u8db3\u300d\u53d8\u6210\u300c\u4e0d\u6ee1\u8db3\u300d<\/td>\n<td>\u8dd1\u7d2f\u52a0\u5668\u56de\u6eda\uff08\u81ea\u52a8\u64a4\u9500\uff09<\/td>\n<\/tr>\n<tr>\n<td><strong>neutral<\/strong><\/td>\n<td>\u6ee1\u8db3\u6027\u6ca1\u53d8<\/td>\n<td>\u4ec0\u4e48\u90fd\u4e0d\u505a<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u8fd9\u5c31\u662f\u4e3a\u4ec0\u4e48\u5728 dsh \/ Cordis \u91cc\uff0c\u63d2\u4ef6<strong>\u4e0d\u9700\u8981\u81ea\u5df1\u8f6e\u8be2\u4f9d\u8d56\u3001\u4e5f\u4e0d\u9700\u8981\u81ea\u5df1\u63a5\u4e8b\u4ef6\u603b\u7ebf<\/strong> \u2014\u2014 \u4f60 <code>inject<\/code> \u58f0\u660e\u4e00\u4e0b\uff0c\u7cfb\u7edf\u5728\u4f9d\u8d56\u6ee1\u8db3\u6027\u53d8\u5316\u7684\u77ac\u95f4\u9a71\u52a8\u4f60\u7684\u751f\u547d\u5468\u671f\u3002<\/p>\n<p>\u8bba\u6587\u8fd8\u987a\u624b\u52a0\u4e86\u4e24\u4e2a\u673a\u5236\uff0c\u90fd\u5f88\u5b9e\u7528\uff1a<\/p>\n<h3>\u9694\u79bb\uff08isolation\uff09\uff1a\u540c\u4e00\u4e2a key\uff0c\u4e0d\u540c\u4e0a\u4e0b\u6587\u89e3\u6790\u5230\u4e0d\u540c\u7684\u503c<\/h3>\n<p>\u8bba\u6587\u8bf4\u5b83<strong>\u672c\u8d28\u4e0a\u5b9e\u73b0\u4e86\u4e00\u4e2a\u8fd0\u884c\u65f6\u7684 ad-hoc \u591a\u6001\u7cfb\u7edf<\/strong> \u2014\u2014 \u800c\u4e14\u8fd9\u79cd\u591a\u6001\u53ef\u4ee5\u5728\u8fd0\u884c\u65f6\u52a8\u6001\u8c03\u6574\u3002\u591a\u79df\u6237\u3001\u6d4b\u8bd5\u73af\u5883\u3001\u7ec4\u4ef6\u6c99\u7bb1\u90fd\u7528\u5f97\u4e0a\u3002\u6bd4\u5982\u540c\u4e00\u4efd\u300c\u6570\u636e\u5e93\u300d\u4f9d\u8d56\uff0c\u7ed9\u793e\u533a\u63d2\u4ef6\u6ce8\u5165\u53ea\u8bfb\u5b9e\u4f8b\uff0c\u7ed9\u6838\u5fc3\u63d2\u4ef6\u6ce8\u5165\u5b8c\u6574\u6743\u9650\u5b9e\u4f8b\uff0c\u800c\u4e24\u4efd\u4ee3\u7801\u90fd\u4e0d\u7528\u6539\u3002<\/p>\n<h3>\u62e6\u622a\uff08interception\uff09\uff1a\u7ed9\u4f9d\u8d56\u8bbf\u95ee\u6302\u6a2a\u5207\u5143\u6570\u636e<\/h3>\n<p>\u5173\u952e\u662f\u5b83\u7684\u5408\u5e76\u89c4\u5219\u662f<strong>\u53f3\u504f\u7684<\/strong>\uff1a\u5916\u5c42\u4e0a\u4e0b\u6587\u53ef\u4ee5\u8986\u76d6\u7ec4\u4ef6\u81ea\u5df1\u7684\u58f0\u660e\u3002\u8fd9\u610f\u5473\u7740<strong>\u5916\u5c42\u53ef\u4ee5\u7ea6\u675f\u4e00\u4e2a\u7ec4\u4ef6\u300c\u5982\u4f55\u4f7f\u7528\u300d\u67d0\u4e2a\u4f9d\u8d56\uff0c\u800c\u4e0d\u4fee\u6539\u90a3\u4e2a\u7ec4\u4ef6\u7684\u4ee3\u7801<\/strong>\u3002\u8fd9\u4e2a\u7279\u6027\u5728\u6743\u9650\u63a7\u5236\u91cc\u4f1a\u53d8\u6210\u4e3b\u8981\u5356\u70b9\uff08\u7b2c 6 \u8282\u5c55\u5f00\uff09\u3002<\/p>\n<hr>\n<h2>4. \u6700\u6df1\u523b\u7684\u4e00\u70b9\uff1a\u6062\u590d\u4e0d\u7b49\u4e8e\u300c\u539f\u6837\u6062\u590d\u300d<\/h2>\n<p>\u524d\u9762\u8bf4\u300c\u5378\u8f7d\u628a\u7d2f\u52a0\u5668\u8dd1\u4e00\u904d\u5c31\u56de\u5230\u521d\u59cb\u72b6\u6001\u300d\uff0c\u8bba\u6587\u5f88\u5feb\u5c31\u81ea\u5df1\u62c6\u53f0\u4e86\u3002<\/p>\n<p>\u5b83\u4e3e\u4e86\u4e24\u4e2a\u4f8b\u5b50\uff1a<code>free<\/code> \u628a\u5185\u5b58\u5757\u8fd8\u7ed9\u5206\u914d\u5668\uff0c\u4f46<strong>\u4e0d\u4f1a\u6062\u590d<\/strong> <code>malloc<\/code> \u4e4b\u524d\u5806\u7684\u5e03\u5c40\uff1b\u4e00\u4e2a\u300c\u751f\u6210\u540d\u300d\u88ab\u4e22\u5f03\u540e\u4e5f\u6062\u590d\u4e0d\u4e86\uff0c\u56e0\u4e3a\u4e0b\u6b21\u521b\u5efa\u4f1a\u53d6\u4e00\u4e2a\u65b0\u7684\u3002<\/p>\n<p>\u7269\u7406\u72b6\u6001\u6839\u672c\u6ca1\u6cd5\u539f\u6837\u6062\u590d\u3002\u6240\u4ee5\u8bba\u6587\u505a\u4e86\u4e00\u4ef6\u5f88\u8bda\u5b9e\u7684\u4e8b\uff1a<strong>\u628a\u300c\u76f8\u7b49\u300d\u964d\u7ea7\u6210\u300c\u89c2\u5bdf\u7b49\u4ef7\u300d<\/strong>\u3002<\/p>\n<p>\u5b9a\u4e49\u662f\u8fd9\u6837\u7684\uff1a\u4e24\u4e2a\u72b6\u6001\u76f8\u5173\uff0c\u5f53\u4e14\u4ec5\u5f53<strong>\u6ca1\u6709\u89c2\u5bdf\u8005\u80fd\u533a\u5206\u5b83\u4eec<\/strong>\u3002\u800c\u300c\u89c2\u5bdf\u8005\u300d\u7684\u5b9a\u4e49\u624d\u662f\u7cbe\u9ad3 \u2014\u2014 <strong>\u89c2\u5bdf\u4e00\u4e2a\u503c\uff0c\u5c31\u662f\u8dd1\u5b83\u90a3\u4e2a key \u63d0\u4f9b\u7684\u64cd\u4f5c\u3001\u8bfb\u5b83\u4eec\u8fd4\u56de\u7684\u7ed3\u679c\u3002<\/strong><\/p>\n<p>\u4e8e\u662f\u8fd9\u4e2a\u7b49\u4ef7\u5173\u7cfb\u662f\u88ab<strong>\u63a5\u53e3\u672c\u8eab<\/strong>\u751f\u6210\u7684\u3002\u63a8\u8bba\u975e\u5e38\u5b9e\u7528\uff1a<\/p>\n<div class=\"fig\">\n<svg viewBox=\"0 0 680 252\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\"><\/p>\n<style>text{font-family:-apple-system,BlinkMacSystemFont,\"Segoe UI\",\"PingFang SC\",\"Hiragino Sans GB\",\"Microsoft YaHei\",sans-serif;}<\/style>\n<p>  <title>\u63a5\u53e3\u53d1\u5e03\u4ec0\u4e48\u51b3\u5b9a\u4e86\u4ec0\u4e48\u53ef\u56de\u6eda<\/title>\n  <desc>\u53ea\u53d1\u5e03\u5fc5\u8981\u7ed3\u679c\u7684\u63a5\u53e3\u8ba9\u53d8\u66f4\u4e0d\u53ef\u89c2\u5bdf\uff0c\u56e0\u800c\u53ef\u4ea4\u6362\u53ef\u56de\u6eda\uff1b\u591a\u53d1\u5e03\u4e00\u4e2a\u7ed3\u679c\u5c31\u4f1a\u66b4\u9732\u987a\u5e8f\u5dee\u5f02\uff0c\u7834\u574f\u53ef\u4ea4\u6362\u6027<\/desc>\n  <rect x=\"40\" y=\"40\" width=\"290\" height=\"104\" rx=\"8\" fill=\"#EAF3DE\" stroke=\"#3B6D11\" stroke-width=\"0.5\"\/>\n  <text x=\"185\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#27500A\">\u53ef\u4ea4\u6362 \u00b7 \u53ef\u56de\u6eda<\/text>\n  <text x=\"185\" y=\"90\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#3B6D11\">\u8def\u7531\u6ce8\u518c \/ \u4e8b\u4ef6\u76d1\u542c\u5668\u6ce8\u518c<\/text>\n  <text x=\"185\" y=\"112\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#3B6D11\">mmap \u2014 \u53ef\u8fd4\u56de\u4efb\u610f\u672a\u7528\u5730\u5740<\/text>\n  <text x=\"185\" y=\"132\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#5F5E5A\">\u6bcf\u6b21\u6ce8\u518c\u6709\u81ea\u5df1\u7684\u6761\u76ee\uff0c\u987a\u5e8f\u89c2\u5bdf\u4e0d\u5230<\/text>\n  <rect x=\"350\" y=\"40\" width=\"290\" height=\"104\" rx=\"8\" fill=\"#FCEBEB\" stroke=\"#A32D2D\" stroke-width=\"0.5\"\/>\n  <text x=\"495\" y=\"62\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"13\" font-weight=\"500\" fill=\"#791F1F\">\u4e0d\u53ef\u4ea4\u6362 \u00b7 \u65e0\u6cd5\u56de\u6eda<\/text>\n  <text x=\"495\" y=\"90\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#A32D2D\">\u4e2d\u95f4\u4ef6\u6709\u5e8f\u94fe<\/text>\n  <text x=\"495\" y=\"112\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#A32D2D\">open \u2014 \u5fc5\u987b\u8fd4\u56de\u6700\u4f4e\u53ef\u7528 fd<\/text>\n  <text x=\"495\" y=\"132\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#5F5E5A\">\u591a\u66b4\u9732\u4e00\u4e2a\u7ed3\u679c\uff0c\u987a\u5e8f\u5dee\u5f02\u5c31\u53ef\u89c1<\/text>\n  <rect x=\"40\" y=\"172\" width=\"600\" height=\"56\" rx=\"8\" fill=\"#E6F1FB\" stroke=\"#185FA5\" stroke-width=\"0.5\"\/>\n  <text x=\"340\" y=\"192\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" fill=\"#185FA5\">\u63a5\u53e3\u5c11\u53d1\u5e03\u4e00\u4e2a\u7ed3\u679c \u2192 \u89c2\u5bdf\u7b49\u4ef7\u66f4\u7c97 \u2192 \u66f4\u591a\u53d8\u66f4\u53d8\u5f97\u4e0d\u53ef\u89c2\u5bdf<\/text>\n  <text x=\"340\" y=\"212\" text-anchor=\"middle\" dominant-baseline=\"central\" font-size=\"12\" font-weight=\"500\" fill=\"#0C447C\">\u63a5\u53e3\u8bbe\u8ba1\u56e0\u6b64\u53ef\u4ee5\u76f4\u63a5\u5f53\u6210\u53ef\u7ec4\u5408\u6027\u8bbe\u8ba1\u6765\u7528<\/text>\n<\/svg>\n<\/div>\n<p>\u8bba\u6587\u91cc\u90a3\u7ec4 POSIX \u5bf9\u7167\u6211\u770b\u4e86\u597d\u51e0\u904d\uff0c\u5b9e\u5728\u592a\u6f02\u4eae\uff1a<\/p>\n<ul>\n<li><code>mmap<\/code> <strong>\u5141\u8bb8\u8fd4\u56de\u4efb\u4f55\u672a\u4f7f\u7528\u7684\u5730\u5740<\/strong>\uff0c\u6240\u4ee5\u6ca1\u6709\u64cd\u4f5c\u80fd\u89c2\u5bdf\u5230\u300c\u7528\u4e86\u54ea\u4e2a\u5730\u5740\u300d\uff0c\u4e24\u6b21\u5206\u914d\u5c31\u662f\u53ef\u4ea4\u6362\u7684\u3002<\/li>\n<li><code>open<\/code> <strong>\u5fc5\u987b\u8fd4\u56de\u6700\u4f4e\u53ef\u7528\u7684\u6587\u4ef6\u63cf\u8ff0\u7b26<\/strong> \u2014\u2014 \u5355\u8fd9\u4e00\u6761\u8981\u6c42\uff0c\u5c31\u8ba9\u4e24\u6b21\u63cf\u8ff0\u7b26\u5206\u914d\u4e0d\u518d\u53ef\u4ea4\u6362\u3002<\/li>\n<\/ul>\n<p>\u540c\u4e00\u4e2a\u5185\u6838\u91cc\u7684\u4e24\u4e2a\u7cfb\u7edf\u8c03\u7528\uff0c\u6210\u8d25\u5c31\u53d6\u51b3\u4e8e<strong>\u63a5\u53e3\u591a\u53d1\u5e03\u4e86\u4e00\u4e2a\u7ed3\u679c<\/strong>\u3002<\/p>\n<p>\u8bba\u6587\u8fd8\u63d0\u5230\u4e00\u4e2a\u7ec6\u8282\uff1a\u5173\u4e8e\u300c\u5206\u914d\u5668\u53d1\u51fa\u7684 handle\u300d\uff0c\u5982\u679c\u5b83\u7684\u63a5\u53e3\u4e0d\u6bd4\u8f83\u8fd9\u4e9b handle\uff0c\u90a3\u4e48\u4e24\u4e2a\u5806\u5728\u300chandle \u91cd\u547d\u540d\u300d\u4e0b\u5c31\u662f\u7b49\u4ef7\u7684 \u2014\u2014 \u8fd9\u6b63\u662f <strong>CompCert<\/strong> \u5173\u8054\u4e00\u4e2a\u7a0b\u5e8f\u53ca\u5176\u7f16\u8bd1\u7ed3\u679c\u7684\u5185\u5b58\u72b6\u6001\u7684\u65b9\u5f0f\u3002<\/p>\n<p>\u8fd9\u6761\u6d1e\u5bdf\u53ef\u4ee5\u76f4\u63a5\u62ff\u53bb\u7528\uff1a<strong>\u5982\u679c\u4f60\u5728\u8bbe\u8ba1\u4e00\u4e2a\u53ef\u70ed\u63d2\u62d4\u7684\u63a5\u53e3\uff0c\u300c\u5c11\u53d1\u5e03\u4e00\u4e2a\u8fd4\u56de\u503c\u300d\u4e0d\u53ea\u662f\u51cf\u5c11\u8026\u5408\uff0c\u5b83\u76f4\u63a5\u628a\u66f4\u591a\u53d8\u66f4\u53d8\u6210\u4e86\u300c\u4e0d\u53ef\u89c2\u5bdf\u300d\uff0c\u4ece\u800c\u53d8\u5f97\u53ef\u56de\u6eda\u3002<\/strong><\/p>\n<hr>\n<h2>5. \u4ece\u5355\u4e2a\u7ec4\u4ef6\uff0c\u62ac\u5230\u6574\u4e2a\u7cfb\u7edf<\/h2>\n<p>\u5355\u4e2a\u7ec4\u4ef6\u80fd\u5e72\u51c0\u88c5\u5378\u8fd8\u4e0d\u591f \u2014\u2014 \u771f\u5b9e\u7cfb\u7edf\u662f\u4e00\u5806\u7ec4\u4ef6\u4ea4\u9519\u8fd0\u884c\u3002\u8bba\u6587\u4e3a\u6b64\u642d\u4e86\u4e09\u5c42\u5bf9\u8c61\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u6982\u5ff5<\/th>\n<th>\u662f\u4ec0\u4e48<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>\u7ec4\u4ef6\uff08component\uff09<\/strong><\/td>\n<td>\u4e00\u4e2a\u4e09\u5143\u7ec4\uff1a\u5b83\u9700\u8981\u7684\u4f9d\u8d56 <code>d<\/code>\u3001\u5b83\u53ef\u80fd\u63d0\u4f9b\u7684 key <code>p<\/code>\u3001\u4ee5\u53ca\u5e26\u89c1\u8bc1\u7684\u6548\u5e94\u51fd\u6570 <code>e<\/code><\/td>\n<\/tr>\n<tr>\n<td><strong>\u7ea4\u7a0b\uff08fiber\uff09<\/strong><\/td>\n<td>\u7ec4\u4ef6\u7684\u4e00\u6b21\u5b9e\u4f8b\u5316\uff0c\u5e26\u81ea\u5df1\u7684\u751f\u547d\u5468\u671f\u72b6\u6001\uff0c\u548c\u4e00\u4efd <strong>committed view<\/strong>\uff08\u8bb0\u5f55\u5b83\u6fc0\u6d3b\u65f6\u6bcf\u4e2a key \u7531\u8c01\u63d0\u4f9b\uff09\u3002\u4f60\u5728 Cordis \u91cc\u770b\u5230\u7684 <code>fiber<\/code> \u5c31\u662f\u8fd9\u4e2a<\/td>\n<\/tr>\n<tr>\n<td><strong>\u6ce8\u518c\u8868\uff08registry\uff09<\/strong><\/td>\n<td>\u6240\u6709\u7ea4\u7a0b\u6309\u540d\u5b57\u6302\u8f7d\uff0c\u7236\u6307\u9488\u6784\u6210\u4e00\u68f5\u6811<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u6709\u4e2a\u8bbe\u8ba1\u7ec6\u8282\u7279\u522b\u80fd\u4f53\u73b0\u4f5c\u8005\u7684\u8c28\u614e\uff1a<strong>\u6574\u4e2a\u4f9d\u8d56\u8868\u662f\u300c\u6d3e\u751f\u300d\u51fa\u6765\u7684\uff0c\u4e0d\u662f\u5b58\u50a8\u7684<\/strong> \u2014\u2014 \u5b83\u5c31\u662f\u6240\u6709\u5904\u4e8e\u6fc0\u6d3b\u72b6\u6001\u7684\u7ea4\u7a0b\u5171\u540c\u63d0\u4f9b\u7684\u4e1c\u897f\u3002\u800c\u4e14\u4e0d\u540c\u7ea4\u7a0b\u7684\u300c\u53ef\u63d0\u4f9b\u96c6\u5408\u300d<strong>\u5fc5\u987b\u4e0d\u76f8\u4ea4<\/strong>\uff0c\u4e8e\u662f\u6bcf\u4e2a key \u6070\u597d\u6709\u4e00\u4e2a provider\u3002<\/p>\n<p>\u89c4\u5219\u4e00\u5171\u4e5d\u6761\uff0c\u5206\u4e24\u7c7b\uff1a<strong>\u7f16\u6392\u89c4\u5219<\/strong>\u662f\u5916\u90e8\u80fd\u8bf7\u6c42\u7684\u52a8\u4f5c\uff08\u63d2\u5165 \/ \u9000\u4f11 \/ \u79fb\u9664\uff09\uff0c<strong>\u751f\u547d\u5468\u671f\u89c4\u5219<\/strong>\u662f\u53ea\u8981\u524d\u63d0\u6210\u7acb\u5c31\u81ea\u53d1\u53d1\u751f\u7684\u6b65\u9aa4\u3002<\/p>\n<p>\u5176\u4e2d<strong>\u300c\u9000\u4f11\u300d\uff08Retire\uff09\u548c\u300c\u79fb\u9664\u300d\uff08Remove\uff09\u662f\u523b\u610f\u5206\u5f00\u7684<\/strong>\uff0c\u7406\u7531\u5f88\u5b9e\u5728\uff1a\u9000\u4f11\u662f\u4e00\u4e2a<strong>\u8bf7\u6c42<\/strong>\uff0c\u6240\u4ee5\u65e0\u6761\u4ef6\uff1b\u800c\u4e00\u4e2a\u5df2\u9000\u4f11\u4f46\u4ecd\u5904\u4e8e\u6fc0\u6d3b\u6001\u7684\u7ea4\u7a0b\uff0c<strong>\u5fc5\u987b\u5148\u88ab\u505c\u7528\u624d\u80fd\u79fb\u9664<\/strong> \u2014\u2014 \u63d0\u524d\u79fb\u9664\u4f1a\u4e22\u5f03\u7d2f\u52a0\u5668\uff0c\u76f4\u63a5\u6cc4\u6f0f\u3002<\/p>\n<p>\u8fd9\u5957\u6f14\u7b97\u6700\u7ec8\u6362\u6765\u516d\u4e2a\u7ed3\u679c\uff0c\u6211\u7528\u5927\u767d\u8bdd\u5217\u4e00\u4e0b\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u5b9a\u7406<\/th>\n<th>\u5927\u767d\u8bdd<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>Preservation<\/td>\n<td>\u7cfb\u7edf\u4e0d\u4f1a\u300c\u8dd1\u574f\u300d\uff1a\u826f\u6784\u6027\u5728\u6bcf\u4e00\u6b65\u4e4b\u540e\u90fd\u4fdd\u6301<\/td>\n<\/tr>\n<tr>\n<td><strong>Recovery exactness<\/strong><\/td>\n<td>\u4efb\u610f\u4ea4\u9519\u4e4b\u540e\u8dd1\u67d0\u4e2a\u7ea4\u7a0b\u7684\u7d2f\u52a0\u5668\uff0c<strong>\u5b83\u64a4\u56de\u7684\u53ea\u6709\u5b83\u81ea\u5df1\u7684\u8d21\u732e<\/strong>\uff0c\u522b\u4eba\u7684\u4e00\u4e1d\u4e0d\u52a8<\/td>\n<\/tr>\n<tr>\n<td><strong>Ordering<\/strong><\/td>\n<td>\u7ea4\u7a0b\u53ea\u5728\u4f9d\u8d56\u5c31\u4f4d\u7684\u5730\u65b9\u542f\u52a8\uff1bprovider \u53ea\u5728\u6240\u6709\u4f9d\u8d56\u65b9\u90fd\u505c\u7528\u4e4b\u540e\uff0c\u624d\u64a4\u56de\u7ed1\u5b9a<\/td>\n<\/tr>\n<tr>\n<td>Resolution coherence<\/td>\n<td>\u4e00\u6b21\u8fc7\u6e21\u6240\u4f9d\u636e\u7684\u4f9d\u8d56\u89e3\u6790\uff0c\u4e0d\u4f1a\u5728\u5b83\u81ea\u5df1\u811a\u4e0b\u79fb\u52a8<\/td>\n<\/tr>\n<tr>\n<td><strong>Progress<\/strong><\/td>\n<td>\u4e0d\u4f1a\u6b7b\u9501\uff0c\u800c\u4e14\u4e00\u5b9a\u4f1a\u7ec8\u6b62 \u2014\u2014 \u6bcf\u4e2a\u6700\u957f\u7684\u6b65\u9aa4\u5e8f\u5217\u90fd\u7ec8\u7ed3\u4e8e\u300c\u9759\u6b62\u72b6\u6001\u300d<\/td>\n<\/tr>\n<tr>\n<td><strong>Confluence<\/strong><\/td>\n<td>\u65e0\u8bba\u4e2d\u9014\u600e\u4e48\u6298\u817e\u3001\u4ec0\u4e48\u987a\u5e8f\uff0c\u6700\u7ec8\u9759\u6b62\u72b6\u6001<strong>\u53ea\u53d6\u51b3\u4e8e\u6700\u7ec8\u914d\u7f6e<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u524d\u4e24\u4e2a\u5c31\u662f\u300c\u65f6\u95f4\u53ef\u7ec4\u5408\u6027\u300d\u548c\u300c\u7a7a\u95f4\u53ef\u7ec4\u5408\u6027\u300d\u7684\u5168\u5c40\u7248\u672c \u2014\u2014 \u4ece\u300c\u4e00\u4e2a\u7ec4\u4ef6\u81ea\u5df1\u6210\u7acb\u300d\u5347\u7ea7\u6210\u300c\u4efb\u610f\u4ea4\u9519\u7684\u4e00\u5806\u7ec4\u4ef6\u4e4b\u95f4\u90fd\u6210\u7acb\u300d\u3002<\/p>\n<p>\u800c <strong>Confluence \u662f\u6700\u6709\u5de5\u7a0b\u4ef7\u503c\u7684\u90a3\u4e2a<\/strong>\uff0c\u56e0\u4e3a\u5b83\u76f4\u63a5\u56de\u7b54\u4e86\uff1a<strong>\u300c\u914d\u7f6e\u70ed\u66f4\u65b0\u4e3a\u4ec0\u4e48\u662f\u5bf9\u7684\uff1f\u300d<\/strong> loader \u5728\u505a\u589e\u91cf\u8c03\u548c\u7684\u65f6\u5019\uff0c\u4e2d\u9014\u600e\u4e48\u63d2\u5165\u3001\u600e\u4e48\u9000\u4f11\u3001\u4ee5\u4ec0\u4e48\u987a\u5e8f\u6267\u884c\uff0c\u5168\u90fd\u65e0\u6240\u8c13 \u2014\u2014 \u7cfb\u7edf\u6700\u7ec8\u4f1a\u505c\u5728\u300c\u4ece\u96f6\u52a0\u8f7d\u6700\u7ec8\u914d\u7f6e\u300d\u672c\u8be5\u5728\u7684\u4f4d\u7f6e\u3002\u8fd9\u5c31\u662f \u00a75.2 \u90a3\u5957\u5b9e\u73b0\u7684\u5408\u6cd5\u6027\u6765\u6e90\u3002<\/p>\n<hr>\n<h2>6. \u843d\u5730\uff1a\u7406\u8bba \u2194 \u4ee3\u7801\u7684\u5bf9\u7167<\/h2>\n<p>Cordis \u7684\u5b9e\u73b0\u5206\u4e09\u5c42\uff1a<strong>\u6838\u5fc3\u5e93<\/strong>\uff08\u6548\u5e94 \/ \u4f59\u6548\u5e94\u539f\u8bed\uff09\u2192 <strong>\u7ec4\u4ef6\u52a0\u8f7d\u5668<\/strong>\uff08\u58f0\u660e\u5f0f\u914d\u7f6e\u3001\u8c03\u548c\u3001\u70ed\u6a21\u5757\u66ff\u6362\uff09\u2192 <strong>\u5e94\u7528\u6846\u67b6<\/strong>\uff08Koishi \u5728\u7b2c\u4e09\u5c42\uff09\u3002<\/p>\n<p>\u8bba\u6587\u7684 Table 2 \u662f\u4e00\u5f20\u7406\u8bba\u5230\u4ee3\u7801\u7684\u5bf9\u7167\u8868\uff0c\u51e0\u4e2a\u6709\u610f\u601d\u7684\u6620\u5c04\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u8bba\u6587\u91cc\u7684<\/th>\n<th>Cordis \u91cc\u7684<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td>\u7d2f\u52a0\u5668<\/td>\n<td><code>fiber.dispose<\/code><\/td>\n<\/tr>\n<tr>\n<td>committed view<\/td>\n<td><code>fiber.committed<\/code><\/td>\n<\/tr>\n<tr>\n<td>\u63d2\u5165 \/ \u9000\u4f11<\/td>\n<td><code>ctx.use<\/code> \u53ca\u5176\u56de\u8c03\u7684\u9006<\/td>\n<\/tr>\n<tr>\n<td>\u751f\u547d\u5468\u671f\u72b6\u6001<\/td>\n<td><code>fiber.state<\/code>\uff08LOADING \u5bf9\u5e94 Reloading\uff09<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<h3>\u4e00\u4e2a\u987a\u5e26\u505a\u6210\u7684\u5b89\u5168\u7279\u6027<\/h3>\n<p>\u8bbf\u95ee\u4f9d\u8d56\u6709\u4e24\u6761\u8def\uff1a<code>ctx.get(key)<\/code> \u662f\u53cd\u5c04\u5f0f\u67e5\u627e\uff0c<strong>\u6c38\u8fdc\u4e0d\u5931\u8d25<\/strong>\uff1b\u800c <code>ctx[key]<\/code> \u8d70 TypeScript \u7684 Proxy\uff0c<strong>\u6cbf\u7ea4\u7a0b\u94fe\u5411\u4e0a\u89e3\u6790<\/strong> \u2014\u2014<\/p>\n<ul>\n<li>\u9047\u5230\u7b2c\u4e00\u4e2a committed view \u91cc\u7ed1\u5b9a\u4e86\u8fd9\u4e2a key \u7684\u7ea4\u7a0b \u2192 \u6388\u6743\uff0c\u8fd4\u56de<\/li>\n<li>\u9047\u5230\u4e00\u4e2a<strong>\u58f0\u660e\u4e86\u4f46\u8fd8\u6ca1\u52a0\u8f7d<\/strong>\u7684\u7ea4\u7a0b \u2192 \u8bbf\u95ee\u5931\u8d25<\/li>\n<li>\u4e00\u8def\u8d70\u5230 root \u90fd\u6ca1\u4eba\u58f0\u660e \u2192 \u76f4\u63a5\u62d2\u7edd<\/li>\n<\/ul>\n<p>\u8fd9<strong>\u672c\u8eab\u5c31\u662f\u4e00\u5c42\u80fd\u529b\u5f0f\u8bbf\u95ee\u63a7\u5236<\/strong>\uff1a\u7ec4\u4ef6\u53ea\u80fd\u8bbf\u95ee\u5b83\u58f0\u660e\u8fc7\u7684\u4e1c\u897f\u3002\u800c\u4e14\u56e0\u4e3a\u58f0\u660e\u662f\u9759\u6001\u7684\uff0c<strong>\u5b8c\u6574\u7684\u6743\u9650\u96c6\u5408\u5728\u7ec4\u4ef6\u8fd0\u884c\u4e4b\u524d\u5c31\u5df2\u77e5<\/strong> \u2014\u2014 \u7f16\u6392\u5668\u53ef\u4ee5\u5728\u52a0\u8f7d\u7684\u65f6\u5019\u5ba1\u67e5\uff0c\u800c\u4e0d\u662f\u7b49\u5230\u8bbf\u95ee\u53d1\u751f\u624d\u53d1\u73b0\u3002<\/p>\n<h3>Koishi \u7684\u56db\u5e74\uff0c\u5c31\u662f\u8fd9\u5957\u7406\u8bba\u7684\u5bf9\u7167\u7ec4<\/h3>\n<ul>\n<li>\u56db\u5e74\u5f00\u53d1\uff0c\u79ef\u7d2f\u4e86 <strong>4000+ \u793e\u533a\u63d2\u4ef6<\/strong>\uff08IM \u9002\u914d\u5668\u3001\u6570\u636e\u5e93\u9a71\u52a8\u3001\u7ba1\u7406\u63a7\u5236\u53f0\u3001\u7ec8\u7aef\u529f\u80fd\uff09<\/li>\n<li>\u8bba\u6587\u81ea\u5df1\u4ea4\u4ee3\uff1aKoishi \u76ee\u524d\u8dd1\u5728 Cordis v3 \u4e0a\uff0c\u8bba\u6587\u91cc\u7684 v4 \u7cbe\u70bc\u4e86\u6548\u5e94\/\u4f59\u6548\u5e94\u8bed\u4e49\u5e76\u91cd\u5199\u4e86 loader\uff0c\u6838\u5fc3\u7ec4\u5408\u6a21\u578b\u4e24\u7248\u5171\u4eab<\/li>\n<li>\u6700\u6709\u8bf4\u670d\u529b\u7684\u9a8c\u8bc1\u662f<strong>\u300c\u65f6\u95f4\u53ef\u7ec4\u5408\u6027\u6ca1\u6709\u8ba4\u77e5\u5f00\u9500\u300d<\/strong>\uff1a\u56e0\u4e3a\u6548\u5e94\u88ab\u81ea\u52a8\u8ffd\u8e2a\u3001\u9006\u88ab\u81ea\u52a8\u7ec4\u5408\uff0c<strong>\u4e00\u4e2a\u6ca1\u7ecf\u9a8c\u7684\u63d2\u4ef6\u4f5c\u8005\u4e5f\u80fd\u62ff\u5230\u6709\u5e8f\u6e05\u7406\uff0c\u5b8c\u5168\u4e0d\u7528\u5199 uninstall \u8def\u5f84<\/strong><\/li>\n<\/ul>\n<p>\u8bba\u6587\u8bf4\uff0c\u8fd9\u624d\u8865\u4e0a\u4e86 VSCode \u90a3\u79cd\u300c\u9760\u6bcf\u4e2a\u4f5c\u8005\u81ea\u5df1\u52e4\u52c9\u300d\u7684\u7f3a\u5931 \u2014\u2014 \u6b63\u786e\u6027\u4ece\u300c\u6bcf\u4e2a\u4eba\u7684\u8d23\u4efb\u5fc3\u300d\u53d8\u6210\u4e86<strong>\u7531\u62bd\u8c61\u4e00\u6b21\u6027\u7ed3\u6e05<\/strong>\u3002<\/p>\n<p>\u7a7a\u95f4\u4fa7\u7684\u9a8c\u8bc1\u540c\u6837\u5b9e\u5728\uff1aKoishi \u7684\u751f\u6001\u91cc\u6709<strong>\u771f\u5b9e\u7684\u4f9d\u8d56\u62d3\u6251<\/strong>\u3002\u8fd0\u884c\u65f6\u5207\u6362\u5b58\u50a8\u540e\u7aef\uff0c\u53ea\u4f1a\u91cd\u65b0\u6fc0\u6d3b\u90a3\u4e9b\u300c\u89e3\u6790\u7ed3\u679c\u771f\u7684\u53d8\u4e86\u300d\u7684\u4f9d\u8d56\u65b9\uff1b\u4f9d\u8d56\u6682\u65f6\u7f3a\u5931\u7684\u63d2\u4ef6\u4fdd\u6301\u4e0d\u6d3b\u52a8\u3001<strong>\u4f46\u4e0d\u62a5\u9519<\/strong>\u3002\u800c\u5173\u952e\u5728\u4e8e\uff0c<strong>\u8fd9\u4e00\u5207\u8de8\u72ec\u7acb\u4f5c\u8005\u6210\u7acb<\/strong> \u2014\u2014 \u63d2\u4ef6\u548c\u5b83\u7684\u4f9d\u8d56\u901a\u5e38\u7531\u4e0d\u540c\u4eba\u5199\uff0c\u9664\u4e86\u8fde\u63a5\u5b83\u4eec\u7684\u90a3\u4e2a key \u4e4b\u5916\uff0c\u8c01\u4e5f\u4e0d\u8ba4\u8bc6\u8c01\u3002<\/p>\n<hr>\n<h2>7. \u4f5c\u8005\u81ea\u5df1\u627f\u8ba4\u7684\u5c40\u9650<\/h2>\n<p>\u8fd9\u90e8\u5206\u6211\u633a\u6b23\u8d4f\uff0c\u5199\u5f97\u975e\u5e38\u5b9e\u5728\uff0c\u6ca1\u6709\u786c\u6491\uff1a<\/p>\n<table>\n<thead>\n<tr>\n<th>\u5c40\u9650<\/th>\n<th>\u5177\u4f53\u8bf4\u660e<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>\u6848\u4f8b\u7814\u7a76\u662f\u300c\u5b58\u5728\u6027\u300d\u7684\uff0c\u4e0d\u662f\u5b9a\u91cf\u7684<\/strong><\/td>\n<td>\u53ea\u6709 Koishi \u4e00\u4e2a\u751f\u6001\u3001TypeScript \u4e00\u79cd\u5bbf\u4e3b\u8bed\u8a00\uff0c\u662f\u89c2\u5bdf\u6027\u7684\uff0c\u6ca1\u6709\u53d7\u63a7\u5bf9\u7167\u3002\u62bd\u8c61\u5e26\u6765\u7684<strong>\u5f00\u9500\u3001\u4ee5\u53ca\u5bf9\u5f00\u53d1\u6548\u7387\u7684\u5f71\u54cd\uff0c\u8bba\u6587\u6ca1\u6709\u6d4b\u91cf<\/strong>\uff0c\u660e\u786e\u7559\u4f5c\u672a\u6765\u5de5\u4f5c<\/td>\n<\/tr>\n<tr>\n<td><strong>\u300c\u65e0\u73af\u300d\u662f\u5047\u8bbe\uff0c\u4e0d\u662f\u7ed3\u8bba<\/strong><\/td>\n<td>Progress \u548c Confluence \u4e24\u6761\u5b9a\u7406\u90fd\u5efa\u7acb\u5728\u4f9d\u8d56\u4f18\u5148\u5173\u7cfb\u65e0\u73af\u7684\u5047\u8bbe\u4e0a\u3002\u6709\u73af\u7684\u540e\u679c\u53ea\u662f\u76f8\u5173\u7ec4\u4ef6\u6c38\u8fdc\u4e0d\u6fc0\u6d3b\uff08\u597d\u5904\u662f<strong>\u4ece\u58f0\u660e\u5c31\u80fd\u63d0\u524d\u9884\u6d4b<\/strong>\uff0c\u4e0d\u50cf\u5e76\u53d1\u6b7b\u9501\u5fc5\u987b\u5728\u8fd0\u884c\u65f6\u68c0\u6d4b\uff09\uff0c\u4f46\u300c\u62c6\u73af\u300d\u4f1a\u8ba9\u96c6\u6210\u7ec4\u4ef6\u7684\u6570\u91cf<strong>\u968f\u7ec4\u4ef6\u6570\u4e8c\u6b21\u589e\u957f<\/strong><\/td>\n<\/tr>\n<tr>\n<td><strong>\u7248\u672c\u95ee\u9898\u5b8c\u5168\u5f00\u653e<\/strong><\/td>\n<td>\u5f62\u5f0f\u6a21\u578b\u53ea\u6709<strong>\u6309\u540d\u5b57\u94fe\u63a5<\/strong>\uff0c\u6ca1\u6709\u7248\u672c\u6216\u7ed3\u6784\u5316\u94fe\u63a5\u3002\u4e8e\u662f\u6709<strong>\u63a5\u53e3\u6f02\u79fb<\/strong>\uff08provider \u6539\u4e86\u63a5\u53e3\uff0c\u6d88\u8d39\u8005\u8fd8\u58f0\u660e\u540c\u4e00\u4e2a key\uff0c\u4f9d\u8d56\u300c\u6ee1\u8db3\u300d\u4e86\u4f46\u503c\u4e0d\u5bf9\uff09\u548c <strong>key \u78b0\u649e<\/strong>\uff08\u4e24\u4e2a\u72ec\u7acb provider \u7528\u540c\u540d key \u8868\u793a\u65e0\u5173\u63a5\u53e3\uff0c\u6d88\u8d39\u8005\u4e0d\u505a\u68c0\u67e5\u5c31\u63a5\u53d7\uff09\u3002Cordis \u73b0\u5728\u9760 peer dependencies \u515c\u7740\uff0c\u4f46\u8fd9\u4f9d\u8d56\u5927\u5bb6\u9075\u5b88 semver\uff0c\u800c\u5305\u7ba1\u7406\u5668\u901a\u5e38\u53ea\u89e3\u6790\u5355\u4e00\u7248\u672c<\/td>\n<\/tr>\n<tr>\n<td><strong>\u8fb9\u754c\u5916\u7684\u4e1c\u897f\u56de\u4e0d\u4e86\u6eda<\/strong><\/td>\n<td>\u8bba\u6587\u628a\u73af\u5883\u5212\u6210\u8fb9\u754c\u5185 \/ \u5916\u3002\u4e00\u6b21\u5916\u90e8\u64cd\u4f5c\u5206\u4e24\u4e2a\u9636\u6bb5\uff1a<strong>\u83b7\u53d6<\/strong>\u5728\u8fb9\u754c\u5185\uff08\u88c5\u63cf\u8ff0\u7b26\u3001\u6ce8\u518c\u6761\u76ee \u2014\u2014 \u662f\u53ef\u56de\u6eda\u6548\u5e94\uff09\uff0c<strong>\u53d1\u5c04<\/strong>\u8de8\u5230\u8fb9\u754c\u5916\uff08\u5199\u51fa\u53bb\u7684\u5b57\u8282\u3001\u53d1\u51fa\u53bb\u7684\u6d88\u606f \u2014\u2014 \u8868\u73b0\u4e3a\u6052\u7b49\u53d8\u6362\uff09\u3002\u4e8b\u540e\u8981\u6062\u590d\u53ea\u80fd\u9760<strong>\u6263\u7559<\/strong>\uff08\u63a8\u8fdf\u53d1\u5c04\uff0c\u5373\u7ecf\u5178\u7684 output commit \u95ee\u9898\uff09\u6216<strong>\u8865\u507f<\/strong>\uff08\u9000\u6b3e\u3001\u5220\u6587\u4ef6\uff09\uff0c\u800c\u8865\u507f\u300c<strong>\u5143\u7406\u8bba\u4e0d\u4f20\u9012<\/strong>\u300d\u2014\u2014 \u4ea4\u6362\u6027\u662f\u9488\u5bf9\u89c2\u5bdf\u7b49\u4ef7\u8bc1\u7684\uff0c\u6362\u6210\u66f4\u7c97\u7684\u7b49\u4ef7\u5f97\u91cd\u65b0\u8bc1\u4e00\u904d<\/td>\n<\/tr>\n<tr>\n<td><strong>\u6c99\u7bb1\u9700\u8981\u8bed\u8a00\u4e4b\u5916\u7684\u673a\u5236<\/strong><\/td>\n<td>\u8bed\u8a00\u7ea7\u7684\u8bbf\u95ee\u63a7\u5236\u6321\u4e0d\u4f4f\u6076\u610f\u7ec4\u4ef6\uff08\u5b83\u80fd\u76f4\u63a5\u591f\u5230\u5e95\u5c42\u5bf9\u8c61\uff09\uff0c\u5fc5\u987b\u9760\u8f6f\u4ef6\u6545\u969c\u9694\u79bb\u3001\u72ec\u7acb\u8fd0\u884c\u65f6\u3001\u6c99\u7bb1\u8fdb\u7a0b\u6216\u5bb9\u5668<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<hr>\n<h2>8. \u53ef\u501f\u9274\u6e05\u5355<\/h2>\n<h3>\u8ba4\u77e5\u5c42<\/h3>\n<ol>\n<li><strong>\u300c\u6ce8\u518c\u5373\u526f\u4f5c\u7528\uff0c\u5378\u8f7d\u5373\u64a4\u9500\u300d\u503c\u5f97\u5f53\u6210\u4e00\u6761\u8bbe\u8ba1\u7eaa\u5f8b\u3002<\/strong> \u4e0d\u53ea\u662f Cordis \u7684\u505a\u6cd5\uff0c\u800c\u662f\u4e00\u4e2a\u53ef\u4ee5\u8fc1\u79fb\u7684\u539f\u5219\uff1a\u4efb\u4f55\u300c\u88c5\u4e0a\u53bb\u300d\u7684\u4e1c\u897f\uff0c\u90fd\u5e94\u8be5\u5728\u5b89\u88c5\u7684\u90a3\u4e00\u523b\u5c31\u5b9a\u4e49\u597d\u300c\u600e\u4e48\u62c6\u4e0b\u6765\u300d\uff0c\u5e76\u4e14\u8ba9\u6846\u67b6\u66ff\u4f60\u62c6\u3002\u51e1\u662f\u628a\u6e05\u7406\u4ee3\u7801\u5199\u5728\u53e6\u4e00\u4e2a\u5730\u65b9\u7684\u8bbe\u8ba1\uff0c\u8fdf\u65e9\u4f1a\u6f0f\u3002<\/li>\n<li><strong>\u7ed9\u300c\u63a5\u53e3\u53d1\u5e03\u4ec0\u4e48\u300d\u8fd9\u4ef6\u4e8b\u52a0\u4e00\u5c42\u601d\u8003\u3002<\/strong> \u60f3\u8ba9\u4e00\u4e2a\u7ec4\u4ef6\u66f4\u5bb9\u6613\u88ab\u66ff\u6362\u3001\u88ab\u56de\u6eda\uff0c\u7b2c\u4e00\u6b65\u4e0d\u662f\u52a0\u62bd\u8c61\uff0c\u800c\u662f<strong>\u68c0\u67e5\u5b83\u7684\u63a5\u53e3\u6709\u6ca1\u6709\u53d1\u5e03\u4e0d\u5fc5\u8981\u7684\u8fd4\u56de\u503c<\/strong>\u3002\u53d1\u5e03\u5f97\u8d8a\u5c11\uff0c\u53ef\u89c2\u5bdf\u7684\u5dee\u5f02\u8d8a\u5c11\uff0c\u80fd\u5b89\u5168\u66ff\u6362\u7684\u5b9e\u73b0\u5c31\u8d8a\u591a\u3002POSIX \u91cc <code>mmap<\/code> \u548c <code>open<\/code> \u7684\u5bf9\u6bd4\u662f\u6700\u597d\u7684\u6559\u6750\u3002<\/li>\n<li><strong>\u4f9d\u8d56\u7528\u300c\u58f0\u660e\u300d\u800c\u4e0d\u662f\u300c\u67e5\u627e\u300d\u3002<\/strong> \u7ec4\u4ef6\u8bf4\u300c\u6211\u9700\u8981\u4ec0\u4e48\u300d\uff0c\u800c\u4e0d\u662f\u300c\u6211\u53bb\u54ea\u91cc\u627e\u4ec0\u4e48\u300d\u3002\u58f0\u660e\u53ef\u4ee5\u9759\u6001\u5ba1\u67e5\u3001\u53ef\u4ee5\u63a8\u5bfc\u52a0\u8f7d\u987a\u5e8f\u3001\u53ef\u4ee5\u5728\u4f9d\u8d56\u6d88\u5931\u65f6\u81ea\u52a8\u505c\u7528 \u2014\u2014 \u67e5\u627e\u505a\u4e0d\u5230\u8fd9\u4e9b\u3002<\/li>\n<\/ol>\n<h3>\u67b6\u6784\u5c42<\/h3>\n<ol start=\"4\">\n<li><strong>\u628a\u300c\u64a4\u9500\u300d\u505a\u6210\u4e00\u7b49\u516c\u6c11\uff0c\u800c\u4e0d\u662f\u5f02\u5e38\u8def\u5f84\u3002<\/strong> \u5982\u679c\u4f60\u7684\u7cfb\u7edf\u6709\u4efb\u4f55\u5f62\u5f0f\u7684\u52a8\u6001\u52a0\u8f7d\uff08\u63d2\u4ef6\u3001\u5de5\u5177\u3001\u6280\u80fd\u3001\u5b50 agent\uff09\uff0c\u5148\u4fdd\u8bc1\u4e24\u4ef6\u4e8b\uff1a\u6bcf\u6b21\u6ce8\u518c\u90fd\u8fd4\u56de\u4e00\u4e2a disposer\uff0c\u4e14\u6846\u67b6\u5728\u5378\u8f7d\u65f6<strong>\u9006\u5e8f<\/strong>\u6267\u884c\u5b83\u4eec\u3002<\/li>\n<li><strong>\u300c\u9000\u4f11\u300d\u548c\u300c\u79fb\u9664\u300d\u5206\u5f00\u3002<\/strong> \u4e00\u4e2a\u60f3\u4e0b\u7ebf\u7684\u7ec4\u4ef6\uff0c\u5e94\u8be5\u5148\u88ab\u6807\u8bb0\u3001\u7b49\u5b83\u81ea\u7136\u505c\u7528\uff0c\u518d\u771f\u6b63\u5220\u9664\u3002\u76f4\u63a5\u5220\u4f1a\u4e22\u6389\u5b83\u6301\u6709\u7684\u64a4\u9500\u4fe1\u606f \u2014\u2014 \u8fd9\u662f\u8bba\u6587\u4e13\u95e8\u7528\u4e00\u6761\u89c4\u5219\u5f3a\u8c03\u7684\u5751\u3002<\/li>\n<li><strong>\u70ed\u66f4\u65b0\u8981\u6709\u300c\u6700\u7ec8\u72b6\u6001\u53ea\u53d6\u51b3\u4e8e\u6700\u7ec8\u914d\u7f6e\u300d\u8fd9\u4e2a\u6027\u8d28\u3002<\/strong> \u5982\u679c\u4f60\u7684\u589e\u91cf\u66f4\u65b0\u505a\u51fa\u6765\u7684\u7ed3\u679c\uff0c\u548c\u300c\u62ff\u6700\u7ec8\u914d\u7f6e\u91cd\u542f\u4e00\u6b21\u300d\u4e0d\u4e00\u6837\uff0c\u90a3\u8fd9\u4e2a\u589e\u91cf\u5c31\u662f\u4e0d\u53ef\u4fe1\u7684\u3002Cordis \u7528\u4e00\u6761\u5408\u6d41\u5b9a\u7406\u628a\u8fd9\u4e2a\u6027\u8d28\u9489\u6b7b\u4e86\uff0c\u81ea\u7814\u7cfb\u7edf\u81f3\u5c11\u5e94\u8be5\u628a\u5b83\u5f53\u6210\u6d4b\u8bd5\u65ad\u8a00\u3002<\/li>\n<li><strong>\u80fd\u529b\u96c6\u5408\u5728\u52a0\u8f7d\u524d\u53ef\u77e5\uff0c\u6bd4\u5728\u8bbf\u95ee\u65f6\u624d\u62e6\u622a\u5f3a\u5f97\u591a\u3002<\/strong> \u58f0\u660e\u5f0f\u7684\u4f9d\u8d56\u6e05\u5355\u5929\u7136\u5c31\u662f\u4e00\u5f20\u6743\u9650\u8868\uff0c\u53ef\u4ee5\u5728\u7ec4\u4ef6\u88c5\u8f7d\u524d\u5ba1\u67e5\u3002\u8fd9\u662f\u300c\u58f0\u660e\u5f0f\u300d\u76f8\u5bf9\u300c\u8fd0\u884c\u65f6\u53cd\u5c04\u300d\u88ab\u4f4e\u4f30\u7684\u4e00\u4e2a\u6536\u76ca\u3002<\/li>\n<\/ol>\n<h3>\u53ef\u4ee5\u76f4\u63a5\u53bb\u8bfb\u7684\u4e1c\u897f<\/h3>\n<ol start=\"8\">\n<li>\u8bba\u6587\u7b2c 3.4.2 \u8282\u5173\u4e8e\u300c\u53ef\u4ea4\u6362\u6027\u300d\u7684\u8ba8\u8bba\uff0c\u662f\u5168\u6587\u6700\u53ef\u8fc1\u79fb\u5230\u65e5\u5e38\u63a5\u53e3\u8bbe\u8ba1\u7684\u90e8\u5206\uff0c\u914d\u5408 \u00a76.6 \u4e00\u8d77\u8bfb\u3002<\/li>\n<li>Cordis \u6e90\u7801\u53ea\u6709 9 \u4e2a\u6a21\u5757\uff08context \/ registry \/ fiber \/ events \/ service \/ reflect \/ logger \/ utils \/ index\uff09\uff0c<code>fiber.ts<\/code> \u662f\u6838\u5fc3 \u2014\u2014 \u751f\u547d\u5468\u671f\u72b6\u6001\u673a\u52a0 effect \u7cfb\u7edf\u90fd\u5728\u91cc\u9762\u3002<\/li>\n<li>\u8bba\u6587\u7684 Table 2\uff08\u7406\u8bba\u2194\u5b9e\u73b0\u5bf9\u7167\u8868\uff09\u503c\u5f97\u5355\u72ec\u4fdd\u5b58\uff0c\u5b83\u662f\u4e00\u5f20\u300c\u8bfb\u6e90\u7801\u65f6\u8be5\u770b\u54ea\u91cc\u300d\u7684\u5730\u56fe\u3002<\/li>\n<\/ol>\n<hr>\n<h2>9. \u98ce\u9669\u4e0e\u89c2\u671b\u70b9<\/h2>\n<table>\n<thead>\n<tr>\n<th>\u70b9<\/th>\n<th>\u8bf4\u660e<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr>\n<td><strong>\u8bba\u6587\u6ca1\u6709\u6027\u80fd\u6570\u636e<\/strong><\/td>\n<td>\u5168\u6587\u6ca1\u6709 benchmark\u3002\u6548\u5e94\u8ffd\u8e2a\u548c\u4f9d\u8d56\u89e3\u6790\u7684\u8fd0\u884c\u65f6\u5f00\u9500\u662f\u591a\u5c11\uff0c\u53ea\u80fd\u81ea\u5df1\u538b\u6d4b<\/td>\n<\/tr>\n<tr>\n<td><strong>\u5355\u4e00\u751f\u6001\u9a8c\u8bc1<\/strong><\/td>\n<td>\u6240\u6709\u5b9e\u8bc1\u6765\u81ea Koishi + TypeScript\uff0c\u8303\u5f0f\u672c\u8eab\u548c\u5176\u4ed6\u8bed\u8a00\u5b9e\u73b0\u7684\u4f18\u52a3\u8fd8\u6ca1\u6709\u6a2a\u5411\u5bf9\u6bd4<\/td>\n<\/tr>\n<tr>\n<td><strong>\u300c\u65e0\u73af\u300d\u9700\u8981\u81ea\u5df1\u4fdd\u8bc1<\/strong><\/td>\n<td>\u5b83\u4e0d\u662f\u88ab\u8bc1\u660e\u7684\uff0c\u662f\u5047\u8bbe\u3002\u4f60\u7684\u7ec4\u4ef6\u8bbe\u8ba1\u5f97\u81ea\u5df1\u76ef\u7740\u522b\u5199\u51fa\u73af<\/td>\n<\/tr>\n<tr>\n<td><strong>\u7248\u672c\u8bed\u4e49\u8fd8\u7f3a\u4e00\u5757<\/strong><\/td>\n<td>\u8fd9\u662f\u8bba\u6587\u660e\u786e\u5217\u4e3a\u300c\u5f00\u653e\u95ee\u9898\u300d\u7684\u90e8\u5206\u3002\u751f\u6001\u8d8a\u5927\uff0c\u63a5\u53e3\u6f02\u79fb\u548c key \u78b0\u649e\u7684\u4ee3\u4ef7\u8d8a\u660e\u663e<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<hr>\n<h2>10. \u5ef6\u4f38\u9605\u8bfb<\/h2>\n<ul>\n<li>\u8bba\u6587\u539f\u6587\uff1a<code>arxiv.org\/abs\/2608.25512<\/code>\uff0892 \u9875\uff0c\u4f46 \u00a73 \u548c \u00a74 \u7684\u5b9a\u7406\u9648\u8ff0\u90e8\u5206\u8bfb\u4e0b\u6765\u5c31\u591f\u4e86\uff09<\/li>\n<li>Cordis \u6e90\u7801\uff1a<code>github.com\/cordiverse\/cordis<\/code>\uff08MIT\uff09<\/li>\n<li>DeepSeek Harness \u91cc vendor \u7684\u7248\u672c\uff1a<code>vendor\/cordis<\/code>\uff0c\u53d1\u5e03\u4e3a <code>@deepseek-ai\/cordis<\/code><\/li>\n<li>\u5b98\u65b9\u63d2\u4ef6\u5165\u95e8\uff1a<code>docs\/cordis-primer.zh.md<\/code><\/li>\n<li>\u524d\u6587\uff1a\u300aDeepSeek Harness \u7cbe\u8bfb\uff1a\u4e00\u4e2a\u300c\u4e00\u5207\u7686\u63d2\u4ef6\u300d\u7684 Agent \u8fd0\u884c\u65f6\u300b<\/li>\n<\/ul>\n<hr>\n<p><strong>\u4e00\u53e5\u8bdd\u603b\u7ed3\uff1a<\/strong>\u5b83\u628a effect \u548c coeffect \u4ece\u7f16\u8bd1\u671f\u7684\u7c7b\u578b\u6ce8\u89e3\uff0c\u53d8\u6210\u8fd0\u884c\u65f6\u53ef\u64cd\u4f5c\u7684\u4e00\u7b49\u5bf9\u8c61\uff0c\u8ba9\u300c\u8fd0\u884c\u65f6\u88c5\u5378\u7ec4\u4ef6\u300d\u7b2c\u4e00\u6b21\u6709\u4e86\u5b8c\u6574\u7684\u7406\u8bba\u4fdd\u8bc1 \u2014\u2014 \u800c\u8fd9\u4e00\u5207\uff0c\u5df2\u7ecf\u88ab\u4e00\u4e2a 4000+ \u63d2\u4ef6\u7684\u751f\u4ea7\u7cfb\u7edf\u9a8c\u8bc1\u4e86\u56db\u5e74\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u7cbe\u8bfb\u5bf9\u8c61\uff1aarXiv:2608.25512\u300aA Programming Paradigm for Spatio [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[26,27,29,25,28],"class_list":["post-694","post","type-post","status-publish","format-standard","hentry","category-ji-shu","tag-Cordis","tag-DeepSeekHarness","tag-Koishi","tag-cha-jian-xi-tong","tag-bian-cheng-yu-yan"],"_links":{"self":[{"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/posts\/694","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/comments?post=694"}],"version-history":[{"count":0,"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/posts\/694\/revisions"}],"wp:attachment":[{"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/media?parent=694"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/categories?post=694"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/aitimes.link\/index.php\/wp-json\/wp\/v2\/tags?post=694"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}