dumb.py 9.38 KB
Newer Older
Guido van Rossum's avatar
Guido van Rossum committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
"""A dumb and slow but simple dbm clone.

For database spam, spam.dir contains the index (a text file),
spam.bak *may* contain a backup of the index (also a text file),
while spam.dat contains the data (a binary file).

XXX TO DO:

- seems to contain a bug when updating...

- reclaim free space (currently, space once occupied by deleted or expanded
items is never reused)

- support concurrent access (currently, if two processes take turns making
updates, they can mess up the index)

- support efficient access to large databases (currently, the whole index
is read when the database is opened, and some updates rewrite the whole index)

- support opening for read-only (flag = 'm')

"""

24
import io as _io
25
import os as _os
26
import collections
Guido van Rossum's avatar
Guido van Rossum committed
27

28 29
__all__ = ["error", "open"]

Guido van Rossum's avatar
Guido van Rossum committed
30 31
_BLOCKSIZE = 512

32
error = IOError
33

34
class _Database(collections.MutableMapping):
Guido van Rossum's avatar
Guido van Rossum committed
35

36 37 38 39 40 41
    # The on-disk directory and data files can remain in mutually
    # inconsistent states for an arbitrarily long time (see comments
    # at the end of __setitem__).  This is only repaired when _commit()
    # gets called.  One place _commit() gets called is from __del__(),
    # and if that occurs at program shutdown time, module globals may
    # already have gotten rebound to None.  Since it's crucial that
Tim Peters's avatar
Tim Peters committed
42
    # _commit() finish successfully, we can't ignore shutdown races
43 44
    # here, and _commit() must not reference any globals.
    _os = _os       # for _commit()
45
    _io = _io       # for _commit()
46

47
    def __init__(self, filebasename, mode):
48
        self._mode = mode
49 50 51 52 53 54

        # The directory file is a text file.  Each line looks like
        #    "%r, (%d, %d)\n" % (key, pos, siz)
        # where key is the string key, pos is the offset into the dat
        # file of the associated value's first byte, and siz is the number
        # of bytes in the associated value.
Skip Montanaro's avatar
Skip Montanaro committed
55
        self._dirfile = filebasename + '.dir'
56 57 58 59 60

        # The data file is a binary file pointed into by the directory
        # file, and holds the values associated with keys.  Each value
        # begins at a _BLOCKSIZE-aligned byte offset, and is a raw
        # binary 8-bit string value.
Skip Montanaro's avatar
Skip Montanaro committed
61 62
        self._datfile = filebasename + '.dat'
        self._bakfile = filebasename + '.bak'
63 64 65 66

        # The index is an in-memory dict, mirroring the directory file.
        self._index = None  # maps keys to (pos, siz) pairs

Tim Peters's avatar
Tim Peters committed
67 68
        # Mod by Jack: create data file if needed
        try:
69
            f = _io.open(self._datfile, 'r', encoding="Latin-1")
Tim Peters's avatar
Tim Peters committed
70
        except IOError:
71
            f = _io.open(self._datfile, 'w', encoding="Latin-1")
72
            self._chmod(self._datfile)
Tim Peters's avatar
Tim Peters committed
73 74 75
        f.close()
        self._update()

76
    # Read directory file into the in-memory index dict.
Tim Peters's avatar
Tim Peters committed
77 78 79
    def _update(self):
        self._index = {}
        try:
80
            f = _io.open(self._dirfile, 'r', encoding="Latin-1")
Tim Peters's avatar
Tim Peters committed
81 82 83
        except IOError:
            pass
        else:
84
            for line in f:
85
                line = line.rstrip()
86
                key, pos_and_siz_pair = eval(line)
87
                key = key.encode('Latin-1')
88
                self._index[key] = pos_and_siz_pair
Tim Peters's avatar
Tim Peters committed
89 90
            f.close()

91 92 93
    # Write the index dict to the directory file.  The original directory
    # file (if any) is renamed with a .bak extension first.  If a .bak
    # file currently exists, it's deleted.
