The cost and complexity of Cgo

Last edited on December 10, 2015

0 minute read

    Cgo is a pretty important part of Go: It’s your window to calling anything that isn’t Go (or, more precisely, anything that has C bindings).

    For CockroachDB, cgo lets us delegate a lot of the heavy lifting at the storage layer to RocksDB, for which no suitable replacement within the Go ecosystem exists, at least to the best of our knowledge. After some iterations, we’ve found that the right way to deal with these external libraries – of which we have quite a few – is to outsource them in Go wrapper packages:

    But as well as using cgo has worked for us, it hasn’t come for free.

    The experienced cgo-er will probably know this (and might prefer to lightly skim over the remainder of this post absentmindedly), but using cgo comes with some caveats that we’ll discuss below along with our suggested workarounds.

    Call OverheadCopy Icon

    The overhead of a cgo call will be orders of magnitude larger than that of a call within Go. That sounds horrible, but isn’t actually an issue in many applications. Let’s take a look via this toy cgobench package::

    func BenchmarkCGO(b *testing.B) { CallCgo(b.N) // call `C.(void f() {})` b.N times } // BenchmarkGo must be called with `-gcflags -l` to avoid inlining. func BenchmarkGo(b *testing.B) { CallGo(b.N) // call `func() {}` b.N times }

    $ go test -bench . -gcflags '-l'    # disable inlining for fairness BenchmarkCGO-8  10000000              171 ns/op BenchmarkGo-8   2000000000           1.83 ns/op

    In other words, in this (admittedly minimal) example there’s approximately a factor of 100 involved. Let’s not be crazy though. In absolute time, 171ns is often a perfectly acceptable price to pay, especially if your C code does substantial work. In our case, however, we clocked in the high tens of thousands of cgo calls during some tests, so we looked at pushing some of the code down to C to cut down on the number of iterations.

    Our conclusion was that the call overhead did not matter – equivalent C++ and Go implementations were indistinguishable performance-wise. However, we still ended up moving some operations to C++ with a fat improvement due to being able to write a more efficient implementation.

    Manual-ish Memory ManagementCopy Icon

    Go is a garbage-collected runtime, but C is not. That means that passing data from C into Go and vice versa must not be done carelessly, and that copies are often not avoidable. Especially when dealing with byte strings and interface crossing at high frequency (as we are), the prescribed usage of C.CString and C.GoBytes can increase memory pressure considerably – and of course copying data eats up CPU noticeably.

    In some cases, we were able to avoid some of these copies. For example, when iterating over keys, we use something like:

    func (r *rocksDBIterator) Key() []byte {    return C.GoBytes(unsafe.Pointer(r.key), s.len) } func (r *rocksDBIterator) Next() {    // The memory referenced by r.key stays valid until the next operation    // on the iterator.    r.key = C.DBNext(r.iter) // cgo call }

    If all we want to do is check the current key against a criterion, we know the underlying memory isn’t going to be freed while we need it. Hence, this (made-up) bit of code seems wasteful:

    for ; iter.Valid(); iter.Next() { if bytes.HasPrefix(iter.Key(), someKey) { // copy! // ... } }

    To mitigate all of these copies, we add (and use) a zero-copy (and unsafe) version of Key():

    // unsafeKey() returns the current key referenced by the iterator. The memory // is invalid after the next operation on the iterator. func (r *rocksDBIterator) unsafeKey() []byte { // Go limits arrays to a length that will fit in a (signed) 32-bit // integer. Fall back to copying if our slice is larger. const maxLen = 0x7fffffff if s.len > maxLen { return C.GoBytes(unsafe.Pointer(r.key), s.len) } return (*[maxLen]byte)(unsafe.Pointer([:s.len:s.len] }

    While this is going to be more efficient and is safe when properly used, it looks and is much more involved. We’re creating a slice which is backed by memory allocated by C. We need to be careful that the C memory is not freed while our slice (or any derivative slices) are still in use. We can get away with it since it’s in our low-level code, but this is certainly not an option for any type of public-facing API; it would be guaranteed that some users would not honor the subtle contract tacked on to the returned byte slice and experience null pointer exceptions randomly.

    Cgoroutines != GoroutinesCopy Icon

    This one can be a serious issue and while it’s obvious when you think about it, it can come as a surprise when you don’t. Consider the following:

    func main() { for i := 0; i < 1000; i++ { go func() { time.Sleep(time.Second) }() } time.Sleep(2*time.Second) }

    This boring program wouldn’t do much. 1000 goroutines come pretty much for free in Go; the “stack” allocated to each of them is only a few kilobytes.

    What if we brought cgo into the game? The code below is a simplified version of an example in cgobench:

    //#include <unistd.h> import "C" func main() { for i := 0; i < 1000; i++ { go func() { C.sleep(1 /* seconds */) }() } time.Sleep(2*time.Second) }

    The “surprise” is that this behaves very differently. A blocking cgo call occupies a system thread; the Go runtime can’t schedule them like it can a goroutine, and the stack, being a real stack, is on the order of megabytes!

    Again, not a big deal if you’re calling into cgo with appropriately bounded concurrency. But if you’re writing Go, chances are you’re used to not thinking about Goroutines too much. A blocking cgo call in the critical request path could leave you with hundreds and hundreds of threads which might well lead to issues. In particular, ulimit -r or debug.SetMaxThreads can lead to a quick demise.

    Or, in the words of Dave Cheney,

    “Excessive cgo usage breaks Go’s promise of lightweight concurrency.”

    Cross Out Cross-CompilationCopy Icon

    With cgo, you lose (or rather, you don’t win) the ease with which cross-compilation works in Go 1.5 and higher. This can’t be surprising (since cross-compiling Go with a C dependency certainly must entail cross-compiling the C dependency) but can be a criterion if you have the luxury of choosing between a Go-native package or an external library.

    Dave Cheney’s posts on this are usually about the best source of information available.

    Static BuildsCopy Icon

    This is a similar story to cross-compilation, though the situation is a little better. Building static binaries is still possible using cgo, but needs some tweaking. Prior to Go 1.5, the most prominent example of this was having to use the netgo build tag to avoid linking in glibc for DNS resolution. This has since become the default, but there are still subtleties such as having to specify a custom -installsuffix (to avoid using cached builds from a non- static build), passing the right flags to the external linker (in our case, -extldflags “-static”), and building with -a to enforce a complete rebuild.

    Not all of this may be necessary any more, but you get the idea: It gets more manual and, with all the rebuilding, slower. For anyone interested, here’s my first (and since dated) wrestle with cgo and a mysterious bug which we may pick up again in a future post.

    DebuggingCopy Icon

    Debugging your code will be harder. The portions residing in C aren’t as readily accessed through Go’s tooling. PProf, runtime statistics, line numbers, stack traces – all will sort of feather out as you cross the boundary. GoRename and its friends may occasionally litter your source code with identifiers that postdate the translation to cgo-generated code. The loss can feel jarring since the tooling usually works so well. But, of course, gdb still works.

    SummaryCopy Icon

    All in all, cgo is a great tool with limitations. We’ve recently begun moving some of the low-level operations down to C++, which gave some impressive speed-ups. Other attempts produced no benefit. Isn’t performance work fun?