blob: f37f141c24f5753356c60ccf1e6efa81c7d8f529 [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
Georg Brandl0a7ac7d2008-05-26 10:29:35 +000032error = IOError
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:
Guido van Rossum6252e102007-05-23 20:51:02 +000069 f = _io.open(self._datfile, 'r')
Tim Peters88869f92001-01-14 23:36:06 +000070 except IOError:
Guido van Rossum6252e102007-05-23 20:51:02 +000071 f = _io.open(self._datfile, 'w')
Thomas Wouters902d6eb2007-01-09 23:18:33 +000072 self._chmod(self._datfile)
Tim Peters88869f92001-01-14 23:36:06 +000073 f.close()
74 self._update()
Guido van Rossum9f824a71995-08-10 19:29:28 +000075
Tim Peters7dfd5702003-07-12 20:11:25 +000076 # Read directory file into the in-memory index dict.
Tim Peters88869f92001-01-14 23:36:06 +000077 def _update(self):
78 self._index = {}
79 try:
Guido van Rossum6252e102007-05-23 20:51:02 +000080 f = _io.open(self._dirfile, 'r')
Tim Peters88869f92001-01-14 23:36:06 +000081 except IOError:
82 pass
83 else:
Tim Peters7dfd5702003-07-12 20:11:25 +000084 for line in f:
Andrew M. Kuchlingecdad852005-06-07 19:36:10 +000085 line = line.rstrip()
Tim Peters7dfd5702003-07-12 20:11:25 +000086 key, pos_and_siz_pair = eval(line)
Brett Cannon58425d32008-11-21 00:17:53 +000087 key = key.encode('Latin-1')
Tim Peters7dfd5702003-07-12 20:11:25 +000088 self._index[key] = pos_and_siz_pair
Tim Peters88869f92001-01-14 23:36:06 +000089 f.close()
90
Tim Peters7dfd5702003-07-12 20:11:25 +000091 # Write the index dict to the directory file. The original directory
92 # file (if any) is renamed with a .bak extension first. If a .bak
93 # file currently exists, it's deleted.
Tim Peters88869f92001-01-14 23:36:06 +000094 def _commit(self):
Tim Petersd7472ec2003-07-13 02:22:03 +000095 # CAUTION: It's vital that _commit() succeed, and _commit() can
96 # be called from __del__(). Therefore we must never reference a
97 # global in this routine.
Tim Peters7a6c7332003-07-13 17:21:10 +000098 if self._index is None:
99 return # nothing to do
100
Tim Peters7dfd5702003-07-12 20:11:25 +0000101 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000102 self._os.unlink(self._bakfile)
103 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000104 pass
105
106 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000107 self._os.rename(self._dirfile, self._bakfile)
108 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000109 pass
110
Guido van Rossum6252e102007-05-23 20:51:02 +0000111 f = self._io.open(self._dirfile, 'w')
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000112 self._chmod(self._dirfile)
Guido van Rossumcc2b0162007-02-11 06:12:03 +0000113 for key, pos_and_siz_pair in self._index.items():
Brett Cannon58425d32008-11-21 00:17:53 +0000114 # Use Latin-1 since it has no qualms with any value in any
115 # position; UTF-8, though, does care sometimes.
116 f.write("%r, %r\n" % (key.decode('Latin-1'), pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000117 f.close()
118
Skip Montanaro6d068152003-07-14 12:15:15 +0000119 sync = _commit
120
Tim Peters88869f92001-01-14 23:36:06 +0000121 def __getitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000122 if isinstance(key, str):
123 key = key.encode('utf-8')
Tim Peters88869f92001-01-14 23:36:06 +0000124 pos, siz = self._index[key] # may raise KeyError
Guido van Rossum6252e102007-05-23 20:51:02 +0000125 f = _io.open(self._datfile, 'rb')
Tim Peters88869f92001-01-14 23:36:06 +0000126 f.seek(pos)
127 dat = f.read(siz)
128 f.close()
129 return dat
130
Tim Peters7dfd5702003-07-12 20:11:25 +0000131 # Append val to the data file, starting at a _BLOCKSIZE-aligned
132 # offset. The data file is first padded with NUL bytes (if needed)
133 # to get to an aligned offset. Return pair
134 # (starting offset of val, len(val))
Tim Peters88869f92001-01-14 23:36:06 +0000135 def _addval(self, val):
Guido van Rossum6252e102007-05-23 20:51:02 +0000136 f = _io.open(self._datfile, 'rb+')
Tim Peters88869f92001-01-14 23:36:06 +0000137 f.seek(0, 2)
138 pos = int(f.tell())
Guido van Rossum54e54c62001-09-04 19:14:14 +0000139 npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
Guido van Rossum6252e102007-05-23 20:51:02 +0000140 f.write(b'\0'*(npos-pos))
Tim Peters88869f92001-01-14 23:36:06 +0000141 pos = npos
Tim Peters88869f92001-01-14 23:36:06 +0000142 f.write(val)
143 f.close()
144 return (pos, len(val))
145
Tim Peters7dfd5702003-07-12 20:11:25 +0000146 # Write val to the data file, starting at offset pos. The caller
147 # is responsible for ensuring that there's enough room starting at
148 # pos to hold val, without overwriting some other value. Return
149 # pair (pos, len(val)).
Tim Peters88869f92001-01-14 23:36:06 +0000150 def _setval(self, pos, val):
Guido van Rossum6252e102007-05-23 20:51:02 +0000151 f = _io.open(self._datfile, 'rb+')
Tim Peters88869f92001-01-14 23:36:06 +0000152 f.seek(pos)
153 f.write(val)
154 f.close()
155 return (pos, len(val))
156
Tim Peters7dfd5702003-07-12 20:11:25 +0000157 # key is a new key whose associated value starts in the data file
Tim Peters1d8d7292003-07-13 02:05:47 +0000158 # at offset pos and with length siz. Add an index record to
159 # the in-memory index dict, and append one to the directory file.
Tim Peters7dfd5702003-07-12 20:11:25 +0000160 def _addkey(self, key, pos_and_siz_pair):
161 self._index[key] = pos_and_siz_pair
Guido van Rossum6252e102007-05-23 20:51:02 +0000162 f = _io.open(self._dirfile, 'a')
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000163 self._chmod(self._dirfile)
Tim Peters7dfd5702003-07-12 20:11:25 +0000164 f.write("%r, %r\n" % (key, pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000165 f.close()
166
167 def __setitem__(self, key, val):
Brett Cannon58425d32008-11-21 00:17:53 +0000168 if isinstance(key, str):
169 key = key.encode('utf-8')
170 elif not isinstance(key, (bytes, bytearray)):
171 raise TypeError("keys must be bytes or strings")
Guido van Rossum254348e2007-11-21 19:29:53 +0000172 if not isinstance(val, (bytes, bytearray)):
Brett Cannon58425d32008-11-21 00:17:53 +0000173 raise TypeError("values must be bytes")
Tim Peters7dfd5702003-07-12 20:11:25 +0000174 if key not in self._index:
175 self._addkey(key, self._addval(val))
Tim Peters88869f92001-01-14 23:36:06 +0000176 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000177 # See whether the new value is small enough to fit in the
178 # (padded) space currently occupied by the old value.
Tim Peters88869f92001-01-14 23:36:06 +0000179 pos, siz = self._index[key]
Tim Petersef6573e2003-07-11 04:09:55 +0000180 oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
181 newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters88869f92001-01-14 23:36:06 +0000182 if newblocks <= oldblocks:
Tim Peters7dfd5702003-07-12 20:11:25 +0000183 self._index[key] = self._setval(pos, val)
Tim Peters88869f92001-01-14 23:36:06 +0000184 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000185 # The new value doesn't fit in the (padded) space used
186 # by the old value. The blocks used by the old value are
187 # forever lost.
188 self._index[key] = self._addval(val)
189
190 # Note that _index may be out of synch with the directory
191 # file now: _setval() and _addval() don't update the directory
Tim Peters1d8d7292003-07-13 02:05:47 +0000192 # file. This also means that the on-disk directory and data
193 # files are in a mutually inconsistent state, and they'll
194 # remain that way until _commit() is called. Note that this
195 # is a disaster (for the database) if the program crashes
196 # (so that _commit() never gets called).
Tim Peters88869f92001-01-14 23:36:06 +0000197
198 def __delitem__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000199 if isinstance(key, str):
200 key = key.encode('utf-8')
Tim Peters7dfd5702003-07-12 20:11:25 +0000201 # The blocks used by the associated value are lost.
Tim Peters88869f92001-01-14 23:36:06 +0000202 del self._index[key]
Tim Peters7dfd5702003-07-12 20:11:25 +0000203 # XXX It's unclear why we do a _commit() here (the code always
204 # XXX has, so I'm not changing it). _setitem__ doesn't try to
205 # XXX keep the directory file in synch. Why should we? Or
206 # XXX why shouldn't __setitem__?
Tim Peters88869f92001-01-14 23:36:06 +0000207 self._commit()
208
209 def keys(self):
Brett Cannon58425d32008-11-21 00:17:53 +0000210 return list(self._index.keys())
Guido van Rossum7b4beea2007-08-28 00:09:54 +0000211
212 def items(self):
Brett Cannon58425d32008-11-21 00:17:53 +0000213 return [(key, self[key]) for key in self._index.keys()]
Tim Peters88869f92001-01-14 23:36:06 +0000214
Fred Drakea7cc69e2001-05-03 04:55:47 +0000215 def __contains__(self, key):
Brett Cannon58425d32008-11-21 00:17:53 +0000216 if isinstance(key, str):
217 key = key.encode('utf-8')
Raymond Hettinger793d4b42002-06-01 14:25:41 +0000218 return key in self._index
Fred Drakea7cc69e2001-05-03 04:55:47 +0000219
220 def iterkeys(self):
Brett Cannonc1b22a02007-02-22 05:04:32 +0000221 return iter(self._index.keys())
Fred Drakea7cc69e2001-05-03 04:55:47 +0000222 __iter__ = iterkeys
223
Tim Peters88869f92001-01-14 23:36:06 +0000224 def __len__(self):
225 return len(self._index)
226
227 def close(self):
Anthony Baxtered905702001-12-21 05:13:37 +0000228 self._commit()
Tim Peters7a6c7332003-07-13 17:21:10 +0000229 self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum9f824a71995-08-10 19:29:28 +0000230
Tim Peters7a6c7332003-07-13 17:21:10 +0000231 __del__ = close
Tim Peterse4418602002-02-16 07:34:19 +0000232
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000233 def _chmod (self, file):
234 if hasattr(self._os, 'chmod'):
235 self._os.chmod(file, self._mode)
Anthony Baxtered905702001-12-21 05:13:37 +0000236
Guido van Rossum9f824a71995-08-10 19:29:28 +0000237
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000238def open(file, flag=None, mode=0o666):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000239 """Open the database file, filename, and return corresponding object.
240
241 The flag argument, used to control how the database is opened in the
Georg Brandl0a7ac7d2008-05-26 10:29:35 +0000242 other DBM implementations, is ignored in the dbm.dumb module; the
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000243 database is always opened for update, and will be created if it does
244 not exist.
245
246 The optional mode argument is the UNIX mode of the file, used only when
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000247 the database has to be created. It defaults to octal code 0o666 (and
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000248 will be modified by the prevailing umask).
249
250 """
Neal Norwitzf421e812003-03-01 22:58:00 +0000251 # flag argument is currently ignored
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000252
253 # Modify mode depending on the umask
254 try:
255 um = _os.umask(0)
256 _os.umask(um)
257 except AttributeError:
258 pass
259 else:
260 # Turn off any bits that are set in the umask
261 mode = mode & (~um)
Thomas Wouters9fe394c2007-02-05 01:24:16 +0000262
Fred Drake2c8373b2001-12-07 21:54:46 +0000263 return _Database(file, mode)