{"id":188,"date":"2007-09-13T19:09:00","date_gmt":"2007-09-14T00:09:00","guid":{"rendered":"http:\/\/wangxiaohu.com\/blog\/?p=188"},"modified":"2007-09-13T19:09:00","modified_gmt":"2007-09-14T00:09:00","slug":"something-bad-will-never-happen-something-good-will-eventually-happen","status":"publish","type":"post","link":"https:\/\/wangxiaohu.com\/blog\/?p=188","title":{"rendered":"Something bad will never happen. Something good will eventually happen."},"content":{"rendered":"<p>Wow, that is a long title. Yes, they are the famous two principles in Software Engineering I&#8217;ve learned when I was in <a href=\"http:\/\/www.cas.mcmaster.ca\">ITB<\/a>. It says that, the software you designed is stable, if in general<\/p>\n<ol>\n<li>It will never enter a undesired state <\/li>\n<li>If it unfortunately enters an undesired state, it will eventually back to a desired state later. <\/li>\n<\/ol>\n<p>While it is realistically impossible to achieve the first goal, although software engineers are trying to reach it as close as possible, there are many ways to accomplish the second one. It sometime can be some procedures, which are what we called &quot;backup plans&quot;; it sometime can be some kind of self recovery mechanism; or, it <a href=\"http:\/\/research.microsoft.com\/TERMINATOR\/popl07b.pdf\">can be proved that the software will eventually do something good<\/a>. Here is the <a href=\"http:\/\/channel9.msdn.com\/showpost.aspx?postid=341683\">video<\/a> version of the idea.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Wow, that is a long title. Yes, they are the famous two &hellip; <a href=\"https:\/\/wangxiaohu.com\/blog\/?p=188\" class=\"more-link\">\u7ee7\u7eed\u9605\u8bfb<span class=\"screen-reader-text\">Something bad will never happen. Something good will eventually happen.<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[1],"tags":[],"jetpack_sharing_enabled":true,"jetpack_featured_media_url":"","jetpack_likes_enabled":true,"jetpack-related-posts":[],"jetpack_shortlink":"https:\/\/wp.me\/pdhZ2A-32","_links":{"self":[{"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/188"}],"collection":[{"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=188"}],"version-history":[{"count":0,"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=\/wp\/v2\/posts\/188\/revisions"}],"wp:attachment":[{"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=188"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=188"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/wangxiaohu.com\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=188"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}