go-perfbook/performance.md
Damian Gryski 3761b7fc11 more prose
2018-01-27 08:36:14 -08:00

13 KiB

This document outlines best practices for writing high-performance Go code.

At the moment, it's a collection of links to videos, slides, and blog posts ("awesome-go-performance"), but I would like this to evolve into a longer book format where the content is here instead of external. The links should be sorted into categories.

All the content will be licensed under CC-BY-SA.

Optimization Workflow

The first step is important. It tells you when and where to start optimizing. More importantly, it also tells you when to stop. Pretty much all optimizations add code complexity in exchange for speed. And you can always make code faster. It's a balancing act.

The basic rules of the game are:

  1. minimize CPU usage
  • do less work
  • this generally means "a faster algorithm"
  • but CPU caches and the hidden constants in O() can play tricks on you
  1. minimize allocations (which leads to less CPU stolen by the GC)
  2. make your data quick to access

This book is split into different sections:

  1. basic tips for writing not-slow software * CS 101-level stuff
  2. tips for writing fast software * Go-specific sections on how to get the best from Go
  3. advanced tips for writing really fast software * For when your optimized code isn't fast enough

When and Where to Optimize

I'm putting this first because it's really the most important step. Should you even be doing this at all?

Every optimization has a cost. Generally this cost is expressed in terms of code complexity or cognitive load -- optimized code is rarely simpler than the unoptimized version.

But there's another side that I'll call the economics of optimization. As a programmer, your time is valuable. There's the opportunity cost of what else you could be working on for your project, which bugs to fix, which features to add. Optimizing things is fun, but it's not always the right task to choose. Performance is a feature, but so is shipping, and so is correctness.

Choosing the most important thing to work on. Sometimes this isn't an optimization at all. Sometimes it's not an actual CPU optimization, but a user-experience one. Making something start up faster by doing computation in the background after drawing the main window, for example.

Some times this will be obvious: an hourly report that completes in three hours is probably less useful that one that completes in less than one.

Just because something is easy to optimize doesn't mean it's worth optimizing. Ignoring low-hanging fruit is a valid development strategy.

Think of this as optimizing your time.

Choosing what to optimize. Choosing when to optimize.

Clarify "Premature optimization" quote.

Fast software or fast deployment.

http://bitfunnel.org/strangeloop . has numbers. Hypothetical search engine needing 30k machines @ $1k USD / year. Doubling the speed of your software can save $15M/year. Even a developer spending an entire year to shave off 1% will pay for itself

Once you've decided you're going to do this, keep reading.

How to Optimize

