Making Julia as Fast as C++ (2019)

(flow.byu.edu)

60 points | by d_tr 2 days ago

9 comments

  • kmaitreys 2 hours ago
    I really like Julia as a language but I have struggled to adopt it and be productive in it. Part of it is because of the JIT runtime and a sub-par LSP (at least when I last tried).

    To those who regularly write Julia code, what is your workflow? The whole thing with Revise.jl did not suit me honestly. I have enjoyed programming in Rust orders of magnitude more because there's no run time and you can do AOT. My intention is not write scripts, but high performance numerical/scientific code, and with Julia's JIT-based design, rapid iteration (to me at least) feels slower than Rust (!).

    • jakobnissen 56 minutes ago
      The boring answer is that I don’t use huge dependencies that takes minutes to compile, and I don’t lean on the LSP - I tend to put more effort in reading the code.

      In my experience you really gotta work with the tools the language gives you. Julia gives you Revise, so it’s a bit of a handicap not using it. Maybe analogous to writing Rust without an LSP.

      I get that leaning on the LSP can become a habit, and also that the Julia LSP is quite poor, but I find it wild that rapid iteration for you is faster in Rust. I write Rust as well and can’t imagine how that would be the case.

    • tombert 14 minutes ago
      Just an FYI...Claude is actually really good at building LSP servers [1].

      If you want a better Julia LSP, you might just be able to get Claude or Codex to build one for you. I've been impressed with the TLA+ bindings it generated.

      [1] https://github.com/Tombert/TLA-Language-Server-Protocol

    • arbitrandomuser 1 hour ago
      yup the LSP is bad, there is a new lsp being rewritten based on JET.jl a static code analyzer , this should be faster than the old lsp which kind of runs by loading all the modules into a julia instance and queries it for symbols and docs ( im not 100% sure but i think thats how it works)
      • thimotedupuch 37 minutes ago
        Exactly ! The new LSP is getting ready https://github.com/aviatesk/JETLS.jl/ with one of the compiler devs working hard on it. I tried it with VSCode, Zed and Helix and it's more than fine already.

        I hope julia developper tools will one day match the best of what other programming languages have to offer.

    • lelanthran 30 minutes ago
      > Part of it is because of the JIT runtime and a sub-par LSP (at least when I last tried)

      Good LSPs do the autocompletion, sub par ones don't.

      Is it really such a good idea to have every single automated aid turned on when picking up a new language?

      How will you learn if you cannot get feedback on what you did wrong?

      I mean, until you learn multiplication, maybe don't use the calculator.

      Once you learn it then you get a small speed increase, but if you are new to something, LSP autocompletion is going to slow down your learning.

  • StilesCrisis 5 hours ago
    Punchline: rewrote the code to look almost identical to C++, hand-held the compiler by adding @-marks to disable safety checks, forced SIMD codegen and fastmath on.

    End result: code that is uglier and still much slower than C++. Kind of a shame.

    • drnick1 0 minutes ago
      Came here to say that. It's just easier to write C++ in the first place, and LLMs now make this easier than ever.
    • SatvikBeri 4 hours ago
      This is 7 years old. Julia is a totally different language by now.

      As a quick anecdote, in our take-home interview exercise, we usually receive answers in C++ or Julia, and the two fastest answers have been in Julia.

      • HarHarVeryFunny 3 hours ago
        I'd have to guess that this is because of ease of use. C++ lets you get as close to the metal as you choose to, so there is no reason why a C++ solution shouldn't be at least as fast as one written in any other language, and yet ...

        Of course it also depends on what additional libaries you are using, especially when it comes to parallel/GPU programming in C++, but easy to believe that Julia out of the box makes it easy to write high performance parallel software.

        • tialaramex 56 minutes ago
          > C++ lets you get as close to the metal as you choose to

          This only ends up being true (for any language, but it's too often cited for C++) in a pretty useless Turing Tarpit sort of sense.

          So it's not "no reason" it's just sometimes impractical to solve some problems as well in C++ as in a language that was better suited.

          Now people do do impractical things sometimes. It's not very practical to swim across the English channel, but people do it. It's not very practical to climb Mt Everest, but loads of people do that for some reason. Going to the moon wasn't practical but the Americans decided to do it anyway. But the reason even the Americans stopped going for a long time is that actually "that was too hard and I don't want to" is in fact a reason.

      • d_tr 4 hours ago
        > This is 7 years old.

        Yeah, I actually totally forgot to check the date...

    • neutrinobro 4 hours ago
      Hardly seems worth the effort, perhaps things have improved since 2019. It would be interesting to see an updated benchmark, but if your going to end up with code that looks like C++ to get proper performance, you might as well write it in C++. My biggest problem with Julia is that they decided to use column-major indexing for multi-dimensional arrays (i.e. FORTRAN/MATLAB style). This makes interoperability with C/C++ and python numpy a real pain, since you can't do zero-copy array sharing between the two without one side being forced into strided-access. For that reason alone I haven't adopted it in any of my work-flows.
    • celrod 1 hour ago
      I was once a bit of a Julia performance expert, but moved toward c++ for hobby projects even while still using Julia professionally.

      I wrote a blog post at the time with exactly that punchline (not explicitly stated, but just look at the code!): https://spmd.org/posts/multithreadedallocations/ The example was similar to a real production-critical hot path from work.

      Maybe things changed since I left Julia, but that was December 2023, for years after this blog post.

      • arbitrandomuser 1 hour ago
        hey , what happened to LoopModels ?
        • celrod 1 hour ago
          I'm still working on it. I'm currently working on a cache tile-size optimization algorithm that should (a) handle trees (a set of loops can be merged at some cache levels and split at others, e.g. in an MLP it may carry an output through the L3 cache, while doing sub-operations in the L2/L1/registers) (b) converge reasonably quickly so compile times are acceptable.

          This is the last step before I move to code generation and then generating a ton of test cases/debugging.

          My goal is some form of release by the end of the year.

          • arbitrandomuser 1 hour ago
            oh , is it closed source now ? i couldnt find it on github anymore , github.com/LoopModels returns a 404.
            • celrod 26 minutes ago
              Yeah, for now. I'd like it to be open, but I also want to potentially be able to make money/a living off of it. My dream would be that it can be open while hardware vendors pay me to optimize for their hardware. For how, being closed gives me more options. It's a lot easier to open in the future than to close, so it's just keeping options open.

              I've thought a lot more about the engineering than any sort of marketing or businesses plan, so I just want to defer those.

    • brabel 4 hours ago
      > code that is uglier and still much slower than C++.

      Oh such a shame indeed! They didn’t even manage to produce better looking code at least?? Julia was looking great in 2019 but it was very buggy still so I stopped looking. Had hopes that by now it would be a good choice over C++ and Rust with similar performance.

      • cmrdporcupine 4 hours ago
        There's simply no way it'd ever have similar performance to those. It's not possible.

        I have always seen it as a potential alternative to Java, and definitely better than Python.

        My experience working in it professionally was that it was... fine. But the GC in it was not good under load and not competitive with Java's.

        • csvance 2 hours ago
          From the sound of your post I'm guessing you view Julia as a general purpose language. I'd consider it general purpose insofar as the application leans into fast numerical computing, everyone else secondary. It can do most of the things other languages do reasonably well, but that's not why you would pick Julia for a project over say Java. You pick it because you want to write fast numerical code and express it elegantly. All of the other typical "glue" things you need to ship a product are secondary to that, but good enough to get the job done.

          The key to performance with the GC in Julia is not allocating, but it has gotten substantially better since 2019.

        • 2ndorderthought 4 hours ago
          How hard was it to maintain a large Julia code base rather then say an OOP or Rust one? It has an interesting paradigm. I feel like it could get really messy
          • andyferris 3 hours ago
            Personally I never struggled. You can employ interfaces and maintain them judiciously.

            But interfaces are informal. Not using a monorepo say makes it harder to be sure if your broke downstream or not (via downstream’s unit tests).

            But freedom from Rust’s orphan rule etc means you can decompose large code into fragments easily, while getting almost Zig-style specialisation yet the ease of use of python (for consumers). I would say this takes a fair bit of skill to wield safely/in a maintainable fashion though, and many packages (including my own) are not extremely mature.

          • cmrdporcupine 2 hours ago
            I personally think it requires discipline, I saw it go both ways.

            I was never an expert in the language, but worked along people who were and they generally made nice code.

            But there were a few places where I saw intensely confusing patterns from overloading with multimethods. Code that became hard to follow, and had poor encapsulation.

    • 2ndorderthought 4 hours ago
      I don't get the appeal. It's like a. OSS Matlab but all contributions are used directly so the language developers can make money for a parent company? Most OSS languages aren't run that way. Seems kind of scammy
      • KenoFischer 2 hours ago
        It always amuses me when people assume that the nefarious scheme is taking open source contributions and selling them. That's not the nefarious scheme. The nefarious scheme is going to partners, funding agencies and investors and saying "look at this unique capability / important research / profitable business opportunity that we can do together, but oops, all of our code is written in Julia, so I guess we better pay some people to maintain it so it'll all come crashing down, wouldn't want that to happen".

        Also, I'm of course using nefarious in jest here in both cases. While we don't directly try to monetize our open source work, I respect that sometimes people need to do that. As long as people are transparent about it, I don't have a problem. Doing the thing we're doing seems to work, but it's a lot harder, because you have to build a successful pice of software and a (or multiple) successful something elses that has a critical dependency on it. It's like hitting the lottery twice.

        • 2ndorderthought 2 hours ago
          I wouldn't say nefarious, but I don't know how I feel about the power structure. I could see it being very much a one way venture for most participants. I'd have to think about it before actually using the language.
      • csvance 2 hours ago
        Your baseline for comparison is a company that doesn't give anything away for free?

        Also, contributing in open source is a choice, not a mandate. I greatly benefit from Julia and its ecosystem so I chose to contribute back some of my work, no one forced me. I chose the MIT license because I want other people to be able to make money with it, just like I make money with other peoples MIT licensed stuff.

      • postflopclarity 3 hours ago
        the parent company is a consumer of Julia, and has no formal role in oversight or governance; they are of course invested in the success and performance of the language, but so are all other users!
        • 2ndorderthought 2 hours ago
          Seems kind of contradictory with the other comment which states that they decide what features are prioritized. I guess not because it could be an informal process.

          It's interesting. I like the more opaque approach rust takes. Rust has its own issues but it seems less corporately motivated. Maybe that's why it has more corporations using it? You aren't going to end up with the core maintainers to the language rug pulling packages or language features to slow down competition who are also using the tool. I say competition because it looks like they are making money through consultancies and very broad applications of the niche language.

          Weird stuff to have to think about. I just want to write code

          • kelipso 1 hour ago
            > I like the more opaque approach rust takes. Rust has its own issues but it seems less corporately motivated. Maybe that's why it has more corporations using it?

            I don’t if these are contradictory exactly but it seems to come from a very cluttered space.

      • andyferris 3 hours ago
        Meh, I’ve never been associated with the company and AFAICT they provide value through platforms for enterprises. Not everyone gets OSS sponsorships to fund team (and using a social media presence to achieve this was a post-Julia phenomenon).

        It’s nothing like Google-the-ad-company influencing Chrome. The company consumes Julia for products to sell, rather. Maybe this affects the ordering of features landing, but… meh.

  • orthogonal_cube 2 hours ago
    Dang, haven’t read much on Julia as of late. I remember using it for a CS 300-level course around 2016 when learning about tokenizing and parsing as part of language fundamentals. Julia has undoubtedly made some significant performance improvements since then. Would love to see a follow-up that explores what, if anything, from this still holds true and what improvements can be made.
  • ForceBru 5 hours ago
  • FattiMei 4 hours ago
    Very interesting post and I think this exposes the limitations of the Julia compiler. Note that an old version of the compiler is used (1.0.3 from 2019).

    One could say that we can almost replicate the semantic of a C++ program, but writing in Julia. For example we can remove bounds checks in arrays or remove hidden memory allocations.

    But the goal of a language for numerical computing is capturing the mathematical formulas using high level constructs closer to the original representation while compiling to efficient code.

    Domain scientists want to play with the math and the formulas, not doing common subexpression elimination in their programs. Just curious to see how it evolves

    • northzen 4 hours ago
      I think the best compromise would be to get the best of two words. By default perform bound checks, but have a compiler flag which skips it. Might broke many programs written with default behaviour in mind, but allow perform additional optimizations.
      • postflopclarity 3 hours ago
        this is exactly what julia does. boundschecks are default on, and there are compiler flags --- either locally, via the `@inbounds` macro, or globally with `--check-bounds=no`--- to disable them
  • ekjhgkejhgk 2 hours ago
    Phew. 7-year old post about a 10-year old language. Triggers all the LLMs posting empty generic response "Very interesting, exposes limitations...".

    Prelude of what's to come in the self-reinforcing cycle of machines talking to machines and drowning everything else.

    • kelipso 58 minutes ago
      It's a very predictable pattern I swear. Thought it was a mostly reddit thing but dead internet theory looking more and more real even here.
  • kasperset 1 hour ago
    I wonder how Mojo ranks along with Julia. Mojo was discussed yesterday here. Mojo seems to be more python focused while Julia is very much focused on Scientific computation. I may be wrong.
  • slwvx 2 days ago
    From 2019