blob: ac73b89c8887c16c3f6471862c94b37c105400dc [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 Storchakac7690402015-02-16 00:29:52 +020024import ast as _ast
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
29_open = __builtin__.open
30
31_BLOCKSIZE = 512
32
Tim Peters88869f92001-01-14 23:36:06 +000033error = IOError # For anydbm
Guido van Rossum22a18901996-05-28 22:58:40 +000034
Raymond Hettinger2dd1ed62003-06-28 07:08:39 +000035class _Database(UserDict.DictMixin):
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()
46 _open = _open # for _commit()
47
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +020048 def __init__(self, filebasename, mode, flag='c'):
Fred Drake2c8373b2001-12-07 21:54:46 +000049 self._mode = mode
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +020050 self._readonly = (flag == 'r')
Tim Peters7dfd5702003-07-12 20:11:25 +000051
52 # The directory file is a text file. Each line looks like
53 # "%r, (%d, %d)\n" % (key, pos, siz)
54 # where key is the string key, pos is the offset into the dat
55 # file of the associated value's first byte, and siz is the number
56 # of bytes in the associated value.
57 self._dirfile = filebasename + _os.extsep + 'dir'
58
59 # The data file is a binary file pointed into by the directory
60 # file, and holds the values associated with keys. Each value
61 # begins at a _BLOCKSIZE-aligned byte offset, and is a raw
62 # binary 8-bit string value.
63 self._datfile = filebasename + _os.extsep + 'dat'
64 self._bakfile = filebasename + _os.extsep + 'bak'
65
66 # The index is an in-memory dict, mirroring the directory file.
67 self._index = None # maps keys to (pos, siz) pairs
68
Tim Peters88869f92001-01-14 23:36:06 +000069 # Mod by Jack: create data file if needed
70 try:
71 f = _open(self._datfile, 'r')
72 except IOError:
Serhiy Storchaka33ad0962014-06-25 20:37:49 +030073 with _open(self._datfile, 'w') as f:
74 self._chmod(self._datfile)
75 else:
76 f.close()
Tim Peters88869f92001-01-14 23:36:06 +000077 self._update()
Guido van Rossum9f824a71995-08-10 19:29:28 +000078
Tim Peters7dfd5702003-07-12 20:11:25 +000079 # Read directory file into the in-memory index dict.
Tim Peters88869f92001-01-14 23:36:06 +000080 def _update(self):
81 self._index = {}
82 try:
83 f = _open(self._dirfile)
84 except IOError:
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +020085 self._modified = not self._readonly
Tim Peters88869f92001-01-14 23:36:06 +000086 else:
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +020087 self._modified = False
Serhiy Storchaka33ad0962014-06-25 20:37:49 +030088 with f:
89 for line in f:
90 line = line.rstrip()
Serhiy Storchakac7690402015-02-16 00:29:52 +020091 key, pos_and_siz_pair = _ast.literal_eval(line)
Serhiy Storchaka33ad0962014-06-25 20:37:49 +030092 self._index[key] = pos_and_siz_pair
Tim Peters88869f92001-01-14 23:36:06 +000093
Tim Peters7dfd5702003-07-12 20:11:25 +000094 # Write the index dict to the directory file. The original directory
95 # file (if any) is renamed with a .bak extension first. If a .bak
96 # file currently exists, it's deleted.
Tim Peters88869f92001-01-14 23:36:06 +000097 def _commit(self):
Tim Petersd7472ec2003-07-13 02:22:03 +000098 # CAUTION: It's vital that _commit() succeed, and _commit() can
99 # be called from __del__(). Therefore we must never reference a
100 # global in this routine.
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +0200101 if self._index is None or not self._modified:
Tim Peters7a6c7332003-07-13 17:21:10 +0000102 return # nothing to do
103
Tim Peters7dfd5702003-07-12 20:11:25 +0000104 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000105 self._os.unlink(self._bakfile)
106 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000107 pass
108
109 try:
Tim Petersd7472ec2003-07-13 02:22:03 +0000110 self._os.rename(self._dirfile, self._bakfile)
111 except self._os.error:
Tim Peters7dfd5702003-07-12 20:11:25 +0000112 pass
113
Serhiy Storchaka33ad0962014-06-25 20:37:49 +0300114 with self._open(self._dirfile, 'w') as f:
115 self._chmod(self._dirfile)
116 for key, pos_and_siz_pair in self._index.iteritems():
117 f.write("%r, %r\n" % (key, pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000118
Skip Montanaro6d068152003-07-14 12:15:15 +0000119 sync = _commit
120
Tim Peters88869f92001-01-14 23:36:06 +0000121 def __getitem__(self, key):
122 pos, siz = self._index[key] # may raise KeyError
Serhiy Storchaka33ad0962014-06-25 20:37:49 +0300123 with _open(self._datfile, 'rb') as f:
124 f.seek(pos)
125 dat = f.read(siz)
Tim Peters88869f92001-01-14 23:36:06 +0000126 return dat
127
Tim Peters7dfd5702003-07-12 20:11:25 +0000128 # Append val to the data file, starting at a _BLOCKSIZE-aligned
129 # offset. The data file is first padded with NUL bytes (if needed)
130 # to get to an aligned offset. Return pair
131 # (starting offset of val, len(val))
Tim Peters88869f92001-01-14 23:36:06 +0000132 def _addval(self, val):
Serhiy Storchaka33ad0962014-06-25 20:37:49 +0300133 with _open(self._datfile, 'rb+') as f:
134 f.seek(0, 2)
135 pos = int(f.tell())
136 npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
137 f.write('\0'*(npos-pos))
138 pos = npos
139 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000140 return (pos, len(val))
141
Tim Peters7dfd5702003-07-12 20:11:25 +0000142 # Write val to the data file, starting at offset pos. The caller
143 # is responsible for ensuring that there's enough room starting at
144 # pos to hold val, without overwriting some other value. Return
145 # pair (pos, len(val)).
Tim Peters88869f92001-01-14 23:36:06 +0000146 def _setval(self, pos, val):
Serhiy Storchaka33ad0962014-06-25 20:37:49 +0300147 with _open(self._datfile, 'rb+') as f:
148 f.seek(pos)
149 f.write(val)
Tim Peters88869f92001-01-14 23:36:06 +0000150 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
Serhiy Storchaka33ad0962014-06-25 20:37:49 +0300157 with _open(self._dirfile, 'a') as f:
158 self._chmod(self._dirfile)
159 f.write("%r, %r\n" % (key, pos_and_siz_pair))
Tim Peters88869f92001-01-14 23:36:06 +0000160
161 def __setitem__(self, key, val):
162 if not type(key) == type('') == type(val):
163 raise TypeError, "keys and values must be strings"
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +0200164 self._modified = True
Tim Peters7dfd5702003-07-12 20:11:25 +0000165 if key not in self._index:
166 self._addkey(key, self._addval(val))
Tim Peters88869f92001-01-14 23:36:06 +0000167 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000168 # See whether the new value is small enough to fit in the
169 # (padded) space currently occupied by the old value.
Tim Peters88869f92001-01-14 23:36:06 +0000170 pos, siz = self._index[key]
Tim Petersef6573e2003-07-11 04:09:55 +0000171 oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
172 newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters88869f92001-01-14 23:36:06 +0000173 if newblocks <= oldblocks:
Tim Peters7dfd5702003-07-12 20:11:25 +0000174 self._index[key] = self._setval(pos, val)
Tim Peters88869f92001-01-14 23:36:06 +0000175 else:
Tim Peters7dfd5702003-07-12 20:11:25 +0000176 # The new value doesn't fit in the (padded) space used
177 # by the old value. The blocks used by the old value are
178 # forever lost.
179 self._index[key] = self._addval(val)
180
181 # Note that _index may be out of synch with the directory
182 # file now: _setval() and _addval() don't update the directory
Tim Peters1d8d7292003-07-13 02:05:47 +0000183 # file. This also means that the on-disk directory and data
184 # files are in a mutually inconsistent state, and they'll
185 # remain that way until _commit() is called. Note that this
186 # is a disaster (for the database) if the program crashes
187 # (so that _commit() never gets called).
Tim Peters88869f92001-01-14 23:36:06 +0000188
189 def __delitem__(self, key):
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +0200190 self._modified = True
Tim Peters7dfd5702003-07-12 20:11:25 +0000191 # The blocks used by the associated value are lost.
Tim Peters88869f92001-01-14 23:36:06 +0000192 del self._index[key]
Tim Peters7dfd5702003-07-12 20:11:25 +0000193 # XXX It's unclear why we do a _commit() here (the code always
194 # XXX has, so I'm not changing it). _setitem__ doesn't try to
195 # XXX keep the directory file in synch. Why should we? Or
196 # XXX why shouldn't __setitem__?
Tim Peters88869f92001-01-14 23:36:06 +0000197 self._commit()
198
199 def keys(self):
200 return self._index.keys()
201
202 def has_key(self, key):
Raymond Hettinger793d4b42002-06-01 14:25:41 +0000203 return key in self._index
Tim Peters88869f92001-01-14 23:36:06 +0000204
Fred Drakea7cc69e2001-05-03 04:55:47 +0000205 def __contains__(self, key):
Raymond Hettinger793d4b42002-06-01 14:25:41 +0000206 return key in self._index
Fred Drakea7cc69e2001-05-03 04:55:47 +0000207
208 def iterkeys(self):
209 return self._index.iterkeys()
210 __iter__ = iterkeys
211
Tim Peters88869f92001-01-14 23:36:06 +0000212 def __len__(self):
213 return len(self._index)
214
215 def close(self):
Serhiy Storchaka1aa2c0f2015-04-10 13:24:10 +0300216 try:
217 self._commit()
218 finally:
219 self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum9f824a71995-08-10 19:29:28 +0000220
Tim Peters7a6c7332003-07-13 17:21:10 +0000221 __del__ = close
Tim Peterse4418602002-02-16 07:34:19 +0000222
Andrew M. Kuchlingdc267582006-12-22 15:04:45 +0000223 def _chmod (self, file):
224 if hasattr(self._os, 'chmod'):
225 self._os.chmod(file, self._mode)
Anthony Baxtered905702001-12-21 05:13:37 +0000226
Guido van Rossum9f824a71995-08-10 19:29:28 +0000227
Fred Drake2c8373b2001-12-07 21:54:46 +0000228def open(file, flag=None, mode=0666):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000229 """Open the database file, filename, and return corresponding object.
230
231 The flag argument, used to control how the database is opened in the
232 other DBM implementations, is ignored in the dumbdbm module; the
233 database is always opened for update, and will be created if it does
234 not exist.
235
236 The optional mode argument is the UNIX mode of the file, used only when
237 the database has to be created. It defaults to octal code 0666 (and
238 will be modified by the prevailing umask).
239
240 """
Neal Norwitzf421e812003-03-01 22:58:00 +0000241 # flag argument is currently ignored
Andrew M. Kuchling9ef0ef52006-12-22 15:16:58 +0000242
243 # Modify mode depending on the umask
244 try:
245 um = _os.umask(0)
246 _os.umask(um)
247 except AttributeError:
248 pass
249 else:
250 # Turn off any bits that are set in the umask
251 mode = mode & (~um)
Tim Petersf733abb2007-01-30 03:03:46 +0000252
Serhiy Storchaka9bd44d62016-12-02 07:58:42 +0200253 return _Database(file, mode, flag)