Everything old is new again: memory optimization

(nibblestew.blogspot.com)

80 points | by ibobev 3 days ago

14 comments

  • muskstinks 1 hour ago
    I'm always confused as hell how little insight we have in memory consumption.

    I look at memory profiles of rnomal apps and often think "what is burning that memory".

    Modern compression works so well, whats happening? Open your taskmaster and look through apps and you might ask yourself this.

    For example (lets ignore chrome, ms teams and all the other bloat) sublime consumes 200mb. I have 4 text files open. What is it doing?

    Alone for chrome to implement tab suspend took YEARS despite everyone being aware of the issue. And addons existed which were able to do this.

    I bought more ram just for chrome...

    • senfiaj 20 minutes ago
      It's partly because there are layers of abstractions (frameworks, libraries / runtimes / VM, etc). Also, today's software often has other pressures, like development time, maintainability, security, robustness, accessibility, portability (OS / CPU architecture), etc. It's partly because the complexity / demand has increased.

      https://waspdev.com/articles/2025-11-04/some-software-bloat-...

    • veunes 28 minutes ago
      Part of the problem is that modern apps aren't really "one thing" anymore
    • Orygin 36 minutes ago
      200Mb for Sublime does not seem so bad when compared to Postman using 4Gb on my machine...
  • canpan 2 hours ago
    String views were a solid addition to C++. Still underutilized. It does not matter which language you are using when you make thousands of tiny memory allocations during parsing. https://en.cppreference.com/w/cpp/string/basic_string_view.h...
    • VorpalWay 1 hour ago
      The issue with retrofitting things to an existing well established language is that those new features will likely be underutilized. Especially in other existing parts of the standard library, since changing those would break backwards compatibly. std::optional is another example of this, which is not used much in the c++ standard library, but would be much more useful if used across the board.

      Contrast this with Rust, which had the benefit of being developed several decades later. Here Option and str (string views) were in the standard library from the beginning, and every library and application uses them as fundamental vocabulary types. Combined with good support for chaining and working with these types (e.g. Option has map() to replace the content if it exists and just pass it along if None).

      Retrofitting is hard, and I have no doubt there will be new ideas that can't really be retrofitted well into Rust in another decade or two as well. Hopefully at that point something new will come along that learned from the mistakes of the past.

    • groundzeros2015 21 minutes ago
      In C you have char*
      • pjc50 4 minutes ago
        In C you only have char*.
      • kccqzy 14 minutes ago
        And the type system does not tell you if you need to call free on this char* when you’re done with it.
    • pjc50 1 hour ago
      C# gained similar benefits with Span<>/ReadOnlySpan<>. Essential for any kind of fast parser.
  • fix4fun 2 hours ago
    Digression: Nowadays when RAM is expensive good old zram is gaining popularity ;) Try to check on trends.google.com . Since 2025-09 search for it doubled ;)
  • veunes 30 minutes ago
    Not "C++ everywhere again" but maybe "understanding memory again"
  • tzot 2 hours ago
    Well, we can use memoryview for the dict generation avoiding creation of string objects until the time for the output:

        import re, operator
        def count_words(filename):
            with open(filename, 'rb') as fp:
                data= memoryview(fp.read())
            word_counts= {}
            for match in re.finditer(br'\S+', data):
                word= data[match.start(): match.end()]
                try:
                    word_counts[word]+= 1
                except KeyError:
                    word_counts[word]= 1
            word_counts= sorted(word_counts.items(), key=operator.itemgetter(1), reverse=True)
            for word, count in word_counts:
                print(word.tobytes().decode(), count)
    
    We could also use `mmap.mmap`.
    • contravariant 8 minutes ago
      For reasons I never quite understood python has a collections.Counter for the purpose of counting things. It's a bit cleaner.
    • akx 43 minutes ago
      This doesn't do the same thing though, since it's not Unicode aware.

          >>> 'x\u2009   a'.split()
          ['x', 'a']
          # incorrect; in bytes mode, `\S` doesn't know about unicode whitespace
          >>> list(re.finditer(br'\S+', 'x\u2009   a'.encode()))
          [<re.Match object; span=(0, 4), match=b'x\xe2\x80\x89'>, <re.Match object; span=(7, 8), match=b'a'>]
          # correct, in unicode mode
          >>> list(re.finditer(r'\S+', 'x\u2009   a'))
          [<re.Match object; span=(0, 1), match='x'>, <re.Match object; span=(5, 6), match='a'>]
      • contravariant 10 minutes ago
        There's bound to be a way to turn a stream of bytes into a stream of unicode code points (at least I think that's what python is doing for strings). Though I'm explicitly not volunteering to write the code for it.
  • griffindor 3 hours ago
    Nice!

    > Peak memory consumption is 1.3 MB. At this point you might want to stop reading and make a guess on how much memory a native code version of the same functionality would use.

    I wish I knew the input size when attempting to estimate, but I suppose part of the challenge is also estimating the runtime's startup memory usage too.

    > Compute the result into a hash table whose keys are string views, not strings

    If the file is mmap'd, and the string view points into that, presumably decent performance depends on the page cache having those strings in RAM. Is that included in the memory usage figures?

    Nonetheless, it's a nice optimization that the kernel chooses which hash table keys to keep hot.

    The other perspective on this is that we sought out languages like Python/Ruby because the development cost was high, relative to the hardware. Hardware is now more expensive, but development costs are cheaper too.

    The take away: expect more push towards efficiency!

    • pjc50 2 hours ago
      >> Peak memory consumption is 1.3 MB. At this point you might want to stop reading and make a guess on how much memory a native code version of the same functionality would use.

      At this point I'd make two observations:

      - how big is the text file? I bet it's a megabyte, isn't it? Because the "naive" way to do it is to read the whole thing into memory.

      - all these numbers are way too small to make meaningful distinctions. Come back when you have a gigabyte. It gets more interesting when the file doesn't fit into RAM at all.

      The state of the art here is : https://nee.lv/2021/02/28/How-I-cut-GTA-Online-loading-times... , wherein our hero finds the terrible combination of putting the whole file in a single string and then running strlen() on it for every character.

      • dgb23 2 hours ago
        > all these numbers are way too small to make meaningful distinctions. Come back when you have a gigabyte.

        I have to disagree. Bad performance is often a result of a death of a thousands cuts. This function might be one among countless similarly inefficient library calls, programs and so on.

      • kloop 29 minutes ago
        > how big is the text file? I bet it's a megabyte, isn't it?

        The edit in the article says ~1.5kb

        • pjc50 4 minutes ago
          Single page on many systems, which makes using mmap() for it even funnier.
    • veunes 27 minutes ago
      I suspect it'll be selective
  • dgb23 1 hour ago
    Not a C++ programmer and I think the solution is neat.

    But it's not necessarily an apples to apples comparison. It's not unfair to python because of the runtime overhead. It's unfair because it's a different algorithm with fundamentally different memory characteristics.

    A fairer comparison would be to stream the file in C++ as well and maintain internal state for the count. For most people that would be the first/naive approach as well when they programmed something like this I think. And it would showcase what the actual overhead of the python version is.

    • VorpalWay 1 hour ago
      > A fairer comparison would be to stream the file in C++ as well and maintain internal state for the count.

      Wouldn't memory mapping the data in Python be the more fair comparison? If the language doesn't support that, then this seems to absolutely be a fair comparison.

      > For most people that would be the first/naive approach as well when they programmed something like this I think.

      I disagree, my mind immediately goes to mmap when I have to deal with a single file that I have to read in it's entirety. I think the non-obvious solution here is rather io-uring (which I would expect to be faster if dealing with lots of small files, as you can load them async concurrently from the file system).

  • callamdelaney 1 hour ago
    I shove everything in memory, it's a design decision. Memory is still cheap, relatively.
  • 90d 1 hour ago
    Speaking about optimization, is Windows just too far gone at this point? It is comical the amount of resources it uses at "idle".
  • est 3 hours ago
    I think py version can be shortened as:

    from collections import Counter

    stats = Counter(x.strip() for l in open(sys.argv[1]) for x in l)

    • voidUpdate 3 hours ago
      Would that decrease memory usage though?
  • amelius 1 hour ago
    > AI sociopaths have purchased all the world's RAM in order to run their copyright infringement factories at full blast

    The ultimate bittersweet revenge would be to run our algorithms inside the RAM owned by these cloud companies. Should be possible using free accounts.

  • gostsamo 2 hours ago
    > how much memory a native code version of the same functionality would use.

    native to what? how c++ is more native than python?

    • VorpalWay 1 hour ago
      Native code usually refers to code which is compiled to machine code (for the CPU it will run on) ahead of time, as opposed to code running in a byte code VM (possibly with JIT).

      I would consider all of C, C++, Zig, Rust, Fortran etc to produce native binaries. While things like Cython exist, that wasn't what was used here (and for various reasons would likely still have more overhead than those I mentioned).

  • biorach 3 hours ago
    "copyright infringement factories"
    • maipen 2 hours ago
      Tells you right away where this is coming from.
      • muskstinks 1 hour ago
        The critisism is valid. The problem is how you value this critism.

        I agree they are stealing it but I also see the benefit of it for society and for myself.

        Suckerberg downloaded terabytes of books for training, while people around me got sued to hell 20 years ago for downloading one mp3 file.

        • yieldcrv 1 hour ago
          they got sued for uploading actually

          and Zuck isn’t sued for downloading either, he is sued for reproduction by the AI not being derivative enough, but so far all branches of government support that

        • anthk 1 hour ago
          Anna's Archive. Aaron Swartz.

          FB and so are CIA fronts and they can do anything they please. Until they hit against Disney and lobbying giants and if a CIA idiot tries to sue/bribe/blackmail them they can order Hollywood to rot their images into pieces with all the wars they promoted in Middle East and Latin America just to fill the wallets of CEO's. That among some social critique movie on FB about getting illegal user data all over the world to deny insurances and whatnot. And OFC with a clear mention of the Epstein case with related people, just in case the Americans forgot about it.

          Then the US industry and military complex would collapse in months with brainwashed kids running away from the army. Not to mention to the Call of Duty franchise and the like. It would be the end of Boeing and several more, of course. To hell to profit driven wars for nothing.

          Ah, yes, AIPAC lobbies and the like. Good luck taming right wing wackos hating the MAGA cult more than the 'woke' people themselves. These will be the first ones against you after sinking the US image for decades, even more than the illegal Iraq war with no WMD's and the Bush/Cheney mafia.

          The outcome of this? proper and serious engineering a la Airbus. Instant profit-driven MBA and war sickos being kicked out from the spot. OFC the AI snakeoil sellers except for the classical AI/NN against concrete cases (image detection and the like), these will survive fine, even better because these kind of jobs are highly specific and they are not statistical text parrots. They can provide granted results unlike LLM's prone to degrade because the human based content feeding needs to be continuous, while for tumour detection a big enough sample can cover a 99% of the cases.

          R&D on electric vehicles/energy and nuclear power like nowhere else. And, for sure, the EV equivalent of a Ford T for Americans. A cheap and reliable one, good enough for the common Joe/Mary without being a luxury item. A new Golden Age would rise, for sure. But the oil mafia will try to fight them like crazy.

    • MrBuddyCasino 1 hour ago
      I don't know how anyone can call the most amazing invention in computer science of the last 20 years "copyright infringement factories". We went from the ST:NG ship computer being futuristic tech to "we kinda have this now". Its like calling cars "air pollution factories", as if that was their only purpose and use.

      A fundamentally anti-civilisational mindset.

      • vor_ 59 minutes ago
        I'm sorry, but you're acting obtuse if you pretend you don't know why they're being called that.
  • yieldcrv 1 hour ago
    as long as you know what architecture questions to ask, agentic coding can help with this next phase of optimization really quickly

    delaying comp sci differentiation for a few months

    I wonder if assembly based solutions will become in vogue