]> git.proxmox.com Git - proxmox-backup.git/blame - src/backup/verify.rs
ui: datastore content: eslint fixes
[proxmox-backup.git] / src / backup / verify.rs
CommitLineData
2aaae970 1use std::collections::HashSet;
6b809ff5
DM
2use std::sync::{Arc, Mutex};
3use std::sync::atomic::{Ordering, AtomicUsize};
4use std::time::Instant;
2aaae970 5
3b2046d2 6use anyhow::{bail, format_err, Error};
c2009e53
DM
7
8use crate::server::WorkerTask;
3b2046d2 9use crate::api2::types::*;
c2009e53
DM
10
11use super::{
6b809ff5 12 DataStore, DataBlob, BackupGroup, BackupDir, BackupInfo, IndexFile,
8819d1f2 13 CryptMode,
c2009e53
DM
14 FileInfo, ArchiveType, archive_type,
15};
16
6b809ff5 17fn verify_blob(datastore: Arc<DataStore>, backup_dir: &BackupDir, info: &FileInfo) -> Result<(), Error> {
c2009e53 18
39f18b30 19 let blob = datastore.load_blob(backup_dir, &info.filename)?;
c2009e53 20
2aaae970 21 let raw_size = blob.raw_size();
c2009e53
DM
22 if raw_size != info.size {
23 bail!("wrong size ({} != {})", info.size, raw_size);
24 }
25
39f18b30 26 let csum = openssl::sha::sha256(blob.raw_data());
c2009e53
DM
27 if csum != info.csum {
28 bail!("wrong index checksum");
29 }
30
8819d1f2
FG
31 match blob.crypt_mode()? {
32 CryptMode::Encrypt => Ok(()),
33 CryptMode::None => {
34 // digest already verified above
35 blob.decode(None, None)?;
36 Ok(())
37 },
38 CryptMode::SignOnly => bail!("Invalid CryptMode for blob"),
c2009e53 39 }
c2009e53
DM
40}
41
6b809ff5
DM
42// We use a separate thread to read/load chunks, so that we can do
43// load and verify in parallel to increase performance.
44fn chunk_reader_thread(
45 datastore: Arc<DataStore>,
46 index: Box<dyn IndexFile + Send>,
47 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
48 corrupt_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
49 errors: Arc<AtomicUsize>,
50 worker: Arc<WorkerTask>,
51) -> std::sync::mpsc::Receiver<(DataBlob, [u8;32], u64)> {
52
53 let (sender, receiver) = std::sync::mpsc::sync_channel(3); // buffer up to 3 chunks
54
55 std::thread::spawn(move|| {
56 for pos in 0..index.index_count() {
57 let info = index.chunk_info(pos).unwrap();
58 let size = info.range.end - info.range.start;
59
60 if verified_chunks.lock().unwrap().contains(&info.digest) {
61 continue; // already verified
62 }
63
64 if corrupt_chunks.lock().unwrap().contains(&info.digest) {
65 let digest_str = proxmox::tools::digest_to_hex(&info.digest);
66 worker.log(format!("chunk {} was marked as corrupt", digest_str));
67 errors.fetch_add(1, Ordering::SeqCst);
68 continue;
69 }
70
71 match datastore.load_chunk(&info.digest) {
72 Err(err) => {
73 corrupt_chunks.lock().unwrap().insert(info.digest);
74 worker.log(format!("can't verify chunk, load failed - {}", err));
75 errors.fetch_add(1, Ordering::SeqCst);
76 continue;
77 }
78 Ok(chunk) => {
79 if sender.send((chunk, info.digest, size)).is_err() {
80 break; // receiver gone - simply stop
81 }
82 }
83 }
84 }
85 });
86
87 receiver
88}
89
fdaab0df 90fn verify_index_chunks(
6b809ff5
DM
91 datastore: Arc<DataStore>,
92 index: Box<dyn IndexFile + Send>,
93 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
94 corrupt_chunks: Arc<Mutex<HashSet<[u8; 32]>>>,
9a38fa29 95 crypt_mode: CryptMode,
6b809ff5 96 worker: Arc<WorkerTask>,
fdaab0df
DM
97) -> Result<(), Error> {
98
6b809ff5 99 let errors = Arc::new(AtomicUsize::new(0));
fdaab0df 100
6b809ff5 101 let start_time = Instant::now();
fdaab0df 102
6b809ff5
DM
103 let chunk_channel = chunk_reader_thread(
104 datastore,
105 index,
106 verified_chunks.clone(),
107 corrupt_chunks.clone(),
108 errors.clone(),
109 worker.clone(),
110 );
7ae571e7 111
6b809ff5
DM
112 let mut read_bytes = 0;
113 let mut decoded_bytes = 0;
7ae571e7 114
6b809ff5 115 loop {
2aaae970 116
6b809ff5
DM
117 worker.fail_on_abort()?;
118
119 let (chunk, digest, size) = match chunk_channel.recv() {
120 Ok(tuple) => tuple,
121 Err(std::sync::mpsc::RecvError) => break,
9a38fa29
FG
122 };
123
6b809ff5
DM
124 read_bytes += chunk.raw_size();
125 decoded_bytes += size;
126
9a38fa29
FG
127 let chunk_crypt_mode = match chunk.crypt_mode() {
128 Err(err) => {
6b809ff5 129 corrupt_chunks.lock().unwrap().insert(digest);
9a38fa29 130 worker.log(format!("can't verify chunk, unknown CryptMode - {}", err));
6b809ff5 131 errors.fetch_add(1, Ordering::SeqCst);
9a38fa29
FG
132 continue;
133 },
134 Ok(mode) => mode,
135 };
136
137 if chunk_crypt_mode != crypt_mode {
138 worker.log(format!(
139 "chunk CryptMode {:?} does not match index CryptMode {:?}",
140 chunk_crypt_mode,
141 crypt_mode
142 ));
6b809ff5 143 errors.fetch_add(1, Ordering::SeqCst);
9a38fa29
FG
144 }
145
6b809ff5
DM
146 if let Err(err) = chunk.verify_unencrypted(size as usize, &digest) {
147 corrupt_chunks.lock().unwrap().insert(digest);
7ae571e7 148 worker.log(format!("{}", err));
6b809ff5 149 errors.fetch_add(1, Ordering::SeqCst);
7ae571e7 150 } else {
6b809ff5 151 verified_chunks.lock().unwrap().insert(digest);
2aaae970 152 }
fdaab0df
DM
153 }
154
6b809ff5
DM
155 let elapsed = start_time.elapsed().as_secs_f64();
156
157 let read_bytes_mib = (read_bytes as f64)/(1024.0*1024.0);
158 let decoded_bytes_mib = (decoded_bytes as f64)/(1024.0*1024.0);
159
160 let read_speed = read_bytes_mib/elapsed;
161 let decode_speed = decoded_bytes_mib/elapsed;
162
163 let error_count = errors.load(Ordering::SeqCst);
164
165 worker.log(format!(" verified {:.2}/{:.2} Mib in {:.2} seconds, speed {:.2}/{:.2} Mib/s ({} errors)",
166 read_bytes_mib, decoded_bytes_mib, elapsed, read_speed, decode_speed, error_count));
167
168 if errors.load(Ordering::SeqCst) > 0 {
f66f537d
DC
169 bail!("chunks could not be verified");
170 }
171
fdaab0df
DM
172 Ok(())
173}
174
2aaae970 175fn verify_fixed_index(
6b809ff5 176 datastore: Arc<DataStore>,
2aaae970
DM
177 backup_dir: &BackupDir,
178 info: &FileInfo,
6b809ff5
DM
179 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
180 corrupt_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
181 worker: Arc<WorkerTask>,
2aaae970 182) -> Result<(), Error> {
c2009e53
DM
183
184 let mut path = backup_dir.relative_path();
185 path.push(&info.filename);
186
187 let index = datastore.open_fixed_reader(&path)?;
188
189 let (csum, size) = index.compute_csum();
190 if size != info.size {
191 bail!("wrong size ({} != {})", info.size, size);
192 }
193
194 if csum != info.csum {
195 bail!("wrong index checksum");
196 }
197
9a38fa29 198 verify_index_chunks(datastore, Box::new(index), verified_chunks, corrupt_chunks, info.chunk_crypt_mode(), worker)
c2009e53
DM
199}
200
2aaae970 201fn verify_dynamic_index(
6b809ff5 202 datastore: Arc<DataStore>,
2aaae970
DM
203 backup_dir: &BackupDir,
204 info: &FileInfo,
6b809ff5
DM
205 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
206 corrupt_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
207 worker: Arc<WorkerTask>,
2aaae970
DM
208) -> Result<(), Error> {
209
c2009e53
DM
210 let mut path = backup_dir.relative_path();
211 path.push(&info.filename);
212
213 let index = datastore.open_dynamic_reader(&path)?;
214
215 let (csum, size) = index.compute_csum();
216 if size != info.size {
217 bail!("wrong size ({} != {})", info.size, size);
218 }
219
220 if csum != info.csum {
221 bail!("wrong index checksum");
222 }
223
9a38fa29 224 verify_index_chunks(datastore, Box::new(index), verified_chunks, corrupt_chunks, info.chunk_crypt_mode(), worker)
c2009e53
DM
225}
226
227/// Verify a single backup snapshot
228///
229/// This checks all archives inside a backup snapshot.
230/// Errors are logged to the worker log.
231///
8ea00f6e
DM
232/// Returns
233/// - Ok(true) if verify is successful
234/// - Ok(false) if there were verification errors
235/// - Err(_) if task was aborted
2aaae970 236pub fn verify_backup_dir(
6b809ff5 237 datastore: Arc<DataStore>,
2aaae970 238 backup_dir: &BackupDir,
6b809ff5
DM
239 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
240 corrupt_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
241 worker: Arc<WorkerTask>
2aaae970 242) -> Result<bool, Error> {
c2009e53 243
3b2046d2 244 let mut manifest = match datastore.load_manifest(&backup_dir) {
ff86ef00 245 Ok((manifest, _)) => manifest,
c2009e53
DM
246 Err(err) => {
247 worker.log(format!("verify {}:{} - manifest load error: {}", datastore.name(), backup_dir, err));
8ea00f6e 248 return Ok(false);
c2009e53
DM
249 }
250 };
251
252 worker.log(format!("verify {}:{}", datastore.name(), backup_dir));
253
254 let mut error_count = 0;
255
3b2046d2 256 let mut verify_result = "ok";
c2009e53
DM
257 for info in manifest.files() {
258 let result = proxmox::try_block!({
259 worker.log(format!(" check {}", info.filename));
260 match archive_type(&info.filename)? {
d8594d87
DC
261 ArchiveType::FixedIndex =>
262 verify_fixed_index(
6b809ff5 263 datastore.clone(),
d8594d87
DC
264 &backup_dir,
265 info,
6b809ff5
DM
266 verified_chunks.clone(),
267 corrupt_chunks.clone(),
268 worker.clone(),
d8594d87
DC
269 ),
270 ArchiveType::DynamicIndex =>
271 verify_dynamic_index(
6b809ff5 272 datastore.clone(),
d8594d87
DC
273 &backup_dir,
274 info,
6b809ff5
DM
275 verified_chunks.clone(),
276 corrupt_chunks.clone(),
277 worker.clone(),
d8594d87 278 ),
6b809ff5 279 ArchiveType::Blob => verify_blob(datastore.clone(), &backup_dir, info),
c2009e53
DM
280 }
281 });
8ea00f6e
DM
282
283 worker.fail_on_abort()?;
8ea00f6e 284
c2009e53
DM
285 if let Err(err) = result {
286 worker.log(format!("verify {}:{}/{} failed: {}", datastore.name(), backup_dir, info.filename, err));
287 error_count += 1;
3b2046d2 288 verify_result = "failed";
c2009e53 289 }
3b2046d2 290
c2009e53
DM
291 }
292
3b2046d2
TL
293 let verify_state = SnapshotVerifyState {
294 state: verify_result.to_string(),
295 upid: worker.upid().clone(),
296 };
297 manifest.unprotected["verify_state"] = serde_json::to_value(verify_state)?;
298 datastore.store_manifest(&backup_dir, serde_json::to_value(manifest)?)
299 .map_err(|err| format_err!("unable to store manifest blob - {}", err))?;
300
301
8ea00f6e 302 Ok(error_count == 0)
c2009e53
DM
303}
304
8ea00f6e
DM
305/// Verify all backups inside a backup group
306///
307/// Errors are logged to the worker log.
308///
309/// Returns
63d9aca9 310/// - Ok((count, failed_dirs)) where failed_dirs had verification errors
8ea00f6e 311/// - Err(_) if task was aborted
4f09d310
DM
312pub fn verify_backup_group(
313 datastore: Arc<DataStore>,
314 group: &BackupGroup,
315 verified_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
316 corrupt_chunks: Arc<Mutex<HashSet<[u8;32]>>>,
63d9aca9 317 progress: Option<(usize, usize)>, // (done, snapshot_count)
4f09d310 318 worker: Arc<WorkerTask>,
63d9aca9 319) -> Result<(usize, Vec<String>), Error> {
c2009e53 320
adfdc369 321 let mut errors = Vec::new();
c2009e53
DM
322 let mut list = match group.list_backups(&datastore.base_path()) {
323 Ok(list) => list,
324 Err(err) => {
325 worker.log(format!("verify group {}:{} - unable to list backups: {}", datastore.name(), group, err));
63d9aca9 326 return Ok((0, errors));
c2009e53
DM
327 }
328 };
329
330 worker.log(format!("verify group {}:{}", datastore.name(), group));
331
63d9aca9
DM
332 let (done, snapshot_count) = progress.unwrap_or((0, list.len()));
333
334 let mut count = 0;
c2009e53
DM
335 BackupInfo::sort_list(&mut list, false); // newest first
336 for info in list {
63d9aca9 337 count += 1;
6b809ff5 338 if !verify_backup_dir(datastore.clone(), &info.backup_dir, verified_chunks.clone(), corrupt_chunks.clone(), worker.clone())?{
adfdc369 339 errors.push(info.backup_dir.to_string());
c2009e53 340 }
63d9aca9
DM
341 if snapshot_count != 0 {
342 let pos = done + count;
343 let percentage = ((pos as f64) * 100.0)/(snapshot_count as f64);
344 worker.log(format!("percentage done: {:.2}% ({} of {} snapshots)", percentage, pos, snapshot_count));
345 }
c2009e53
DM
346 }
347
63d9aca9 348 Ok((count, errors))
c2009e53
DM
349}
350
8ea00f6e
DM
351/// Verify all backups inside a datastore
352///
353/// Errors are logged to the worker log.
354///
355/// Returns
adfdc369 356/// - Ok(failed_dirs) where failed_dirs had verification errors
8ea00f6e 357/// - Err(_) if task was aborted
6b809ff5 358pub fn verify_all_backups(datastore: Arc<DataStore>, worker: Arc<WorkerTask>) -> Result<Vec<String>, Error> {
adfdc369
DC
359
360 let mut errors = Vec::new();
c2009e53 361
4264c502 362 let mut list = match BackupGroup::list_groups(&datastore.base_path()) {
c2009e53
DM
363 Ok(list) => list,
364 Err(err) => {
365 worker.log(format!("verify datastore {} - unable to list backups: {}", datastore.name(), err));
adfdc369 366 return Ok(errors);
c2009e53
DM
367 }
368 };
369
4264c502
DM
370 list.sort_unstable();
371
63d9aca9
DM
372 let mut snapshot_count = 0;
373 for group in list.iter() {
374 snapshot_count += group.list_backups(&datastore.base_path())?.len();
375 }
376
4f09d310
DM
377 // start with 16384 chunks (up to 65GB)
378 let verified_chunks = Arc::new(Mutex::new(HashSet::with_capacity(1024*16)));
379
380 // start with 64 chunks since we assume there are few corrupt ones
381 let corrupt_chunks = Arc::new(Mutex::new(HashSet::with_capacity(64)));
382
63d9aca9 383 worker.log(format!("verify datastore {} ({} snapshots)", datastore.name(), snapshot_count));
c2009e53 384
63d9aca9 385 let mut done = 0;
c2009e53 386 for group in list {
63d9aca9 387 let (count, mut group_errors) = verify_backup_group(
4f09d310
DM
388 datastore.clone(),
389 &group,
390 verified_chunks.clone(),
391 corrupt_chunks.clone(),
63d9aca9 392 Some((done, snapshot_count)),
4f09d310
DM
393 worker.clone(),
394 )?;
adfdc369 395 errors.append(&mut group_errors);
63d9aca9
DM
396
397 done += count;
c2009e53
DM
398 }
399
adfdc369 400 Ok(errors)
c2009e53 401}