• Ethan@programming.dev
    link
    fedilink
    English
    arrow-up
    52
    arrow-down
    3
    ·
    6 days ago

    It’s safe to assume that any non-trivial program written in Go is multithreaded

    • kbotc@lemmy.world
      link
      fedilink
      English
      arrow-up
      17
      arrow-down
      1
      ·
      6 days ago

      And yet: You’ll still be limited to two simultaneous calls to your REST API because the default HTTP client was built in the dumbest way possible.

      • Ethan@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        ·
        4 days ago

        Really? Huh, TIL. I guess I’ve just never run into a situation where that was the bottleneck.

      • Ethan@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        ·
        4 days ago

        Definitely not a guarantee, bad devs will still write bad code (and junior devs might want to let their seniors handle concurrency).

    • Opisek@lemmy.world
      link
      fedilink
      arrow-up
      7
      ·
      6 days ago

      I absolutely love how easy multi threading and communication between threads is made in Go. Easily one of the biggest selling points.

      • Ethan@programming.dev
        link
        fedilink
        English
        arrow-up
        1
        ·
        4 days ago

        Key point: they’re not threads, at least not in the traditional sense. That makes a huge difference under the hood.

        • Opisek@lemmy.world
          link
          fedilink
          arrow-up
          1
          ·
          edit-2
          4 days ago

          Well, they’re userspace threads. That’s still concurrency just like kernel threads.

          Also, it still uses kernel threads, just not for every single goroutine.

          • Ethan@programming.dev
            link
            fedilink
            English
            arrow-up
            1
            ·
            3 days ago

            What I mean is, from the perspective of performance they are very different. In a language like C where (p)threads are kernel threads, creating a new thread is only marginally less expensive than creating a new process (in Linux, not sure about Windows). In comparison creating a new ‘user thread’ in Go is exceedingly cheap. Creating 10s of thousands of goroutines is feasible. Creating 10s of thousands of threads is a problem.

            Also, it still uses kernel threads, just not for every single goroutine.

            This touches on the other major difference. There is zero connection between the number of goroutines a program spawns and the number of kernel threads it spawns. A program using kernel threads is relying on the kernel’s scheduler which adds a lot of complexity and non-determinism. But a Go program uses the same number of kernel threads (assuming the same hardware and you don’t mess with GOMAXPROCS) regardless of the number of goroutines it uses, and the goroutines are cooperatively scheduled by the runtime instead of preemptively scheduled by the kernel.

            • Opisek@lemmy.world
              link
              fedilink
              arrow-up
              1
              ·
              edit-2
              3 days ago

              Great details! I know the difference personally, but this is a really nice explanation for other readers.

              About the last point though: I’m not sure Go always uses the maximum amount of kernel threads it is allowed to use. I read it spawns one on blocking syscalls, but I can’t confirm that. I could imagine it would make sense for it to spawn them lazily and then keep around to lessen the overhead of creating it in case it’s needed later again, but that is speculation.

              Edit: I dove a bit deeper. It seems that nowadays it spawns as many kernel threads as CPU cores available plus additional ones for blocking syscalls. https://go.dev/doc/go1.5 https://docs.google.com/document/u/0/d/1At2Ls5_fhJQ59kDK2DFVhFu3g5mATSXqqV5QrxinasI/mobilebasic