How compiler and processor optimization works to speed up code execution?
In Linux Kernel Development (3rd Edition), Kernel Synchronization Methods, Ordering and Barriers. There is an example:
And I'm confused about the statement in this book:
Again, without memory barriers, it would be possible for b to be set to pp before pp was set to p.
So, does the author mean if there is no read_barrier_depends(), b = *pp would be executed before pp = p? How could this be possible?
Solution
I was interested in your problem, so I searched a bit longer. I found the post of the read_barrier_depends functionality on the kernel list, with some explanation:
- Why do lexers usually define a var as not being able to start with a number?
- Which bitset implementation should I use for maximum performance?
- Branch prediction in compiler level
- Do any languages / compilers utilize the x86 ENTER instruction with a nonzero nesting level?
- Compiling NASM on Mac OSX
- Calculating administrative normal form
- Parsing extended lambda calculus using recursive descent
- How to handle forward references with type inference
- Do debugging information reveal code in C++ / MSVC?
- From Object Code To executable
- What is the order of the scala compiler phases?
- Where is LLVM's interface for describing the instructions of an ISA?
- Translation limits of an identifier in C
- Register based VM - byte order - push/load
- What was ALGOL compiler originally programmed in?
- Unpack / pack operator
- Issue with Bison Parser for Handling for Loops (Syntax Error)
- vba-style compiler/gui for python
- Writing a compiler in its own language
- How does the code generated by JIT compiler link with the program?
- Convert EBNF to C# for compiler
- What is the exact compiler optimization applied here expect for tail recursion elimination?
- Compiling vs Transpiling
- Why is (void) 0 a no operation in C and C++?
- How to handle function calls in a control flow graph with basic blocks
- Questions about compilers
- assign operator to variable in python?
- how do compilers refer unboxed types?
- does new compilers turn the source code into a binary or do they just transpile and hand it over to another compiler
- Incomplete type of struct forward declaration