skiplist.h 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321
  1. #include"../basical/type_checking.h"
  2. #include<cstdlib>
  3. #include<cstring>
  4. #include<exception>
  5. #include<random>
  6. #include<shared_mutex>
  7. #include <variant>
  8. #include<chrono>
  9. namespace nanxing_extend
  10. {
  11. static int count=0;
  12. //错误处理机制
  13. class nextpoint_new:std::exception //skip_node分配空间失败的时候
  14. {
  15. const char* what() const noexcept
  16. {
  17. return "malloc next_node point fault";
  18. }
  19. };
  20. class newNode_error:std::exception //申请新的空间的时候
  21. {
  22. const char* what() const noexcept
  23. {
  24. return "malloc new node error";
  25. }
  26. };
  27. class random_error:std::exception //申请预设随机数空间的时候
  28. {
  29. const char* what() const noexcept
  30. {
  31. return "malloc random space error";
  32. }
  33. };
  34. enum class Skip_result //跳表操作的结果
  35. {
  36. successufl,
  37. #ifdef SKIP_MAX_SIZE
  38. full,
  39. #endif
  40. #ifdef SKIP_MAX_SIZE
  41. too_small,
  42. #endif
  43. fault,
  44. exit
  45. };
  46. //注意这里的V只能是要么是能直接深拷贝的类型,要么是指向堆上数据的指针类型
  47. template<typename K,typename V>
  48. struct skip_node
  49. {
  50. static_assert(nanxing_extend::compare_admit<K>::value,"the type of K is error");
  51. static_assert(nanxing_extend::compare_admit<V>::value,"the type of V is error");
  52. skip_node<K,V>** next_node;
  53. V value;
  54. K key;
  55. private:
  56. int level;
  57. public:
  58. skip_node(){};
  59. skip_node(K _key,V _value,int _level):key(_key),value(_value),level(_level){};
  60. void init_next(int level)
  61. {
  62. try
  63. {
  64. next_node=::new skip_node<K,V>*[level];
  65. }
  66. catch(std::bad_alloc){ //捕获内存分配错误
  67. throw nextpoint_new(); //重新抛出一个定制的更详细的类型用以明确错误的具体位置
  68. }
  69. std::memset(next_node,0,sizeof(skip_node<K,V>*)*level);
  70. }
  71. K get_key(){ return key; }
  72. };
  73. template<typename K,typename V>
  74. class skipList
  75. {
  76. static_assert(nanxing_extend::compare_admit<K>::value,"the type of K is error");
  77. static_assert(nanxing_extend::compare_admit<V>::value,"the type of V is error");
  78. private:
  79. using Node=skip_node<K,V>;
  80. using ptr=Node*;
  81. using Nptr=Node**;
  82. //由于C++的便利性我们考虑使用带头节点的跳表(C++允许对数据不进行初始化(默认构造函数))
  83. #ifdef NANXING_THREAD_
  84. std::shared_mutex RW_lock; //读写锁
  85. #endif
  86. Nptr head; //头节点
  87. int max_level; //最大高度
  88. int* random_level; //如果启用随机数表这个就非空,反之为nullptr
  89. //当不启用随机数表,使用rand()构造随机数,启用的时候用mt19773构造随机数
  90. int current_level; //跳表当前高度
  91. int current_size; //跳表当前尺寸
  92. //这里出于一个考虑,当跳表单纯作为小数据内存数据库,单表大小限制是没有意义的
  93. //但是像level_db这样作为KV数据库的缓存的时候,就需要限制大小进行落盘
  94. #ifdef SKIP_MAX_SIZE
  95. int max_size; //跳表允许的最大尺寸
  96. #endif
  97. public:
  98. #ifndef SKIP_MAX_SIZE
  99. skipList(int _max_level):max_level(_max_level),random_level(nullptr)
  100. {
  101. try
  102. {
  103. Node* middle=::new skip_node<K,V>;
  104. middle->init_next(max_level);
  105. head=::new Node*[max_level];
  106. for(int i=0;i<max_level;i++)
  107. {
  108. head[i]=middle;
  109. }
  110. }
  111. catch(std::bad_alloc)
  112. {
  113. throw newNode_error(); //重新抛出更详细的错误类型
  114. }
  115. if(max_level==0){ //如果将高度设置为0直接调用terminate打断整个程序执行
  116. std::cerr<<"the level of skiplist cannot set zero"<<std::endl;
  117. std::terminate();
  118. }
  119. }
  120. #elif
  121. skipList(int _max_level,int _max_size):max_size(_max_size),max_level(_max_level),random_level(nullptr)
  122. {
  123. try
  124. {
  125. Node* middle=::new skip_node;
  126. middle->init_next(max_level);
  127. head=::new (Node*)[max_level];
  128. for(auto& i in head)
  129. {
  130. i=middle;
  131. }
  132. }
  133. catch(std::bad_alloc)
  134. {
  135. throw newNode_error();
  136. }
  137. }
  138. #endif
  139. [[nodiscard]] //这个返回值最好不要忽略否则很有可能会出现内存泄漏
  140. auto insert(K _key,V _value)->std::variant<Skip_result,V> //如果相同的时候我们考虑将value返回因为value很可能会是一个指针,需要手动清空内存
  141. {
  142. #ifdef NANXING_THREAD_
  143. std::lock_guard<std::shared_mutex> lock(RW_lock);
  144. #endif
  145. #ifdef SKIP_MAX_SIZE
  146. if(current_size==max_size)
  147. {
  148. return sk=Skip_result::full;
  149. }
  150. #endif
  151. int rand_level=0;
  152. ptr updata[max_level]={nullptr}; //用于更新的数组
  153. ptr point=head[max_level-1];
  154. ptr new_node;
  155. std::variant<Skip_result,V> sk;
  156. for(int i=max_level-1;i>=0;i--)
  157. {
  158. for(;;)
  159. {
  160. if(point->next_node[i]==nullptr)
  161. {
  162. updata[i]=point;
  163. break;
  164. }
  165. else if(point->next_node[i]->key>=_key)
  166. {
  167. if(point->next_node[i]->key==_key)
  168. {
  169. sk=std::move(point->next_node[i]->value); //这个值已经不需要了,直接移动
  170. point->next_node[i]->value=_value;
  171. return sk;
  172. }
  173. else
  174. {
  175. updata[i]=point;
  176. break;
  177. }
  178. }
  179. else{
  180. point=point->next_node[i]; //更新point指针
  181. }
  182. }
  183. }
  184. [[likely]]
  185. if(random_level!=nullptr)
  186. {
  187. rand_level=random_level[current_size%1024];
  188. }
  189. else
  190. {
  191. rand_level=rand()%max_level;
  192. }
  193. ptr tmp=nullptr;
  194. new_node=new skip_node(_key,_value,rand_level);
  195. new_node->init_next(rand_level);
  196. for(int i=0;i<rand_level;i++)
  197. {
  198. tmp=updata[i]->next_node[i];
  199. updata[i]->next_node[i]=new_node;
  200. new_node->next_node[i]=tmp;
  201. }
  202. if(rand_level>current_level)
  203. {
  204. current_level=rand_level;
  205. }
  206. current_size++;
  207. sk=Skip_result::successufl;
  208. return sk;
  209. }
  210. [[nodiscard]]
  211. auto search(K _key) noexcept ->std::variant<Skip_result,V>{ //不涉及任何内存分配相关任务,因此是异常安全的
  212. #ifdef NANXING_THREAD_
  213. std::shared_lock<std::shared_mutex> lock(RW_lock);
  214. #endif
  215. std::variant<Skip_result,V> sk;
  216. ptr tmp=head[current_level-1];
  217. int tmp_level=current_level-1;
  218. for(int i=tmp_level;i>=0;i--)
  219. {
  220. while(tmp->next_node[tmp_level]!=nullptr)
  221. {
  222. if(tmp->next_node[tmp_level]->key>=_key)
  223. {
  224. if(tmp->next_node[tmp_level]->key==_key)
  225. {
  226. return sk=Skip_result::exit;
  227. }
  228. else{
  229. break; //跳出开始下一层循环
  230. }
  231. }
  232. else{
  233. tmp=tmp->next_node[tmp_level];
  234. }
  235. }
  236. }
  237. return sk=Skip_result::fault;
  238. }
  239. void init_skip() //直接生成随机数表
  240. {
  241. #ifdef NANXING_THREAD_
  242. std::lock_guard<std::shared_mutex> lock(RW_lock);
  243. #endif
  244. if(random_level!=nullptr)
  245. {
  246. return;
  247. }
  248. try{
  249. random_level=::new int[1024]; //刚好是一页的大小(4KB)
  250. }
  251. catch(std::bad_alloc)
  252. {
  253. throw random_error();
  254. }
  255. std::mt19937 rnd(std::chrono::system_clock::now().time_since_epoch().count());
  256. for(int i=0;i<1024;i++)
  257. {
  258. random_level[i]=(rnd()%max_level)+1;
  259. }
  260. }
  261. void Print()
  262. {
  263. ptr tmp=head[0]->next_node[0];
  264. while(tmp!=nullptr&&tmp->next_node[0]!=nullptr) //这里用了截断的技巧,即第一个条件不成立就不会触发第二个条件运行
  265. {
  266. std::cout<<"("<<tmp->get_key()<<","<<tmp->value<<")"<<"->";
  267. tmp=tmp->next_node[0];
  268. count++;
  269. }
  270. if(tmp!=nullptr)
  271. {
  272. std::cout<<"("<<tmp->get_key()<<","<<tmp->value<<")"<<std::endl;
  273. count++;
  274. }
  275. std::cout<<"count ="<<count<<std::endl;
  276. }
  277. #ifdef SKIP_MAX_SIZE
  278. [[nodicard]]
  279. auto change_size(int _max_size)->std::variant<Skip_result,V> noexcept
  280. {
  281. std::variant<
  282. if(_max_size>this->max_size)
  283. {
  284. this->max_size=_max_size;
  285. tmp=Skip_result::successufl;
  286. return tmp;
  287. }
  288. else
  289. {
  290. tmp=Skip_result::too_samll;
  291. return tmp;
  292. }
  293. }
  294. #endif
  295. };
  296. }