blob: 5c1b1ec1d22be0f8fe1a5a4d16db3e2f31c44fd3 [file] [log] [blame]
# A new Go API for Protocol Buffers
2 Mar 2020
Tags: protobuf, technical
Summary: Announcing a major revision of the Go API for protocol buffers.
Joe Tsai, Damien Neil, and Herbie Ong
## Introduction
We are pleased to announce the release of a major revision of the Go API for
[protocol buffers](https://developers.google.com/protocol-buffers),
Google's language-neutral data interchange format.
## Motivations for a new API
The first protocol buffer bindings for Go were
[announced by Rob Pike](https://blog.golang.org/third-party-libraries-goprotobuf-and)
in March of 2010. Go 1 would not be released for another two years.
In the decade since that first release, the package has grown and
developed along with Go. Its users' requirements have grown too.
Many people want to write programs that use reflection to examine protocol
buffer messages. The
[`reflect`](https://pkg.go.dev/reflect)
package provides a view of Go types and
values, but omits information from the protocol buffer type system. For
example, we might want to write a function that traverses a log entry and
clears any field annotated as containing sensitive data. The annotations
are not part of the Go type system.
Another common desire is to use data structures other than the ones
generated by the protocol buffer compiler, such as a dynamic message type
capable of representing messages whose type is not known at compile time.
We also observed that a frequent source of problems was that the
[`proto.Message`](https://pkg.go.dev/github.com/golang/protobuf/proto?tab=doc#Message)
interface, which identifies values of generated message types, does very
little to describe the behavior of those types. When users create types
that implement that interface (often inadvertently by embedding a message
in another struct) and pass values of those types to functions expecting
a generated message value, programs crash or behave unpredictably.
All three of these problems have a common cause, and a common solution:
The `Message` interface should fully specify the behavior of a message,
and functions operating on `Message` values should freely accept any
type that correctly implements the interface.
Since it is not possible to change the existing definition of the
`Message` type while keeping the package API compatible, we decided that
it was time to begin work on a new, incompatible major version of the
protobuf module.
Today, we're pleased to release that new module. We hope you like it.
## Reflection
Reflection is the flagship feature of the new implementation. Similar
to how the `reflect` package provides a view of Go types and values, the
[`google.golang.org/protobuf/reflect/protoreflect`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc)
package provides a view of values according to the protocol buffer
type system.
A complete description of the `protoreflect` package would run too long
for this post, but let's look at how we might write the log-scrubbing
function we mentioned previously.
First, we'll write a `.proto` file defining an extension of the
[`google.protobuf.FieldOptions`](https://github.com/protocolbuffers/protobuf/blob/b96241b1b716781f5bc4dc25e1ebb0003dfaba6a/src/google/protobuf/descriptor.proto#L509)
type so we can annotate fields as containing
sensitive information or not.
syntax = "proto3";
import "google/protobuf/descriptor.proto";
package golang.example.policy;
extend google.protobuf.FieldOptions {
bool non_sensitive = 50000;
}
We can use this option to mark certain fields as non-sensitive.
message MyMessage {
string public_name = 1 [(golang.example.policy.non_sensitive) = true];
}
Next, we will write a Go function which accepts an arbitrary message
value and removes all the sensitive fields.
// Redact clears every sensitive field in pb.
func Redact(pb proto.Message) {
// ...
}
This function accepts a
[`proto.Message`](https://pkg.go.dev/google.golang.org/protobuf/proto?tab=doc#Message),
an interface type implemented by all generated message types. This type
is an alias for one defined in the `protoreflect` package:
type ProtoMessage interface{
ProtoReflect() Message
}
To avoid filling up the namespace of generated
messages, the interface contains only a single method returning a
[`protoreflect.Message`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc#Message),
which provides access to the message contents.
(Why an alias? Because `protoreflect.Message` has a corresponding
method returning the original `proto.Message`, and we need to avoid an
import cycle between the two packages.)
The
[`protoreflect.Message.Range`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc#Message.Range)
method calls a function for every populated field in a message.
m := pb.ProtoReflect()
m.Range(func(fd protoreflect.FieldDescriptor, v protoreflect.Value) bool {
// ...
return true
})
The range function is called with a
[`protoreflect.FieldDescriptor`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc#FieldDescriptor)
describing the protocol buffer type of the field, and a
[`protoreflect.Value`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc#Value)
containing the field value.
The
[`protoreflect.FieldDescriptor.Options`](https://pkg.go.dev/google.golang.org/protobuf/reflect/protoreflect?tab=doc#Descriptor.Options)
method returns the field options as a `google.protobuf.FieldOptions`
message.
opts := fd.Options().(*descriptorpb.FieldOptions)
(Why the type assertion? Since the generated `descriptorpb` package
depends on `protoreflect`, the `protoreflect` package can't return the
concrete options type without causing an import cycle.)
We can then check the options to see the value of our extension boolean:
if proto.GetExtension(opts, policypb.E_NonSensitive).(bool) {
return true // don't redact non-sensitive fields
}
Note that we are looking at the field _descriptor_ here, not the field
_value_. The information we're interested in lies in the protocol
buffer type system, not the Go one.
This is also an example of an area where we
have simplified the `proto` package API. The original
[`proto.GetExtension`](https://pkg.go.dev/github.com/golang/protobuf/proto?tab=doc#GetExtension)
returned both a value and an error. The new
[`proto.GetExtension`](https://pkg.go.dev/google.golang.org/protobuf/proto?tab=doc#GetExtension)
returns just a value, returning the default value for the field if it is
not present. Extension decoding errors are reported at `Unmarshal` time.
Once we have identified a field that needs redaction, clearing it is simple:
m.Clear(fd)
Putting all the above together, our complete redaction function is:
// Redact clears every sensitive field in pb.
func Redact(pb proto.Message) {
m := pb.ProtoReflect()
m.Range(func(fd protoreflect.FieldDescriptor, v protoreflect.Value) bool {
opts := fd.Options().(*descriptorpb.FieldOptions)
if proto.GetExtension(opts, policypb.E_NonSensitive).(bool) {
return true
}
m.Clear(fd)
return true
})
}
A more complete implementation might recursively descend into
message-valued fields. We hope that this simple example gives a
taste of protocol buffer reflection and its uses.
## Versions
We call the original version of Go protocol buffers APIv1, and the
new one APIv2. Because APIv2 is not backwards compatible with APIv1,
we need to use different module paths for each.
(These API versions are not the same as the versions of the protocol
buffer language: `proto1`, `proto2`, and `proto3`. APIv1 and APIv2
are concrete implementations in Go that both support the `proto2` and
`proto3` language versions.)
The
[`github.com/golang/protobuf`](https://pkg.go.dev/github.com/golang/protobuf?tab=overview)
module is APIv1.
The
[`google.golang.org/protobuf`](https://pkg.go.dev/google.golang.org/protobuf?tab=overview)
module is APIv2. We have taken advantage of the need to change the
import path to switch to one that is not tied to a specific hosting
provider. (We considered `google.golang.org/protobuf/v2`, to make it
clear that this is the second major version of the API, but settled on
the shorter path as being the better choice in the long term.)
We know that not all users will move to a new major version of a package
at the same rate. Some will switch quickly; others may remain on the old
version indefinitely. Even within a single program, some parts may use
one API while others use another. It is essential, therefore, that we
continue to support programs that use APIv1.
- `github.com/golang/protobuf@v1.3.4` is the most recent pre-APIv2 version of APIv1.
- `github.com/golang/protobuf@v1.4.0` is a version of APIv1 implemented in terms of APIv2.
The API is the same, but the underlying implementation is backed by the new one.
This version contains functions to convert between the APIv1 and APIv2 `proto.Message`
interfaces to ease the transition between the two.
- `google.golang.org/protobuf@v1.20.0` is APIv2.
This module depends upon `github.com/golang/protobuf@v1.4.0`,
so any program which uses APIv2 will automatically pick a version of APIv1
which integrates with it.
(Why start at version `v1.20.0`? To provide clarity.
We do not anticipate APIv1 to ever reach `v1.20.0`,
so the version number alone should be enough to unambiguously differentiate
between APIv1 and APIv2.)
We intend to maintain support for APIv1 indefinitely.
This organization ensures that any given program will use only a single
protocol buffer implementation, regardless of which API version it uses.
It permits programs to adopt the new API gradually, or not at all, while
still gaining the advantages of the new implementation. The principle of
minimum version selection means that programs may remain on the old
implementation until the maintainers choose to update to the new one
(either directly, or by updating a dependency).
## Additional features of note
The
[`google.golang.org/protobuf/encoding/protojson`](https://pkg.go.dev/google.golang.org/protobuf/encoding/protojson)
package converts protocol buffer messages to and from JSON using the
[canonical JSON mapping](https://developers.google.com/protocol-buffers/docs/proto3#json),
and fixes a number of issues with the old `jsonpb` package
that were difficult to change without causing problems for existing users.
The
[`google.golang.org/protobuf/types/dynamicpb`](https://pkg.go.dev/google.golang.org/protobuf/types/dynamicpb)
package provides an implementation of `proto.Message` for messages whose
protocol buffer type is derived at runtime.
The
[`google.golang.org/protobuf/testing/protocmp`](https://pkg.go.dev/google.golang.org/protobuf/testing/protocmp)
package provides functions to compare protocol buffer messages with the
[`github.com/google/cmp`](https://pkg.go.dev/github.com/google/go-cmp/cmp)
package.
The
[`google.golang.org/protobuf/compiler/protogen`](https://pkg.go.dev/google.golang.org/protobuf/compiler/protogen?tab=doc)
package provides support for writing protocol compiler plugins.
## Conclusion
The `google.golang.org/protobuf` module is a major overhaul of
Go's support for protocol buffers, providing first-class support
for reflection, custom message implementations, and a cleaned up API
surface. We intend to maintain the previous API indefinitely as a wrapper
of the new one, allowing users to adopt the new API incrementally at
their own pace.
Our goal in this update is to improve upon the benefits of the old
API while addressing its shortcomings. As we completed each component of
the new implementation, we put it into use within Google's codebase. This
incremental rollout has given us confidence in both the usability of the new
API and the performance and correctness of the new implementation. We believe
it is production ready.
We are excited about this release and hope that it will serve the Go
ecosystem for the next ten years and beyond!