{"id":129563,"date":"2024-10-26T22:34:19","date_gmt":"2024-10-26T14:34:19","guid":{"rendered":"https:\/\/server.hk\/cnblog\/129563\/"},"modified":"2024-10-26T22:34:20","modified_gmt":"2024-10-26T14:34:20","slug":"redis%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%e6%8a%80%e8%a1%93%e7%b0%a1%e4%be%bf%e4%b9%8b%e7%be%8e%ef%bc%88redis-%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%ef%bc%89","status":"publish","type":"post","link":"https:\/\/server.hk\/cnblog\/129563\/","title":{"rendered":"Redis\u8df3\u8e8d\u93c8\u8868\u6280\u8853\u7c21\u4fbf\u4e4b\u7f8e\uff08redis \u8df3\u8e8d\u93c8\u8868\uff09"},"content":{"rendered":"<h1 id=\"redis%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%e6%8a%80%e8%a1%93%e7%b0%a1%e4%be%bf%e4%b9%8b%e7%be%8e-tXiihrhSFt\">Redis\u8df3\u8e8d\u93c8\u8868\u6280\u8853\u7c21\u4fbf\u4e4b\u7f8e<\/h1>\n<p>\u5728\u7576\u4eca\u7684\u6578\u64da\u8655\u7406\u548c\u5b58\u5132\u9818\u57df\uff0cRedis\u4f5c\u70ba\u4e00\u7a2e\u9ad8\u6548\u7684\u9375\u503c\u6578\u64da\u5eab\uff0c\u56e0\u5176\u5353\u8d8a\u7684\u6027\u80fd\u548c\u9748\u6d3b\u7684\u6578\u64da\u7d50\u69cb\u800c\u53d7\u5230\u5ee3\u6cdb\u95dc\u6ce8\u3002\u5176\u4e2d\uff0c\u8df3\u8e8d\u93c8\u8868\uff08Skip List\uff09\u4f5c\u70baRedis\u5167\u90e8\u7684\u4e00\u7a2e\u6578\u64da\u7d50\u69cb\uff0c\u63d0\u4f9b\u4e86\u9ad8\u6548\u7684\u67e5\u627e\u3001\u63d2\u5165\u548c\u522a\u9664\u64cd\u4f5c\u3002\u672c\u6587\u5c07\u6df1\u5165\u63a2\u8a0eRedis\u8df3\u8e8d\u93c8\u8868\u7684\u6280\u8853\u539f\u7406\u53ca\u5176\u512a\u52e2\u3002<\/p>\n<h2 id=\"%e4%bb%80%e9%ba%bc%e6%98%af%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%ef%bc%9f-tXiihrhSFt\">\u4ec0\u9ebc\u662f\u8df3\u8e8d\u93c8\u8868\uff1f<\/h2>\n<p>\u8df3\u8e8d\u93c8\u8868\u662f\u4e00\u7a2e\u96a8\u6a5f\u5316\u7684\u6578\u64da\u7d50\u69cb\uff0c\u65e8\u5728\u63d0\u9ad8\u93c8\u8868\u7684\u67e5\u627e\u6548\u7387\u3002\u5b83\u7531\u591a\u5c64\u93c8\u8868\u7d44\u6210\uff0c\u6bcf\u4e00\u5c64\u90fd\u662f\u4e00\u500b\u6709\u5e8f\u7684\u93c8\u8868\uff0c\u4e26\u4e14\u6bcf\u4e00\u5c64\u7684\u5143\u7d20\u6578\u91cf\u662f\u96a8\u6a5f\u9078\u64c7\u7684\u3002\u9019\u7a2e\u7d50\u69cb\u4f7f\u5f97\u5728\u67e5\u627e\u6642\uff0c\u53ef\u4ee5\u8df3\u904e\u591a\u500b\u5143\u7d20\uff0c\u5f9e\u800c\u9054\u5230\u66f4\u5feb\u7684\u67e5\u627e\u901f\u5ea6\u3002<\/p>\n<h2 id=\"%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%e7%9a%84%e7%b5%90%e6%a7%8b-tXiihrhSFt\">\u8df3\u8e8d\u93c8\u8868\u7684\u7d50\u69cb<\/h2>\n<p>\u8df3\u8e8d\u93c8\u8868\u7684\u57fa\u672c\u7d50\u69cb\u5982\u4e0b\uff1a<\/p>\n<ul>\n<li>\u6bcf\u500b\u7bc0\u9ede\u5305\u542b\u4e00\u500b\u503c\u548c\u591a\u500b\u6307\u5411\u4e0b\u4e00\u500b\u7bc0\u9ede\u7684\u6307\u91dd\u3002<\/li>\n<li>\u6700\u5e95\u5c64\u7684\u93c8\u8868\u5305\u542b\u6240\u6709\u7684\u5143\u7d20\uff0c\u800c\u4e0a\u5c64\u7684\u93c8\u8868\u5247\u662f\u96a8\u6a5f\u9078\u64c7\u7684\u5b50\u96c6\u3002<\/li>\n<li>\u67e5\u627e\u64cd\u4f5c\u5f9e\u6700\u4e0a\u5c64\u958b\u59cb\uff0c\u9010\u5c64\u5411\u4e0b\uff0c\u76f4\u5230\u627e\u5230\u76ee\u6a19\u5143\u7d20\u6216\u5230\u9054\u5e95\u5c64\u3002<\/li>\n<\/ul>\n<h3 id=\"%e8%b7%b3%e8%ba%8d%e9%8f%88%e8%a1%a8%e7%9a%84%e6%93%8d%e4%bd%9c-tXiihrhSFt\">\u8df3\u8e8d\u93c8\u8868\u7684\u64cd\u4f5c<\/h3>\n<p>\u8df3\u8e8d\u93c8\u8868\u7684\u4e3b\u8981\u64cd\u4f5c\u5305\u62ec\u63d2\u5165\u3001\u522a\u9664\u548c\u67e5\u627e\u3002\u4ee5\u4e0b\u662f\u9019\u4e9b\u64cd\u4f5c\u7684\u57fa\u672c\u6b65\u9a5f\uff1a<\/p>\n<h4 id=\"%e6%9f%a5%e6%89%be%e6%93%8d%e4%bd%9c-tXiihrhSFt\">\u67e5\u627e\u64cd\u4f5c<\/h4>\n<pre><code>\nfunction search(value):\n    current = head\n    for level from max_level 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<h4 id=\"%e6%8f%92%e5%85%a5%e6%93%8d%e4%bd%9c-tXiihrhSFt\">\u63d2\u5165\u64cd\u4f5c<\/h4>\n<pre><code>\nfunction insert(value):\n    update = array of size max_level\n    current = head\n    for level from max_level 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    new_node = create_node(value)\n    for level from 0 to random_level():\n        new_node.forward[level] = update[level].forward[level]\n        update[level].forward[level] = new_node\n<\/code><\/pre>\n<h4 id=\"%e5%88%aa%e9%99%a4%e6%93%8d%e4%bd%9c-tXiihrhSFt\">\u522a\u9664\u64cd\u4f5c<\/h4>\n<pre><code>\nfunction delete(value):\n    update = array of size max_level\n    current = head\n    for level from max_level 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 max_level:\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%ba%8d%e9%8f%88%e8%a1%a8%e7%9a%84%e5%84%aa%e5%8b%a2-tXiihrhSFt\">\u8df3\u8e8d\u93c8\u8868\u7684\u512a\u52e2<\/h2>\n<p>\u8df3\u8e8d\u93c8\u8868\u7684\u4e3b\u8981\u512a\u52e2\u5728\u65bc\u5176\u67e5\u627e\u3001\u63d2\u5165\u548c\u522a\u9664\u64cd\u4f5c\u7684\u5e73\u5747\u6642\u9593\u8907\u96dc\u5ea6\u5747\u70baO(log n)\uff0c\u800c\u4e14\u5176\u5be6\u73fe\u76f8\u5c0d\u7c21\u55ae\u3002\u8207\u5e73\u8861\u6a39\u76f8\u6bd4\uff0c\u8df3\u8e8d\u93c8\u8868\u4e0d\u9700\u8981\u9032\u884c\u8907\u96dc\u7684\u65cb\u8f49\u64cd\u4f5c\uff0c\u9019\u4f7f\u5f97\u5176\u5728\u5be6\u969b\u61c9\u7528\u4e2d\u66f4\u52a0\u9748\u6d3b\u3002<\/p>\n<p>\u6b64\u5916\uff0c\u8df3\u8e8d\u93c8\u8868\u7684\u96a8\u6a5f\u5316\u7279\u6027\u4f7f\u5f97\u5176\u5728\u591a\u7dda\u7a0b\u74b0\u5883\u4e0b\u7684\u6027\u80fd\u8868\u73fe\u4e5f\u76f8\u5c0d\u7a69\u5b9a\uff0c\u9019\u5c0d\u65bc\u9ad8\u4e26\u767c\u7684\u61c9\u7528\u5834\u666f\u5c24\u70ba\u91cd\u8981\u3002<\/p>\n<h2 id=\"%e7%b5%90%e8%ab%96-tXiihrhSFt\">\u7d50\u8ad6<\/h2>\n<p>Redis\u4e2d\u7684\u8df3\u8e8d\u93c8\u8868\u6280\u8853\u4ee5\u5176\u7c21\u4fbf\u4e4b\u7f8e\u548c\u9ad8\u6548\u6027\u80fd\uff0c\u6210\u70ba\u4e86\u6578\u64da\u5b58\u5132\u548c\u6aa2\u7d22\u7684\u91cd\u8981\u5de5\u5177\u3002\u7121\u8ad6\u662f\u5728\u9ad8\u4e26\u767c\u7684\u61c9\u7528\u4e2d\uff0c\u9084\u662f\u5728\u9700\u8981\u5feb\u901f\u67e5\u627e\u7684\u5834\u666f\u4e0b\uff0c\u8df3\u8e8d\u93c8\u8868\u90fd\u5c55\u73fe\u4e86\u5176\u7368\u7279\u7684\u512a\u52e2\u3002\u5c0d\u65bc\u958b\u767c\u8005\u800c\u8a00\uff0c\u7406\u89e3\u548c\u638c\u63e1\u9019\u4e00\u6578\u64da\u7d50\u69cb\u5c07\u6709\u52a9\u65bc\u63d0\u5347\u7cfb\u7d71\u7684\u6574\u9ad4\u6027\u80fd\u3002<\/p>\n<p>\u5982\u9700\u4e86\u89e3\u66f4\u591a\u95dc\u65bc<a href=\"https:\/\/server.hk\">\u9999\u6e2fVPS<\/a>\u548c\u5176\u4ed6\u4f3a\u670d\u5668\u89e3\u6c7a\u65b9\u6848\u7684\u4fe1\u606f\uff0c\u8acb\u8a2a\u554f\u6211\u5011\u7684\u7db2\u7ad9\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u63a2\u7d22Redis\u8df3\u8e8d\u93c8\u8868\u6280\u8853\u7684\u7c21\u4fbf\u4e4b\u7f8e\uff0c\u4e86\u89e3\u5176\u9ad8\u6548\u6027\u80fd\u8207\u61c9\u7528\uff0c\u63d0\u5347\u6578\u64da\u7d50\u69cb\u7684\u9748\u6d3b\u6027\u8207\u901f\u5ea6\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-129563","post","type-post","status-publish","format-standard","hentry","category-database"],"_links":{"self":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/129563","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=129563"}],"version-history":[{"count":1,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/129563\/revisions"}],"predecessor-version":[{"id":129564,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/posts\/129563\/revisions\/129564"}],"wp:attachment":[{"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/media?parent=129563"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/categories?post=129563"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/server.hk\/cnblog\/wp-json\/wp\/v2\/tags?post=129563"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}