Hex Artifact Content
Not logged in

Artifact 19975b64c93db9e96c8624b323c2a2a1dc713fdb:


0000: 3b 3b 0a 3b 3b 20 43 6f 70 79 72 69 67 68 74 20  ;;.;; Copyright 
0010: 32 30 31 36 20 41 6c 64 6f 20 4e 69 63 6f 6c 61  2016 Aldo Nicola
0020: 73 20 42 72 75 6e 6f 0a 3b 3b 0a 3b 3b 20 4c 69  s Bruno.;;.;; Li
0030: 63 65 6e 73 65 64 20 75 6e 64 65 72 20 74 68 65  censed under the
0040: 20 41 70 61 63 68 65 20 4c 69 63 65 6e 73 65 2c   Apache License,
0050: 20 56 65 72 73 69 6f 6e 20 32 2e 30 20 28 74 68   Version 2.0 (th
0060: 65 20 22 4c 69 63 65 6e 73 65 22 29 3b 0a 3b 3b  e "License");.;;
0070: 20 79 6f 75 20 6d 61 79 20 6e 6f 74 20 75 73 65   you may not use
0080: 20 74 68 69 73 20 66 69 6c 65 20 65 78 63 65 70   this file excep
0090: 74 20 69 6e 20 63 6f 6d 70 6c 69 61 6e 63 65 20  t in compliance 
00a0: 77 69 74 68 20 74 68 65 20 4c 69 63 65 6e 73 65  with the License
00b0: 2e 0a 3b 3b 20 59 6f 75 20 6d 61 79 20 6f 62 74  ..;; You may obt
00c0: 61 69 6e 20 61 20 63 6f 70 79 20 6f 66 20 74 68  ain a copy of th
00d0: 65 20 4c 69 63 65 6e 73 65 20 61 74 0a 3b 3b 0a  e License at.;;.
00e0: 3b 3b 20 20 20 20 20 68 74 74 70 3a 2f 2f 77 77  ;;     http://ww
00f0: 77 2e 61 70 61 63 68 65 2e 6f 72 67 2f 6c 69 63  w.apache.org/lic
0100: 65 6e 73 65 73 2f 4c 49 43 45 4e 53 45 2d 32 2e  enses/LICENSE-2.
0110: 30 0a 3b 3b 0a 3b 3b 20 55 6e 6c 65 73 73 20 72  0.;;.;; Unless r
0120: 65 71 75 69 72 65 64 20 62 79 20 61 70 70 6c 69  equired by appli
0130: 63 61 62 6c 65 20 6c 61 77 20 6f 72 20 61 67 72  cable law or agr
0140: 65 65 64 20 74 6f 20 69 6e 20 77 72 69 74 69 6e  eed to in writin
0150: 67 2c 20 73 6f 66 74 77 61 72 65 0a 3b 3b 20 64  g, software.;; d
0160: 69 73 74 72 69 62 75 74 65 64 20 75 6e 64 65 72  istributed under
0170: 20 74 68 65 20 4c 69 63 65 6e 73 65 20 69 73 20   the License is 
0180: 64 69 73 74 72 69 62 75 74 65 64 20 6f 6e 20 61  distributed on a
0190: 6e 20 22 41 53 20 49 53 22 20 42 41 53 49 53 2c  n "AS IS" BASIS,
01a0: 0a 3b 3b 20 57 49 54 48 4f 55 54 20 57 41 52 52  .;; WITHOUT WARR
01b0: 41 4e 54 49 45 53 20 4f 52 20 43 4f 4e 44 49 54  ANTIES OR CONDIT
01c0: 49 4f 4e 53 20 4f 46 20 41 4e 59 20 4b 49 4e 44  IONS OF ANY KIND
01d0: 2c 20 65 69 74 68 65 72 20 65 78 70 72 65 73 73  , either express
01e0: 20 6f 72 20 69 6d 70 6c 69 65 64 2e 0a 3b 3b 20   or implied..;; 
01f0: 53 65 65 20 74 68 65 20 4c 69 63 65 6e 73 65 20  See the License 
0200: 66 6f 72 20 74 68 65 20 73 70 65 63 69 66 69 63  for the specific
0210: 20 6c 61 6e 67 75 61 67 65 20 67 6f 76 65 72 6e   language govern
0220: 69 6e 67 20 70 65 72 6d 69 73 73 69 6f 6e 73 20  ing permissions 
0230: 61 6e 64 0a 3b 3b 20 6c 69 6d 69 74 61 74 69 6f  and.;; limitatio
0240: 6e 73 20 75 6e 64 65 72 20 74 68 65 20 4c 69 63  ns under the Lic
0250: 65 6e 73 65 2e 0a 0a 28 69 6d 70 6f 72 74 20 28  ense...(import (
0260: 6c 6d 64 62 29 29 0a 28 6d 64 62 2d 6c 69 62 72  lmdb)).(mdb-libr
0270: 61 72 79 2d 69 6e 69 74 29 0a 0a 28 72 61 6e 64  ary-init)..(rand
0280: 6f 6d 2d 73 65 65 64 20 28 74 69 6d 65 2d 6e 61  om-seed (time-na
0290: 6e 6f 73 65 63 6f 6e 64 20 28 63 75 72 72 65 6e  nosecond (curren
02a0: 74 2d 74 69 6d 65 29 29 29 0a 0a 28 64 65 66 69  t-time)))..(defi
02b0: 6e 65 20 63 6f 75 6e 74 20 28 2b 20 28 72 61 6e  ne count (+ (ran
02c0: 64 6f 6d 20 33 38 34 29 20 36 34 29 29 0a 0a 28  dom 384) 64))..(
02d0: 64 65 66 69 6e 65 20 76 61 6c 75 65 73 20 28 6d  define values (m
02e0: 61 70 20 28 6c 61 6d 62 64 61 20 28 69 29 20 28  ap (lambda (i) (
02f0: 72 61 6e 64 6f 6d 20 31 30 32 34 29 29 20 0a 09  random 1024)) ..
0300: 09 20 20 20 20 28 69 6f 74 61 20 63 6f 75 6e 74  .    (iota count
0310: 29 29 29 0a 0a 0a 28 64 65 66 69 6e 65 20 65 6e  )))...(define en
0320: 76 20 28 6d 64 62 2d 65 6e 76 2d 63 72 65 61 74  v (mdb-env-creat
0330: 65 29 29 0a 0a 28 6d 64 62 2d 65 6e 76 2d 73 65  e))..(mdb-env-se
0340: 74 2d 6d 61 78 72 65 61 64 65 72 73 20 65 6e 76  t-maxreaders env
0350: 20 31 29 0a 28 6d 64 62 2d 65 6e 76 2d 73 65 74   1).(mdb-env-set
0360: 2d 6d 61 70 73 69 7a 65 20 65 6e 76 20 31 30 34  -mapsize env 104
0370: 38 35 37 36 30 29 0a 0a 28 67 75 61 72 64 20 28  85760)..(guard (
0380: 78 20 28 65 6c 73 65 20 28 70 72 69 6e 74 66 20  x (else (printf 
0390: 22 6d 6b 64 69 72 3a 20 7e 64 7e 6e 22 20 28 63  "mkdir: ~d~n" (c
03a0: 6f 6e 64 69 74 69 6f 6e 2d 6d 65 73 73 61 67 65  ondition-message
03b0: 20 78 29 29 29 29 20 28 6d 6b 64 69 72 20 22 74   x)))) (mkdir "t
03c0: 65 73 74 64 62 22 29 29 0a 0a 28 6c 65 74 20 28  estdb"))..(let (
03d0: 5b 65 72 72 20 28 6d 64 62 2d 65 6e 76 2d 6f 70  [err (mdb-env-op
03e0: 65 6e 20 65 6e 76 20 22 2e 2f 74 65 73 74 64 62  en env "./testdb
03f0: 22 20 4d 44 42 5f 46 49 58 45 44 4d 41 50 20 23  " MDB_FIXEDMAP #
0400: 6f 30 36 36 34 29 5d 29 0a 20 20 28 6d 64 62 2d  o0664)]).  (mdb-
0410: 73 74 72 65 72 72 6f 72 20 65 72 72 29 29 0a 0a  strerror err))..
0420: 28 77 69 74 68 2d 6d 64 62 2d 74 78 6e 20 0a 20  (with-mdb-txn . 
0430: 28 74 78 6e 20 65 6e 76 20 6d 64 62 2d 6e 75 6c  (txn env mdb-nul
0440: 6c 2d 74 78 6e 20 30 29 0a 20 28 64 65 66 69 6e  l-txn 0). (defin
0450: 65 20 64 62 69 20 28 6d 64 62 2d 64 62 69 2d 6f  e dbi (mdb-dbi-o
0460: 70 65 6e 20 74 78 6e 20 23 66 20 30 29 29 0a 20  pen txn #f 0)). 
0470: 28 6c 65 74 20 28 20 5b 6a 20 30 5d 29 0a 20 20  (let ( [j 0]).  
0480: 20 28 70 72 69 6e 74 66 20 22 61 64 64 69 6e 67   (printf "adding
0490: 20 7e 64 20 76 61 6c 75 65 73 7e 6e 22 20 63 6f   ~d values~n" co
04a0: 75 6e 74 29 0a 20 20 20 28 66 6f 72 2d 65 61 63  unt).   (for-eac
04b0: 68 20 0a 20 20 20 20 28 6c 61 6d 62 64 61 20 28  h .    (lambda (
04c0: 69 29 0a 20 20 20 20 20 20 28 6c 65 74 20 28 5b  i).      (let ([
04d0: 6b 65 79 20 28 6d 61 6b 65 2d 6d 64 62 2d 76 61  key (make-mdb-va
04e0: 6c 20 0a 09 09 20 20 28 66 6f 72 6d 61 74 20 22  l ...  (format "
04f0: 7e 78 20 7e 64 20 66 6f 6f 20 62 61 72 22 20 0a  ~x ~d foo bar" .
0500: 09 09 09 20 20 28 6c 69 73 74 2d 72 65 66 20 76  ...  (list-ref v
0510: 61 6c 75 65 73 20 69 29 0a 09 09 09 20 20 28 6c  alues i)....  (l
0520: 69 73 74 2d 72 65 66 20 76 61 6c 75 65 73 20 69  ist-ref values i
0530: 29 29 29 5d 0a 09 20 20 20 20 5b 64 61 74 61 20  )))]..    [data 
0540: 28 6d 61 6b 65 2d 6d 64 62 2d 76 61 6c 20 0a 09  (make-mdb-val ..
0550: 09 20 20 20 28 66 6f 72 6d 61 74 20 22 7e 78 20  .   (format "~x 
0560: 7e 64 20 66 6f 6f 20 62 61 72 22 20 0a 09 09 09  ~d foo bar" ....
0570: 20 20 20 28 6c 69 73 74 2d 72 65 66 20 76 61 6c     (list-ref val
0580: 75 65 73 20 69 29 0a 09 09 09 20 20 20 28 6c 69  ues i)....   (li
0590: 73 74 2d 72 65 66 20 76 61 6c 75 65 73 20 69 29  st-ref values i)
05a0: 29 29 5d 29 0a 09 28 67 75 61 72 64 20 28 78 20  ))])..(guard (x 
05b0: 5b 28 61 6e 64 20 28 6d 64 62 2d 63 6f 6e 64 3f  [(and (mdb-cond?
05c0: 20 78 29 20 28 3d 20 28 6d 64 62 2d 63 6f 6e 64   x) (= (mdb-cond
05d0: 2d 65 72 72 6e 6f 20 78 29 20 4d 44 42 5f 4b 45  -errno x) MDB_KE
05e0: 59 45 58 49 53 54 29 29 0a 09 09 20 20 20 28 73  YEXIST))...   (s
05f0: 65 74 21 20 6a 20 28 2b 20 31 20 6a 29 29 5d 29  et! j (+ 1 j))])
0600: 0a 09 20 20 20 20 20 20 20 28 6d 64 62 2d 70 75  ..       (mdb-pu
0610: 74 20 74 78 6e 20 64 62 69 20 6b 65 79 20 64 61  t txn dbi key da
0620: 74 61 20 4d 44 42 5f 4e 4f 4f 56 45 52 57 52 49  ta MDB_NOOVERWRI
0630: 54 45 29 29 29 29 0a 20 20 20 20 28 69 6f 74 61  TE)))).    (iota
0640: 20 63 6f 75 6e 74 29 29 0a 20 20 20 28 69 66 20   count)).   (if 
0650: 28 3e 20 6a 20 30 29 0a 20 20 20 20 20 20 20 28  (> j 0).       (
0660: 70 72 69 6e 74 66 20 22 7e 64 20 64 75 70 6c 69  printf "~d dupli
0670: 63 61 74 65 73 20 73 6b 69 70 70 65 64 7e 6e 22  cates skipped~n"
0680: 20 6a 29 29 29 29 0a 0a 28 77 69 74 68 2d 6d 64   j))))..(with-md
0690: 62 2d 74 78 6e 20 0a 20 28 74 78 6e 20 65 6e 76  b-txn . (txn env
06a0: 20 6d 64 62 2d 6e 75 6c 6c 2d 74 78 6e 20 4d 44   mdb-null-txn MD
06b0: 42 5f 52 44 4f 4e 4c 59 29 0a 20 28 64 65 66 69  B_RDONLY). (defi
06c0: 6e 65 20 64 62 69 20 28 6d 64 62 2d 64 62 69 2d  ne dbi (mdb-dbi-
06d0: 6f 70 65 6e 20 74 78 6e 20 23 66 20 30 29 29 0a  open txn #f 0)).
06e0: 20 28 64 65 66 69 6e 65 20 63 75 72 73 6f 72 20   (define cursor 
06f0: 28 6d 64 62 2d 63 75 72 73 6f 72 2d 6f 70 65 6e  (mdb-cursor-open
0700: 20 74 78 6e 20 64 62 69 29 29 0a 20 28 67 75 61   txn dbi)). (gua
0710: 72 64 20 28 65 20 5b 28 61 6e 64 20 28 6d 64 62  rd (e [(and (mdb
0720: 2d 63 6f 6e 64 3f 20 65 29 0a 09 09 20 28 3d 20  -cond? e)... (= 
0730: 28 6d 64 62 2d 63 6f 6e 64 2d 65 72 72 6e 6f 20  (mdb-cond-errno 
0740: 65 29 20 4d 44 42 5f 4e 4f 54 46 4f 55 4e 44 29  e) MDB_NOTFOUND)
0750: 29 20 23 74 5d 0a 09 20 20 20 5b 65 6c 73 65 20  ) #t]..   [else 
0760: 28 72 61 69 73 65 20 65 29 5d 29 0a 09 28 6c 65  (raise e)])..(le
0770: 74 20 6c 6f 6f 70 20 28 29 0a 09 20 20 20 20 28  t loop ()..    (
0780: 6c 65 74 20 28 5b 6b 65 79 20 28 6d 61 6b 65 2d  let ([key (make-
0790: 6d 64 62 2d 76 61 6c 29 5d 20 5b 64 61 74 61 20  mdb-val)] [data 
07a0: 28 6d 61 6b 65 2d 6d 64 62 2d 76 61 6c 29 5d 29  (make-mdb-val)])
07b0: 0a 09 20 20 20 20 20 20 28 6d 64 62 2d 63 75 72  ..      (mdb-cur
07c0: 73 6f 72 2d 67 65 74 20 63 75 72 73 6f 72 20 6b  sor-get cursor k
07d0: 65 79 20 64 61 74 61 20 28 6d 64 62 2d 63 75 72  ey data (mdb-cur
07e0: 73 6f 72 2d 6f 70 20 27 6e 65 78 74 29 29 0a 09  sor-op 'next))..
07f0: 20 20 20 20 20 20 28 70 72 69 6e 74 66 20 22 6b        (printf "k
0800: 65 79 3a 20 7e 64 20 7e 64 2c 20 64 61 74 61 3a  ey: ~d ~d, data:
0810: 20 7e 64 20 7e 64 7e 6e 22 20 0a 09 09 20 20 20   ~d ~d~n" ...   
0820: 20 20 20 28 6d 64 62 2d 76 61 6c 2d 73 69 7a 65     (mdb-val-size
0830: 20 6b 65 79 29 20 28 75 74 66 38 2d 3e 73 74 72   key) (utf8->str
0840: 69 6e 67 20 28 6d 64 62 2d 76 61 6c 2d 3e 62 79  ing (mdb-val->by
0850: 74 65 76 65 63 74 6f 72 20 6b 65 79 29 29 0a 09  tevector key))..
0860: 09 20 20 20 20 20 20 28 6d 64 62 2d 76 61 6c 2d  .      (mdb-val-
0870: 73 69 7a 65 20 64 61 74 61 29 20 28 75 74 66 38  size data) (utf8
0880: 2d 3e 73 74 72 69 6e 67 20 28 6d 64 62 2d 76 61  ->string (mdb-va
0890: 6c 2d 3e 62 79 74 65 76 65 63 74 6f 72 20 64 61  l->bytevector da
08a0: 74 61 29 29 29 0a 09 20 20 20 20 20 20 28 6c 6f  ta)))..      (lo
08b0: 6f 70 29 29 29 29 29 0a 28 70 72 69 6e 74 66 20  op))))).(printf 
08c0: 22 63 6f 75 6e 74 3a 7e 64 7e 6e 22 20 63 6f 75  "count:~d~n" cou
08d0: 6e 74 29 0a 28 6c 65 74 20 6c 6f 6f 70 20 28 5b  nt).(let loop ([
08e0: 6a 20 30 5d 20 5b 69 20 28 2d 20 63 6f 75 6e 74  j 0] [i (- count
08f0: 20 31 29 5d 29 0a 20 20 28 69 66 20 28 6f 72 20   1)]).  (if (or 
0900: 28 3c 20 6a 20 30 29 20 28 3c 20 69 20 30 29 29  (< j 0) (< i 0))
0910: 0a 20 20 20 20 20 20 28 70 72 69 6e 74 66 20 22  .      (printf "
0920: 64 65 6c 65 74 65 64 20 7e 64 20 76 61 6c 75 65  deleted ~d value
0930: 73 7e 6e 22 20 6a 29 0a 20 20 20 20 20 20 28 6c  s~n" j).      (l
0940: 65 74 2a 20 28 5b 6a 20 28 2b 20 31 20 6a 29 5d  et* ([j (+ 1 j)]
0950: 0a 09 20 20 20 20 20 5b 74 78 6e 20 28 6d 64 62  ..     [txn (mdb
0960: 2d 74 78 6e 2d 62 65 67 69 6e 20 65 6e 76 20 6d  -txn-begin env m
0970: 64 62 2d 6e 75 6c 6c 2d 74 78 6e 20 30 29 5d 0a  db-null-txn 0)].
0980: 09 20 20 20 20 20 5b 64 62 69 20 28 6d 64 62 2d  .     [dbi (mdb-
0990: 64 62 69 2d 6f 70 65 6e 20 74 78 6e 20 23 66 20  dbi-open txn #f 
09a0: 30 29 5d 0a 09 20 20 20 20 20 5b 73 76 61 6c 20  0)]..     [sval 
09b0: 28 66 6f 72 6d 61 74 20 22 7e 30 33 78 20 22 20  (format "~03x " 
09c0: 28 6c 69 73 74 2d 72 65 66 20 76 61 6c 75 65 73  (list-ref values
09d0: 20 69 29 29 5d 29 0a 09 28 67 75 61 72 64 20 28   i))])..(guard (
09e0: 65 20 5b 28 61 6e 64 20 28 6d 64 62 2d 63 6f 6e  e [(and (mdb-con
09f0: 64 3f 20 65 29 0a 09 09 09 28 3d 20 28 6d 64 62  d? e)....(= (mdb
0a00: 2d 63 6f 6e 64 2d 65 72 72 6e 6f 20 65 29 20 4d  -cond-errno e) M
0a10: 44 42 5f 4e 4f 54 46 4f 55 4e 44 29 29 20 0a 09  DB_NOTFOUND)) ..
0a20: 09 20 20 20 28 6d 64 62 2d 74 78 6e 2d 61 62 6f  .   (mdb-txn-abo
0a30: 72 74 20 74 78 6e 29 0a 09 09 20 20 20 28 73 65  rt txn)...   (se
0a40: 74 21 20 6a 20 28 2d 20 6a 20 31 29 29 5d 0a 09  t! j (- j 1))]..
0a50: 09 20 20 5b 65 6c 73 65 20 28 72 61 69 73 65 20  .  [else (raise 
0a60: 65 29 5d 29 0a 09 20 20 20 20 20 20 20 28 6d 64  e)])..       (md
0a70: 62 2d 64 65 6c 20 74 78 6e 20 64 62 69 20 28 6d  b-del txn dbi (m
0a80: 61 6b 65 2d 6d 64 62 2d 76 61 6c 20 73 76 61 6c  ake-mdb-val sval
0a90: 29 20 6d 64 62 2d 6e 75 6c 6c 2d 76 61 6c 29 0a  ) mdb-null-val).
0aa0: 09 20 20 20 20 20 20 20 28 6d 64 62 2d 74 78 6e  .       (mdb-txn
0ab0: 2d 63 6f 6d 6d 69 74 20 74 78 6e 29 29 0a 09 28  -commit txn))..(
0ac0: 6c 6f 6f 70 20 6a 20 28 2d 20 69 20 28 72 61 6e  loop j (- i (ran
0ad0: 64 6f 6d 20 35 29 29 29 29 29 29 0a 09 0a        dom 5))))))...