blob: 8f48aadade83ba0ceebdd3574e924e4fe213d010 [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
Guido van Rossum6252e102007-05-23 20:51:02 +000024import io as _io
Martin v. Löwisd0cd95c2001-07-19 10:06:39 +000025import os as _os
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +000026import collections
Guido van Rossum9f824a71995-08-10 19:29:28 +000027
Georg Brandl0a7ac7d2008-05-26 10:29:35 +000028__all__ = ["error", "open"]
29
Guido van Rossum9f824a71995-08-10 19:29:28 +000030_BLOCKSIZE = 512
31
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020032error = OSError
Guido van Rossum22a18901996-05-28 22:58:40 +000033
Raymond Hettingerb9da9bc2008-02-04 20:44:31 +000034class _Database(collections.MutableMapping):
Guido van Rossum9f824a71995-08-10 19:29:28 +000035
Tim Petersd7472ec2003-07-13 02:22:03 +000036 # The on-disk directory and data files can remain in mutually
37 # inconsistent states for an arbitrarily long time (see comments
38 # at the end of __setitem__). This is only repaired when _commit()
39 # gets called. One place _commit() gets called is from __del__(),
40 # and if that occurs at program shutdown time, module globals may
41 # already have gotten rebound to None. Since it's crucial that
Tim Peters03204642003-07-13 02:37:05 +000042 # _commit() finish successfully, we can't ignore shutdown races
Tim Petersd7472ec2003-07-13 02:22:03 +000043 # here, and _commit() must not reference any globals.
44 _os = _os # for _commit()
Guido van Rossum6252e102007-05-23 20:51:02 +000045 _io = _io # for _commit()
Tim Petersd7472ec2003-07-13 02:22:03 +000046
Tim Peters7dfd5702003-07-12 20:11:25 +000047 def __init__(self, filebasename, mode):
Fred Drake2c8373b2001-12-07 21:54:46 +000048 self._mode = mode
Tim Peters7dfd5702003-07-12 20:11:25 +000049
50 # The directory file is a text file. Each line looks like
51 # "%r, (%d, %d)\n" % (key, pos, siz)
52 # where key is the string key, pos is the offset into the dat
53 # file of the associated value's first byte, and siz is the number
54 # of bytes in the associated value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000055 self._dirfile = filebasename + '.dir'
Tim Peters7dfd5702003-07-12 20:11:25 +000056
57 # The data file is a binary file pointed into by the directory
58 # file, and holds the values associated with keys. Each value
59 # begins at a _BLOCKSIZE-aligned byte offset, and is a raw
60 # binary 8-bit string value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000061 self._datfile = filebasename + '.dat'
62 self._bakfile = filebasename + '.bak'
Tim Peters7dfd5702003-07-12 20:11:25 +000063
64 # The index is an in-memory dict, mirroring the directory file.
65 self._index = None # maps keys to (pos, siz) pairs
66
Tim Peters88869f92001-01-14 23:36:06 +000067 # Mod by Jack: create data file if needed
68 try:
Brett Cannon2b5d6eb2008-11-24 21:09:58 +000069 f = _io.open(self._datfile, 'r', encoding="Latin-1")
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020070 except OSError:
Serhiy Storchaka65c623d2014-06-25 20:35:31 +030071 with _io.open(self._datfile, 'w', encoding="Latin-1") as f:
72 self._chmod(self._datfile)
73 else:
74 f.close()
Tim Peters88869f92001-01-14 23:36:06 +000075 self._update()
Guido van Rossum9f824a71995-08-10 19:29:28 +000076
Tim Peters7dfd5702003-07-12 20:11:25 +000077 # Read directory file into the in-memory index dict.
Tim Peters88869f92001-01-14 23:36:06 +000078 def _update(self):
79 self._index = {}
80 try:
Brett Cannon2b5d6eb2008-11-24 21:09:58 +000081 f = _io.open(self._dirfile, 'r', encoding="Latin-1")
Andrew Svetlovf7a17b42012-12-25 16:47:37 +020082 except OSError:
Tim Peters88869f92001-01-14 23:36:06 +000083 pass
84 else:
Serhiy Storchaka65c623d2014-06-25 20:35:31 +030085 with f:
86 for line in f:
87 line = line.rstrip()
88 key, pos_and_siz_pair = eval(line)
89 key = key.encode('Latin-1')
90 self._index[key] = pos_and_siz_pair
Tim Peters88869f92001-01-14 23:36:06 +000091
Tim Peters7dfd5702003-07-12 20:11:25 +000092 # Write the index dict to the directory file. The original directory
93 # file (if any) is renamed with a .bak extension first. If a .bak
94 # file currently exists, it's deleted.
Tim Peters88869f92001-01-14 23:36:06 +000095 def _commit(self):
Tim Petersd7472ec2003-07-13 02:22:03 +000096 # CAUTION: It's vital that _commit() succeed, and _commit() can
97 # be called from __del__(). Therefore we must never reference a
98 # global in this routine.
Tim Peters7a6c7332003-07-13 17:21:10 +000099 if self._index is None:
100 return # nothing to do
101
Tim Peters7dfd5702003-07-12 20:11:25 +0000102 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000103 self._os.unlink(self._bakfile)
Andrew Svetlovad28c7f2012-12-18 22:02:39 +0200104 except OSError:
Tim Peters7dfd5702003-07-12 20:11:25 +0000105 pass
106
107 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000108 self._os.rename(self._dirfile, self._bakfile)
Andrew Svetlovad28c7f2012-12-18 22:02:39 +0200109 except OSError:
Tim Peters7dfd5702003-07-12 20:11:25 +0000110 pass
111
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300112 with self._io.open(self._dirfile, 'w', encoding="Latin-1") as f:
113 self._chmod(self._dirfile)
114 for key, pos_and_siz_pair in self._index.items():
115 # Use Latin-1 since it has no qualms with any value in any
116 # position; UTF-8, though, does care sometimes.
117 entry = "%r, %r\n" % (key.decode('Latin-1'), pos_and_siz_pair)
118 f.write(entry)
Tim Peters88869f92001-01-14 23:36:06 +0000119
Skip Montanaro6d068152003-07-14 12:15:15 +0000120 sync = _commit
121
Benjamin Petersone3083d32014-04-26 16:56:52 -0400122 def _verify_open(self):
123 if self._index is None:
124 raise error('DBM object has already been closed')
125
Tim Peters88869f92001-01-14 23:36:06 +0000126 def __getitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000127 if isinstance(key, str):
128 key = key.encode('utf-8')
Benjamin Petersone3083d32014-04-26 16:56:52 -0400129 self._verify_open()
Tim Peters88869f92001-01-14 23:36:06 +0000130 pos, siz = self._index[key] # may raise KeyError
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300131 with _io.open(self._datfile, 'rb') as f:
132 f.seek(pos)
133 dat = f.read(siz)
Tim Peters88869f92001-01-14 23:36:06 +0000134 return dat
135
Tim Peters7dfd5702003-07-12 20:11:25 +0000136 # Append val to the data file, starting at a _BLOCKSIZE-aligned
137 # offset. The data file is first padded with NUL bytes (if needed)
138 # to get to an aligned offset. Return pair
139 # (starting offset of val, len(val))
Tim Peters88869f92001-01-14 23:36:06 +0000140 def _addval(self, val):
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300141 with _io.open(self._datfile, 'rb+') as f:
142 f.seek(0, 2)
143 pos = int(f.tell())
144 npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
145 f.write(b'\0'*(npos-pos))
146 pos = npos
147 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000148 return (pos, len(val))
149
Tim Peters7dfd5702003-07-12 20:11:25 +0000150 # Write val to the data file, starting at offset pos. The caller
151 # is responsible for ensuring that there's enough room starting at
152 # pos to hold val, without overwriting some other value. Return
153 # pair (pos, len(val)).
Tim Peters88869f92001-01-14 23:36:06 +0000154 def _setval(self, pos, val):
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300155 with _io.open(self._datfile, 'rb+') as f:
156 f.seek(pos)
157 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000158 return (pos, len(val))
159
Tim Peters7dfd5702003-07-12 20:11:25 +0000160 # key is a new key whose associated value starts in the data file
Tim Peters1d8d7292003-07-13 02:05:47 +0000161 # at offset pos and with length siz. Add an index record to
162 # the in-memory index dict, and append one to the directory file.
Tim Peters7dfd5702003-07-12 20:11:25 +0000163 def _addkey(self, key, pos_and_siz_pair):
164 self._index[key] = pos_and_siz_pair
Serhiy Storchaka65c623d2014-06-25 20:35:31 +0300165 with _io.open(self._dirfile, 'a', encoding="Latin-1") as f:
166 self._chmod(self._dirfile)
167 f.write("%r, %r\n" % (key.decode("Latin-1"), pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000168
169 def __setitem__(self, key, val):
Brett Cannon58425d32008-11-21 00:17:53 +0000170 if isinstance(key, str):
171 key = key.encode('utf-8')
172 elif not isinstance(key, (bytes, bytearray)):
173 raise TypeError("keys must be bytes or strings")
Brett Cannon2b5d6eb2008-11-24 21:09:58 +0000174 if isinstance(val, str):
175 val = val.encode('utf-8')
176 elif not isinstance(val, (bytes, bytearray)):
177 raise TypeError("values must be bytes or strings")
Benjamin Petersone3083d32014-04-26 16:56:52 -0400178 self._verify_open()
Tim Peters7dfd5702003-07-12 20:11:25 +0000179 if key not in self._index:
180 self._addkey(key, self._addval(val))
Tim Peters88869f92001-01-14 23:36:06 +0000181 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000182 # See whether the new value is small enough to fit in the
183 # (padded) space currently occupied by the old value.
Tim Peters88869f92001-01-14 23:36:06 +0000184 pos, siz = self._index[key]
Tim Petersef6573e2003-07-11 04:09:55 +0000185 oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
186 newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters88869f92001-01-14 23:36:06 +0000187 if newblocks <= oldblocks:
Tim Peters7dfd5702003-07-12 20:11:25 +0000188 self._index[key] = self._setval(pos, val)
Tim Peters88869f92001-01-14 23:36:06 +0000189 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000190 # The new value doesn't fit in the (padded) space used
191 # by the old value. The blocks used by the old value are
192 # forever lost.
193 self._index[key] = self._addval(val)
194
195 # Note that _index may be out of synch with the directory
196 # file now: _setval() and _addval() don't update the directory
Tim Peters1d8d7292003-07-13 02:05:47 +0000197 # file. This also means that the on-disk directory and data
198 # files are in a mutually inconsistent state, and they'll
199 # remain that way until _commit() is called. Note that this
200 # is a disaster (for the database) if the program crashes
201 # (so that _commit() never gets called).
Tim Peters88869f92001-01-14 23:36:06 +0000202
203 def __delitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000204 if isinstance(key, str):
205 key = key.encode('utf-8')
Benjamin Petersone3083d32014-04-26 16:56:52 -0400206 self._verify_open()
Tim Peters7dfd5702003-07-12 20:11:25 +0000207 # The blocks used by the associated value are lost.
Tim Peters88869f92001-01-14 23:36:06 +0000208 del self._index[key]
Tim Peters7dfd5702003-07-12 20:11:25 +0000209 # XXX It's unclear why we do a _commit() here (the code always
Georg Brandld9e833c2010-12-04 09:14:36 +0000210 # XXX has, so I'm not changing it). __setitem__ doesn't try to
Tim Peters7dfd5702003-07-12 20:11:25 +0000211 # XXX keep the directory file in synch. Why should we? Or
212 # XXX why shouldn't __setitem__?
Tim Peters88869f92001-01-14 23:36:06 +0000213 self._commit()
214
215 def keys(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300216 try:
217 return list(self._index)
218 except TypeError:
219 raise error('DBM object has already been closed') from None
Guido van Rossum7b4beea2007-08-28 00:09:54 +0000220
221 def items(self):
Benjamin Petersone3083d32014-04-26 16:56:52 -0400222 self._verify_open()
Brett Cannon58425d32008-11-21 00:17:53 +0000223 return [(key, self[key]) for key in self._index.keys()]
Tim Peters88869f92001-01-14 23:36:06 +0000224
Fred Drakea7cc69e2001-05-03 04:55:47 +0000225 def __contains__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000226 if isinstance(key, str):
227 key = key.encode('utf-8')
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300228 try:
229 return key in self._index
230 except TypeError:
231 if self._index is None:
232 raise error('DBM object has already been closed') from None
233 else:
234 raise
Fred Drakea7cc69e2001-05-03 04:55:47 +0000235
236 def iterkeys(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300237 try:
238 return iter(self._index)
239 except TypeError:
240 raise error('DBM object has already been closed') from None
Fred Drakea7cc69e2001-05-03 04:55:47 +0000241 __iter__ = iterkeys
242
Tim Peters88869f92001-01-14 23:36:06 +0000243 def __len__(self):
Serhiy Storchaka12c575f2014-05-28 18:49:52 +0300244 try:
245 return len(self._index)
246 except TypeError:
247 raise error('DBM object has already been closed') from None
Tim Peters88869f92001-01-14 23:36:06 +0000248
249 def close(self):
Anthony Baxtered905702001-12-21 05:13:37 +0000250 self._commit()
Tim Peters7a6c7332003-07-13 17:21:10 +0000251 self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum9f824a71995-08-10 19:29:28 +0000252
Tim Peters7a6c7332003-07-13 17:21:10 +0000253 __del__ = close
Tim Peterse4418602002-02-16 07:34:19 +0000254
Georg Brandld9e833c2010-12-04 09:14:36 +0000255 def _chmod(self, file):
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000256 if hasattr(self._os, 'chmod'):
257 self._os.chmod(file, self._mode)
Anthony Baxtered905702001-12-21 05:13:37 +0000258
Nick Coghlanc610aba2013-11-17 15:59:51 +1000259 def __enter__(self):
260 return self
261
262 def __exit__(self, *args):
263 self.close()
264
Guido van Rossum9f824a71995-08-10 19:29:28 +0000265
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000266def open(file, flag=None, mode=0o666):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000267 """Open the database file, filename, and return corresponding object.
268
269 The flag argument, used to control how the database is opened in the
Georg Brandl0a7ac7d2008-05-26 10:29:35 +0000270 other DBM implementations, is ignored in the dbm.dumb module; the
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000271 database is always opened for update, and will be created if it does
272 not exist.
273
274 The optional mode argument is the UNIX mode of the file, used only when
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000275 the database has to be created. It defaults to octal code 0o666 (and
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000276 will be modified by the prevailing umask).
277
278 """
Neal Norwitzf421e812003-03-01 22:58:00 +0000279 # flag argument is currently ignored
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000280
281 # Modify mode depending on the umask
282 try:
283 um = _os.umask(0)
284 _os.umask(um)
285 except AttributeError:
286 pass
287 else:
288 # Turn off any bits that are set in the umask
289 mode = mode & (~um)
Thomas Wouters9fe394c2007-02-05 01:24:16 +0000290
Fred Drake2c8373b2001-12-07 21:54:46 +0000291 return _Database(file, mode)