Tim Peters's avatar
Tim Peters committed
94
    def _commit(self):
95 96 97
        # CAUTION:  It's vital that _commit() succeed, and _commit() can
        # be called from __del__().  Therefore we must never reference a
        # global in this routine.
98 99 100
        if self._index is None:
            return  # nothing to do

101
        try:
102 103
            self._os.unlink(self._bakfile)
        except self._os.error:
104 105 106
            pass

        try:
107 108
            self._os.rename(self._dirfile, self._bakfile)
        except self._os.error:
109 110
            pass

111
        f = self._io.open(self._dirfile, 'w', encoding="Latin-1")
112
        self._chmod(self._dirfile)
113
        for key, pos_and_siz_pair in self._index.items():
114 115 116
            # Use Latin-1 since it has no qualms with any value in any
            # position; UTF-8, though, does care sometimes.
            f.write("%r, %r\n" % (key.decode('Latin-1'), pos_and_siz_pair))
Tim Peters's avatar
Tim Peters committed
117 118
        f.close()

119 120
    sync = _commit

Tim Peters's avatar
Tim Peters committed
121
    def __getitem__(self, key):
122 123
        if isinstance(key, str):
            key = key.encode('utf-8')
Tim Peters's avatar
Tim Peters committed
124
        pos, siz = self._index[key]     # may raise KeyError
125
        f = _io.open(self._datfile, 'rb')
Tim Peters's avatar
Tim Peters committed
126 127 128 129 130
        f.seek(pos)
        dat = f.read(siz)
        f.close()
        return dat

131 132 133 134
    # Append val to the data file, starting at a _BLOCKSIZE-aligned
    # offset.  The data file is first padded with NUL bytes (if needed)
    # to get to an aligned offset.  Return pair
    #     (starting offset of val, len(val))
Tim Peters's avatar
Tim Peters committed
135
    def _addval(self, val):
136
        f = _io.open(self._datfile, 'rb+')
Tim Peters's avatar
Tim Peters committed
137 138
        f.seek(0, 2)
        pos = int(f.tell())
