README 5.49 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84
TIDStorage

This product provides a way to have consistent backups when runing a
multi-storage instance (only ZEO is supported at the moment).

Doing backups of individual Data.fs who are part of the same instance
(one mounted in another) is a problem when there are transactions involving
multiple storages: if there is a crash during transaction commit, there is no
way to tell which storage was commited and which was not (there is no TID
consistance between databases).
There is an even more tricky case. Consider the following:
 2 transactions runing in parallel:
  T1: modifies storage A and B
  T2: modifies storage A
 Commit order scenario:
  T1 starts commiting (takes commit lock on A and B)
  T2 starts commiting (waits for commit lock on A)
  T1 commits A (commit lock released on A)
  T2 commits A (takes & releases commit lock on A)
  [crash]
  T1 commits B (commit lock released on B) <- never happens because of crash

Here, T2 was able to commit entierely, but it must not be saved. This is
because transactions are stored in ZODB in the order they are commited.
So is T2 is in the backup, a part of T1 will also be, and backup will be
inconsistent (T1 commit on B never happened).  

TIDStorage fixes those issues by keeping track of transaction-to-tid relations
for all (ZODB, via ZEO) storages involved in any transaction, and by tracking
inter-transaction dependancies.

TIDStorage is composed of 3 parts:
 - A Zope product, which monkey-patches "ZEO" and "transaction" products.
   transaction patch:
     TIDStorage works at transaction boundaries, so we hook around
     _commitResource method to know when it happens.
     It must be configured to fit your network setup (TID_STORAGE_ADDRESS)
   ZEO patch:
     With regular ZEO, there is no way to know last commited TID at
     transaction-code level. This patch stores last commited TID on ZEO
     connection object, to be read by transaction patch.
 - A daemon
   This is TIDStorage itself, receiving TIDs from Zopes and delivering
   coherency points to backup scripts.
 - Backup scripts
   Those scripts are (mostly) wrappers for repozo backup script, fetching
   coherency points from TIDStorage daemon and invoking repozo.
   This requires a patch to be applied to regular repozo, so that it can
   backup ZODBs only up to a given TID.
   

Constraints under which TIDStorage was designed:
 - Zope performance
   Protocol (see below) was designed as one-way only (Zope pushes data to
   TIDStorage, and does not expect an answer), so that TIDStorage speed do not
   limit Zope performance.
 - No added single-point-of-failure
   Even if Zope cannot connect to TIDStorage, it will still work. It will only
   emit one log line when connection is lost or at first attemp if it did not
   succeed. When connection is established, another log line is emitted.
 - Bootstrap
   As TIDStorage can be started and stopped while things still happen on
   ZODBs, it must be able to bootstrap its content before any backup can
   happen. This is done by creating artificial Zope transaction whose only
   purpose is to cause a commit to happen on each ZODB, filling TIDStorage and
   making sure there is no pending commit on any storage (since all locks
   could be taken by those transactions, it means that all transaction started
   before TIDStorage can receive their notification have ended).
 - Restauration from Data.fs
   In addition from the ability to restore from repozo-style backups, and in
   order to provide greater backup frequency than repozo can offer on big
   databases, TIDStorage offers the possibility to restore coherent Data.fs
   from crashed ones - as long as they are not corrupted.

Limits:
 - Backup "lag"
   As TIDStorage can only offer a coherence point when interdependant
   transactions are all finished (commited or aborted), a backup started at
   time T might actualy contain data from moments before. There are pathologic
   cases where no coherence point can be found, so no backup can happen.
   Also, bootstrap can prevent backups from happening if daemon if
   misconfigured.

Protocol:
85 86 87
 All characters allowed in data, except \n and \r (0x0A & 0x0D).
 Each field ends with \n, \r is ignored.
 No escaping.
88
 When transfering a list, is is prepended by the number of inclued fields.
89 90 91 92 93
   Example:
     3\n
     foo\n
     bar\n
     baz\n
94 95 96 97 98 99 100 101 102
 When transfering a dict, it is prepended by the number of items, followed by
 keys and then values. Values must be ints represented as strings.
   Example:
     2\n
     key1\n
     key2\n
     1\n
     2\n
 Commands are case-insensitive.
103

104
1) Start of commit command:
105 106

BEGIN\n
107 108
<commit id>\n
<list of involved storages>
109

110 111 112
 <commit id>: must be identical to the one given when commit finishes (be it ABORT or COMMIT)
 <list of involved storages>: list of storage ids involved in the transaction
 NB: final \n is part of list representation, so it's not displayed above.
113

114
Response: (nothing)
115

116
2) Transaction abort command:
117 118

ABORT\n
119
<commit id>\n
120

121
  <commit id>: (cf. BEGIN)
122

123
Response: (nothing)
124

125
3) Transaction finalisation command:
126 127

COMMIT\n
128
<commit id>\n
129
<dict of involved storages and commited TIDs>
130

131
 <commit id>: (cf. BEGIN)
132 133
 involved storages: (cf. BEGIN)
 commited TIDs: TIDs for each storage, as int.
134
 NB: final \n is part of list representation, so it's not displayed above.
135

136
Response: (nothing)
137

138
4) Data read command:
139 140 141

DUMP\n

142
Response:
143 144 145 146 147 148 149 150 151 152 153 154 155
<dict of storages and TIDs>

5) Connection termination command:

QUIT\n

Response: (nothing, server closes connection)

6) Bootstrap status command:

BOOTSTRAPED\n

Response: 1 if bootstrap was completely done, 0 otherwise.
156