4 ms·

Even more so, it shows that SoA data structure means you can add fields to your 1M monsters with little impact.

• celrod 4mo ago
  Yes. I think one of the big advantages of SoA is that you only pay for the fields you're currently using. If you need a field somewhere, you can add it and only pay the cost of iterating it where you need it.
• notatyrannosaur 4mo ago
  > you can add fields to your 1M monsters with little impact. Great for this access pattern, but I wouldn't make a general statement like that. This is the same thing as row-oriented vs column-oriented databases, OLTP vs OLAP. SoA is weak if you are adding/removing monsters more often than accessing a single "hot" field.
  • Altern4tiveAcc 4mo ago
    > SoA is weak if you are adding/removing monsters more often than accessing a single "hot" field. Why is that? Genuinely curious. Does "weak" mean that it performs worse than AoS, or that the gains aren't as significant versus AoS?
    • jayd16 4mo ago
      Presumably they're referring to resizing the arrays.
      • gmueckl 4mo ago
        Array resizing is avoidable with an embedded free list if ordering is of no concern.
        • setr 4mo ago
          If you take out ordering, then lookups on your SoA are now a search, and n-field lookup on an entity is now a JOIN operation. The smarter you get about it, the closer you get to an OLAP db Which leads to my theory… I feel like Bevy could be implemented on top of an in-memory DuckDB and get away with it
          • Altern4tiveAcc 4mo ago
            Depending on your access patterns, maybe you could have a hash table mapping entities ids to indexes in your SoA. Perhaps that's viable if looking up a single entity is not typical to your use case? > Which leads to my theory… I feel like Bevy could be implemented on top of an in-memory DuckDB and get away with it Haha, it certainly does sound viable.
    • tsimionescu 4mo ago
      It's because removing a monster with 20 fields from an SoA structure means resizing 20 arrays. Removing the same monster from an AoS array involves resizing a single array, which you're going to process in a very cache friendly way.
      • Altern4tiveAcc 4mo ago
        Assuming ordering isn't a concern, can't you just have a field called "removed" and skip those when iterating? Or swap it with the last monster, and keeping an index for the last monster alive.
        • marcosdumay 4mo ago
          Then you have to read the "removed" field on every field read on every operation. SoA is only useful when you don't read multiple fields for most operations.
          • ablob 4mo ago
            Two fields should be fine, actually. The way caches are organized you are very unlikely to thrash with the lookups (due to n-way associativity) while only keeping relevant data in the cache at the same time. You still have roughly the following layout (in the cache), where A is the field and V is valid: | A1 A2 A3 A4 | A5 A6 A7 A8 | ... | V1 V2 V3 V4 | V5 V6 V7 V8 | ... The former access pattern still yields a clean cache layout where no unnecessary data is loaded (which is the most costly operation here by far) as opposed to | A1 V1 B1 C1 | ... | A2 V2 B2 C2 | ... In the general case there will exist a number of fields for which SOA layout will be worse if all are accessed close to each other, but for just a validity indicator this should not be the case. I think your statement is not wrong, but also not 100% correct. This is on par to linear search being faster than binary search for small n. As soon as caches and branch prediction chime in many rules of thumb just change. Most importantly, however, is that a distinction between small and large n basically _needs_ to happen at that point.
        • tsimionescu 4mo ago
  • keynha 4mo ago
    [dead]
• gmueckl 4mo ago
  This is valid for sequential scanning of the data. The CPU will fill whole cache lines at once with the arrays that do get used and the algorithm touches all the field instances in the array. Now think about random access to single struct instances instead: the CPU loads a cache line worth of data for each field and uses only one element out of the whole cache line. This is much worse than a compact structure representation of the same data. SoA is not universally better.
  • jayd16 4mo ago
    No it's not always better and I didn't mean to imply it was. I was simply saying that the article argues against its title. In both cases you want to think about locality of the next read and structure the data accordingly.
  • tzs 4mo ago
    This sounds similar to relational databases vs document oriented databases, at least when I briefly looked into database like MongoDB when such things were all the rage 15-20 years ago. For the internal web site that customer support people used a document oriented database would be great because that wants to load everything about one customer and pretty much doesn't need anything else until the user is done supporting that customer. For the dozens or periodic reports that needed to be generated relational was way better. A given report generally only wanted a small amount of per customer data but wanted that for all customers. A little bit of searching and LLM querying suggests that nowadays there are databases that are good at both kind of tasks, in particular Postgress with JSONB, at least at the scale we were looking at (maybe 30k or so customers), but maybe really big operations would need more specialized software.
    • tremon 4mo ago
      The Array-of-Struct vs Struct-vs-Array organization is actually more similar to row-major ordering vs column-major ordering, i.e. the data structure that analysis databases use to optimize for aggregate calculations. Document databases are not really comparable because they don't impose structure on the data; with document databases you just have a tree of JSON elements, which is neither AoS nor SoA.