forked from xoofx/Blake3.NET
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathHasher.cs
More file actions
439 lines (400 loc) · 16.9 KB
/
Hasher.cs
File metadata and controls
439 lines (400 loc) · 16.9 KB
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
// Copyright (c) Alexandre Mutel. All rights reserved.
// Licensed under the BSD-Clause 2 license.
// See license.txt file in the project root for full license information.
using System;
using System.Diagnostics.CodeAnalysis;
using System.Runtime.CompilerServices;
using System.Runtime.InteropServices;
using System.Text;
namespace Blake3;
/// <summary>
/// An incremental hash state that can accept any number of writes.
/// </summary>
/// <remarks>
/// Performance note: The <see cref="Update{T}"/> and <see cref="UpdateWithJoin{T}"/> methods perform poorly when the caller's input buffer is small.
/// See their method docs below. A 16 KiB buffer is large enough to leverage all currently supported SIMD instruction sets.
/// </remarks>
public unsafe partial struct Hasher : IDisposable
{
private const string DllName = "blake3_dotnet";
private void* _hasher;
/// <summary>
/// We are taking a limit of 1024 bytes to switch to a preemptive version,
/// as it takes around 1μs on a x64 very recent CPU to complete, which is
/// better aligned with the documentation of <see cref="SuppressGCTransitionAttribute"/>:
/// `Native function always executes for a trivial amount of time (less than 1 microsecond).`
/// </summary>
private const int LimitPreemptive = 1024;
/// <summary>
/// Invalid constructor.
/// </summary>
[Obsolete("Use New() to create a new instance of Hasher", true)]
public Hasher()
{
}
private Hasher(void* hasher)
{
_hasher = hasher;
}
/// <summary>
/// The default hash function.
/// </summary>
/// <param name="input">The input data to hash.</param>
/// <returns>The calculated 256-bit/32-byte hash.</returns>
/// <remarks>
/// For an incremental version that accepts multiple writes <see cref="Update{T}"/>
/// This function is always single-threaded. For multi-threading support <see cref="UpdateWithJoin"/>
/// </remarks>
[SkipLocalsInit]
public static Hash Hash(ReadOnlySpan<byte> input)
{
var hash = new Hash();
fixed (void* ptr = input)
{
var size = input.Length;
if (size <= LimitPreemptive)
{
blake3_hash(ptr, (void*) size, &hash);
}
else
{
blake3_hash_preemptive(ptr, (void*)size, &hash);
}
}
return hash;
}
/// <summary>
/// The default hash function.
/// </summary>
/// <param name="input">The input data to hash.</param>
/// <param name="output">The output hash.</param>
/// <remarks>
/// For an incremental version that accepts multiple writes <see cref="Update{T}"/>
/// This function is always single-threaded. For multi-threading support <see cref="UpdateWithJoin"/>
/// </remarks>
public static void Hash(ReadOnlySpan<byte> input, Span<byte> output)
{
if (output.Length == 32)
{
fixed (void* ptrOut = output)
fixed (void* ptr = input)
{
var size = input.Length;
if (size <= LimitPreemptive)
{
blake3_hash(ptr, (void*) size, ptrOut);
}
else
{
blake3_hash_preemptive(ptr, (void*) size, ptrOut);
}
}
}
else
{
using var hasher = New();
hasher.Update(input);
hasher.Finalize(output);
}
}
/// <summary>
/// Dispose this instance.
/// </summary>
public void Dispose()
{
if (_hasher != null) blake3_delete(_hasher);
_hasher = null;
}
/// <summary>
/// Reset the Hasher to its initial state.
/// </summary>
/// <remarks>
/// This is functionally the same as overwriting the Hasher with a new one, using the same key or context string if any.
/// However, depending on how much inlining the optimizer does, moving a Hasher might copy its entire CV stack, most of which is useless uninitialized bytes.
/// This methods avoids that copy.
/// </remarks>
public void Reset()
{
if (_hasher == null) ThrowNullReferenceException();
blake3_reset(_hasher);
}
/// <summary>
/// Add input bytes to the hash state. You can call this any number of times.
/// </summary>
/// <param name="data">The input data byte buffer to hash.</param>
/// <remarks>
/// This method is always single-threaded. For multi-threading support, see <see cref="UpdateWithJoin"/> below.
///
/// Note that the degree of SIMD parallelism that update can use is limited by the size of this input buffer.
/// The 8 KiB buffer currently used by std::io::copy is enough to leverage AVX2, for example, but not enough to leverage AVX-512.
/// A 16 KiB buffer is large enough to leverage all currently supported SIMD instruction sets.
/// </remarks>
public void Update(ReadOnlySpan<byte> data)
{
if (_hasher == null) ThrowNullReferenceException();
fixed (void* ptr = data)
{
FastUpdate(_hasher, ptr, data.Length);
}
}
/// <summary>
/// Add input data to the hash state. You can call this any number of times.
/// </summary>
/// <typeparam name="T">Type of the data</typeparam>
/// <param name="data">The data span to hash.</param>
/// <remarks>
/// This method is always single-threaded. For multi-threading support, see <see cref="UpdateWithJoin"/> below.
///
/// Note that the degree of SIMD parallelism that update can use is limited by the size of this input buffer.
/// The 8 KiB buffer currently used by std::io::copy is enough to leverage AVX2, for example, but not enough to leverage AVX-512.
/// A 16 KiB buffer is large enough to leverage all currently supported SIMD instruction sets.
/// </remarks>
public void Update<T>(ReadOnlySpan<T> data) where T : unmanaged
{
if (_hasher == null) ThrowNullReferenceException();
fixed (void* ptr = data)
{
FastUpdate(_hasher, ptr, data.Length * sizeof(T));
}
}
/// <summary>
/// Add input bytes to the hash state, as with update, but potentially using multi-threading.
/// </summary>
/// <param name="data">The input byte buffer.</param>
/// <remarks>
/// To get any performance benefit from multi-threading, the input buffer size needs to be very large.
/// As a rule of thumb on x86_64, there is no benefit to multi-threading inputs less than 128 KiB.
/// Other platforms have different thresholds, and in general you need to benchmark your specific use case.
/// Where possible, memory mapping an entire input file is recommended, to take maximum advantage of multi-threading without needing to tune a specific buffer size.
/// Where memory mapping is not possible, good multi-threading performance requires doing IO on a background thread, to avoid sleeping all your worker threads while the input buffer is (serially) refilled.
/// This is quite complicated compared to memory mapping.
/// </remarks>
public void UpdateWithJoin(ReadOnlySpan<byte> data)
{
if (data == null) ThrowArgumentNullException();
if (_hasher == null) ThrowNullReferenceException();
fixed (void* ptr = data)
{
blake3_update_rayon(_hasher, ptr, (void*)data.Length);
}
}
/// <summary>
/// Add input data span to the hash state, as with update, but potentially using multi-threading.
/// </summary>
/// <param name="data">The input data buffer.</param>
/// <remarks>
/// To get any performance benefit from multi-threading, the input buffer size needs to be very large.
/// As a rule of thumb on x86_64, there is no benefit to multi-threading inputs less than 128 KiB.
/// Other platforms have different thresholds, and in general you need to benchmark your specific use case.
/// Where possible, memory mapping an entire input file is recommended, to take maximum advantage of multi-threading without needing to tune a specific buffer size.
/// Where memory mapping is not possible, good multi-threading performance requires doing IO on a background thread, to avoid sleeping all your worker threads while the input buffer is (serially) refilled.
/// This is quite complicated compared to memory mapping.
/// </remarks>
public void UpdateWithJoin<T>(ReadOnlySpan<T> data) where T : unmanaged
{
if (_hasher == null) ThrowNullReferenceException();
fixed (void* ptr = data)
{
void* size = (void*) (IntPtr) (data.Length * sizeof(T));
blake3_update_rayon(_hasher, ptr, size);
}
}
/// <summary>
/// Finalize the hash state and return the Hash of the input.
/// </summary>
/// <returns>The calculated 256-bit/32-byte hash.</returns>
/// <remarks>
/// This method is idempotent. Calling it twice will give the same result. You can also add more input and finalize again.
/// </remarks>
[SkipLocalsInit]
#pragma warning disable 465
public Hash Finalize()
#pragma warning restore 465
{
var hash = new Hash();
blake3_finalize(_hasher, &hash);
return hash;
}
/// <summary>
/// Finalize the hash state to the output span, which can supply any number of output bytes.
/// </summary>
/// <param name="hash">The output hash, which can supply any number of output bytes.</param>
/// <remarks>
/// This method is idempotent. Calling it twice will give the same result. You can also add more input and finalize again.
/// </remarks>
public void Finalize(Span<byte> hash)
{
if (_hasher == null) ThrowNullReferenceException();
ref var pData = ref MemoryMarshal.GetReference(hash);
fixed (void* ptr = &pData)
{
var size = hash.Length;
if (size == Blake3.Hash.Size)
{
blake3_finalize(_hasher, ptr);
}
else
{
blake3_finalize_xof(_hasher, ptr, (void*)(IntPtr)hash.Length);
}
}
}
/// <summary>
/// Finalize the hash state to the output span, which can supply any number of output bytes.
/// </summary>
/// <param name="offset">The offset to seek to in the output stream, relative to the start.</param>
/// <param name="hash">The output hash, which can supply any number of output bytes.</param>
/// <remarks>
/// This method is idempotent. Calling it twice will give the same result. You can also add more input and finalize again.
/// </remarks>
public void Finalize(ulong offset, Span<byte> hash)
{
if (_hasher == null) ThrowNullReferenceException();
ref var pData = ref MemoryMarshal.GetReference(hash);
fixed (void* ptr = &pData)
{
blake3_finalize_seek_xof(_hasher, offset, ptr, (void*)(IntPtr)hash.Length);
}
}
/// <summary>
/// Finalize the hash state to the output span, which can supply any number of output bytes.
/// </summary>
/// <param name="offset">The offset to seek to in the output stream, relative to the start.</param>
/// <param name="hash">The output hash, which can supply any number of output bytes.</param>
/// <remarks>
/// This method is idempotent. Calling it twice will give the same result. You can also add more input and finalize again.
/// </remarks>
public void Finalize(long offset, Span<byte> hash)
{
Finalize((ulong)offset, hash);
}
/// <summary>
/// Construct a new Hasher for the regular hash function.
/// </summary>
/// <returns>A new instance of the hasher</returns>
/// <remarks>
/// The struct returned needs to be disposed explicitly.
/// </remarks>
public static Hasher New()
{
return new Hasher(blake3_new());
}
/// <summary>
/// Construct a new Hasher for the keyed hash function.
/// </summary>
/// <param name="key">A 32 byte key.</param>
/// <returns>A new instance of the hasher</returns>
/// <remarks>
/// The struct returned needs to be disposed explicitly.
/// </remarks>
public static Hasher NewKeyed(ReadOnlySpan<byte> key)
{
if (key.Length != 32) throw new ArgumentOutOfRangeException(nameof(key), "Expecting the key to be 32 bytes");
fixed(void* ptr = key)
return new Hasher(blake3_new_keyed(ptr));
}
/// <summary>
/// Construct a new Hasher for the key derivation function.
/// </summary>
/// <returns>A new instance of the hasher</returns>
/// <remarks>
/// The struct returned needs to be disposed explicitly.
/// </remarks>
public static Hasher NewDeriveKey(string text)
{
return NewDeriveKey(Encoding.UTF8.GetBytes(text));
}
/// <summary>
/// Construct a new Hasher for the key derivation function.
/// </summary>
/// <returns>A new instance of the hasher</returns>
/// <remarks>
/// The struct returned needs to be disposed explicitly.
/// </remarks>
public static Hasher NewDeriveKey(ReadOnlySpan<byte> str)
{
fixed(void* ptr = str)
return new Hasher(blake3_new_derive_key(ptr, (void*)str.Length));
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
private static void FastUpdate(void* hasher, void* ptr, long size)
{
if (size <= LimitPreemptive)
{
blake3_update(hasher, ptr, (void*)size);
}
else
{
blake3_update_preemptive(hasher, ptr, (void*)size);
}
}
[DoesNotReturn]
[MethodImpl(MethodImplOptions.NoInlining)]
private static void ThrowNullReferenceException()
{
throw new NullReferenceException("The Hasher is not initialized or already destroyed.");
}
[DoesNotReturn]
[MethodImpl(MethodImplOptions.NoInlining)]
private static void ThrowArgumentNullException()
{
// ReSharper disable once NotResolvedInText
throw new ArgumentNullException("data");
}
[DoesNotReturn]
[MethodImpl(MethodImplOptions.NoInlining)]
private static void ThrowArgumentOutOfRange(int size)
{
// ReSharper disable once NotResolvedInText
throw new ArgumentOutOfRangeException("output", $"Invalid size {size} of the output buffer. Expecting >= 32");
}
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void* blake3_new();
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void* blake3_new_keyed(void* ptr32Bytes);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void* blake3_new_derive_key(void* ptr, void* size);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_hash(void* ptr, void* size, void* ptrOut);
[LibraryImport(DllName, EntryPoint = "blake3_hash")]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_hash_preemptive(void* ptr, void* size, void* ptrOut);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_delete(void* hasher);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_reset(void* hasher);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_update(void* hasher, void* ptr, void* size);
[LibraryImport(DllName, EntryPoint = "blake3_update")]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_update_preemptive(void* hasher, void* ptr, void* size);
[LibraryImport(DllName)]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_update_rayon(void* hasher, void* ptr, void* size);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_finalize(void* hasher, void* ptr);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_finalize_xof(void* hasher, void* ptr, void* size);
[LibraryImport(DllName)]
[SuppressGCTransition]
[UnmanagedCallConv(CallConvs = new Type[] { typeof(CallConvCdecl) })]
private static partial void blake3_finalize_seek_xof(void* hasher, ulong offset, void* ptr, void* size);
}