blob: 63bc32942163e5e2306870cf839a62aaaaa11152 [file] [log] [blame]
Guido van Rossum9f824a71995-08-10 19:29:28 +00001"""A dumb and slow but simple dbm clone.
2
3For database spam, spam.dir contains the index (a text file),
4spam.bak *may* contain a backup of the index (also a text file),
5while spam.dat contains the data (a binary file).
6
7XXX TO DO:
8
9- seems to contain a bug when updating...
10
11- reclaim free space (currently, space once occupied by deleted or expanded
12items is never reused)
13
14- support concurrent access (currently, if two processes take turns making
15updates, they can mess up the index)
16
17- support efficient access to large databases (currently, the whole index
18is 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
Serhiy Storchaka74eb8b22015-02-16 00:30:43 +020024import ast as _ast
Guido van Rossum6252e102007-05-23 20:51:02 +000025import io as _io
Martin v. Löwisd0cd95c2001-07-19 10:06:39 +000026import os as _os
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +000027import collections
Guido van Rossum9f824a71995-08-10 19:29:28 +000028
Georg Brandl0a7ac7d2008-05-26 10:29:35 +000029__all__ = ["error", "open"]
30
Guido van Rossum9f824a71995-08-10 19:29:28 +000031_BLOCKSIZE = 512
32
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020033error = OSError
Guido van Rossum22a18901996-05-28 22:58:40 +000034
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +000035class _Database(collections.MutableMapping):
Guido van Rossum9f824a71995-08-10 19:29:28 +000036
Tim Petersd7472ec2003-07-13 02:22:03 +000037 # The on-disk directory and data files can remain in mutually
38 # inconsistent states for an arbitrarily long time (see comments
39 # at the end of __setitem__). This is only repaired when _commit()
40 # gets called. One place _commit() gets called is from __del__(),
41 # and if that occurs at program shutdown time, module globals may
42 # already have gotten rebound to None. Since it's crucial that
Tim Peters03204642003-07-13 02:37:05 +000043 # _commit() finish successfully, we can't ignore shutdown races
Tim Petersd7472ec2003-07-13 02:22:03 +000044 # here, and _commit() must not reference any globals.
45 _os = _os # for _commit()
Guido van Rossum6252e102007-05-23 20:51:02 +000046 _io = _io # for _commit()
Tim Petersd7472ec2003-07-13 02:22:03 +000047
Tim Peters7dfd5702003-07-12 20:11:25 +000048 def __init__(self, filebasename, mode):
Fred Drake2c8373b2001-12-07 21:54:46 +000049 self._mode = mode
Tim Peters7dfd5702003-07-12 20:11:25 +000050
51 # The directory file is a text file. Each line looks like
52 # "%r, (%d, %d)\n" % (key, pos, siz)
53 # where key is the string key, pos is the offset into the dat
54 # file of the associated value's first byte, and siz is the number
55 # of bytes in the associated value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000056 self._dirfile = filebasename + '.dir'
Tim Peters7dfd5702003-07-12 20:11:25 +000057
58 # The data file is a binary file pointed into by the directory
59 # file, and holds the values associated with keys. Each value
60 # begins at a _BLOCKSIZE-aligned byte offset, and is a raw
61 # binary 8-bit string value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000062 self._datfile = filebasename + '.dat'
63 self._bakfile = filebasename + '.bak'
Tim Peters7dfd5702003-07-12 20:11:25 +000064
65 # The index is an in-memory dict, mirroring the directory file.
66 self._index = None # maps keys to (pos, siz) pairs
67
Tim Peters88869f92001-01-14 23:36:06 +000068 # Mod by Jack: create data file if needed
69 try:
Brett Cannon2b5d6eb2008-11-24 21:09:58 +000070 f = _io.open(self._datfile, 'r', encoding="Latin-1")
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020071 except OSError:
Serhiy Storchaka65c623d2014-06-25 20:35:31 +030072 with _io.open(self._datfile, 'w', encoding="Latin-1") as f:
73 self._chmod(self._datfile)
74 else:
75 f.close()
Tim Peters88869f92001-01-14 23:36:06 +000076 self._update()
Guido van Rossum9f824a71995-08-10 19:29:28 +000077
Tim Peters7dfd5702003-07-12 20:11:25 +000078 # Read directory file into the in-memory index dict.
Tim Peters88869f92001-01-14 23:36:06 +000079 def _update(self):
80 self._index = {}
81 try:
Brett Cannon2b5d6eb2008-11-24 21:09:58 +000082 f = _io.open(self._dirfile, 'r', encoding="Latin-1")
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020083 except OSError:
Tim Peters88869f92001-01-14 23:36:06 +000084 pass
85 else:
Serhiy Storchaka65c623d2014-06-25 20:35:31 +030086 with f:
87 for line in f:
88 line = line.rstrip()
Serhiy Storchaka74eb8b22015-02-16 00:30:43 +020089 key, pos_and_siz_pair = _ast.literal_eval(line)
Serhiy Storchaka65c623d2014-06-25 20:35:31 +030090 key = key.encode('Latin-1')
91 self._index[key] = pos_and_siz_pair
Tim Peters88869f92001-01-14 23:36:06 +000092
Tim Peters7dfd5702003-07-12 20:11:25 +000093 # Write the index dict to the directory file. The original directory
94 # file (if any) is renamed with a .bak extension first. If a .bak
95 # file currently exists, it's deleted.
Tim Peters88869f92001-01-14 23:36:06 +000096 def _commit(self):
Tim Petersd7472ec2003-07-13 02:22:03 +000097 # CAUTION: It's vital that _commit() succeed, and _commit() can
98 # be called from __del__(). Therefore we must never reference a
99 # global in this routine.
Tim Peters7a6c7332003-07-13 17:21:10 +0000100 if self._index is None:
101 return # nothing to do
102
Tim Peters7dfd5702003-07-12 20:11:25 +0000103 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000104 self._os.unlink(self._bakfile)
Andrew Svetlovad28c7f2012-12-18 22:02:39 +0200105 except OSError:
Tim Peters7dfd5702003-07-12 20:11:25 +0000106 pass
107
108 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000109 self._os.rename(self._dirfile, self._bakfile)
Andrew Svetlovad28c7f2012-12-18 22:02:39 +0200110 except OSError:
Tim Peters7dfd5702003-07-12 20:11:25 +0000111 pass
112
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300113 with self._io.open(self._dirfile, 'w', encoding="Latin-1") as f:
114 self._chmod(self._dirfile)
115 for key, pos_and_siz_pair in self._index.items():
116 # Use Latin-1 since it has no qualms with any value in any
117 # position; UTF-8, though, does care sometimes.
118 entry = "%r, %r\n" % (key.decode('Latin-1'), pos_and_siz_pair)
119 f.write(entry)
Tim Peters88869f92001-01-14 23:36:06 +0000120
Skip Montanaro6d068152003-07-14 12:15:15 +0000121 sync = _commit
122
Benjamin Petersone3083d32014-04-26 16:56:52 -0400123 def _verify_open(self):
124 if self._index is None:
125 raise error('DBM object has already been closed')
126
Tim Peters88869f92001-01-14 23:36:06 +0000127 def __getitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000128 if isinstance(key, str):
129 key = key.encode('utf-8')
Benjamin Petersone3083d32014-04-26 16:56:52 -0400130 self._verify_open()
Tim Peters88869f92001-01-14 23:36:06 +0000131 pos, siz = self._index[key] # may raise KeyError
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300132 with _io.open(self._datfile, 'rb') as f:
133 f.seek(pos)
134 dat = f.read(siz)
Tim Peters88869f92001-01-14 23:36:06 +0000135 return dat
136
Tim Peters7dfd5702003-07-12 20:11:25 +0000137 # Append val to the data file, starting at a _BLOCKSIZE-aligned
138 # offset. The data file is first padded with NUL bytes (if needed)
139 # to get to an aligned offset. Return pair
140 # (starting offset of val, len(val))
Tim Peters88869f92001-01-14 23:36:06 +0000141 def _addval(self, val):
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300142 with _io.open(self._datfile, 'rb+') as f:
143 f.seek(0, 2)
144 pos = int(f.tell())
145 npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
146 f.write(b'\0'*(npos-pos))
147 pos = npos
148 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000149 return (pos, len(val))
150
Tim Peters7dfd5702003-07-12 20:11:25 +0000151 # Write val to the data file, starting at offset pos. The caller
152 # is responsible for ensuring that there's enough room starting at
153 # pos to hold val, without overwriting some other value. Return
154 # pair (pos, len(val)).
Tim Peters88869f92001-01-14 23:36:06 +0000155 def _setval(self, pos, val):
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300156 with _io.open(self._datfile, 'rb+') as f:
157 f.seek(pos)
158 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000159 return (pos, len(val))
160
Tim Peters7dfd5702003-07-12 20:11:25 +0000161 # key is a new key whose associated value starts in the data file
Tim Peters1d8d7292003-07-13 02:05:47 +0000162 # at offset pos and with length siz. Add an index record to
163 # the in-memory index dict, and append one to the directory file.
Tim Peters7dfd5702003-07-12 20:11:25 +0000164 def _addkey(self, key, pos_and_siz_pair):
165 self._index[key] = pos_and_siz_pair
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300166 with _io.open(self._dirfile, 'a', encoding="Latin-1") as f:
167 self._chmod(self._dirfile)
168 f.write("%r, %r\n" % (key.decode("Latin-1"), pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000169
170 def __setitem__(self, key, val):
Brett Cannon58425d32008-11-21 00:17:53 +0000171 if isinstance(key, str):
172 key = key.encode('utf-8')
173 elif not isinstance(key, (bytes, bytearray)):
174 raise TypeError("keys must be bytes or strings")
Brett Cannon2b5d6eb2008-11-24 21:09:58 +0000175 if isinstance(val, str):
176 val = val.encode('utf-8')
177 elif not isinstance(val, (bytes, bytearray)):
178 raise TypeError("values must be bytes or strings")
Benjamin Petersone3083d32014-04-26 16:56:52 -0400179 self._verify_open()
Tim Peters7dfd5702003-07-12 20:11:25 +0000180 if key not in self._index:
181 self._addkey(key, self._addval(val))
Tim Peters88869f92001-01-14 23:36:06 +0000182 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000183 # See whether the new value is small enough to fit in the
184 # (padded) space currently occupied by the old value.
Tim Peters88869f92001-01-14 23:36:06 +0000185 pos, siz = self._index[key]
Tim Petersef6573e2003-07-11 04:09:55 +0000186 oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
187 newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters88869f92001-01-14 23:36:06 +0000188 if newblocks <= oldblocks:
Tim Peters7dfd5702003-07-12 20:11:25 +0000189 self._index[key] = self._setval(pos, val)
Tim Peters88869f92001-01-14 23:36:06 +0000190 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000191 # The new value doesn't fit in the (padded) space used
192 # by the old value. The blocks used by the old value are
193 # forever lost.
194 self._index[key] = self._addval(val)
195
196 # Note that _index may be out of synch with the directory
197 # file now: _setval() and _addval() don't update the directory
Tim Peters1d8d7292003-07-13 02:05:47 +0000198 # file. This also means that the on-disk directory and data
199 # files are in a mutually inconsistent state, and they'll
200 # remain that way until _commit() is called. Note that this
201 # is a disaster (for the database) if the program crashes
202 # (so that _commit() never gets called).
Tim Peters88869f92001-01-14 23:36:06 +0000203
204 def __delitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000205 if isinstance(key, str):
206 key = key.encode('utf-8')
Benjamin Petersone3083d32014-04-26 16:56:52 -0400207 self._verify_open()
Tim Peters7dfd5702003-07-12 20:11:25 +0000208 # The blocks used by the associated value are lost.
Tim Peters88869f92001-01-14 23:36:06 +0000209 del self._index[key]
Tim Peters7dfd5702003-07-12 20:11:25 +0000210 # XXX It's unclear why we do a _commit() here (the code always
Georg Brandld9e833c2010-12-04 09:14:36 +0000211 # XXX has, so I'm not changing it). __setitem__ doesn't try to
Tim Peters7dfd5702003-07-12 20:11:25 +0000212 # XXX keep the directory file in synch. Why should we? Or
213 # XXX why shouldn't __setitem__?
Tim Peters88869f92001-01-14 23:36:06 +0000214 self._commit()
215
216 def keys(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300217 try:
218 return list(self._index)
219 except TypeError:
220 raise error('DBM object has already been closed') from None
Guido van Rossum7b4beea2007-08-28 00:09:54 +0000221
222 def items(self):
Benjamin Petersone3083d32014-04-26 16:56:52 -0400223 self._verify_open()
Brett Cannon58425d32008-11-21 00:17:53 +0000224 return [(key, self[key]) for key in self._index.keys()]
Tim Peters88869f92001-01-14 23:36:06 +0000225
Fred Drakea7cc69e2001-05-03 04:55:47 +0000226 def __contains__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000227 if isinstance(key, str):
228 key = key.encode('utf-8')
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300229 try:
230 return key in self._index
231 except TypeError:
232 if self._index is None:
233 raise error('DBM object has already been closed') from None
234 else:
235 raise
Fred Drakea7cc69e2001-05-03 04:55:47 +0000236
237 def iterkeys(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300238 try:
239 return iter(self._index)
240 except TypeError:
241 raise error('DBM object has already been closed') from None
Fred Drakea7cc69e2001-05-03 04:55:47 +0000242 __iter__ = iterkeys
243
Tim Peters88869f92001-01-14 23:36:06 +0000244 def __len__(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300245 try:
246 return len(self._index)
247 except TypeError:
248 raise error('DBM object has already been closed') from None
Tim Peters88869f92001-01-14 23:36:06 +0000249
250 def close(self):
Serhiy Storchaka7e7a3db2015-04-10 13:24:41 +0300251 try:
252 self._commit()
253 finally:
254 self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum9f824a71995-08-10 19:29:28 +0000255
Tim Peters7a6c7332003-07-13 17:21:10 +0000256 __del__ = close
Tim Peterse4418602002-02-16 07:34:19 +0000257
Georg Brandld9e833c2010-12-04 09:14:36 +0000258 def _chmod(self, file):
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000259 if hasattr(self._os, 'chmod'):
260 self._os.chmod(file, self._mode)
Anthony Baxtered905702001-12-21 05:13:37 +0000261
Nick Coghlanc610aba2013-11-17 15:59:51 +1000262 def __enter__(self):
263 return self
264
265 def __exit__(self, *args):
266 self.close()
267
Guido van Rossum9f824a71995-08-10 19:29:28 +0000268
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000269def open(file, flag=None, mode=0o666):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000270 """Open the database file, filename, and return corresponding object.
271
272 The flag argument, used to control how the database is opened in the
Georg Brandl0a7ac7d2008-05-26 10:29:35 +0000273 other DBM implementations, is ignored in the dbm.dumb module; the
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000274 database is always opened for update, and will be created if it does
275 not exist.
276
277 The optional mode argument is the UNIX mode of the file, used only when
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000278 the database has to be created. It defaults to octal code 0o666 (and
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000279 will be modified by the prevailing umask).
280
281 """
Neal Norwitzf421e812003-03-01 22:58:00 +0000282 # flag argument is currently ignored
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000283
284 # Modify mode depending on the umask
285 try:
286 um = _os.umask(0)
287 _os.umask(um)
288 except AttributeError:
289 pass
290 else:
291 # Turn off any bits that are set in the umask
292 mode = mode & (~um)
Thomas Wouters9fe394c2007-02-05 01:24:16 +0000293
Fred Drake2c8373b2001-12-07 21:54:46 +0000294 return _Database(file, mode)