OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011 The Chromium Authors. All rights reserved. | |
2 // Use of this source code is governed by a BSD-style license that can be | |
3 // found in the LICENSE file. | |
4 | |
5 // The cache is stored on disk as a collection of block-files, plus an index | |
6 // plus a collection of external files. | |
7 // | |
8 // Any data blob bigger than kMaxBlockSize (disk_cache/addr.h) will be stored in | |
9 // a separate file named f_xxx where x is a hexadecimal number. Shorter data | |
10 // will be stored as a series of blocks on a block-file. In any case, CacheAddr | |
11 // represents the address of the data inside the cache. | |
12 // | |
13 // The index is actually a collection of four files that store a hash table with | |
14 // allocation bitmaps and backup data. Hash collisions are handled directly by | |
15 // the table, which from some point of view behaves like a 4-way associative | |
16 // cache with overflow buckets (so not really open addressing). | |
17 // | |
18 // Basically the hash table is a collection of buckets. The first part of the | |
19 // table has a fixed number of buckets and it is directly addressed by the hash, | |
20 // while the second part of the table (stored on a second file) has a variable | |
21 // number of buckets. Each bucket stores up to four cells (each cell represents | |
22 // a possibl entry). The index bitmap tracks the state of individual cells. | |
23 // | |
24 // The last element of the cache is the block-file. A block file is a file | |
25 // designed to store blocks of data of a given size. For more details see | |
26 // disk_cache/disk_format_base.h | |
27 // | |
28 // A new cache is initialized with a set of block files (named data_0 through | |
29 // data_6), each one dedicated to store blocks of a given size or function. The | |
30 // number at the end of the file name is the block file number (in decimal). | |
31 // | |
32 // There are three "special" types of blocks: normal entries, evicted entries | |
33 // and control data for external files. | |
34 // | |
35 // The files that store internal information for the cache (blocks and index) | |
36 // are memory mapped. They have a location that is signaled every time the | |
37 // internal structures are modified, so it is possible to detect (most of the | |
38 // time) when the process dies in the middle of an update. There are dedicated | |
39 // backup files for cache bitmaps, used to detect entries out of date. | |
40 // | |
41 // Although cache files are to be consumed on the same machine that creates | |
42 // them, if files are to be moved accross machines, little endian storage is | |
43 // assumed. | |
44 | |
45 #ifndef NET_DISK_CACHE_BLOCKFILE_DISK_FORMAT_V3_H_ | |
46 #define NET_DISK_CACHE_BLOCKFILE_DISK_FORMAT_V3_H_ | |
47 | |
48 #include "base/basictypes.h" | |
49 #include "net/disk_cache/blockfile/disk_format_base.h" | |
50 | |
51 namespace disk_cache { | |
52 | |
53 const int kBaseTableLen = 0x400; | |
54 const uint32 kIndexMagicV3 = 0xC103CAC3; | |
55 const uint32 kVersion3 = 0x30000; // Version 3.0. | |
56 | |
57 // Flags for a given cache. | |
58 enum CacheFlags { | |
59 SMALL_CACHE = 1 << 0, // See IndexCell. | |
60 CACHE_EVICTION_2 = 1 << 1, // Keep multiple lists for eviction. | |
61 CACHE_EVICTED = 1 << 2 // Already evicted at least one entry. | |
62 }; | |
63 | |
64 // Header for the master index file. | |
65 struct IndexHeaderV3 { | |
66 uint32 magic; | |
67 uint32 version; | |
68 int32 num_entries; // Number of entries currently stored. | |
69 int32 num_bytes; // Total size of the stored data. | |
70 int32 last_file; // Last external file created. | |
71 int32 reserved1; | |
72 CacheAddr stats; // Storage for usage data. | |
73 int32 table_len; // Actual size of the table. | |
74 int32 crash; // Signals a previous crash. | |
75 int32 experiment; // Id of an ongoing test. | |
76 int32 max_bytes; // Total maximum size of the stored data. | |
77 uint32 flags; | |
78 int32 used_cells; | |
79 int32 max_bucket; | |
80 uint64 create_time; // Creation time for this set of files. | |
81 uint64 base_time; // Current base for timestamps. | |
82 uint64 old_time; // Previous time used for timestamps. | |
83 int32 max_block_file; | |
84 int32 num_no_use_entries; | |
85 int32 num_low_use_entries; | |
86 int32 num_high_use_entries; | |
87 int32 reserved; | |
88 int32 num_evicted_entries; | |
89 int32 pad[6]; | |
90 }; | |
91 | |
92 const int kBaseBitmapBytes = 3968; | |
93 // The IndexBitmap is directly saved to a file named index. The file grows in | |
94 // page increments (4096 bytes), but all bits don't have to be in use at any | |
95 // given time. The required file size can be computed from header.table_len. | |
96 struct IndexBitmap { | |
97 IndexHeaderV3 header; | |
98 uint32 bitmap[kBaseBitmapBytes / 4]; // First page of the bitmap. | |
99 }; | |
100 static_assert(sizeof(IndexBitmap) == 4096, "bad IndexHeader"); | |
101 | |
102 // Possible states for a given entry. | |
103 enum EntryState { | |
104 ENTRY_FREE = 0, // Available slot. | |
105 ENTRY_NEW, // The entry is being created. | |
106 ENTRY_OPEN, // The entry is being accessed. | |
107 ENTRY_MODIFIED, // The entry is being modified. | |
108 ENTRY_DELETED, // The entry is being deleted. | |
109 ENTRY_FIXING, // Inconsistent state. The entry is being verified. | |
110 ENTRY_USED // The slot is in use (entry is present). | |
111 }; | |
112 static_assert(ENTRY_USED <= 7, "state uses 3 bits"); | |
113 | |
114 enum EntryGroup { | |
115 ENTRY_NO_USE = 0, // The entry has not been reused. | |
116 ENTRY_LOW_USE, // The entry has low reuse. | |
117 ENTRY_HIGH_USE, // The entry has high reuse. | |
118 ENTRY_RESERVED, // Reserved for future use. | |
119 ENTRY_EVICTED // The entry was deleted. | |
120 }; | |
121 static_assert(ENTRY_USED <= 7, "group uses 3 bits"); | |
122 | |
123 #pragma pack(push, 1) | |
124 struct IndexCell { | |
125 void Clear() { memset(this, 0, sizeof(*this)); } | |
126 | |
127 // A cell is a 9 byte bit-field that stores 7 values: | |
128 // location : 22 bits | |
129 // id : 18 bits | |
130 // timestamp : 20 bits | |
131 // reuse : 4 bits | |
132 // state : 3 bits | |
133 // group : 3 bits | |
134 // sum : 2 bits | |
135 // The id is derived from the full hash of the entry. | |
136 // | |
137 // The actual layout is as follows: | |
138 // | |
139 // first_part (low order 32 bits): | |
140 // 0000 0000 0011 1111 1111 1111 1111 1111 : location | |
141 // 1111 1111 1100 0000 0000 0000 0000 0000 : id | |
142 // | |
143 // first_part (high order 32 bits): | |
144 // 0000 0000 0000 0000 0000 0000 1111 1111 : id | |
145 // 0000 1111 1111 1111 1111 1111 0000 0000 : timestamp | |
146 // 1111 0000 0000 0000 0000 0000 0000 0000 : reuse | |
147 // | |
148 // last_part: | |
149 // 0000 0111 : state | |
150 // 0011 1000 : group | |
151 // 1100 0000 : sum | |
152 // | |
153 // The small-cache version of the format moves some bits from the location to | |
154 // the id fileds, like so: | |
155 // location : 16 bits | |
156 // id : 24 bits | |
157 // | |
158 // first_part (low order 32 bits): | |
159 // 0000 0000 0000 0000 1111 1111 1111 1111 : location | |
160 // 1111 1111 1111 1111 0000 0000 0000 0000 : id | |
161 // | |
162 // The actual bit distribution between location and id is determined by the | |
163 // table size (IndexHeaderV3.table_len). Tables smaller than 65536 entries | |
164 // use the small-cache version; after that size, caches should have the | |
165 // SMALL_CACHE flag cleared. | |
166 // | |
167 // To locate a given entry after recovering the location from the cell, the | |
168 // file type and file number are appended (see disk_cache/addr.h). For a large | |
169 // table only the file type is implied; for a small table, the file number | |
170 // is also implied, and it should be the first file for that type of entry, | |
171 // as determined by the EntryGroup (two files in total, one for active entries | |
172 // and another one for evicted entries). | |
173 // | |
174 // For example, a small table may store something like 0x1234 as the location | |
175 // field. That means it stores the entry number 0x1234. If that record belongs | |
176 // to a deleted entry, the regular cache address may look something like | |
177 // BLOCK_EVICTED + 1 block + file number 6 + entry number 0x1234 | |
178 // so Addr = 0xf0061234 | |
179 // | |
180 // If that same Addr is stored on a large table, the location field would be | |
181 // 0x61234 | |
182 | |
183 uint64 first_part; | |
184 uint8 last_part; | |
185 }; | |
186 static_assert(sizeof(IndexCell) == 9, "bad IndexCell"); | |
187 | |
188 const int kCellsPerBucket = 4; | |
189 struct IndexBucket { | |
190 IndexCell cells[kCellsPerBucket]; | |
191 int32 next; | |
192 uint32 hash; // The high order byte is reserved (should be zero). | |
193 }; | |
194 static_assert(sizeof(IndexBucket) == 44, "bad IndexBucket"); | |
195 const int kBytesPerCell = 44 / kCellsPerBucket; | |
196 | |
197 // The main cache index. Backed by a file named index_tb1. | |
198 // The extra table (index_tb2) has a similar format, but different size. | |
199 struct Index { | |
200 // Default size. Actual size controlled by header.table_len. | |
201 IndexBucket table[kBaseTableLen / kCellsPerBucket]; | |
202 }; | |
203 #pragma pack(pop) | |
204 | |
205 // Flags that can be applied to an entry. | |
206 enum EntryFlags { | |
207 PARENT_ENTRY = 1, // This entry has children (sparse) entries. | |
208 CHILD_ENTRY = 1 << 1 // Child entry that stores sparse data. | |
209 }; | |
210 | |
211 struct EntryRecord { | |
212 uint32 hash; | |
213 uint32 pad1; | |
214 uint8 reuse_count; | |
215 uint8 refetch_count; | |
216 int8 state; // Current EntryState. | |
217 uint8 flags; // Any combination of EntryFlags. | |
218 int32 key_len; | |
219 int32 data_size[4]; // We can store up to 4 data streams for each | |
220 CacheAddr data_addr[4]; // entry. | |
221 uint32 data_hash[4]; | |
222 uint64 creation_time; | |
223 uint64 last_modified_time; | |
224 uint64 last_access_time; | |
225 int32 pad[3]; | |
226 uint32 self_hash; | |
227 }; | |
228 static_assert(sizeof(EntryRecord) == 104, "bad EntryRecord"); | |
229 | |
230 struct ShortEntryRecord { | |
231 uint32 hash; | |
232 uint32 pad1; | |
233 uint8 reuse_count; | |
234 uint8 refetch_count; | |
235 int8 state; // Current EntryState. | |
236 uint8 flags; | |
237 int32 key_len; | |
238 uint64 last_access_time; | |
239 uint32 long_hash[5]; | |
240 uint32 self_hash; | |
241 }; | |
242 static_assert(sizeof(ShortEntryRecord) == 48, "bad ShortEntryRecord"); | |
243 | |
244 } // namespace disk_cache | |
245 | |
246 #endif // NET_DISK_CACHE_BLOCKFILE_DISK_FORMAT_V3_H_ | |
OLD | NEW |