Go for C++ Programmers

https://github.com/golang/go/wiki/GoForCPPProgrammers

by cyber1 • 11 years ago

54 55 11 years ago

Animats2• 11 years ago

From the article: Go is "safe" by default. Pointers cannot point to arbitrary memory, and buffer overruns result in crashes, not security exploits.

That's only true for single-thread Go. Go is not memory-safe in multithread mode, because exploits using race conditions are known.[1] This, incidentally, is why Go is locked down to one thread when running under Google's AppEngine.

Go is a good language for server-side web work - all the expected libraries are there and in good shape. That makes sense; that's why Google had Go created. Go is a good option when Python and Javascript/node.js are too slow. But Go's concurrency isn't as clean as its enthusiasts claim.

I'd recommend Go for programmers coming from the Javascript/Python/Perl world. Although Go is a hard-compiled language, it's surprisingly similar to the scripting languages when writing routine server-side code. C++ programmers will find Go easy, mainly because it's garbage collected.

(The replacement for C++ will, if we're lucky, be Rust. Rust has roughly the complexity level, headaches, and gotchas of C++, but it catches all the memory-related bugs at compile time. Rust isn't ready for production use yet, though. Give it a year.)

[1] http://research.swtch.com/gorace

mempko• 11 years ago

I have already replaced C++. C++14 has already replaced C++98 for me.

pjc50• 11 years ago

Can you ban "native"/bare pointers in C++14? And C-style casts?

cyber13• 11 years ago

Very interesting article http://research.swtch.com/gorace, but it's very old, published in 2010. First Golang stable release r56 in 2011/03/16 https://golang.org/doc/devel/release.html.

tptacek3• 11 years ago

This article comes up every so often on HN, and it's great, but the people citing it tend to muddy its argument, as you've done here.

The "exploit" rsc is referring to here is hypothetical.

To wit: if there existed some service (like multithreaded GAE, or an especially weird browser) that allowed content-controlled Golang code to run, that code could exploit mutability to violate assumptions made by other code, in much the same way as you could by dropping down to "unsafe" in Golang and Rust.

For that vulnerability to matter, you have to suppose a system that rigorously constrains the runtime to block system calls, containerize I/O, shut off the "unsafe" APIs, and somehow fence off state for crypto. Nothing does that. Real-world systems that allow users to upload arbitrary Golang code give up on protecting the runtime, and use OS-level protections to maintain integrity.

I agree that Golang isn't a great fit for C++ programmers. If you're still writing C++ in 2015, it's because you're productive using all the bells and whistles C++ provides. Golang is very much a one bell, no whistle language.

heinrich5991• 11 years ago

It just means that Go isn't memory-safe by default.

Animats2• 11 years ago

Google AppEngine does exactly that.

amelius• 11 years ago

So, when writing a high-performance, scalable web-server, which language should I pick: Go, C++, Rust, Scala, other?

rjammala• 11 years ago

Go is the easiest.

Zikes• 11 years ago

I'm a Go fan, but ease is a very subjective measure.

jonnybgood• 11 years ago

Clojure should also be a consideration.

anom9999• 11 years ago

Whichever you're most competent in. Any of those languages (and many others) would be a suitable option, so it boils down to what you are most proficient in.

lomnakkus2• 11 years ago

I would amend that. Start with whichever you're fastest (not necessarily most competent) in. Once you discover whether the whole thing is worth the effort, move towards safe languages. That's basically Rust, Scala, or (functional-language-of-your-choice-or-) Haskell.

EDIT: Personally, I would start in something like Haskell or Scala just to do a proof-of-concept without having to worry too much about undefined behavior (C/C++) or absurd verbosity (Java), but then I am pretty familiar with those two languages. Maybe it would be worth learning one or two very terse languages to start with, just in case you hit upon a great idea? (Btw, I think Python or Perl qualifies.)

EDIT#2: As a sort of second or third order bit of advice, I'd encourage anyone to brush up on programming languages that might make you faster. It's a sort of "propellant" and can increase your speed exponentially.

npalli• 11 years ago

