Asymmetric Fences? While browsing through Folly’s synchronization primitives to study up on concurrency concepts, one familiar-looking name in the codebase caught my attention: Asymmetric Thread Fe...

Problem Statement Let’s start with a small, innocent-looking example: struct Foo { long long foo_val; bool foo_val2; }; template <typename T> struct MaybeDeleted { T val;...

Strongly Happens Before? It started innocently enough. I just wanted to brush up on C++ memory orderings. It’s been a while since I last stared into the abyss of std::atomic, so I figured, why not ...

Quick Note: If you’re into the nitty-gritty details, be sure to check out Part 1 and Part 2. But if you’re here for practical advice, welcome to Part 3! Best Practices As promised in the Part 2, ...

Quick Note: If you haven’t read Part 1, why are you here? Turn back and read Part 1! Looking Back At Our Fix In our previous post, we came up with the following implementation: template<std::s...

Quick Note: This is a three-part series exploring C++ undefined behavior and best practices to avoid it in our specific use case. No spoilers on the next two parts — let’s dive in! The Start of t...

Quick Note: If you haven’t already, take a look at Part 1 to catch up on what we’ve covered so far! Picking Up Where We Left Off In Part 1, we explored how __mro_entries__() works and how it allo...

Quick Note: This series assumes some familiarity with Python metaclasses. If you’re new to this topic, I highly recommend checking out Fluent Python, 2nd Edition, Chapter 24: Class Metaprogramming ...

Quick Announcement: I hate to break it to you, but updates might be a bit slower around here. Blame work! Introduction As Davide Mastromatteo explains in his article on Descriptors, “Descriptors ...

Introduction Lets start with what std::launder is. According to cppreference, it has the folllowing function definition: template <class T> constexpr T* launder( T* p ) noexcept; OK, so it...