139
        npos = ((pos + _BLOCKSIZE - 1) // _BLOCKSIZE) * _BLOCKSIZE
140
        f.write(b'\0'*(npos-pos))
Tim Peters's avatar
Tim Peters committed
141 142 143 144 145
        pos = npos
        f.write(val)
        f.close()
        return (pos, len(val))

146 147 148 149
    # Write val to the data file, starting at offset pos.  The caller
    # is responsible for ensuring that there's enough room starting at
    # pos to hold val, without overwriting some other value.  Return
    # pair (pos, len(val)).
Tim Peters's avatar
Tim Peters committed
150
    def _setval(self, pos, val):
151
        f = _io.open(self._datfile, 'rb+')
Tim Peters's avatar
Tim Peters committed
152 153 154 155 156
        f.seek(pos)
        f.write(val)
        f.close()
        return (pos, len(val))

157
    # key is a new key whose associated value starts in the data file
158 159
    # at offset pos and with length siz.  Add an index record to
    # the in-memory index dict, and append one to the directory file.
160 161
    def _addkey(self, key, pos_and_siz_pair):
        self._index[key] = pos_and_siz_pair
162
        f = _io.open(self._dirfile, 'a', encoding="Latin-1")
163
        self._chmod(self._dirfile)
164
        f.write("%r, %r\n" % (key.decode("Latin-1"), pos_and_siz_pair))
Tim Peters's avatar
Tim Peters committed
165 166 167
        f.close()

    def __setitem__(self, key, val):
168 169 170 171
        if isinstance(key, str):
            key = key.encode('utf-8')
        elif not isinstance(key, (bytes, bytearray)):
            raise TypeError("keys must be bytes or strings")
172 173 174 175
        if isinstance(val, str):
            val = val.encode('utf-8')
        elif not isinstance(val, (bytes, bytearray)):
            raise TypeError("values must be bytes or strings")
176 177
        if key not in self._index:
            self._addkey(key, self._addval(val))
Tim Peters's avatar
Tim Peters committed
178
        else:
179 180
            # See whether the new value is small enough to fit in the
            # (padded) space currently occupied by the old value.
Tim Peters's avatar
Tim Peters committed
181
            pos, siz = self._index[key]
182 183
            oldblocks = (siz + _BLOCKSIZE - 1) // _BLOCKSIZE
            newblocks = (len(val) + _BLOCKSIZE - 1) // _BLOCKSIZE
Tim Peters's avatar
Tim Peters committed
184
            if newblocks <= oldblocks:
185
                self._index[key] = self._setval(pos, val)
Tim Peters's avatar
Tim Peters committed
186
            else:
187 188 189 190 191 192 193
                # The new value doesn't fit in the (padded) space used
                # by the old value.  The blocks used by the old value are
                # forever lost.
                self._index[key] = self._addval(val)

            # Note that _index may be out of synch with the directory
            # file now:  _setval() and _addval() don't update the directory
194 195 196 197 198
            # file.  This also means that the on-disk directory and data
            # files are in a mutually inconsistent state, and they'll
            # remain that way until _commit() is called.  Note that this
            # is a disaster (for the database) if the program crashes
            # (so that _commit() never gets called).
Tim Peters's avatar
Tim Peters committed
199 200

    def __delitem__(self, key):
201 202
        if isinstance(key, str):
            key = key.encode('utf-8')
203
        # The blocks used by the associated value are lost.
Tim Peters's avatar
Tim Peters committed
204
        del self._index[key]
205
        # XXX It's unclear why we do a _commit() here (the code always
206
        # XXX has, so I'm not changing it).  __setitem__ doesn't try to
207 208
        # XXX keep the directory file in synch.  Why should we?  Or
        # XXX why shouldn't __setitem__?
Tim Peters's avatar
Tim Peters committed
209 210 211
        self._commit()

    def keys(self):
212
        return list(self._index.keys())
213 214

    def items(self):
215
        return [(key, self[key]) for key in self._index.keys()]
Tim Peters's avatar
Tim Peters committed
216

217
    def __contains__(self, key):
218 219
        if isinstance(key, str):
            key = key.encode('utf-8')
220
        return key in self._index
221 222

    def iterkeys(self):
223
        return iter(self._index.keys())
224 225
    __iter__ = iterkeys

Tim Peters's avatar
Tim Peters committed
226 227 228 229
    def __len__(self):
        return len(self._index)

    def close(self):
230
        self._commit()
231
        self._index = self._datfile = self._dirfile = self._bakfile = None
Guido van Rossum's avatar
Guido van Rossum committed
232

233
    __del__ = close
Tim Peters's avatar
Tim Peters committed
234

235
    def _chmod(self, file):
236 237
        if hasattr(self._os, 'chmod'):
            self._os.chmod(file, self._mode)
238

Guido van Rossum's avatar
Guido van Rossum committed
239

240
def open(file, flag=None, mode=0o666):
241 242 243
    """Open the database file, filename, and return corresponding object.

    The flag argument, used to control how the database is opened in the
244
    other DBM implementations, is ignored in the dbm.dumb module; the
245 246 247 248
    database is always opened for update, and will be created if it does
    not exist.

    The optional mode argument is the UNIX mode of the file, used only when
249
    the database has to be created.  It defaults to octal code 0o666 (and
250 251 252
    will be modified by the prevailing umask).

    """
253
    # flag argument is currently ignored
254 255 256 257 258 259 260 261 262 263

    # Modify mode depending on the umask
    try:
        um = _os.umask(0)
        _os.umask(um)
    except AttributeError:
        pass
    else:
        # Turn off any bits that are set in the umask
        mode = mode & (~um)
264

265
    return _Database(file, mode)