Tag Archive for: CppMem

Posts

wrench 24261 640

C++ Core Guidelines: Use Tools to Validate your Concurrent Code

May 4, 2018

/

Today, I'm happy to write about the probably most important C++ Core Guidelines for concurrency rule:…

sukzessiveOptimierungRelaxedSemantikEng

Ongoing Optimization: Relaxed Semantics with CppMem

August 20, 2016

/

With the relaxed semantics, we have no synchronizations and ordering constraints on atomic operations. Relaxed…

undefinedEng

Ongoing Optimization: A Data Race with CppMem

August 18, 2016

/

But we can improve and further improve the acquire-release semantics of the last post. Why should x be…

sukzessiveOptimierungSequenzielleKonsistenzEng

Ongoing Optimization: Acquire-Release Semantics with CppMem

August 16, 2016

/

With the acquire-release semantics, we break the sequential consistency. In the acquire-release semantics,…

sukzessiveOptimierungSequenzielleKonsistenzEng

Ongoing Optimization: Sequential Consistency with CppMem

August 13, 2016

/

With atomic data types, you can tailor your program to your needs and optimize it. But now we are in…

sukzessiveOptimierungLocksEng

Ongoing Optimization: Locks and Volatile with CppMem

August 9, 2016

/

The easiest way to solve the undefined behaviour in the post Ongoing Optimization: Unsynchronized access…

undefinedEng

Ongoing Optimization: Unsynchronized Access with CppMem

August 3, 2016

/

I described my challenge in the last post. Let's 's start with our process of ongoing optimization. To…

ongoingOptimization

Ongoing Optimization

August 3, 2016

/

Now it's time to put the theory into practice. The job is relatively easy. A small program should undergo…

CppMemUeberblickNumbers

CppMem – An Overview

July 30, 2016

/

CppMem is an interactive tool for exploring the behavior of small code snippets of the C++ memory model.…

Latest news

std::execution: SenderDecember 16, 2024 - 11:25 am
std::execution offers three types of senders: factories, adapters, and consumers. I’ll take a closer look at these today. Most of the following content is from proposal P2300R10. I will try to represent it more concisely. Sender Factory A sender factory is an algorithm that takes no senders as parameters and returns a sender. execution::schedule execution::sender […]
std::execution: Composition of SendersDecember 9, 2024 - 10:25 am
Most sender adaptors are composable using the pipe operator. Let me start with a simple example of composition with the pipe operator. Instead of the nested function calls call1(call2(input)) you can write call1 | call2(input) or even: input | call1 | call2 Function composition Okay, this example was straightforward. Let’s do something more complicated. Proposal […]
std::execution: Inclusive ScanDecember 2, 2024 - 10:30 am
Inclusive scan solves problems related to range queries, such as calculating the sum of a range of elements in an array. It is also used in range minimum queries and various other algorithms. Before I present the asynchronous inclusive scan, I introduce the inclusive scan, aka prefix sum. Prefix Sum In computer science, the prefix […]
std::execution: Asynchronous AlgorithmsNovember 25, 2024 - 9:06 am
std::execution supports many asynchronous algorithms for various workflows. Presenting proposal P2300R10 is not easy. First, it is very powerful, and second, it is very long. Therefore, I concentrate on specific aspects of the proposal. What are the priorities of this proposal? Priorities The terms execution resource, execution agent, and scheduler are essential for the understanding […]
std::executionNovember 18, 2024 - 9:03 am
std::execution, previously known as executors or Senders/Receivers, provides “a Standard C++ framework for managing asynchronous execution on generic execution resources“. (P2300R10) Side Note Change of plans. My original plan was to present the C++26 library after the core language. However, the implementation status of the library is not good enough. Therefore, I decided to continue […]
C++26 Core Language: Small ImprovementsNovember 4, 2024 - 8:34 am
There are more small improvements in the C++26 language, which you should know. static_assert extension First, here’s the syntax of static_assert in C++11: static_assert(compile time predicate, unevaluated string) With C++26, the string can be a user-defined type having the following properties: static_assert can now be used with a format string. Here’s a nice example from […]