Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 1 | """A dumb and slow but simple dbm clone. |
| 2 | |
| 3 | For database spam, spam.dir contains the index (a text file), |
| 4 | spam.bak *may* contain a backup of the index (also a text file), |
| 5 | while spam.dat contains the data (a binary file). |
| 6 | |
| 7 | XXX TO DO: |
| 8 | |
| 9 | - seems to contain a bug when updating... |
| 10 | |
| 11 | - reclaim free space (currently, space once occupied by deleted or expanded |
| 12 | items is never reused) |
| 13 | |
| 14 | - support concurrent access (currently, if two processes take turns making |
| 15 | updates, they can mess up the index) |
| 16 | |
| 17 | - support efficient access to large databases (currently, the whole index |
| 18 | is read when the database is opened, and some updates rewrite the whole index) |
| 19 | |
| 20 | - support opening for read-only (flag = 'm') |
| 21 | |
| 22 | """ |
| 23 | |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 24 | import io as _io |
Martin v. Löwis | d0cd95c | 2001-07-19 10:06:39 +0000 | [diff] [blame] | 25 | import os as _os |
Raymond Hettinger | b9da9bc | 2008-02-04 20:44:31 +0000 | [diff] [blame] | 26 | import collections |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 27 | |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 28 | _BLOCKSIZE = 512 |
| 29 | |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 30 | error = IOError # For anydbm |
Guido van Rossum | 22a1890 | 1996-05-28 22:58:40 +0000 | [diff] [blame] | 31 | |
Raymond Hettinger | b9da9bc | 2008-02-04 20:44:31 +0000 | [diff] [blame] | 32 | class _Database(collections.MutableMapping): |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 33 | |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 34 | # The on-disk directory and data files can remain in mutually |
| 35 | # inconsistent states for an arbitrarily long time (see comments |
| 36 | # at the end of __setitem__). This is only repaired when _commit() |
| 37 | # gets called. One place _commit() gets called is from __del__(), |
| 38 | # and if that occurs at program shutdown time, module globals may |
| 39 | # already have gotten rebound to None. Since it's crucial that |
Tim Peters | 0320464 | 2003-07-13 02:37:05 +0000 | [diff] [blame] | 40 | # _commit() finish successfully, we can't ignore shutdown races |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 41 | # here, and _commit() must not reference any globals. |
| 42 | _os = _os # for _commit() |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 43 | _io = _io # for _commit() |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 44 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 45 | def __init__(self, filebasename, mode): |
Fred Drake | 2c8373b | 2001-12-07 21:54:46 +0000 | [diff] [blame] | 46 | self._mode = mode |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 47 | |
| 48 | # The directory file is a text file. Each line looks like |
| 49 | # "%r, (%d, %d)\n" % (key, pos, siz) |
| 50 | # where key is the string key, pos is the offset into the dat |
| 51 | # file of the associated value's first byte, and siz is the number |
| 52 | # of bytes in the associated value. |
Skip Montanaro | 7a98be2 | 2007-08-16 14:35:24 +0000 | [diff] [blame] | 53 | self._dirfile = filebasename + '.dir' |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 54 | |
| 55 | # The data file is a binary file pointed into by the directory |
| 56 | # file, and holds the values associated with keys. Each value |
| 57 | # begins at a _BLOCKSIZE-aligned byte offset, and is a raw |
| 58 | # binary 8-bit string value. |
Skip Montanaro | 7a98be2 | 2007-08-16 14:35:24 +0000 | [diff] [blame] | 59 | self._datfile = filebasename + '.dat' |
| 60 | self._bakfile = filebasename + '.bak' |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 61 | |
| 62 | # The index is an in-memory dict, mirroring the directory file. |
| 63 | self._index = None # maps keys to (pos, siz) pairs |
| 64 | |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 65 | # Mod by Jack: create data file if needed |
| 66 | try: |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 67 | f = _io.open(self._datfile, 'r') |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 68 | except IOError: |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 69 | f = _io.open(self._datfile, 'w') |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 70 | self._chmod(self._datfile) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 71 | f.close() |
| 72 | self._update() |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 73 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 74 | # Read directory file into the in-memory index dict. |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 75 | def _update(self): |
| 76 | self._index = {} |
| 77 | try: |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 78 | f = _io.open(self._dirfile, 'r') |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 79 | except IOError: |
| 80 | pass |
| 81 | else: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 82 | for line in f: |
Andrew M. Kuchling | ecdad85 | 2005-06-07 19:36:10 +0000 | [diff] [blame] | 83 | line = line.rstrip() |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 84 | key, pos_and_siz_pair = eval(line) |
| 85 | self._index[key] = pos_and_siz_pair |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 86 | f.close() |
| 87 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 88 | # Write the index dict to the directory file. The original directory |
| 89 | # file (if any) is renamed with a .bak extension first. If a .bak |
| 90 | # file currently exists, it's deleted. |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 91 | def _commit(self): |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 92 | # CAUTION: It's vital that _commit() succeed, and _commit() can |
| 93 | # be called from __del__(). Therefore we must never reference a |
| 94 | # global in this routine. |
Tim Peters | 7a6c733 | 2003-07-13 17:21:10 +0000 | [diff] [blame] | 95 | if self._index is None: |
| 96 | return # nothing to do |
| 97 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 98 | try: |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 99 | self._os.unlink(self._bakfile) |
| 100 | except self._os.error: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 101 | pass |
| 102 | |
| 103 | try: |
Tim Peters | d7472ec | 2003-07-13 02:22:03 +0000 | [diff] [blame] | 104 | self._os.rename(self._dirfile, self._bakfile) |
| 105 | except self._os.error: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 106 | pass |
| 107 | |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 108 | f = self._io.open(self._dirfile, 'w') |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 109 | self._chmod(self._dirfile) |
Guido van Rossum | cc2b016 | 2007-02-11 06:12:03 +0000 | [diff] [blame] | 110 | for key, pos_and_siz_pair in self._index.items(): |
Tim Peters | 3898a70 | 2003-07-12 20:23:09 +0000 | [diff] [blame] | 111 | f.write("%r, %r\n" % (key, pos_and_siz_pair)) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 112 | f.close() |
| 113 | |
Skip Montanaro | 6d06815 | 2003-07-14 12:15:15 +0000 | [diff] [blame] | 114 | sync = _commit |
| 115 | |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 116 | def __getitem__(self, key): |
Martin v. Löwis | e656869 | 2007-08-07 05:37:39 +0000 | [diff] [blame] | 117 | key = key.decode("latin-1") |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 118 | pos, siz = self._index[key] # may raise KeyError |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 119 | f = _io.open(self._datfile, 'rb') |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 120 | f.seek(pos) |
| 121 | dat = f.read(siz) |
| 122 | f.close() |
| 123 | return dat |
| 124 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 125 | # Append val to the data file, starting at a _BLOCKSIZE-aligned |
| 126 | # offset. The data file is first padded with NUL bytes (if needed) |
| 127 | # to get to an aligned offset. Return pair |
| 128 | # (starting offset of val, len(val)) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 129 | def _addval(self, val): |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 130 | f = _io.open(self._datfile, 'rb+') |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 131 | f.seek(0, 2) |
| 132 | pos = int(f.tell()) |
Guido van Rossum | 54e54c6 | 2001-09-04 19:14:14 +0000 | [diff] [blame] | 133 | npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 134 | f.write(b'\0'*(npos-pos)) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 135 | pos = npos |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 136 | f.write(val) |
| 137 | f.close() |
| 138 | return (pos, len(val)) |
| 139 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 140 | # Write val to the data file, starting at offset pos. The caller |
| 141 | # is responsible for ensuring that there's enough room starting at |
| 142 | # pos to hold val, without overwriting some other value. Return |
| 143 | # pair (pos, len(val)). |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 144 | def _setval(self, pos, val): |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 145 | f = _io.open(self._datfile, 'rb+') |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 146 | f.seek(pos) |
| 147 | f.write(val) |
| 148 | f.close() |
| 149 | return (pos, len(val)) |
| 150 | |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 151 | # key is a new key whose associated value starts in the data file |
Tim Peters | 1d8d729 | 2003-07-13 02:05:47 +0000 | [diff] [blame] | 152 | # at offset pos and with length siz. Add an index record to |
| 153 | # the in-memory index dict, and append one to the directory file. |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 154 | def _addkey(self, key, pos_and_siz_pair): |
| 155 | self._index[key] = pos_and_siz_pair |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 156 | f = _io.open(self._dirfile, 'a') |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 157 | self._chmod(self._dirfile) |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 158 | f.write("%r, %r\n" % (key, pos_and_siz_pair)) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 159 | f.close() |
| 160 | |
| 161 | def __setitem__(self, key, val): |
Martin v. Löwis | e656869 | 2007-08-07 05:37:39 +0000 | [diff] [blame] | 162 | if not isinstance(key, bytes): |
| 163 | raise TypeError("keys must be bytes") |
| 164 | key = key.decode("latin-1") # hashable bytes |
Guido van Rossum | 254348e | 2007-11-21 19:29:53 +0000 | [diff] [blame] | 165 | if not isinstance(val, (bytes, bytearray)): |
Guido van Rossum | 6252e10 | 2007-05-23 20:51:02 +0000 | [diff] [blame] | 166 | raise TypeError("values must be byte strings") |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 167 | if key not in self._index: |
| 168 | self._addkey(key, self._addval(val)) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 169 | else: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 170 | # See whether the new value is small enough to fit in the |
| 171 | # (padded) space currently occupied by the old value. |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 172 | pos, siz = self._index[key] |
Tim Peters | ef6573e | 2003-07-11 04:09:55 +0000 | [diff] [blame] | 173 | oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE |
| 174 | newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 175 | if newblocks <= oldblocks: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 176 | self._index[key] = self._setval(pos, val) |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 177 | else: |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 178 | # The new value doesn't fit in the (padded) space used |
| 179 | # by the old value. The blocks used by the old value are |
| 180 | # forever lost. |
| 181 | self._index[key] = self._addval(val) |
| 182 | |
| 183 | # Note that _index may be out of synch with the directory |
| 184 | # file now: _setval() and _addval() don't update the directory |
Tim Peters | 1d8d729 | 2003-07-13 02:05:47 +0000 | [diff] [blame] | 185 | # file. This also means that the on-disk directory and data |
| 186 | # files are in a mutually inconsistent state, and they'll |
| 187 | # remain that way until _commit() is called. Note that this |
| 188 | # is a disaster (for the database) if the program crashes |
| 189 | # (so that _commit() never gets called). |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 190 | |
| 191 | def __delitem__(self, key): |
Martin v. Löwis | e656869 | 2007-08-07 05:37:39 +0000 | [diff] [blame] | 192 | key = key.decode("latin-1") |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 193 | # The blocks used by the associated value are lost. |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 194 | del self._index[key] |
Tim Peters | 7dfd570 | 2003-07-12 20:11:25 +0000 | [diff] [blame] | 195 | # XXX It's unclear why we do a _commit() here (the code always |
| 196 | # XXX has, so I'm not changing it). _setitem__ doesn't try to |
| 197 | # XXX keep the directory file in synch. Why should we? Or |
| 198 | # XXX why shouldn't __setitem__? |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 199 | self._commit() |
| 200 | |
| 201 | def keys(self): |
Guido van Rossum | 7b4beea | 2007-08-28 00:09:54 +0000 | [diff] [blame] | 202 | return [key.encode("latin-1") for key in self._index.keys()] |
| 203 | |
| 204 | def items(self): |
| 205 | return [(key.encode("latin-1"), self[key.encode("latin-1")]) |
| 206 | for key in self._index.keys()] |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 207 | |
Fred Drake | a7cc69e | 2001-05-03 04:55:47 +0000 | [diff] [blame] | 208 | def __contains__(self, key): |
Neal Norwitz | 0f3cff5 | 2007-08-23 22:06:07 +0000 | [diff] [blame] | 209 | key = key.decode("latin-1") |
Raymond Hettinger | 793d4b4 | 2002-06-01 14:25:41 +0000 | [diff] [blame] | 210 | return key in self._index |
Fred Drake | a7cc69e | 2001-05-03 04:55:47 +0000 | [diff] [blame] | 211 | |
| 212 | def iterkeys(self): |
Brett Cannon | c1b22a0 | 2007-02-22 05:04:32 +0000 | [diff] [blame] | 213 | return iter(self._index.keys()) |
Fred Drake | a7cc69e | 2001-05-03 04:55:47 +0000 | [diff] [blame] | 214 | __iter__ = iterkeys |
| 215 | |
Tim Peters | 88869f9 | 2001-01-14 23:36:06 +0000 | [diff] [blame] | 216 | def __len__(self): |
| 217 | return len(self._index) |
| 218 | |
| 219 | def close(self): |
Anthony Baxter | ed90570 | 2001-12-21 05:13:37 +0000 | [diff] [blame] | 220 | self._commit() |
Tim Peters | 7a6c733 | 2003-07-13 17:21:10 +0000 | [diff] [blame] | 221 | self._index = self._datfile = self._dirfile = self._bakfile = None |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 222 | |
Tim Peters | 7a6c733 | 2003-07-13 17:21:10 +0000 | [diff] [blame] | 223 | __del__ = close |
Tim Peters | e441860 | 2002-02-16 07:34:19 +0000 | [diff] [blame] | 224 | |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 225 | def _chmod (self, file): |
| 226 | if hasattr(self._os, 'chmod'): |
| 227 | self._os.chmod(file, self._mode) |
Anthony Baxter | ed90570 | 2001-12-21 05:13:37 +0000 | [diff] [blame] | 228 | |
Guido van Rossum | 9f824a7 | 1995-08-10 19:29:28 +0000 | [diff] [blame] | 229 | |
Guido van Rossum | cd16bf6 | 2007-06-13 18:07:49 +0000 | [diff] [blame] | 230 | def open(file, flag=None, mode=0o666): |
Raymond Hettinger | aef22fb | 2002-05-29 16:18:42 +0000 | [diff] [blame] | 231 | """Open the database file, filename, and return corresponding object. |
| 232 | |
| 233 | The flag argument, used to control how the database is opened in the |
| 234 | other DBM implementations, is ignored in the dumbdbm module; the |
| 235 | database is always opened for update, and will be created if it does |
| 236 | not exist. |
| 237 | |
| 238 | The optional mode argument is the UNIX mode of the file, used only when |
Guido van Rossum | cd16bf6 | 2007-06-13 18:07:49 +0000 | [diff] [blame] | 239 | the database has to be created. It defaults to octal code 0o666 (and |
Raymond Hettinger | aef22fb | 2002-05-29 16:18:42 +0000 | [diff] [blame] | 240 | will be modified by the prevailing umask). |
| 241 | |
| 242 | """ |
Neal Norwitz | f421e81 | 2003-03-01 22:58:00 +0000 | [diff] [blame] | 243 | # flag argument is currently ignored |
Thomas Wouters | 902d6eb | 2007-01-09 23:18:33 +0000 | [diff] [blame] | 244 | |
| 245 | # Modify mode depending on the umask |
| 246 | try: |
| 247 | um = _os.umask(0) |
| 248 | _os.umask(um) |
| 249 | except AttributeError: |
| 250 | pass |
| 251 | else: |
| 252 | # Turn off any bits that are set in the umask |
| 253 | mode = mode & (~um) |
Thomas Wouters | 9fe394c | 2007-02-05 01:24:16 +0000 | [diff] [blame] | 254 | |
Fred Drake | 2c8373b | 2001-12-07 21:54:46 +0000 | [diff] [blame] | 255 | return _Database(file, mode) |