You would pick Java

detrino3• 11 years ago

Go will never match (in performance) C or C++ (using epoll) for this task.

staunch• 11 years ago

You're right, but it's got nothing to do with not using epoll.

Still, Go is far faster than what most people use on the web.

https://www.techempower.com/benchmarks/

cyber13• 11 years ago

If you choose Go, you get simple scalable language with safe memory, superior standard library and performance close to C.

Performance: Go vs Python - http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan... Go vs C++ - http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...

IshKebab• 11 years ago

Rust isn't ready yet so I wouldn't pick that.

Scala I'm not familiar with.

C++ is great. Very fast and powerful, and really not as complicated or difficult as people make out. The manual memory management thing isn't really an issue if you do it right. However writing multithreaded C++ code is never fun.

Go is very simple and easy. I think of it like Simple English. It's very easy to write, and everyone will understand what you are saying, but you'll end up being way more verbose and often a bit more clunky than you might be in a more powerful language like C++. Huge limitations are that there is no overloading at all. I.e. you have to implement `minFloat64(a, b float64)`, `minFloat32(a, b float32)`, `minInt(a, b int)` and so on, whereas in C++ function overloading means it is just `min()`, and templates mean you only need to write it ones. The other big issue is lack of templates (AKA generics), so containers (list, map, etc.) are a pain in the arse to use.

However Go does have great concurrency support, and is close enough in speed to C++ that I'd probably always choose it to write servers in.

So I'd say Go, maybe C++. In a year reconsider Rust.

tomohawk• 11 years ago

Having done web servers in Java, C++, Ruby, and Python, I was pleasantly surprised by the capabilities offered by Go. In these other languages, the first thing you do is usually figure out a framework to use, which usually comes with its opinionated way of doing things. Often, the framework is really there to paper over issues with the language or the available standard libraries.

In go, the std library offers very good support, and if you need more, there are things such as gorilla (a web toolkit that enhances the std lib). There are also frameworks, of course, but many people find there is much less of a need for that.

The goroutine support is really great, and servicing concurrent client requests with them is effortless.

eonil• 11 years ago

I believe you're going to learn a new language for future problems, and I strongly recommend Rust.

If your performance (throughput and latency) requirement is not very critical, language really doesn't matter. Even scripting languages like Python, Javascript or Ruby performs very well by spawning servers on each cores.

But if your performance requirements goes serious, I believe you will get unusual bottleneck (e.g. GC, VM, memory usage pattern, specific hardware,... ), then you'll want a kind of "full-control". In this case, the only traditional choice was C/C++, and that's why many large-scale companies like Google and Facebook are using C++ internally.

Anyway C/C++ cannot provide enough level of safety that required to provide good productivity. As a workaround, you can use a sort of dynamic checkers (sanitisers), but the dynamic checkers are very immature, and fundamentally dynamic.

A new, and the only current alternative for this case is Rust. Rust provides far batter safety from first at "compile time". It also provides far better linguistic constructs and semantics. But the language itself is immature.

Anyway, (1) there is huge demand for this kind of features from C++ community and (2) Rust is completely engineer community driven (3) and fully open-sourced. So I expect the maturing speed of the language will be incredible that never been existed in language history. And it's fully open sourced.

GFK_of_xmaspast• 11 years ago

As a C++ programmer, if I wanted that kind of stuff why wouldn't I switch to java.

vowelless2• 11 years ago

Go is less verbose than Java arguably. Multi-threadedness in Go is very straightforward. Native code binaries can be beneficial in some cases.

lomnakkus2• 11 years ago

That would be amazing if Java didn't have AOT compilers. (See my other comment.)

justinsb• 11 years ago

For me, the killer feature of Go is that it produces executables that are quick to start up and run with a small memory footprint. It is great for utilities or agents or small daemons; where startup time or memory size are critical. It can also run without a JRE or other dependencies, which is nice if you are distributing software to end-users.

So I'm not sure I agree on your first two points. For me, lack of exceptions and generics means Go code is at least as verbose as Java, if not more so. Multi-threadedness is a wash for me; channels vs fork-join and executors are just not that different.

