Learn more about Russian war crimes in Ukraine.

Pointer to middle of allocation, part 1

The Redis “Simple Dynamic String” is a length-prefixed string, roughly like this:

struct sds {
  size_t len;
  char buf[];
};

If you have a pointer to an sds object, where in the allocation does the pointer point to? You would think ot points to the beginning: this is how C normally works, and this is how malloc and free work. But Redis does things differently: instead, it passes around pointers to the buf field, of type char*:

                 |
                 v
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
| len           | buf                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+

Why? So that Redis can then use its SDS strings as normal C-strings, passing them to C functions (strcpy, strcmp, and so on).

What can computers do? What are the limits of mathematics? And just how busy can a busy beaver be? This year, I’m writing Busy Beavers, a unique interactive book on computability theory. You and I will take a practical and modern approach to answering these questions — or at least learning why some questions are unanswerable!

It’s only $19, and you can get 50% off if you find the discount code ... Not quite. Hackers use the console!

After months of secret toil, I and Andrew Carr released Everyday Data Science, a unique interactive online course! You’ll make the perfect glass of lemonade using Thompson sampling. You’ll lose weight with differential equations. And you might just qualify for the Olympics with a bit of statistics!

It’s $29, but you can get 50% off if you find the discount code ... Not quite. Hackers use the console!

More by Jim

Tagged . All content copyright James Fisher 2016. This post is not associated with my employer. Found an error? Edit this page.