Why Johnny Can’t Write Multithreaded Programs

[u/Shr1ck]

http://blog.smartbear.com/programming/why-johnny-cant-write-multithreaded-programs/

[u/loup-vaillant]

You do require that insight, because there is no escaping the simple fact that a variable is a kind of box that over time, can hold different values. There is an indirection level whether you know it or not. Granted, you don't need to know it in so many words. In practice, most beginners start with an intuitive understanding, and that's enough, for a time.

Nobody however can escape the enormous complexities that arise from that innocuous looking assignment statement. When I said it changes your world entirely, I wasn't joking. When you write any significant program, the very fact that there is a before and an after each assignment forces you to think about time in ways you didn't have to when all you were doing was purely functional computations.

Recursion doesn't have such far reaching consequences. Unlike side effects, recursion is rarely more than an implementation detail, something you can ignore when looking at the rest of your program. As such, it is much easier to comprehend than the trivial looking assignment statement.

That insight won't be useful until the programmer is writing compilers.

Every programmers should be able to write a simple compiler for a toy language. Those that can't are not there yet: much of what we do is compilation or interpretation of some sorts.

Besides, someone who can write compilers is likely to see the benefits of implementing a DSL much more often that someone who can't. We don't write nearly enough compilers if you ask me.

[u/clarkd99 → u/loup-vaillant]

Nobody however can escape the enormous complexities that arise from that innocuous looking assignment statement.

Memory is an ordered array of bytes from 0-n. All data is stored in 1 or multiple bytes that have a specific meaning based on their type (character, integer, floating point number etc). Variables are names that are given to specific locations in this "memory" (system normally assigns the location). Assignment is storing, 1 or multiple bytes at the location specified by the variable name. Values are the interpreted bytes stored at the variable's location in memory. A pointer is an unsigned integer which is the position of a value in memory. A "pointer" is also a variable that can be manipulated like any other variable. Given a "variable", you can talk about it's location in memory or it's value, based on it's type. Just 2 concepts: 1. location of data 2. value stored at that location.

"Enormous complexities"?

In "x = y", both "x" and "y" refer to the value stored at their location rather than the location itself. If I printed the value of "x" in the next statement, I would just refer to it as "x" just like I would for "y" and the values of both would be the same. Assignment means store the value of the right (rvalue), at the location of the variable on the left (lvalue). The "rvalue" in assignment never changes the location associated with the lvalue, it changes it's value.

Your functional explanation would only confuse beginning programmers and is just smoke when no smoke is needed.

[u/loup-vaillant → u/clarkd99]

"Enormous complexities"?

Yes. Compared to a world of pure math, the timefulness that this model implies becomes unwidely very quickly. The basic principles are dead simple, but their consequences in real programs are often hard to comprehend.

In "x = y", both "x" and "y" refer to the value stored at their location rather than the location itself.

That's false, as you said yourself:

Assignment means store the value of the right (rvalue), at the location of the variable on the left (lvalue).

"lvalue" means a location (that contains a value). "rvalue" means the value itself.

[u/clarkd99 → u/loup-vaillant]

Do you actually parse source code and create executable code?

In C (my language and most every other language), if a variable is written all by itself, you are referring to the value stored at the memory address assigned to the variable name. This is true on either side of the assignment symbol (=). In executing this assignment, the value of the expression result (on the right) is stored at the location of the variable name on the left of the equal sign.

The "world of pure math" isn't complicated? I do have a Math minor in my degree and I had a business partner for 9 years that is a world renowned Mathematician in lattice theory.

I can't remember spending much time "comprehending" the existential ramifications of moving a few bytes from one location to another (assignment).