{"id":180624,"date":"2024-11-09T11:49:21","date_gmt":"2024-11-09T03:49:21","guid":{"rendered":"https:\/\/server.hk\/cnblog\/180624\/"},"modified":"2024-11-09T11:49:22","modified_gmt":"2024-11-09T03:49:22","slug":"%e6%b7%b1%e5%85%a5%e8%a7%a3%e6%9e%90redis%e8%b7%b3%e8%a1%a8%e7%ae%97%e6%b3%95%ef%bc%88redis%e8%b7%b3%e8%a1%a8%e6%98%af%e4%bb%80%e9%ba%bc%e7%ae%97%e6%b3%95%ef%bc%89","status":"publish","type":"post","link":"https:\/\/server.hk\/cnblog\/180624\/","title":{"rendered":"\u6df1\u5165\u89e3\u6790Redis\u8df3\u8868\u7b97\u6cd5\uff08redis\u8df3\u8868\u662f\u4ec0\u9ebc\u7b97\u6cd5\uff09"},"content":{"rendered":"<h1 id=\"%e6%b7%b1%e5%85%a5%e8%a7%a3%e6%9e%90redis%e8%b7%b3%e8%a1%a8%e7%ae%97%e6%b3%95%ef%bc%88redis%e8%b7%b3%e8%a1%a8%e6%98%af%e4%bb%80%e9%ba%bc%e7%ae%97%e6%b3%95%ef%bc%89-XTnXLlmCYw\">\u6df1\u5165\u89e3\u6790Redis\u8df3\u8868\u7b97\u6cd5\uff08redis\u8df3\u8868\u662f\u4ec0\u9ebc\u7b97\u6cd5\uff09<\/h1>\n<p>\u5728\u7576\u4eca\u7684\u6578\u64da\u8655\u7406\u548c\u5b58\u5132\u9818\u57df\uff0cRedis\u4f5c\u70ba\u4e00\u500b\u9ad8\u6548\u7684\u9375\u503c\u6578\u64da\u5eab\uff0c\u5ee3\u6cdb\u61c9\u7528\u65bc\u5404\u7a2e\u5834\u666f\u4e2d\u3002\u5176\u80cc\u5f8c\u7684\u6578\u64da\u7d50\u69cb\u8a2d\u8a08\u662f\u5176\u6027\u80fd\u7684\u95dc\u9375\u56e0\u7d20\u4e4b\u4e00\u3002\u5176\u4e2d\uff0c\u8df3\u8868\uff08Skip List\uff09\u4f5c\u70baRedis\u4e2d\u7528\u65bc\u5be6\u73fe\u6709\u5e8f\u96c6\u5408\uff08Sorted Set\uff09\u7684\u4e00\u7a2e\u6578\u64da\u7d50\u69cb\uff0c\u503c\u5f97\u6df1\u5165\u63a2\u8a0e\u3002<\/p>\n<h2 id=\"%e4%bb%80%e9%ba%bc%e6%98%af%e8%b7%b3%e8%a1%a8%ef%bc%9f-XTnXLlmCYw\">\u4ec0\u9ebc\u662f\u8df3\u8868\uff1f<\/h2>\n<p>\u8df3\u8868\u662f\u4e00\u7a2e\u57fa\u65bc\u93c8\u8868\u7684\u6578\u64da\u7d50\u69cb\uff0c\u65e8\u5728\u63d0\u9ad8\u67e5\u627e\u3001\u63d2\u5165\u548c\u522a\u9664\u64cd\u4f5c\u7684\u6548\u7387\u3002\u5b83\u7531\u591a\u5c64\u93c8\u8868\u7d44\u6210\uff0c\u6bcf\u4e00\u5c64\u90fd\u662f\u5c0d\u4e0b\u4e00\u5c64\u7684\u5b50\u96c6\uff0c\u9019\u6a23\u53ef\u4ee5\u5728\u67e5\u627e\u6642\u8df3\u904e\u591a\u500b\u5143\u7d20\uff0c\u5f9e\u800c\u52a0\u5feb\u67e5\u627e\u901f\u5ea6\u3002\u8df3\u8868\u7684\u5e73\u5747\u6642\u9593\u8907\u96dc\u5ea6\u70baO(log n)\uff0c\u800c\u6700\u58de\u60c5\u6cc1\u4e0b\u7684\u6642\u9593\u8907\u96dc\u5ea6\u70baO(n)\uff0c\u4f46\u9019\u7a2e\u60c5\u6cc1\u5728\u5be6\u969b\u61c9\u7528\u4e2d\u975e\u5e38\u5c11\u898b\u3002<\/p>\n<h2 id=\"%e8%b7%b3%e8%a1%a8%e7%9a%84%e7%b5%90%e6%a7%8b-XTnXLlmCYw\">\u8df3\u8868\u7684\u7d50\u69cb<\/h2>\n<p>\u8df3\u8868\u7684\u57fa\u672c\u7d50\u69cb\u7531\u591a\u5c64\u93c8\u8868\u7d44\u6210\uff0c\u6700\u5e95\u5c64\u7684\u93c8\u8868\u5305\u542b\u6240\u6709\u7684\u5143\u7d20\uff0c\u800c\u6bcf\u4e00\u5c64\u7684\u93c8\u8868\u5247\u662f\u5c0d\u4e0b\u4e00\u5c64\u93c8\u8868\u7684\u90e8\u5206\u5143\u7d20\u7684\u5f15\u7528\u3002\u9019\u6a23\u7684\u8a2d\u8a08\u4f7f\u5f97\u5728\u67e5\u627e\u67d0\u500b\u5143\u7d20\u6642\uff0c\u53ef\u4ee5\u901a\u904e\u8df3\u904e\u591a\u500b\u5143\u7d20\u4f86\u52a0\u5feb\u67e5\u627e\u901f\u5ea6\u3002<\/p>\n<ul>\n<li>\u7b2c\u4e00\u5c64\uff1a\u5305\u542b\u6240\u6709\u5143\u7d20\u3002<\/li>\n<li>\u7b2c\u4e8c\u5c64\uff1a\u5305\u542b\u7b2c\u4e00\u5c64\u4e2d\u6bcf\u5169\u500b\u5143\u7d20\u4e2d\u7684\u4e00\u500b\u3002<\/li>\n<li>\u7b2c\u4e09\u5c64\uff1a\u5305\u542b\u7b2c\u4e8c\u5c64\u4e2d\u6bcf\u5169\u500b\u5143\u7d20\u4e2d\u7684\u4e00\u500b\u3002<\/li>\n<li>\u4f9d\u6b64\u985e\u63a8\u3002<\/li>\n<\/ul>\n<h2 id=\"%e8%b7%b3%e8%a1%a8%e7%9a%84%e6%93%8d%e4%bd%9c-XTnXLlmCYw\">\u8df3\u8868\u7684\u64cd\u4f5c<\/h2>\n<h3 id=\"%e6%9f%a5%e6%89%be%e6%93%8d%e4%bd%9c-XTnXLlmCYw\">\u67e5\u627e\u64cd\u4f5c<\/h3>\n<p>\u67e5\u627e\u64cd\u4f5c\u662f\u8df3\u8868\u7684\u6838\u5fc3\u529f\u80fd\u3002\u5f9e\u6700\u4e0a\u5c64\u7684\u93c8\u8868\u958b\u59cb\uff0c\u9010\u5c64\u5411\u4e0b\u67e5\u627e\uff0c\u76f4\u5230\u627e\u5230\u76ee\u6a19\u5143\u7d20\u6216\u5230\u9054\u6700\u5e95\u5c64\u93c8\u8868\u3002\u9019\u6a23\u7684\u67e5\u627e\u65b9\u5f0f\u5927\u5927\u6e1b\u5c11\u4e86\u9700\u8981\u904d\u6b77\u7684\u5143\u7d20\u6578\u91cf\u3002<\/p>\n<pre><code>\nfunction search(value):\n    current = head\n    for level from maxLevel down to 0:\n        while current.forward[level] is not null and current.forward[level].value &lt; value:\n            current = current.forward[level]\n    current = current.forward[0]\n    if current is not null and current.value == value:\n        return current\n    return null\n<\/code><\/pre>\n<h3 id=\"%e6%8f%92%e5%85%a5%e6%93%8d%e4%bd%9c-XTnXLlmCYw\">\u63d2\u5165\u64cd\u4f5c<\/h3>\n<p>\u63d2\u5165\u64cd\u4f5c\u9700\u8981\u5148\u67e5\u627e\u5143\u7d20\u7684\u4f4d\u7f6e\uff0c\u7136\u5f8c\u5728\u9069\u7576\u7684\u5c64\u7d1a\u4e2d\u63d2\u5165\u65b0\u5143\u7d20\u3002\u63d2\u5165\u6642\uff0c\u96a8\u6a5f\u6c7a\u5b9a\u65b0\u5143\u7d20\u7684\u5c64\u7d1a\uff0c\u9019\u6a23\u53ef\u4ee5\u4fdd\u6301\u8df3\u8868\u7684\u5e73\u8861\u6027\u3002<\/p>\n<pre><code>\nfunction insert(value):\n    update = array of size maxLevel\n    current = head\n    for level from maxLevel down to 0:\n        while current.forward[level] is not null and current.forward[level].value &lt; value:\n            current = current.forward[level]\n        update[level] = current\n    newLevel = randomLevel()\n    newNode = new Node(value, newLevel)\n    for level from 0 to newLevel:\n        newNode.forward[level] = update[level].forward[level]\n        update[level].forward[level] = newNode\n<\/code><\/pre>\n<h3 id=\"%e5%88%aa%e9%99%a4%e6%93%8d%e4%bd%9c-XTnXLlmCYw\">\u522a\u9664\u64cd\u4f5c<\/h3>\n<p>\u522a\u9664\u64cd\u4f5c\u8207\u63d2\u5165\u64cd\u4f5c\u985e\u4f3c\uff0c\u9700\u8981\u627e\u5230\u8981\u522a\u9664\u7684\u5143\u7d20\uff0c\u7136\u5f8c\u66f4\u65b0\u76f8\u61c9\u7684\u93c8\u8868\u6307\u91dd\u4ee5\u79fb\u9664\u8a72\u5143\u7d20\u3002<\/p>\n<pre><code>\nfunction delete(value):\n    update = array of size maxLevel\n    current = head\n    for level from maxLevel down to 0:\n        while current.forward[level] is not null and current.forward[level].value &lt; value:\n            current = current.forward[level]\n        update[level] = current\n    current = current.forward[0]\n    if current is not null and current.value == value:\n        for level from 0 to maxLevel:\n            if update[level].forward[level] != current:\n                break\n            update[level].forward[level] = current.forward[level]\n<\/code><\/pre>\n<h2 id=\"%e8%b7%b3%e8%a1%a8%e7%9a%84%e5%84%aa%e7%bc%ba%e9%bb%9e-XTnXLlmCYw\">\u8df3\u8868\u7684\u512a\u7f3a\u9ede<\/h2>\n<p>\u8df3\u8868\u7684\u512a\u9ede\u5305\u62ec\uff1a<\/p>\n<ul>\n<li>\u7c21\u55ae\u6613\u65bc\u5be6\u73fe\uff0c\u7279\u5225\u662f\u5728\u9700\u8981\u52d5\u614b\u589e\u522a\u5143\u7d20\u7684\u60c5\u6cc1\u4e0b\u3002<\/li>\n<li>\u67e5\u627e\u3001\u63d2\u5165\u548c\u522a\u9664\u64cd\u4f5c\u7684\u5e73\u5747\u6642\u9593\u8907\u96dc\u5ea6\u5747\u70baO(log n)\u3002<\/li>\n<li>\u96a8\u6a5f\u5316\u7684\u7279\u6027\u4f7f\u5f97\u8df3\u8868\u5728\u5be6\u969b\u61c9\u7528\u4e2d\u8868\u73fe\u7a69\u5b9a\u3002<\/li>\n<\/ul>\n<p>\u7136\u800c\uff0c\u8df3\u8868\u4e5f\u6709\u5176\u7f3a\u9ede\uff1a<\/p>\n<ul>\n<li>\u5728\u6700\u58de\u60c5\u6cc1\u4e0b\uff0c\u6027\u80fd\u53ef\u80fd\u4e0b\u964d\u5230O(n)\u3002<\/li>\n<li>\u9700\u8981\u984d\u5916\u7684\u7a7a\u9593\u4f86\u5b58\u5132\u591a\u5c64\u93c8\u8868\u3002<\/li>\n<\/ul>\n<h2 id=\"%e7%b8%bd%e7%b5%90-XTnXLlmCYw\">\u7e3d\u7d50<\/h2>\n<p>\u8df3\u8868\u4f5c\u70baRedis\u4e2d\u5be6\u73fe\u6709\u5e8f\u96c6\u5408\u7684\u4e00\u7a2e\u9ad8\u6548\u6578\u64da\u7d50\u69cb\uff0c\u901a\u904e\u591a\u5c64\u93c8\u8868\u7684\u8a2d\u8a08\uff0c\u5be6\u73fe\u4e86\u5feb\u901f\u7684\u67e5\u627e\u3001\u63d2\u5165\u548c\u522a\u9664\u64cd\u4f5c\u3002\u96d6\u7136\u5728\u67d0\u4e9b\u60c5\u6cc1\u4e0b\u53ef\u80fd\u6703\u9047\u5230\u6027\u80fd\u74f6\u9838\uff0c\u4f46\u5176\u96a8\u6a5f\u5316\u7279\u6027\u4f7f\u5f97\u5728\u5927\u591a\u6578\u5be6\u969b\u61c9\u7528\u4e2d\u8868\u73fe\u826f\u597d\u3002\u5c0d\u65bc\u9700\u8981\u9ad8\u6548\u6578\u64da\u5b58\u53d6\u7684\u61c9\u7528\u5834\u666f\uff0c\u8df3\u8868\u7121\u7591\u662f\u4e00\u500b\u503c\u5f97\u8003\u616e\u7684\u9078\u64c7\u3002<\/p>\n<p>\u5982\u679c\u60a8\u5c0d\u65bc\u9ad8\u6548\u7684\u6578\u64da\u5b58\u5132\u89e3\u6c7a\u65b9\u6848\u611f\u8208\u8da3\uff0c\u7121\u8ad6\u662f <a href=\"https:\/\/server.hk\">\u9999\u6e2fVPS<\/a> \u9084\u662f\u5176\u4ed6\u670d\u52d9\uff0cServer.HK\u90fd\u80fd\u63d0\u4f9b\u60a8\u6240\u9700\u7684\u652f\u6301\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u6df1\u5165\u89e3\u6790Redis\u8df3\u8868\u7b97\u6cd5\uff0c\u4e86\u89e3\u5176\u539f\u7406\u3001\u4f18\u7f3a\u70b9\u53ca\u5e94\u7528\u573a\u666f\uff0c\u63ed\u793a\u8df3\u8868\u5728\u9ad8\u6548\u6570\u636e\u5b58\u50a8\u4e2d\u7684\u91cd\u8981\u6027\u3002<\/p>\n","protected":false},"author":0,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[101],"tags":[],"class_list":["post-180624","post","type-post","status-publish","format-standard","hentry","category-database"],"_links":{"self":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180624","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/comments?post=180624"}],"version-history":[{"count":1,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180624\/revisions"}],"predecessor-version":[{"id":180625,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/180624\/revisions\/180625"}],"wp:attachment":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/media?parent=180624"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/categories?post=180624"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/tags?post=180624"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}