-
Notifications
You must be signed in to change notification settings - Fork 18.1k
hash: add Clone #69521
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
Related Issues and Documentation
(Emoji vote if this was helpful or unhelpful; more detailed feedback welcome in this discussion.) |
How do you intend to implement the fallback path in Clone? MarshalBinary + UnmarshalBinary only gives you the ability to save and restore a Hash's state, not construct a new instance of it. You might be able to do it with reflect but it sounds like we're trying to avoid reflect. |
I'll also point out that, when using Clone to optimize repeated hashes with the same prefix, you really want to pair it with a Set method which copies the hash state from one existing instance to another. e.g. h := newHash()
h.Write(prefix)
h0 := h.Clone() // allocates
for _, message := range messages {
h.Set(h0) // doesn't allocate
h.Write(message)
fmt.Println(h.Sum(nil))
} Otherwise, without Set, you end up creating unavoidable garbage on every message. h0 := newHash()
h0.Write(prefix)
for _, message := range messages {
h := h0.Clone() // allocates
h.Write(message)
fmt.Println(h.Sum(nil))
} My initial stab at the hmac optimization (before hashes implemented BinaryMarshaler and BinaryUnmarshaler) combined type HashCloner interface {
hash.Hash
// Clone returns a copy of its reciever, reusing the provided Hash if possible
Clone(hash.Hash) hash.Hash
} It looks a little odd but ends up being fairly ergonomic. One advantage this definition has over separate Clone and Set methods is that there is a nice answer for what to do when the argument and receiver types do not match: just allocate a new value. Whereas // Example implementation for sha1.digest
func (d0 *digest) Clone(h hash.Hash) hash.Hash {
d, ok := h.(*digest)
if !ok {
d = new(digest)
}
*d = *d0
return d
} h0 := newHash()
h0.Write(prefix)
var h hash.Hash
for _, message := range messages {
h = h0.Clone(h) // allocates on first iteration, reuses h on subsequent iterations
h.Write(message)
fmt.Println(h.Sum(nil))
} |
This proposal tackles the same problem that made me start drafting #69293: there is no clean way to clone hashes. About the proposed My motivation to have a common way to clone hash objects is to improve the compatibility of several hash implementations that I've implemented using CNG and OpenSSL with those libraries that are currently using MarshalBinary + UnmarshalBinary to clone a hash. The issue is that CNG/OpenSSL don't provide an API to serialize the internal state of a given hash, but they do provide APIs to clone a hash object. |
Doh. Yes, that doesn't make sense, thank you. We discussed this with @rsc and it it would make sense to follow the
The question is whether we can make it not allocate by a combination of devirtualization and inlining. I think the answer is yes if either the type of the Hash passed to Clone devirtualizes or if it's a concrete type. Notably, I think the This isn't really urgent for Go 1.24. I don't want to add Clone methods to the new crypto/sha3 types (#69982) until we decide this, because there's a risk we'll make them not implement the interface, but crypto/sha3 can start with just MarshalBinary/UnmarshalBinary like every other stdlib Hash. |
Currently it would not work, see #64824. |
@FiloSottile the io/fs pattern always includes the base interface, so: type CloneHash interface {
hash.Hash
Clone() hash.Hash
} What do you think? EDIT: or even: type CloneHash interface {
hash.Hash
Clone() hash.CloneHash
} |
Ah yes, that's what I meant to write. Not sure about returning a |
This way we also make sure that the returned (cloned) hash implements the |
Has a generic hash.Clone been ruled out? |
@FiloSottile Do we plan to implement this new interface by the |
Or instead we can check whether the hash implements the new interface in |
Good point on crypto/hmac. I think I like the option of choosing the implementation in |
This might cause issues in the future if we would like to make Lines 34 to 37 in bea9b91
|
This proposal has been added to the active column of the proposals project |
Talked to @FiloSottile about this and we agreed to leave this for Go 1.25. |
It sounds like we agree on:
Do I have that right? (I'm assuming we ignore CloneXOF until XOF is accepted, and it can be part of the XOF proposal.) |
Personally i think that we should treat |
Given that we're trying to move toward concrete hash types, it would be nice if you could clone a concrete hash type and get back the same concrete hash type. However, I can't quite figure out how to make this work because General question: Why do people need to clone hash functions? I think understanding this would help us in evaluating this proposal. @magical mentioned using this to "optimize repeated hashes with the same prefix", but I don't actually know why people would want to do that either. |
Re the failure case where a hash doesn't implement the interface, is this essentially only going to be the case for hashes implemented outside of the standard library? (Since we explicitly document I'm not really sure how common this is. There are plausibly hashes we don't implement, but I'm not sure I've ever actually seen anyone do this. Of course I'm not saying it doesn't happen, but I'm wondering how much complexity we should incur to handle this case, especially if it's extremely rare. |
This proposal has been added to the active column of the proposals project |
From CL 644275 , Regarding crypto/hmac, there is another option. If it cannot be cloned, it should panic, similar to the panic of reflect.Value.Seq over values that cannot be iterated. |
This test helper can test any hash.Hash, not just crypto hashes. Move it to $GOROOT/src/internal/testhash so both crypto and hash can use it. For #69521 Change-Id: Iac086cca513d5c03936e35d1ab55b8636f4652f7 Reviewed-on: https://go-review.googlesource.com/c/go/+/670178 Reviewed-by: qiu laidongfeng2 <[email protected]> Auto-Submit: Austin Clements <[email protected]> Reviewed-by: Roland Shoemaker <[email protected]> LUCI-TryBot-Result: Go LUCI <[email protected]>
For #69521 Change-Id: I4e056253f94ad421fcef12d21edaaaf2517b64c1 Reviewed-on: https://go-review.googlesource.com/c/go/+/670179 LUCI-TryBot-Result: Go LUCI <[email protected]> Auto-Submit: Austin Clements <[email protected]> Reviewed-by: qiu laidongfeng2 <[email protected]> Reviewed-by: Roland Shoemaker <[email protected]>
It's okay for For Clone, there's currently no way to check, meaning every generic Clone call would have to defensively handle the panic. If we were to allow Clone to panic, we'd need to add a |
The proposal committee discussed this and decided that, while there isn't a perfect choice, returning ErrUnsupported seems like the best option. This is literally the exact situation that's meant for. Panicking isn't ideal because it requires defensively handling the panic, and it would be easy to forget. Returning nil isn't a great option because it would also be very easy to forget to check for and would likely immediately lead to a more confusing panic. It could return a bool, but that's not very self-descriptive or standard. |
Based on the discussion above, this proposal seems like a likely accept. The proposal is to add the following to the package hash
// A Cloner is a hash function whose state can be cloned.
// All hashes in the standard library implement this interface.
// If a hash can only determine at runtime if it can be cloned,
// (e.g., if it wraps another hash), it may return [errors.ErrUnsupported].
type Cloner interface {
Hash
Clone() (Cloner, error)
} And to implement the As a follow-on, ideally the compiler would implement optimizations such that, if the concrete type of the hash is fixed, it's possible to write an allocation-free Clone method. |
I already mailed CL 652036 for this. I added a test case for the new API and it still works. Not sure whether we want this for 1.25 though or whether we should defer that to 1.26. |
Change https://go.dev/cl/674917 mentions this issue: |
Since package hash is just the interface definition, not an implementation, we can make a good argument that it doesn't impact the security of the module and can be imported from outside. For #69521 Change-Id: I6a6a4656b9c3cac8bb9ab8e8df11fa3238dc5d1d Reviewed-on: https://go-review.googlesource.com/c/go/+/674917 Reviewed-by: Roland Shoemaker <[email protected]> LUCI-TryBot-Result: Go LUCI <[email protected]> Reviewed-by: Daniel McCarney <[email protected]> Reviewed-by: David Chase <[email protected]> Auto-Submit: Filippo Valsorda <[email protected]>
Change https://go.dev/cl/675197 mentions this issue: |
No change in consensus, so accepted. 🎉 The proposal is to add the following to the package hash
// A Cloner is a hash function whose state can be cloned.
// All hashes in the standard library implement this interface.
// If a hash can only determine at runtime if it can be cloned,
// (e.g., if it wraps another hash), it may return [errors.ErrUnsupported].
type Cloner interface {
Hash
Clone() (Cloner, error)
} And to implement the |
Unfortunately i was sleeping when the CL was reviewed :), so i haven't got a chance to take a look before it got submitted so i have question:
Lines 65 to 66 in 53b9eae
But Lines 81 to 86 in 53b9eae
Is this fine? The version #69521 (comment) noted that it wraps, but a docs version with an non-wrapping doc comment was accepted. |
Good catch, I mailed CL 675555. |
Change https://go.dev/cl/675555 mentions this issue: |
Since package hash is just the interface definition, not an implementation, we can make a good argument that it doesn't impact the security of the module and can be imported from outside. For golang#69521 Change-Id: I6a6a4656b9c3cac8bb9ab8e8df11fa3238dc5d1d Reviewed-on: https://go-review.googlesource.com/c/go/+/674917 Reviewed-by: Roland Shoemaker <[email protected]> LUCI-TryBot-Result: Go LUCI <[email protected]> Reviewed-by: Daniel McCarney <[email protected]> Reviewed-by: David Chase <[email protected]> Auto-Submit: Filippo Valsorda <[email protected]>
Fixes golang#69521 Co-authored-by: qiulaidongfeng <[email protected]> Change-Id: I6a6a465652f5ab7e6c9054e826e17df2b8b34e41 Reviewed-on: https://go-review.googlesource.com/c/go/+/675197 Reviewed-by: Roland Shoemaker <[email protected]> Auto-Submit: Filippo Valsorda <[email protected]> Reviewed-by: David Chase <[email protected]> LUCI-TryBot-Result: Go LUCI <[email protected]>
There isn't a general way to clone the state of a hash.Hash, but #20573 introduced the concept of hash.Hash implementations also implementing encoding.BinaryMarshaler and encoding.BinaryUnmarshaler, and the hash.Hash docs commit our implementations to doing that.
That allows cloning the hash state without recomputing it, as done in HMAC.
go/src/crypto/hmac/hmac.go
Lines 96 to 103 in db40d1a
However, it's obscure and pretty clunky to use.
I propose we add a
hash.Clone
helper function.In practice, we should only fallback to BinaryMarshaler + BinaryUnmarshaler for the general case, while for standard library implementations we can do an undocumented interface upgrade to
interface { Clone() Hash }
. In that sense,hash.Clone
is a way to hide the interface upgrade as a more discoverable and easier to use function.(Yet another example of why we should be returning concrete types everywhere rather than interfaces.)
CloneXOF
If #69518 is accepted, I propose we also add hash.CloneXOF.
None of our XOFs actually implement BinaryMarshaler + BinaryUnmarshaler, but they have their own interface methods
Clone() ShakeHash
andClone() XOF
that each return an interface. I can't really think of a way to use them from CloneXOF, so instead we can add hidden methodsCloneXOF() hash.XOF
and interface upgrade to them.As we look at moving packages from x/crypto to the standard library (#65269) we should switch x/crypto/sha3 and x/crypto/blake2[bs] from returning interfaces to returning concrete types, at least for XOFs. Then they can have a
Clone()
method that returns a concrete type, and aCloneXOF()
method that returns a hash.XOF interface and enableshash.CloneXOF
.(If anyone has better ideas for how to make this less redundant, I would welcome them. I considered and rejected using reflect to call the existing Clone methods because hash is a pretty core package. This sort of interface-method-that-needs-to-return-a-value-implementing-said-interface scenarios are always annoying.)
/cc @golang/security @cpu @qmuntal (who filed something similar in #69293, as I found while searching refs for this)
The text was updated successfully, but these errors were encountered: