June 16-21, Sofia, Bulgaria
September 13-19, Aurora, CO, USA
October 25, Pavia, Italy
November 6-8, Berlin, Germany
November 16-21, Kona, HI, USA
By Adrien Hamelin | Nov 26, 2018 02:16 PM | Tags: community
An interesting point of view.
Treating symptoms instead of the cause
by Andrzej Krzemieński
From the article:
Compiler warnings can sometimes help us find bugs before we even build our program, but it only works provided that we can make use of the warnings. Especially, when we are aware that warnings detect only symptoms of the bugs rather than bugs themselves...
By Adrien Hamelin | Nov 26, 2018 02:12 PM | Tags: performance
Safe and performant?
A zero cost abstraction?
by Josh Peterson
From the article:
Recently Joachim (CTO at Unity) has been talking about “performance by default”, the mantra that software should be as fast as possible from the outset. This is driving the pretty cool stuff many at Unity are doing around things like ECS, the C# job system, and Burst (find lots more about that here).
One question Joachim has asked internally of Unity developers is (I’m paraphrasing here): “What is the absolute lower bound of time this code could use?” This strikes me as a really useful way to think about performance. The question changes from “How fast is this?” to “How fast could this be?”. If the answers to those two questions are not the same, the next question is “Do we really need the additional overhead?”
Another way to think about this is to consider the zero-cost abstraction, a concept much discussed in the C++ and Rust communities. Programmers are always building abstractions, and those abstractions often lead to the difference between “how fast it is” and “how fast it could be”. We want to provide useful abstractions that don’t hurt performance...
By Andrey Karpov | Nov 21, 2018 02:00 AM | Tags: static code analysis pvs-studio c++ bugs
The PVS-Studio analyzer is gradually becoming more complicated but these changes can be hardly described in a Release-history. For example, this year we have consistently implemented symbolic computations in the analyzer. This is why it was agreed to write a note on algorithms and technologies, which PVS-Studio now uses to search for errors and potential vulnerabilities.
Technologies used in the PVS-Studio code analyzer for finding bugs and potential vulnerabilities
by Andrey Karpov
From the article:
Here a mixture of technologies is working: data flow analysis, symbolic execution, and automatic method annotation (we will cover this technology in the next section). The analyzer sees that X variable is used in the Div function as a divisor. On this basis, a special annotation is built for the Div function. Further it is taken into account that in the function a range of values [0..4] is passed as the X argument. The analyzer comes to a conclusion that a division by 0 has to occur.
By Adrien Hamelin | Nov 19, 2018 01:08 PM | Tags: experimental community
Trip report.
San Diego Committee Meeting: A Trip Report
by Corentin Jabot
From the article:
As I left Rapperswil earlier this year, I said very firmly that I would not go to the San Diego Meeting.
Crossing an ocean to work on C++ 12 hours a day for a week is indeed madness.
And so naturally, I found myself in a San Diego hotel straight from the 60s, to do some C++ for a week. With the exception of the author of this blog, all people there are incredibly smart and energetic, and so a lot of great work was done...
By Adrien Hamelin | Nov 19, 2018 01:05 PM | Tags: experimental community
One more report.
Trip Report: Freestanding in San Diego
by Ben Craig
From the article:
All three are dealing with "freestanding". I've been working for the last year or so trying to redefine freestanding in a way that would be useful to more people. I have personal experience using C++ in various operating system kernels / drivers, and a bit of experience working on micro controllers and digital signal processors, so that's where my papers focused. At the CppCon 2018 SG14 meeting, some GPU companies have said that my definitions are useful for their architectures (with some tweaks), and I've heard from several other people that my definitions are even useful in some environments where performance and determinism are key, even when there is an OS. I'm still trying to figure out if and how to incorporate all these groups into one thing that could get standardized.
I pitched "Freestanding Proposal" at my first WG21 meeting was November of 2017 in Albuquerque. I was an unknown then. San Diego was my third WG21 meeting. All the papers and interviews and trip reports have now made it where people were asking me about freestanding quite frequently. There were a few times I got stopped while walking around by someone I had never talked to before, and they knew who I was, and asked about freestanding. I found this very flattering. I'm thrilled (and terrified) that my work is getting such visibility...
By robwirving | Nov 16, 2018 08:09 AM | Tags: None
Episode 175 of CppCast the only podcast for C++ developers by C++ developers. In this episode Rob and Jason are joined by Ashley Hedberg to discuss the San Diego C++ Committee meeting from her perspective on the Library Evolution Working Group.
CppCast Episode 175: San Diego LEWG Trip Report with Ashley Hedberg
by Rob Irving and Jason Turner
About the interviewee:
Ashley Hedberg has been working at Google for the last three years. She currently works on Abseil, an open-source collection of C++ library code designed to augment the C++ standard library. San Diego was her second WG21 meeting.
By Adrien Hamelin | Nov 14, 2018 01:27 PM | Tags: performance c++17
Are you using it?
The Amazing Performance of C++17 Parallel Algorithms, is it Possible?
by Bartlomiej Filipek
From the article:
With the addition of Parallel Algorithms in C++17, you can now easily update your “computing” code to benefit from parallel execution. In the article, I’d like to examine one STL algorithm which naturally exposes the idea of independent computing. If your machine has 10-core CPU, can you always expect to get 10x speed up? Maybe more? Maybe less? Let’s play with this topic.
By Adrien Hamelin | Nov 14, 2018 01:22 PM | Tags: experimental
More with less.
C++ Coroutine TS — It’s about inversion of control!
by Buckaroo
From the article:
Many people look at the Coroutines TS and wonder, what is all of the fuss about?
This article gives you one motivating example where lazy sequences enable you to seperate your concerns and maximize code reuse without increasing complexity...
By egraether | Nov 14, 2018 11:41 AM | Tags: None
Sourcetrail is a cross-platform visual source explorer based on LLVM/Clang LibTooling
Sourcetrail 2018.4 released
by Eberhard Gräther
From the article:
Sourcetrail 2018.4 features big improvements on indexing performance and reduced memory consumption. The new tab bar in the application window allows for opening multiple symbols simultaneously, just like in a web browser. Also, new type-use edges were added to the graph visual, to make exploration of types easier when templates are involved.
By triangles | Nov 14, 2018 11:37 AM | Tags: c++11
New (!) ways of memory management.
A beginner's look at smart pointers in modern C++
by Triangles @ Internal Pointers
From the article:
Pointers in C and C++ languages are wild beasts. They are extremely powerful, yet so dangerous: a little oversight may wreak havoc on your whole app. Smart pointers were born to fix such annoyances. They provide automatic memory management: when a smart pointer is no longer in use, that is when it goes out of scope, the memory it points to is deallocated automatically.