Optimization is a form of refactoring. But each step, rather than improving some aspect of the source code (code duplication, clarity, etc), improves some aspect of the performance: lower CPU or memory usage, latency, etc. This means that in addition to a comprehensive set of unit tests (to ensuring your changes haven't broken anything), you also need a good set of benchmarks to ensure your changes are having the desired effect on performance. You must be able to verify that your change really is lowering CPU, for example.

This also means that the benchmarks you're using must be correct and provide reproducible numbers. If indivudual runs have too high a variance, it will make improvements more difficult to spot. You will need to use benchstat or equivalent statistical tests and won't be able just eye-ball it.

Next, decide what it is you're optimizing for. Are you trying to reduce memory usage? By how much? How much slower is acceptable for what change in memory usage?

Anything that can be measured can be optimized. Make sure you're measuring the right thing. Beware bad metrics. There are generally competing factors.

This book is mostly going to talk about reducing CPU uage, reducing memory usage, or reducing latency. It's good to point out that you can very rarely do all three. Maybe CPU time is faster, but now your program uses more memory. Maybe you need to reduce memory space, but now the program will take longer.

Amdahl's Law tells us to focus on the bottlenecks. If you double the speed of routine that only takes 5% of the runtime, that's only a 2.5% speedup in total wall-clock. On the other hand, speeding up routine that takes 80% of the time by 10% will improve runtime by almost 8%. Profiles will help identify where time is actually spent.

In general, optimizations should procede from top to bottom. Optimizations at the system level will have more impact than expression-level ones.

Do we have to do this at all? The fastest code is the code that's not there. If yes, is this the best algorithm. If yes, is this the best implementation of this algorithm.

Given a profile that says a particular routine is expensive, before optimizing that routine, see if you can eliminate calls to it all together.

Basic techniques:

http://www.crowl.org/lawrence/programming/Bentley82.html

Approached program optimization as an engineering problem. Many of the
tips from Bentley are now done automatically by compilers (for example,
all the "loop" and "expression" ones). It's the programmers job to use
transformations that compilers can't do.

But the engineering approach is correct:
 Benchmark. Analyze. Improve. Verify. Iterate.

Trade space for time:

  • smaller data structures: pack things, compress data structures in memory
  • precompute things you need (size of a linked list) http://www.smallmemory.com/

Most of the time if you're optimizing for CPU, your program will use more memory. This is the classic space-time trade-off: https://en.wikipedia.org/wiki/Space%E2%80%93time_tradeoff

Note that modern computers and the memory hierarchy make this trade-off less clear. It's very easy for lookup tables to be "far away" in memory (and therefore expensive to access) making it faster to just recompute every time it's needed. This also means that benchmarking will frequently show improvements that are not realized in the production system due to cache contention (e.g., lookup tables are in the processor cache during benchmarking but always flushed by "real data" when used in a real system. See the graphs 4 and 5 in the Jump Hash paper: https://arxiv.org/pdf/1406.2294.pdf )

Further, while data compression increases CPU time, if there are data transfers involved (disk or network), the CPU time spent decompressing will be trivial compared to the saved transfer time which will be orders of magnitude slower.

algorithmic tuning: keep the old implementation around for testing

program tuning: best done in tiny steps, a few statements at a time moving from floating point math to integer math or mandelbrot removing sqrt, or lttb removing abs

some tunings are working around runtime or compiler code generation issue: always flag these with the appropriate issue so you can revisit assembly math.Abs() vs code generation vs function call overhead exploit a mathematical identity: https://go-review.googlesource.com/c/go/+/85477

Keep comments. If something doesn't need to be done, explain why. Frequently when optimizing an algorithm you'll discover steps that don't need to be performed under some circumstances. Document them. Somebody else might think it's a bug and needs to be put back.

Empty program gives the wrong answer in no time at all. It's easy to be fast if you don't have to be correct. But it means you can use an optimization some of the time if you're sure it's in range.

Have an intuitive grasp of the different O() levels:

  • simple loop, O(n)
  • nested loop, O(n*m)
  • binary-search O(log n)
  • divide-and-conquer O(n log n)
  • combinatoric - look out!!

Know how big each of these input sizes is likely to be when coding. You don't always have to shave cycles, but also don't be dumb.

Beware high constants Look for simpler algorithms with small constants. Debugging an optimized algorithm is harder than debugging a simple one. Look for algorithm the paper you're implementing claims to best and do that one instead.

Choose algorithms based on problem size: (stdlib quicksort) Detect and specialize for common or easy cases: stdlib string

Beware algorithms with high startup costs. For example, search is O(log n), but you have to sort first. If you just have a single search to do, a linear scan will be faster. But if you're doing many sorts, the O(n log n) sort overhead will not matter as much

Your benchmarks must use appropriately-sized inputs. As we've seen, different algorithms make sense at different input sizes. If your expected input range in <100, then your benchmarks should reflect that. Otherwise, choosing an algorithm which is optimal for n=10^6 might not be the fastest.

Be able to generate representative test data. Different distributions of data can provoke different behaviours in your algorithm: think of the classic "quicksort is O(n^2) when the data is sorted" example.

Cache common cases: Your cache doesn't even need to be huge. Optimized a log processing script to cache the previous time passed to time.parse() for significant speedup But beware cache invalidatation, thread issues, etc

Basics

  1. choose the best algorithm
  1. pre-compute things you need
  2. add a cache -> reduces work

Introductory Profiling

Techniques applicable to source code in general

  1. introduction to pprof
  1. Writing and running (micro)benchmarks
  • -cpuprofile / -memprofile / -benchmem
  1. How to read it pprof output
  2. What are the different pieces of the runtime that show up
  3. Macro-benchmarks (Profiling in production)
  • net/http/pprof

Tracer

Advanced Techniques

  • Techniques specific to the architecture running the code

  • introduction to CPU caches

    • building intuition around cache-lines: sizes, padding, alignment
    • false-sharing
    • OS tools to view cache-misses
  • (also branch prediction)

  • Comment about Jeff Dean's 2002 numbers (plus updates)

    • cpus have gotten faster, but memory hasn't kept up

Heap Allocations

  • Stack vs. heap allocations
  • What causes heap allocations?
  • Understanding escape analysis

Runtime

  • cost of calls via interfaces (indirect calls on the CPU level)
  • runtime.convT2E / runtime.convT2I
  • type assertions vs. type switches
  • defer
  • special-case map implementations for ints, strings

Common gotchas with the standard library

  • time.After() leaks until it fires
  • Reusing HTTP connections...
  • ....

Unsafe

  • And all the dangers that go with it
  • Common uses for unsafe
  • mmap'ing data files
  • speedy de-serialization

cgo

  • Performance characteristics of cgo calls
  • Tricks to reduce the costs
  • Passing pointers between Go and C

Assembly

  • Stuff about writing assembly code for Go
  • brief intro to syntax
  • calling convention
  • using opcodes unsupported by the asm
  • notes about why intrinsics are hard

Alternate implementations

Tooling

Look at some more interesting/advanced tooling

  • perf (perf2pprof)