I think Java can produce native code today, but it isn't worth it for most scenarios where you would actually use Java. I think we'll see that change if Oracle ships an AOT compiler in "official Java".

pjmlp5• 11 years ago

Native code binaries can be beneficial in some cases.

Available in Aonix, IBM J9, Jamaica JVM, Excelsior JET

Just because OpenJDK doesn't offer it, doesn't mean others don't.

rdtsc• 11 years ago

You get the ability to use lightweight concurrency contexts (go-routines) + channels. Those are built in. The included library is very good.

But if you are used to generic programming and you think in terms of it, type handling in Go and might think it is a step backwards and Java might be close to what you'd want.

Even better, I think as C++, Rust is starting to look interesting. I am waiting for them stabilize it more (maybe get to beta 1.0 status), because I think it has some very cool things going for it.

vinkelhake2• 11 years ago

Go for C++ programmers, or.. trying to keep a straight face when explaining that no, just implementing "Less" to sort an array of some type isn't enough. You'll also need to tell Go how to get the length of an array and how to swap two elements.

Now, don't get me wrong. I actually like Go for the things I use it for: replacing Python.

0xdeadbeefbabe2• 11 years ago

Well go has a nice grammar. Seems like you won't have to write much boilerplate if when you can automate writing the code.

What bugs me most is this popularity contest. For example, the idea that go will go mainstream and writers of the future will write about people that did keep a straight face when explaining what you said. You know how people unwittingly revise history. This field has too much fashion going on and not enough engineering.

tptacek3• 11 years ago

Python outcompetes C++ in the market by a significant multiple. Python is used in diverse applications, many of them quite ambitious --- game backends, computer algebra, cryptography, network filesystems, simulation code, machine learning.

So is it just that the subset of applications that still get written, for some reason, in 2015 C++ are heavily dependent on specialized Sort implementations? Or is it instead the case that really Sort just isn't that big a deal?

It's pretty easy to look around briefly and see that a fair amount of ambitious stuff is being built in Golang. Somehow, they manage to do it without sum types and generics!

pjmlp5• 11 years ago

It's pretty easy to look around briefly and see that a fair amount of ambitious stuff is being built in Assembly. Somehow, they manage to do it without structured programming and high level languages!

shin_lao3• 11 years ago

Just try to remove all C++ applications from your everyday life, you will have the answer to your question.

vinkelhake2• 11 years ago

I'm not entirely sure what argument you think I'm making or what you're arguing against. Yes, Python is used a lot. Go is used a lot. C++ is used a lot.

Programming language design is all about tradeoffs. The makers of Go went for simplicity. There are pros and cons about their approach. What do you do when you run into something like this? You put your head down and work through it, like I have done every time I've had to write those three functions for sorting something in Go.

We can talk about the cons of an approach without having to point out that people work through it. After all, it's pretty easy to look around and see that a lot of ambitious stuff is being built in C. Somehow, they manage to do it without memory safety and generics.

0xdeadbeefbabe2• 11 years ago

And it also doesn't encourage long compile times, so you might be tempted to do less thinking and more compiling.

blt• 11 years ago

Go provides automatic garbage collection of allocated memory. It is not necessary (or possible) to release memory explicitly. There is no need to worry about heap-allocated vs. stack-allocated storage, new vs. malloc, or delete vs. delete[] vs. free. There is no need to separately manage std::unique_ptr, std::shared_ptr, std::weak_ptr, std::auto_ptr, and ordinary, "dumb" pointers. Go's run-time system handles all of that error-prone code on the programmer's behalf.

This is not an attractive statement to C++ programmers like the author probably imagines it is. We like being in control of our memory. C++ programmers who would prefer to not manage memory have probably already switched to Java or C#.

enneff• 11 years ago

Ian Lance Taylor wrote the article; he's one of the best C++ programmers I know. So I imagine he is speaking to _some_ subset of C++ programmers, just maybe not the one you belong to.

Go for C++ Programmers

Related Stories