blob: b47b7bd4b293cddec38fb3e9bd3dac5351fbaf26 [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
Guido van Rossum9f824a71995-08-10 19:29:28 +000026import __builtin__
Raymond Hettinger2dd1ed62003-06-28 07:08:39 +000027import UserDict
Guido van Rossum9f824a71995-08-10 19:29:28 +000028
Guido van Rossum9f824a71995-08-10 19:29:28 +000029_BLOCKSIZE = 512
30
Tim Peters88869f92001-01-14 23:36:06 +000031error = IOError # For anydbm
Guido van Rossum22a18901996-05-28 22:58:40 +000032
Raymond Hettinger2dd1ed62003-06-28 07:08:39 +000033class _Database(UserDict.DictMixin):
Guido van Rossum9f824a71995-08-10 19:29:28 +000034
Tim Petersd7472ec2003-07-13 02:22:03 +000035 # The on-disk directory and data files can remain in mutually
36 # inconsistent states for an arbitrarily long time (see comments
37 # at the end of __setitem__). This is only repaired when _commit()
38 # gets called. One place _commit() gets called is from __del__(),
39 # and if that occurs at program shutdown time, module globals may
40 # already have gotten rebound to None. Since it's crucial that
Tim Peters03204642003-07-13 02:37:05 +000041 # _commit() finish successfully, we can't ignore shutdown races
Tim Petersd7472ec2003-07-13 02:22:03 +000042 # here, and _commit() must not reference any globals.
43 _os = _os # for _commit()
Guido van Rossum6252e102007-05-23 20:51:02 +000044 _io = _io # for _commit()
Tim Petersd7472ec2003-07-13 02:22:03 +000045
Tim Peters7dfd5702003-07-12 20:11:25 +000046 def __init__(self, filebasename, mode):
Fred Drake2c8373b2001-12-07 21:54:46 +000047 self._mode = mode
Tim Peters7dfd5702003-07-12 20:11:25 +000048
49 # The directory file is a text file. Each line looks like
50 # "%r, (%d, %d)\n" % (key, pos, siz)
51 # where key is the string key, pos is the offset into the dat
52 # file of the associated value's first byte, and siz is the number
53 # of bytes in the associated value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000054 self._dirfile = filebasename + '.dir'
Tim Peters7dfd5702003-07-12 20:11:25 +000055
56 # The data file is a binary file pointed into by the directory
57 # file, and holds the values associated with keys. Each value
58 # begins at a _BLOCKSIZE-aligned byte offset, and is a raw
59 # binary 8-bit string value.
Skip Montanaro7a98be22007-08-16 14:35:24 +000060 self._datfile = filebasename + '.dat'
61 self._bakfile = filebasename + '.bak'
Tim Peters7dfd5702003-07-12 20:11:25 +000062
63 # The index is an in-memory dict, mirroring the directory file.
64 self._index = None # maps keys to (pos, siz) pairs
65
Tim Peters88869f92001-01-14 23:36:06 +000066 # Mod by Jack: create data file if needed
67 try:
Guido van Rossum6252e102007-05-23 20:51:02 +000068 f = _io.open(self._datfile, 'r')
Tim Peters88869f92001-01-14 23:36:06 +000069 except IOError:
Guido van Rossum6252e102007-05-23 20:51:02 +000070 f = _io.open(self._datfile, 'w')
Thomas Wouters902d6eb2007-01-09 23:18:33 +000071 self._chmod(self._datfile)
Tim Peters88869f92001-01-14 23:36:06 +000072 f.close()
73 self._update()
Guido van Rossum9f824a71995-08-10 19:29:28 +000074
Tim Peters7dfd5702003-07-12 20:11:25 +000075 # Read directory file into the in-memory index dict.
Tim Peters88869f92001-01-14 23:36:06 +000076 def _update(self):
77 self._index = {}
78 try:
Guido van Rossum6252e102007-05-23 20:51:02 +000079 f = _io.open(self._dirfile, 'r')
Tim Peters88869f92001-01-14 23:36:06 +000080 except IOError:
81 pass
82 else:
Tim Peters7dfd5702003-07-12 20:11:25 +000083 for line in f:
Andrew M. Kuchlingecdad852005-06-07 19:36:10 +000084 line = line.rstrip()
Tim Peters7dfd5702003-07-12 20:11:25 +000085 key, pos_and_siz_pair = eval(line)
86 self._index[key] = pos_and_siz_pair
Tim Peters88869f92001-01-14 23:36:06 +000087 f.close()
88
Tim Peters7dfd5702003-07-12 20:11:25 +000089 # Write the index dict to the directory file. The original directory
90 # file (if any) is renamed with a .bak extension first. If a .bak
91 # file currently exists, it's deleted.
Tim Peters88869f92001-01-14 23:36:06 +000092 def _commit(self):
Tim Petersd7472ec2003-07-13 02:22:03 +000093 # CAUTION: It's vital that _commit() succeed, and _commit() can
94 # be called from __del__(). Therefore we must never reference a
95 # global in this routine.
Tim Peters7a6c7332003-07-13 17:21:10 +000096 if self._index is None:
97 return # nothing to do
98
Tim Peters7dfd5702003-07-12 20:11:25 +000099 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000100 self._os.unlink(self._bakfile)
101 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000102 pass
103
104 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000105 self._os.rename(self._dirfile, self._bakfile)
106 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000107 pass
108
Guido van Rossum6252e102007-05-23 20:51:02 +0000109 f = self._io.open(self._dirfile, 'w')
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000110 self._chmod(self._dirfile)
Guido van Rossumcc2b0162007-02-11 06:12:03 +0000111 for key, pos_and_siz_pair in self._index.items():
Tim Peters3898a702003-07-12 20:23:09 +0000112 f.write("%r, %r\n" % (key, pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000113 f.close()
114
Skip Montanaro6d068152003-07-14 12:15:15 +0000115 sync = _commit
116
Tim Peters88869f92001-01-14 23:36:06 +0000117 def __getitem__(self, key):
Martin v. Löwise6568692007-08-07 05:37:39 +0000118 key = key.decode("latin-1")
Tim Peters88869f92001-01-14 23:36:06 +0000119 pos, siz = self._index[key] # may raise KeyError
Guido van Rossum6252e102007-05-23 20:51:02 +0000120 f = _io.open(self._datfile, 'rb')
Tim Peters88869f92001-01-14 23:36:06 +0000121 f.seek(pos)
122 dat = f.read(siz)
123 f.close()
124 return dat
125
Tim Peters7dfd5702003-07-12 20:11:25 +0000126 # Append val to the data file, starting at a _BLOCKSIZE-aligned
127 # offset. The data file is first padded with NUL bytes (if needed)
128 # to get to an aligned offset. Return pair
129 # (starting offset of val, len(val))
Tim Peters88869f92001-01-14 23:36:06 +0000130 def _addval(self, val):
Guido van Rossum6252e102007-05-23 20:51:02 +0000131 f = _io.open(self._datfile, 'rb+')
Tim Peters88869f92001-01-14 23:36:06 +0000132 f.seek(0, 2)
133 pos = int(f.tell())
Guido van Rossum54e54c62001-09-04 19:14:14 +0000134 npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
Guido van Rossum6252e102007-05-23 20:51:02 +0000135 f.write(b'\0'*(npos-pos))
Tim Peters88869f92001-01-14 23:36:06 +0000136 pos = npos
Tim Peters88869f92001-01-14 23:36:06 +0000137 f.write(val)
138 f.close()
139 return (pos, len(val))
140
Tim Peters7dfd5702003-07-12 20:11:25 +0000141 # Write val to the data file, starting at offset pos. The caller
142 # is responsible for ensuring that there's enough room starting at
143 # pos to hold val, without overwriting some other value. Return
144 # pair (pos, len(val)).
Tim Peters88869f92001-01-14 23:36:06 +0000145 def _setval(self, pos, val):
Guido van Rossum6252e102007-05-23 20:51:02 +0000146 f = _io.open(self._datfile, 'rb+')
Tim Peters88869f92001-01-14 23:36:06 +0000147 f.seek(pos)
148 f.write(val)
149 f.close()
150 return (pos, len(val))
151
Tim Peters7dfd5702003-07-12 20:11:25 +0000152 # key is a new key whose associated value starts in the data file
Tim Peters1d8d7292003-07-13 02:05:47 +0000153 # at offset pos and with length siz. Add an index record to
154 # the in-memory index dict, and append one to the directory file.
Tim Peters7dfd5702003-07-12 20:11:25 +0000155 def _addkey(self, key, pos_and_siz_pair):
156 self._index[key] = pos_and_siz_pair
Guido van Rossum6252e102007-05-23 20:51:02 +0000157 f = _io.open(self._dirfile, 'a')
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000158 self._chmod(self._dirfile)
Tim Peters7dfd5702003-07-12 20:11:25 +0000159 f.write("%r, %r\n" % (key, pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000160 f.close()
161
162 def __setitem__(self, key, val):
Martin v. Löwise6568692007-08-07 05:37:39 +0000163 if not isinstance(key, bytes):
164 raise TypeError("keys must be bytes")
165 key = key.decode("latin-1") # hashable bytes
Guido van Rossum6252e102007-05-23 20:51:02 +0000166 if not isinstance(val, (str8, bytes)):
167 raise TypeError("values must be byte strings")
Tim Peters7dfd5702003-07-12 20:11:25 +0000168 if key not in self._index:
169 self._addkey(key, self._addval(val))
Tim Peters88869f92001-01-14 23:36:06 +0000170 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000171 # See whether the new value is small enough to fit in the
172 # (padded) space currently occupied by the old value.
Tim Peters88869f92001-01-14 23:36:06 +0000173 pos, siz = self._index[key]
Tim Petersef6573e2003-07-11 04:09:55 +0000174 oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
175 newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters88869f92001-01-14 23:36:06 +0000176 if newblocks <= oldblocks:
Tim Peters7dfd5702003-07-12 20:11:25 +0000177 self._index[key] = self._setval(pos, val)
Tim Peters88869f92001-01-14 23:36:06 +0000178 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000179 # The new value doesn't fit in the (padded) space used
180 # by the old value. The blocks used by the old value are
181 # forever lost.
182 self._index[key] = self._addval(val)
183
184 # Note that _index may be out of synch with the directory
185 # file now: _setval() and _addval() don't update the directory
Tim Peters1d8d7292003-07-13 02:05:47 +0000186 # file. This also means that the on-disk directory and data
187 # files are in a mutually inconsistent state, and they'll
188 # remain that way until _commit() is called. Note that this
189 # is a disaster (for the database) if the program crashes
190 # (so that _commit() never gets called).
Tim Peters88869f92001-01-14 23:36:06 +0000191
192 def __delitem__(self, key):
Martin v. Löwise6568692007-08-07 05:37:39 +0000193 key = key.decode("latin-1")
Tim Peters7dfd5702003-07-12 20:11:25 +0000194 # The blocks used by the associated value are lost.
Tim Peters88869f92001-01-14 23:36:06 +0000195 del self._index[key]
Tim Peters7dfd5702003-07-12 20:11:25 +0000196 # XXX It's unclear why we do a _commit() here (the code always
197 # XXX has, so I'm not changing it). _setitem__ doesn't try to
198 # XXX keep the directory file in synch. Why should we? Or
199 # XXX why shouldn't __setitem__?
Tim Peters88869f92001-01-14 23:36:06 +0000200 self._commit()
201
202 def keys(self):
Guido van Rossum7b4beea2007-08-28 00:09:54 +0000203 return [key.encode("latin-1") for key in self._index.keys()]
204
205 def items(self):
206 return [(key.encode("latin-1"), self[key.encode("latin-1")])
207 for key in self._index.keys()]
Tim Peters88869f92001-01-14 23:36:06 +0000208
Fred Drakea7cc69e2001-05-03 04:55:47 +0000209 def __contains__(self, key):
Neal Norwitz0f3cff52007-08-23 22:06:07 +0000210 key = key.decode("latin-1")
Raymond Hettinger793d4b42002-06-01 14:25:41 +0000211 return key in self._index
Fred Drakea7cc69e2001-05-03 04:55:47 +0000212
213 def iterkeys(self):
Brett Cannonc1b22a02007-02-22 05:04:32 +0000214 return iter(self._index.keys())
Fred Drakea7cc69e2001-05-03 04:55:47 +0000215 __iter__ = iterkeys
216
Tim Peters88869f92001-01-14 23:36:06 +0000217 def __len__(self):
218 return len(self._index)
219
220 def close(self):
Anthony Baxtered905702001-12-21 05:13:37 +0000221 self._commit()
Tim Peters7a6c7332003-07-13 17:21:10 +0000222 self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum9f824a71995-08-10 19:29:28 +0000223
Tim Peters7a6c7332003-07-13 17:21:10 +0000224 __del__ = close
Tim Peterse4418602002-02-16 07:34:19 +0000225
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000226 def _chmod (self, file):
227 if hasattr(self._os, 'chmod'):
228 self._os.chmod(file, self._mode)
Anthony Baxtered905702001-12-21 05:13:37 +0000229
Guido van Rossum9f824a71995-08-10 19:29:28 +0000230
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000231def open(file, flag=None, mode=0o666):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000232 """Open the database file, filename, and return corresponding object.
233
234 The flag argument, used to control how the database is opened in the
235 other DBM implementations, is ignored in the dumbdbm module; the
236 database is always opened for update, and will be created if it does
237 not exist.
238
239 The optional mode argument is the UNIX mode of the file, used only when
Guido van Rossumcd16bf62007-06-13 18:07:49 +0000240 the database has to be created. It defaults to octal code 0o666 (and
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000241 will be modified by the prevailing umask).
242
243 """
Neal Norwitzf421e812003-03-01 22:58:00 +0000244 # flag argument is currently ignored
Thomas Wouters902d6eb2007-01-09 23:18:33 +0000245
246 # Modify mode depending on the umask
247 try:
248 um = _os.umask(0)
249 _os.umask(um)
250 except AttributeError:
251 pass
252 else:
253 # Turn off any bits that are set in the umask
254 mode = mode & (~um)
Thomas Wouters9fe394c2007-02-05 01:24:16 +0000255
Fred Drake2c8373b2001-12-07 21:54:46 +0000256 return _Database(file, mode)