midl.c 6.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359
  1. /** @file midl.c
  2. * @brief ldap bdb back-end ID List functions */
  3. /* $OpenLDAP$ */
  4. /* This work is part of OpenLDAP Software <http://www.openldap.org/>.
  5. *
  6. * Copyright 2000-2018 The OpenLDAP Foundation.
  7. * Portions Copyright 2001-2018 Howard Chu, Symas Corp.
  8. * All rights reserved.
  9. *
  10. * Redistribution and use in source and binary forms, with or without
  11. * modification, are permitted only as authorized by the OpenLDAP
  12. * Public License.
  13. *
  14. * A copy of this license is available in the file LICENSE in the
  15. * top-level directory of the distribution or, alternatively, at
  16. * <http://www.OpenLDAP.org/license.html>.
  17. */
  18. #include <limits.h>
  19. #include <string.h>
  20. #include <stdlib.h>
  21. #include <errno.h>
  22. #include <sys/types.h>
  23. #include "midl.h"
  24. /** @defgroup internal LMDB Internals
  25. * @{
  26. */
  27. /** @defgroup idls ID List Management
  28. * @{
  29. */
  30. #define CMP(x,y) ( (x) < (y) ? -1 : (x) > (y) )
  31. unsigned mdb_midl_search( MDB_IDL ids, MDB_ID id )
  32. {
  33. /*
  34. * binary search of id in ids
  35. * if found, returns position of id
  36. * if not found, returns first position greater than id
  37. */
  38. unsigned base = 0;
  39. unsigned cursor = 1;
  40. int val = 0;
  41. unsigned n = ids[0];
  42. while( 0 < n ) {
  43. unsigned pivot = n >> 1;
  44. cursor = base + pivot + 1;
  45. val = CMP( ids[cursor], id );
  46. if( val < 0 ) {
  47. n = pivot;
  48. } else if ( val > 0 ) {
  49. base = cursor;
  50. n -= pivot + 1;
  51. } else {
  52. return cursor;
  53. }
  54. }
  55. if( val > 0 ) {
  56. ++cursor;
  57. }
  58. return cursor;
  59. }
  60. #if 0 /* superseded by append/sort */
  61. int mdb_midl_insert( MDB_IDL ids, MDB_ID id )
  62. {
  63. unsigned x, i;
  64. x = mdb_midl_search( ids, id );
  65. assert( x > 0 );
  66. if( x < 1 ) {
  67. /* internal error */
  68. return -2;
  69. }
  70. if ( x <= ids[0] && ids[x] == id ) {
  71. /* duplicate */
  72. assert(0);
  73. return -1;
  74. }
  75. if ( ++ids[0] >= MDB_IDL_DB_MAX ) {
  76. /* no room */
  77. --ids[0];
  78. return -2;
  79. } else {
  80. /* insert id */
  81. for (i=ids[0]; i>x; i--)
  82. ids[i] = ids[i-1];
  83. ids[x] = id;
  84. }
  85. return 0;
  86. }
  87. #endif
  88. MDB_IDL mdb_midl_alloc(int num)
  89. {
  90. MDB_IDL ids = malloc((num+2) * sizeof(MDB_ID));
  91. if (ids) {
  92. *ids++ = num;
  93. *ids = 0;
  94. }
  95. return ids;
  96. }
  97. void mdb_midl_free(MDB_IDL ids)
  98. {
  99. if (ids)
  100. free(ids-1);
  101. }
  102. void mdb_midl_shrink( MDB_IDL *idp )
  103. {
  104. MDB_IDL ids = *idp;
  105. if (*(--ids) > MDB_IDL_UM_MAX &&
  106. (ids = realloc(ids, (MDB_IDL_UM_MAX+2) * sizeof(MDB_ID))))
  107. {
  108. *ids++ = MDB_IDL_UM_MAX;
  109. *idp = ids;
  110. }
  111. }
  112. static int mdb_midl_grow( MDB_IDL *idp, int num )
  113. {
  114. MDB_IDL idn = *idp-1;
  115. /* grow it */
  116. idn = realloc(idn, (*idn + num + 2) * sizeof(MDB_ID));
  117. if (!idn)
  118. return ENOMEM;
  119. *idn++ += num;
  120. *idp = idn;
  121. return 0;
  122. }
  123. int mdb_midl_need( MDB_IDL *idp, unsigned num )
  124. {
  125. MDB_IDL ids = *idp;
  126. num += ids[0];
  127. if (num > ids[-1]) {
  128. num = (num + num/4 + (256 + 2)) & -256;
  129. if (!(ids = realloc(ids-1, num * sizeof(MDB_ID))))
  130. return ENOMEM;
  131. *ids++ = num - 2;
  132. *idp = ids;
  133. }
  134. return 0;
  135. }
  136. int mdb_midl_append( MDB_IDL *idp, MDB_ID id )
  137. {
  138. MDB_IDL ids = *idp;
  139. /* Too big? */
  140. if (ids[0] >= ids[-1]) {
  141. if (mdb_midl_grow(idp, MDB_IDL_UM_MAX))
  142. return ENOMEM;
  143. ids = *idp;
  144. }
  145. ids[0]++;
  146. ids[ids[0]] = id;
  147. return 0;
  148. }
  149. int mdb_midl_append_list( MDB_IDL *idp, MDB_IDL app )
  150. {
  151. MDB_IDL ids = *idp;
  152. /* Too big? */
  153. if (ids[0] + app[0] >= ids[-1]) {
  154. if (mdb_midl_grow(idp, app[0]))
  155. return ENOMEM;
  156. ids = *idp;
  157. }
  158. memcpy(&ids[ids[0]+1], &app[1], app[0] * sizeof(MDB_ID));
  159. ids[0] += app[0];
  160. return 0;
  161. }
  162. int mdb_midl_append_range( MDB_IDL *idp, MDB_ID id, unsigned n )
  163. {
  164. MDB_ID *ids = *idp, len = ids[0];
  165. /* Too big? */
  166. if (len + n > ids[-1]) {
  167. if (mdb_midl_grow(idp, n | MDB_IDL_UM_MAX))
  168. return ENOMEM;
  169. ids = *idp;
  170. }
  171. ids[0] = len + n;
  172. ids += len;
  173. while (n)
  174. ids[n--] = id++;
  175. return 0;
  176. }
  177. void mdb_midl_xmerge( MDB_IDL idl, MDB_IDL merge )
  178. {
  179. MDB_ID old_id, merge_id, i = merge[0], j = idl[0], k = i+j, total = k;
  180. idl[0] = (MDB_ID)-1; /* delimiter for idl scan below */
  181. old_id = idl[j];
  182. while (i) {
  183. merge_id = merge[i--];
  184. for (; old_id < merge_id; old_id = idl[--j])
  185. idl[k--] = old_id;
  186. idl[k--] = merge_id;
  187. }
  188. idl[0] = total;
  189. }
  190. /* Quicksort + Insertion sort for small arrays */
  191. #define SMALL 8
  192. #define MIDL_SWAP(a,b) { itmp=(a); (a)=(b); (b)=itmp; }
  193. void
  194. mdb_midl_sort( MDB_IDL ids )
  195. {
  196. /* Max possible depth of int-indexed tree * 2 items/level */
  197. int istack[sizeof(int)*CHAR_BIT * 2];
  198. int i,j,k,l,ir,jstack;
  199. MDB_ID a, itmp;
  200. ir = (int)ids[0];
  201. l = 1;
  202. jstack = 0;
  203. for(;;) {
  204. if (ir - l < SMALL) { /* Insertion sort */
  205. for (j=l+1;j<=ir;j++) {
  206. a = ids[j];
  207. for (i=j-1;i>=1;i--) {
  208. if (ids[i] >= a) break;
  209. ids[i+1] = ids[i];
  210. }
  211. ids[i+1] = a;
  212. }
  213. if (jstack == 0) break;
  214. ir = istack[jstack--];
  215. l = istack[jstack--];
  216. } else {
  217. k = (l + ir) >> 1; /* Choose median of left, center, right */
  218. MIDL_SWAP(ids[k], ids[l+1]);
  219. if (ids[l] < ids[ir]) {
  220. MIDL_SWAP(ids[l], ids[ir]);
  221. }
  222. if (ids[l+1] < ids[ir]) {
  223. MIDL_SWAP(ids[l+1], ids[ir]);
  224. }
  225. if (ids[l] < ids[l+1]) {
  226. MIDL_SWAP(ids[l], ids[l+1]);
  227. }
  228. i = l+1;
  229. j = ir;
  230. a = ids[l+1];
  231. for(;;) {
  232. do i++; while(ids[i] > a);
  233. do j--; while(ids[j] < a);
  234. if (j < i) break;
  235. MIDL_SWAP(ids[i],ids[j]);
  236. }
  237. ids[l+1] = ids[j];
  238. ids[j] = a;
  239. jstack += 2;
  240. if (ir-i+1 >= j-l) {
  241. istack[jstack] = ir;
  242. istack[jstack-1] = i;
  243. ir = j-1;
  244. } else {
  245. istack[jstack] = j-1;
  246. istack[jstack-1] = l;
  247. l = i;
  248. }
  249. }
  250. }
  251. }
  252. unsigned mdb_mid2l_search( MDB_ID2L ids, MDB_ID id )
  253. {
  254. /*
  255. * binary search of id in ids
  256. * if found, returns position of id
  257. * if not found, returns first position greater than id
  258. */
  259. unsigned base = 0;
  260. unsigned cursor = 1;
  261. int val = 0;
  262. unsigned n = (unsigned)ids[0].mid;
  263. while( 0 < n ) {
  264. unsigned pivot = n >> 1;
  265. cursor = base + pivot + 1;
  266. val = CMP( id, ids[cursor].mid );
  267. if( val < 0 ) {
  268. n = pivot;
  269. } else if ( val > 0 ) {
  270. base = cursor;
  271. n -= pivot + 1;
  272. } else {
  273. return cursor;
  274. }
  275. }
  276. if( val > 0 ) {
  277. ++cursor;
  278. }
  279. return cursor;
  280. }
  281. int mdb_mid2l_insert( MDB_ID2L ids, MDB_ID2 *id )
  282. {
  283. unsigned x, i;
  284. x = mdb_mid2l_search( ids, id->mid );
  285. if( x < 1 ) {
  286. /* internal error */
  287. return -2;
  288. }
  289. if ( x <= ids[0].mid && ids[x].mid == id->mid ) {
  290. /* duplicate */
  291. return -1;
  292. }
  293. if ( ids[0].mid >= MDB_IDL_UM_MAX ) {
  294. /* too big */
  295. return -2;
  296. } else {
  297. /* insert id */
  298. ids[0].mid++;
  299. for (i=(unsigned)ids[0].mid; i>x; i--)
  300. ids[i] = ids[i-1];
  301. ids[x] = *id;
  302. }
  303. return 0;
  304. }
  305. int mdb_mid2l_append( MDB_ID2L ids, MDB_ID2 *id )
  306. {
  307. /* Too big? */
  308. if (ids[0].mid >= MDB_IDL_UM_MAX) {
  309. return -2;
  310. }
  311. ids[0].mid++;
  312. ids[ids[0].mid] = *id;
  313. return 0;
  314. }
  315. /** @} */
  316. /** @} */