{"id":19628,"date":"2026-09-09T13:14:36","date_gmt":"2026-09-09T03:14:36","guid":{"rendered":"https:\/\/geoffreychen.com\/liveness-guarantees-progress-not-just-absence-of-failure\/"},"modified":"2026-09-09T13:14:36","modified_gmt":"2026-09-09T03:14:36","slug":"liveness-guarantees-progress-not-just-absence-of-failure","status":"publish","type":"post","link":"https:\/\/geoffreychen.com\/zh\/liveness-guarantees-progress-not-just-absence-of-failure\/","title":{"rendered":"\u6d3b\u6027\uff1a\u4e3a\u4ec0\u4e48\u6ca1\u6709\u51fa\u9519\u8fd8\u4e0d\u7b49\u4e8e\u4e8b\u60c5\u4f1a\u6709\u8fdb\u5c55\uff1f"},"content":{"rendered":"<\/p>\n

\"\u6d3b\u6027\uff1a\u4e3a\u4ec0\u4e48\u6ca1\u6709\u51fa\u9519\u8fd8\u4e0d\u7b49\u4e8e\u4e8b\u60c5\u4f1a\u6709\u8fdb\u5c55\uff1f\"<\/p>\n

\u6d3b\u6027\u5173\u6ce8\u7684\u4e0d\u662f\u7cfb\u7edf\u6709\u6ca1\u6709\u505a\u9519\uff0c\u800c\u662f\u201c\u8be5\u53d1\u751f\u7684\u597d\u4e8b\u6700\u7ec8\u4f1a\u4e0d\u4f1a\u53d1\u751f\u201d\u3002\u8def\u53e3\u82e5\u56db\u8f86\u8f66\u90fd\u4e25\u683c\u907f\u8ba9\uff0c\u78b0\u649e\u4ece\u672a\u53d1\u751f\uff0c\u4f46\u6bcf\u8f86\u90fd\u7b49\u522b\u4eba\u5148\u8d70\uff0c\u7cfb\u7edf\u5728\u5b89\u5168\u6027\u4e0a\u5408\u683c\uff0c\u5728\u6d3b\u6027\u4e0a\u5374\u5931\u8d25\u4e86\u3002<\/p>\n

\u6d3b\u6027\u4e0d\u627f\u8bfa\u6bcf\u4e2a\u8bf7\u6c42\u7acb\u523b\u5b8c\u6210\uff0c\u800c\u662f\u5728\u8bf4\u660e\u8c03\u5ea6\u3001\u516c\u5e73\u7b49\u6761\u4ef6\u540e\uff0c\u4fdd\u8bc1\u7b49\u5f85\u4e0d\u4f1a\u65e0\u9650\u5ef6\u7eed\u3002\u5b83\u4e5f\u4e0d\u540c\u4e8e\u6027\u80fd\uff1a\u4efb\u52a1\u6700\u7ec8\u5b8c\u6210\u4f46\u8017\u65f6\u5f88\u4e45\uff0c\u4ecd\u53ef\u80fd\u6709\u6d3b\u6027\uff0c\u53ea\u662f\u6027\u80fd\u5dee\uff1b\u82e5\u67d0\u4e2a\u53c2\u4e0e\u8005\u6c38\u8fdc\u5f97\u4e0d\u5230\u673a\u4f1a\uff0c\u5219\u5373\u4f7f\u6574\u4f53\u4e00\u76f4\u5fd9\u788c\uff0c\u4e5f\u6ca1\u6709\u6ee1\u8db3\u9488\u5bf9\u5b83\u7684\u6d3b\u6027\u3002<\/p>\n

\u8fd9\u4e2a\u533a\u5206\u5f88\u91cd\u8981\uff0c\u56e0\u4e3a\u201c\u6ca1\u6709\u574f\u4e8b\u53d1\u751f\u201d\u5bb9\u6613\u88ab\u8bef\u5f53\u6210\u201c\u7cfb\u7edf\u6b63\u5e38\u201d\u3002\u771f\u6b63\u53ef\u9760\u7684\u534f\u4f5c\u65e2\u8981\u5b88\u4f4f\u4e0d\u53ef\u8fdd\u53cd\u7684\u8fb9\u754c\uff0c\u4e5f\u8981\u68c0\u67e5\u5de5\u4f5c\u662f\u5426\u6301\u7eed\u5411\u53ef\u5b8c\u6210\u7684\u72b6\u6001\u63a8\u8fdb\u3002\u5b89\u5168\u6027\u9650\u5236\u4e0d\u80fd\u53d1\u751f\u4ec0\u4e48\uff0c\u6d3b\u6027\u8bf4\u660e\u6700\u7ec8\u5fc5\u987b\u53d1\u751f\u4ec0\u4e48\uff0c\u4e24\u8005\u5171\u540c\u6784\u6210\u5b8c\u6574\u627f\u8bfa\u3002<\/p>\n

https:\/\/lamport.azurewebsites.net\/tla\/book.html<\/a>
https:\/\/doi.org\/10.1007\/BF01782772<\/a><\/p>\n

","protected":false},"excerpt":{"rendered":"","protected":false},"author":17897162,"featured_media":0,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"_coblocks_attr":"","_coblocks_dimensions":"","_coblocks_responsive_height":"","_coblocks_accordion_ie_support":"","_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_geoff_meta_description_en":"Liveness asks whether a system eventually progresses, not merely whether it avoids errors, and distinguishes progress from safety, fairness and speed.","_geoff_meta_description_zh":"\u6d3b\u6027\u5173\u5fc3\u7cfb\u7edf\u662f\u5426\u6700\u7ec8\u53d6\u5f97\u8fdb\u5c55\uff0c\u800c\u4e0d\u53ea\u662f\u907f\u514d\u9519\u8bef\u3002\u6587\u7ae0\u4ee5\u4e00\u76f4\u793c\u8ba9\u800c\u65e0\u4eba\u901a\u8fc7\u7684\u8def\u53e3\u4e3a\u4f8b\uff0c\u533a\u5206\u6d3b\u6027\u3001\u5b89\u5168\u6027\u3001\u516c\u5e73\u6027\u4e0e\u6027\u80fd\u3002","_wpcom_ai_launchpad_first_post":false,"_jetpack_feature_clip_id":0,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[787294141],"tags":[787299595,787299313,787299893,787299312,787299596,787299894],"class_list":["post-19628","post","type-post","status-publish","format-standard","hentry","category-philosophical-concepts","tag-concurrency","tag-system-design-zh","tag-liveness","tag-system-design","tag-concurrency-zh","tag-liveness-zh",""],"translatepress_titles":{"en_AU":"Liveness: Why Does the Absence of Failure Not Guarantee Progress?","zh_CN":"\u6d3b\u6027\uff1a\u4e3a\u4ec0\u4e48\u6ca1\u6709\u51fa\u9519\u8fd8\u4e0d\u7b49\u4e8e\u4e8b\u60c5\u4f1a\u6709\u8fdb\u5c55\uff1f"},"jetpack_publicize_connections":[],"jetpack_likes_enabled":false,"jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p1ar9H-56A","jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/posts\/19628","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/users\/17897162"}],"replies":[{"embeddable":true,"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/comments?post=19628"}],"version-history":[{"count":0,"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/posts\/19628\/revisions"}],"wp:attachment":[{"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/media?parent=19628"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/categories?post=19628"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/geoffreychen.com\/zh\/wp-json\/wp\/v2\/tags?post=19628"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}