blob: 870748e01695f865e1e4d587cdb38f769367a5c6 [file] [log] [blame]
Linus Torvaldsc38138c2005-06-26 20:27:56 -07001/*
2 * csum-file.c
3 *
4 * Copyright (C) 2005 Linus Torvalds
5 *
6 * Simple file write infrastructure for writing SHA1-summed
7 * files. Useful when you write a file that you want to be
8 * able to verify hasn't been messed with afterwards.
9 */
Elijah Newren98750582023-03-21 06:26:04 +000010#include "git-compat-util.h"
Nicolas Pitre2a128d62007-10-30 17:06:21 -040011#include "progress.h"
Linus Torvaldsc38138c2005-06-26 20:27:56 -070012#include "csum-file.h"
Elijah Newrend1cbe1e2023-04-22 20:17:20 +000013#include "hash.h"
Linus Torvaldsc38138c2005-06-26 20:27:56 -070014
Derrick Stolee2ca245f2021-05-18 18:32:46 +000015static void verify_buffer_or_die(struct hashfile *f,
16 const void *buf,
17 unsigned int count)
18{
19 ssize_t ret = read_in_full(f->check_fd, f->check_buffer, count);
20
21 if (ret < 0)
22 die_errno("%s: sha1 file read error", f->name);
23 if (ret != count)
24 die("%s: sha1 file truncated", f->name);
25 if (memcmp(buf, f->check_buffer, count))
26 die("sha1 file '%s' validation error", f->name);
27}
28
brian m. carlson98a3bea2018-02-01 02:18:46 +000029static void flush(struct hashfile *f, const void *buf, unsigned int count)
Linus Torvaldsc38138c2005-06-26 20:27:56 -070030{
Derrick Stolee2ca245f2021-05-18 18:32:46 +000031 if (0 <= f->check_fd && count)
32 verify_buffer_or_die(f, buf, count);
Junio C Hamanoe337a042011-02-02 17:29:01 -080033
Derrick Stolee68142e12021-05-17 12:24:49 +000034 if (write_in_full(f->fd, buf, count) < 0) {
35 if (errno == ENOSPC)
Linus Torvaldse1808842005-06-26 22:01:46 -070036 die("sha1 file '%s' write error. Out of diskspace", f->name);
Thomas Rastd824cbb2009-06-27 17:58:46 +020037 die_errno("sha1 file '%s' write error", f->name);
Linus Torvaldsc38138c2005-06-26 20:27:56 -070038 }
Derrick Stolee68142e12021-05-17 12:24:49 +000039
40 f->total += count;
41 display_throughput(f->tp, f->total);
Linus Torvaldsc38138c2005-06-26 20:27:56 -070042}
43
brian m. carlson98a3bea2018-02-01 02:18:46 +000044void hashflush(struct hashfile *f)
Linus Torvaldsc38138c2005-06-26 20:27:56 -070045{
46 unsigned offset = f->offset;
Linus Torvalds4c81b032008-05-30 08:42:16 -070047
Linus Torvaldsc38138c2005-06-26 20:27:56 -070048 if (offset) {
Derrick Stolee16871502023-01-06 16:31:53 +000049 if (!f->skip_hash)
50 the_hash_algo->update_fn(&f->ctx, f->buffer, offset);
Shawn O. Pearcee782e122008-10-10 08:39:20 -070051 flush(f, f->buffer, offset);
Dana L. Howf0215362007-05-13 11:28:19 -070052 f->offset = 0;
Linus Torvaldsc38138c2005-06-26 20:27:56 -070053 }
Nicolas Pitre838cd342008-10-09 22:08:51 -040054}
55
Derrick Stolee2ca245f2021-05-18 18:32:46 +000056static void free_hashfile(struct hashfile *f)
57{
58 free(f->buffer);
59 free(f->check_buffer);
60 free(f);
61}
62
Neeraj Singh020406e2022-03-10 22:43:21 +000063int finalize_hashfile(struct hashfile *f, unsigned char *result,
64 enum fsync_component component, unsigned int flags)
Nicolas Pitre838cd342008-10-09 22:08:51 -040065{
66 int fd;
67
brian m. carlson98a3bea2018-02-01 02:18:46 +000068 hashflush(f);
Derrick Stolee16871502023-01-06 16:31:53 +000069
70 if (f->skip_hash)
71 hashclr(f->buffer);
72 else
73 the_hash_algo->final_fn(f->buffer, &f->ctx);
74
Nicolas Pitreac0463e2008-08-29 16:08:00 -040075 if (result)
76 hashcpy(result, f->buffer);
Derrick Stoleecfe83212018-04-02 16:34:15 -040077 if (flags & CSUM_HASH_IN_STREAM)
brian m. carlson4d273502018-02-01 02:18:47 +000078 flush(f, f->buffer, the_hash_algo->rawsz);
Derrick Stoleecfe83212018-04-02 16:34:15 -040079 if (flags & CSUM_FSYNC)
Neeraj Singh020406e2022-03-10 22:43:21 +000080 fsync_component_or_die(component, f->fd, f->name);
Derrick Stoleecfe83212018-04-02 16:34:15 -040081 if (flags & CSUM_CLOSE) {
Nicolas Pitre7ba502c2007-10-16 21:55:48 -040082 if (close(f->fd))
Thomas Rastd824cbb2009-06-27 17:58:46 +020083 die_errno("%s: sha1 file error on close", f->name);
Nicolas Pitre7ba502c2007-10-16 21:55:48 -040084 fd = 0;
85 } else
86 fd = f->fd;
Junio C Hamanoe337a042011-02-02 17:29:01 -080087 if (0 <= f->check_fd) {
88 char discard;
89 int cnt = read_in_full(f->check_fd, &discard, 1);
90 if (cnt < 0)
91 die_errno("%s: error when reading the tail of sha1 file",
92 f->name);
93 if (cnt)
94 die("%s: sha1 file has trailing garbage", f->name);
95 if (close(f->check_fd))
96 die_errno("%s: sha1 file error on close", f->name);
97 }
Derrick Stolee2ca245f2021-05-18 18:32:46 +000098 free_hashfile(f);
Nicolas Pitre7ba502c2007-10-16 21:55:48 -040099 return fd;
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700100}
101
brian m. carlson98a3bea2018-02-01 02:18:46 +0000102void hashwrite(struct hashfile *f, const void *buf, unsigned int count)
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700103{
104 while (count) {
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000105 unsigned left = f->buffer_len - f->offset;
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700106 unsigned nr = count > left ? left : count;
107
Nicolas Pitrea8032d12008-09-02 10:22:20 -0400108 if (f->do_crc)
109 f->crc32 = crc32(f->crc32, buf, nr);
110
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000111 if (nr == f->buffer_len) {
Derrick Stoleeddaf1f62021-03-26 12:38:11 +0000112 /*
113 * Flush a full batch worth of data directly
114 * from the input, skipping the memcpy() to
115 * the hashfile's buffer. In this block,
116 * f->offset is necessarily zero.
117 */
Derrick Stolee16871502023-01-06 16:31:53 +0000118 if (!f->skip_hash)
119 the_hash_algo->update_fn(&f->ctx, buf, nr);
Derrick Stoleeddaf1f62021-03-26 12:38:11 +0000120 flush(f, buf, nr);
Nicolas Pitrea8032d12008-09-02 10:22:20 -0400121 } else {
Derrick Stoleeddaf1f62021-03-26 12:38:11 +0000122 /*
123 * Copy to the hashfile's buffer, flushing only
124 * if it became full.
125 */
126 memcpy(f->buffer + f->offset, buf, nr);
127 f->offset += nr;
128 left -= nr;
129 if (!left)
130 hashflush(f);
Nicolas Pitrea8032d12008-09-02 10:22:20 -0400131 }
132
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700133 count -= nr;
Florian Forster1d7f1712006-06-18 17:18:09 +0200134 buf = (char *) buf + nr;
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700135 }
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700136}
137
brian m. carlson98a3bea2018-02-01 02:18:46 +0000138struct hashfile *hashfd_check(const char *name)
Junio C Hamanoe337a042011-02-02 17:29:01 -0800139{
140 int sink, check;
brian m. carlson98a3bea2018-02-01 02:18:46 +0000141 struct hashfile *f;
Junio C Hamanoe337a042011-02-02 17:29:01 -0800142
René Scharfe66e905b2021-08-25 22:16:46 +0200143 sink = xopen("/dev/null", O_WRONLY);
144 check = xopen(name, O_RDONLY);
brian m. carlson98a3bea2018-02-01 02:18:46 +0000145 f = hashfd(sink, name);
Junio C Hamanoe337a042011-02-02 17:29:01 -0800146 f->check_fd = check;
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000147 f->check_buffer = xmalloc(f->buffer_len);
148
Junio C Hamanoe337a042011-02-02 17:29:01 -0800149 return f;
150}
151
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000152static struct hashfile *hashfd_internal(int fd, const char *name,
153 struct progress *tp,
154 size_t buffer_len)
Nicolas Pitre2a128d62007-10-30 17:06:21 -0400155{
brian m. carlson98a3bea2018-02-01 02:18:46 +0000156 struct hashfile *f = xmalloc(sizeof(*f));
Linus Torvalds4397f012005-06-28 11:10:06 -0700157 f->fd = fd;
Junio C Hamanoe337a042011-02-02 17:29:01 -0800158 f->check_fd = -1;
Linus Torvalds4397f012005-06-28 11:10:06 -0700159 f->offset = 0;
Nicolas Pitre218558a2007-11-04 22:15:41 -0500160 f->total = 0;
Nicolas Pitre2a128d62007-10-30 17:06:21 -0400161 f->tp = tp;
Nicolas Pitreec640ed2007-11-04 22:54:50 -0500162 f->name = name;
Nicolas Pitre78d1e842007-04-09 01:06:31 -0400163 f->do_crc = 0;
Derrick Stolee16871502023-01-06 16:31:53 +0000164 f->skip_hash = 0;
brian m. carlson4d273502018-02-01 02:18:47 +0000165 the_hash_algo->init_fn(&f->ctx);
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000166
167 f->buffer_len = buffer_len;
168 f->buffer = xmalloc(buffer_len);
169 f->check_buffer = NULL;
170
Linus Torvalds4397f012005-06-28 11:10:06 -0700171 return f;
172}
173
Derrick Stolee2ca245f2021-05-18 18:32:46 +0000174struct hashfile *hashfd(int fd, const char *name)
175{
176 /*
177 * Since we are not going to use a progress meter to
178 * measure the rate of data passing through this hashfile,
179 * use a larger buffer size to reduce fsync() calls.
180 */
181 return hashfd_internal(fd, name, NULL, 128 * 1024);
182}
183
184struct hashfile *hashfd_throughput(int fd, const char *name, struct progress *tp)
185{
186 /*
187 * Since we are expecting to report progress of the
188 * write into this hashfile, use a smaller buffer
189 * size so the progress indicators arrive at a more
190 * frequent rate.
191 */
192 return hashfd_internal(fd, name, tp, 8 * 1024);
193}
194
brian m. carlson98a3bea2018-02-01 02:18:46 +0000195void hashfile_checkpoint(struct hashfile *f, struct hashfile_checkpoint *checkpoint)
Junio C Hamano6c526142011-11-17 16:26:54 -0800196{
brian m. carlson98a3bea2018-02-01 02:18:46 +0000197 hashflush(f);
Junio C Hamano6c526142011-11-17 16:26:54 -0800198 checkpoint->offset = f->total;
brian m. carlson768e30e2020-02-22 20:17:27 +0000199 the_hash_algo->clone_fn(&checkpoint->ctx, &f->ctx);
Junio C Hamano6c526142011-11-17 16:26:54 -0800200}
201
brian m. carlson98a3bea2018-02-01 02:18:46 +0000202int hashfile_truncate(struct hashfile *f, struct hashfile_checkpoint *checkpoint)
Junio C Hamano6c526142011-11-17 16:26:54 -0800203{
204 off_t offset = checkpoint->offset;
205
206 if (ftruncate(f->fd, offset) ||
207 lseek(f->fd, offset, SEEK_SET) != offset)
208 return -1;
209 f->total = offset;
Eric Wonge0b8c842023-09-01 02:09:28 +0000210 the_hash_algo->clone_fn(&f->ctx, &checkpoint->ctx);
brian m. carlson98a3bea2018-02-01 02:18:46 +0000211 f->offset = 0; /* hashflush() was called in checkpoint */
Junio C Hamano6c526142011-11-17 16:26:54 -0800212 return 0;
213}
214
brian m. carlson98a3bea2018-02-01 02:18:46 +0000215void crc32_begin(struct hashfile *f)
Nicolas Pitre78d1e842007-04-09 01:06:31 -0400216{
Stephen Boyd1e4cd682011-04-03 00:06:54 -0700217 f->crc32 = crc32(0, NULL, 0);
Nicolas Pitre78d1e842007-04-09 01:06:31 -0400218 f->do_crc = 1;
219}
Linus Torvaldsc38138c2005-06-26 20:27:56 -0700220
brian m. carlson98a3bea2018-02-01 02:18:46 +0000221uint32_t crc32_end(struct hashfile *f)
Nicolas Pitre78d1e842007-04-09 01:06:31 -0400222{
223 f->do_crc = 0;
224 return f->crc32;
225}
Taylor Blauf9221e22021-06-23 14:39:07 -0400226
227int hashfile_checksum_valid(const unsigned char *data, size_t total_len)
228{
229 unsigned char got[GIT_MAX_RAWSZ];
230 git_hash_ctx ctx;
231 size_t data_len = total_len - the_hash_algo->rawsz;
232
233 if (total_len < the_hash_algo->rawsz)
234 return 0; /* say "too short"? */
235
236 the_hash_algo->init_fn(&ctx);
237 the_hash_algo->update_fn(&ctx, data, data_len);
238 the_hash_algo->final_fn(got, &ctx);
239
240 return hasheq(got, data + data_len);
241}