zstdseek_compress.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363
  1. /*
  2. * Copyright (c) 2017-present, Facebook, Inc.
  3. * All rights reserved.
  4. *
  5. * This source code is licensed under both the BSD-style license (found in the
  6. * LICENSE file in the root directory of this source tree) and the GPLv2 (found
  7. * in the COPYING file in the root directory of this source tree).
  8. */
  9. #include <stdlib.h> /* malloc, free */
  10. #include <limits.h> /* UINT_MAX */
  11. #include <assert.h>
  12. #define XXH_STATIC_LINKING_ONLY
  13. #include "xxhash.h"
  14. #define ZSTD_STATIC_LINKING_ONLY
  15. #include "zstd.h"
  16. #include "zstd_errors.h"
  17. #include "mem.h"
  18. #include "zstd_seekable.h"
  19. #define CHECK_Z(f) { size_t const ret = (f); if (ret != 0) return ret; }
  20. #undef ERROR
  21. #define ERROR(name) ((size_t)-ZSTD_error_##name)
  22. #undef MIN
  23. #undef MAX
  24. #define MIN(a, b) ((a) < (b) ? (a) : (b))
  25. #define MAX(a, b) ((a) > (b) ? (a) : (b))
  26. typedef struct {
  27. U32 cSize;
  28. U32 dSize;
  29. U32 checksum;
  30. } framelogEntry_t;
  31. struct ZSTD_frameLog_s {
  32. framelogEntry_t* entries;
  33. U32 size;
  34. U32 capacity;
  35. int checksumFlag;
  36. /* for use when streaming out the seek table */
  37. U32 seekTablePos;
  38. U32 seekTableIndex;
  39. } framelog_t;
  40. struct ZSTD_seekable_CStream_s {
  41. ZSTD_CStream* cstream;
  42. ZSTD_frameLog framelog;
  43. U32 frameCSize;
  44. U32 frameDSize;
  45. XXH64_state_t xxhState;
  46. U32 maxFrameSize;
  47. int writingSeekTable;
  48. };
  49. static size_t ZSTD_seekable_frameLog_allocVec(ZSTD_frameLog* fl)
  50. {
  51. /* allocate some initial space */
  52. size_t const FRAMELOG_STARTING_CAPACITY = 16;
  53. fl->entries = (framelogEntry_t*)malloc(
  54. sizeof(framelogEntry_t) * FRAMELOG_STARTING_CAPACITY);
  55. if (fl->entries == NULL) return ERROR(memory_allocation);
  56. fl->capacity = (U32)FRAMELOG_STARTING_CAPACITY;
  57. return 0;
  58. }
  59. static size_t ZSTD_seekable_frameLog_freeVec(ZSTD_frameLog* fl)
  60. {
  61. if (fl != NULL) free(fl->entries);
  62. return 0;
  63. }
  64. ZSTD_frameLog* ZSTD_seekable_createFrameLog(int checksumFlag)
  65. {
  66. ZSTD_frameLog* const fl = (ZSTD_frameLog*)malloc(sizeof(ZSTD_frameLog));
  67. if (fl == NULL) return NULL;
  68. if (ZSTD_isError(ZSTD_seekable_frameLog_allocVec(fl))) {
  69. free(fl);
  70. return NULL;
  71. }
  72. fl->checksumFlag = checksumFlag;
  73. fl->seekTablePos = 0;
  74. fl->seekTableIndex = 0;
  75. fl->size = 0;
  76. return fl;
  77. }
  78. size_t ZSTD_seekable_freeFrameLog(ZSTD_frameLog* fl)
  79. {
  80. ZSTD_seekable_frameLog_freeVec(fl);
  81. free(fl);
  82. return 0;
  83. }
  84. ZSTD_seekable_CStream* ZSTD_seekable_createCStream(void)
  85. {
  86. ZSTD_seekable_CStream* const zcs = (ZSTD_seekable_CStream*)malloc(sizeof(ZSTD_seekable_CStream));
  87. if (zcs == NULL) return NULL;
  88. memset(zcs, 0, sizeof(*zcs));
  89. zcs->cstream = ZSTD_createCStream();
  90. if (zcs->cstream == NULL) goto failed1;
  91. if (ZSTD_isError(ZSTD_seekable_frameLog_allocVec(&zcs->framelog))) goto failed2;
  92. return zcs;
  93. failed2:
  94. ZSTD_freeCStream(zcs->cstream);
  95. failed1:
  96. free(zcs);
  97. return NULL;
  98. }
  99. size_t ZSTD_seekable_freeCStream(ZSTD_seekable_CStream* zcs)
  100. {
  101. if (zcs == NULL) return 0; /* support free on null */
  102. ZSTD_freeCStream(zcs->cstream);
  103. ZSTD_seekable_frameLog_freeVec(&zcs->framelog);
  104. free(zcs);
  105. return 0;
  106. }
  107. size_t ZSTD_seekable_initCStream(ZSTD_seekable_CStream* zcs,
  108. int compressionLevel,
  109. int checksumFlag,
  110. unsigned maxFrameSize)
  111. {
  112. zcs->framelog.size = 0;
  113. zcs->frameCSize = 0;
  114. zcs->frameDSize = 0;
  115. /* make sure maxFrameSize has a reasonable value */
  116. if (maxFrameSize > ZSTD_SEEKABLE_MAX_FRAME_DECOMPRESSED_SIZE) {
  117. return ERROR(frameParameter_unsupported);
  118. }
  119. zcs->maxFrameSize = maxFrameSize ?
  120. maxFrameSize : ZSTD_SEEKABLE_MAX_FRAME_DECOMPRESSED_SIZE;
  121. zcs->framelog.checksumFlag = checksumFlag;
  122. if (zcs->framelog.checksumFlag) {
  123. XXH64_reset(&zcs->xxhState, 0);
  124. }
  125. zcs->framelog.seekTablePos = 0;
  126. zcs->framelog.seekTableIndex = 0;
  127. zcs->writingSeekTable = 0;
  128. return ZSTD_initCStream(zcs->cstream, compressionLevel);
  129. }
  130. size_t ZSTD_seekable_logFrame(ZSTD_frameLog* fl,
  131. unsigned compressedSize,
  132. unsigned decompressedSize,
  133. unsigned checksum)
  134. {
  135. if (fl->size == ZSTD_SEEKABLE_MAXFRAMES)
  136. return ERROR(frameIndex_tooLarge);
  137. /* grow the buffer if required */
  138. if (fl->size == fl->capacity) {
  139. /* exponential size increase for constant amortized runtime */
  140. size_t const newCapacity = fl->capacity * 2;
  141. framelogEntry_t* const newEntries = (framelogEntry_t*)realloc(fl->entries,
  142. sizeof(framelogEntry_t) * newCapacity);
  143. if (newEntries == NULL) return ERROR(memory_allocation);
  144. fl->entries = newEntries;
  145. assert(newCapacity <= UINT_MAX);
  146. fl->capacity = (U32)newCapacity;
  147. }
  148. fl->entries[fl->size] = (framelogEntry_t){
  149. compressedSize, decompressedSize, checksum
  150. };
  151. fl->size++;
  152. return 0;
  153. }
  154. size_t ZSTD_seekable_endFrame(ZSTD_seekable_CStream* zcs, ZSTD_outBuffer* output)
  155. {
  156. size_t const prevOutPos = output->pos;
  157. /* end the frame */
  158. size_t ret = ZSTD_endStream(zcs->cstream, output);
  159. zcs->frameCSize += (U32)(output->pos - prevOutPos);
  160. /* need to flush before doing the rest */
  161. if (ret) return ret;
  162. /* frame done */
  163. /* store the frame data for later */
  164. ret = ZSTD_seekable_logFrame(
  165. &zcs->framelog, zcs->frameCSize, zcs->frameDSize,
  166. zcs->framelog.checksumFlag
  167. ? XXH64_digest(&zcs->xxhState) & 0xFFFFFFFFU
  168. : 0);
  169. if (ret) return ret;
  170. /* reset for the next frame */
  171. zcs->frameCSize = 0;
  172. zcs->frameDSize = 0;
  173. ZSTD_CCtx_reset(zcs->cstream, ZSTD_reset_session_only);
  174. if (zcs->framelog.checksumFlag) XXH64_reset(&zcs->xxhState, 0);
  175. return 0;
  176. }
  177. size_t ZSTD_seekable_compressStream(ZSTD_seekable_CStream* zcs, ZSTD_outBuffer* output, ZSTD_inBuffer* input)
  178. {
  179. const BYTE* const inBase = (const BYTE*) input->src + input->pos;
  180. size_t inLen = input->size - input->pos;
  181. inLen = MIN(inLen, (size_t)(zcs->maxFrameSize - zcs->frameDSize));
  182. /* if we haven't finished flushing the last frame, don't start writing a new one */
  183. if (inLen > 0) {
  184. ZSTD_inBuffer inTmp = { inBase, inLen, 0 };
  185. size_t const prevOutPos = output->pos;
  186. size_t const ret = ZSTD_compressStream(zcs->cstream, output, &inTmp);
  187. if (zcs->framelog.checksumFlag) {
  188. XXH64_update(&zcs->xxhState, inBase, inTmp.pos);
  189. }
  190. zcs->frameCSize += (U32)(output->pos - prevOutPos);
  191. zcs->frameDSize += (U32)inTmp.pos;
  192. input->pos += inTmp.pos;
  193. if (ZSTD_isError(ret)) return ret;
  194. }
  195. if (zcs->maxFrameSize == zcs->frameDSize) {
  196. /* log the frame and start over */
  197. size_t const ret = ZSTD_seekable_endFrame(zcs, output);
  198. if (ZSTD_isError(ret)) return ret;
  199. /* get the client ready for the next frame */
  200. return (size_t)zcs->maxFrameSize;
  201. }
  202. return (size_t)(zcs->maxFrameSize - zcs->frameDSize);
  203. }
  204. static inline size_t ZSTD_seekable_seekTableSize(const ZSTD_frameLog* fl)
  205. {
  206. size_t const sizePerFrame = 8 + (fl->checksumFlag?4:0);
  207. size_t const seekTableLen = ZSTD_SKIPPABLEHEADERSIZE +
  208. sizePerFrame * fl->size +
  209. ZSTD_seekTableFooterSize;
  210. return seekTableLen;
  211. }
  212. static inline size_t ZSTD_stwrite32(ZSTD_frameLog* fl,
  213. ZSTD_outBuffer* output, U32 const value,
  214. U32 const offset)
  215. {
  216. if (fl->seekTablePos < offset + 4) {
  217. BYTE tmp[4]; /* so that we can work with buffers too small to write a whole word to */
  218. size_t const lenWrite =
  219. MIN(output->size - output->pos, offset + 4 - fl->seekTablePos);
  220. MEM_writeLE32(tmp, value);
  221. memcpy((BYTE*)output->dst + output->pos,
  222. tmp + (fl->seekTablePos - offset), lenWrite);
  223. output->pos += lenWrite;
  224. fl->seekTablePos += (U32)lenWrite;
  225. if (lenWrite < 4) return ZSTD_seekable_seekTableSize(fl) - fl->seekTablePos;
  226. }
  227. return 0;
  228. }
  229. size_t ZSTD_seekable_writeSeekTable(ZSTD_frameLog* fl, ZSTD_outBuffer* output)
  230. {
  231. /* seekTableIndex: the current index in the table and
  232. * seekTableSize: the amount of the table written so far
  233. *
  234. * This function is written this way so that if it has to return early
  235. * because of a small buffer, it can keep going where it left off.
  236. */
  237. size_t const sizePerFrame = 8 + (fl->checksumFlag?4:0);
  238. size_t const seekTableLen = ZSTD_seekable_seekTableSize(fl);
  239. CHECK_Z(ZSTD_stwrite32(fl, output, ZSTD_MAGIC_SKIPPABLE_START | 0xE, 0));
  240. assert(seekTableLen <= (size_t)UINT_MAX);
  241. CHECK_Z(ZSTD_stwrite32(fl, output, (U32)seekTableLen - ZSTD_SKIPPABLEHEADERSIZE, 4));
  242. while (fl->seekTableIndex < fl->size) {
  243. unsigned long long const start = ZSTD_SKIPPABLEHEADERSIZE + sizePerFrame * fl->seekTableIndex;
  244. assert(start + 8 <= UINT_MAX);
  245. CHECK_Z(ZSTD_stwrite32(fl, output,
  246. fl->entries[fl->seekTableIndex].cSize,
  247. (U32)start + 0));
  248. CHECK_Z(ZSTD_stwrite32(fl, output,
  249. fl->entries[fl->seekTableIndex].dSize,
  250. (U32)start + 4));
  251. if (fl->checksumFlag) {
  252. CHECK_Z(ZSTD_stwrite32(
  253. fl, output, fl->entries[fl->seekTableIndex].checksum,
  254. (U32)start + 8));
  255. }
  256. fl->seekTableIndex++;
  257. }
  258. assert(seekTableLen <= UINT_MAX);
  259. CHECK_Z(ZSTD_stwrite32(fl, output, fl->size,
  260. (U32)seekTableLen - ZSTD_seekTableFooterSize));
  261. if (output->size - output->pos < 1) return seekTableLen - fl->seekTablePos;
  262. if (fl->seekTablePos < seekTableLen - 4) {
  263. BYTE const sfd = (BYTE)((fl->checksumFlag) << 7);
  264. ((BYTE*)output->dst)[output->pos] = sfd;
  265. output->pos++;
  266. fl->seekTablePos++;
  267. }
  268. CHECK_Z(ZSTD_stwrite32(fl, output, ZSTD_SEEKABLE_MAGICNUMBER,
  269. (U32)seekTableLen - 4));
  270. if (fl->seekTablePos != seekTableLen) return ERROR(GENERIC);
  271. return 0;
  272. }
  273. size_t ZSTD_seekable_endStream(ZSTD_seekable_CStream* zcs, ZSTD_outBuffer* output)
  274. {
  275. if (!zcs->writingSeekTable && zcs->frameDSize) {
  276. const size_t endFrame = ZSTD_seekable_endFrame(zcs, output);
  277. if (ZSTD_isError(endFrame)) return endFrame;
  278. /* return an accurate size hint */
  279. if (endFrame) return endFrame + ZSTD_seekable_seekTableSize(&zcs->framelog);
  280. }
  281. zcs->writingSeekTable = 1;
  282. return ZSTD_seekable_writeSeekTable(&zcs->framelog, output);
  283. }