StackOverflow Questions for Tag: memory-model

getsoubl
getsoubl

Reputation: 1055

C++11 Memory ordering acquire release issue

Score: 2

Views: 104

Answers: 1

Read More
MagicRacoon
MagicRacoon

Reputation: 3

TSO and store forwarding guarantees

Score: 0

Views: 128

Answers: 1

Read More
MaPo
MaPo

Reputation: 855

C++: a question about memory_order_relaxed

Score: 3

Views: 329

Answers: 2

Read More
Phil
Phil

Reputation: 81

Race condition in Morris's algorithm

Score: 8

Views: 311

Answers: 1

Read More
Lockyer
Lockyer

Reputation: 1401

Do the release-acquire visibility guarantees of std::mutex apply to only the critical section?

Score: 7

Views: 713

Answers: 3

Read More
Some Name
Some Name

Reputation: 9540

Memory ordering of non-atomic object access

Score: 2

Views: 112

Answers: 0

Read More
glades
glades

Reputation: 4848

How does the memory controller guarantee memory ordering of atomics when propagating cachelines?

Score: 3

Views: 372

Answers: 1

Read More
Alastair Harrison
Alastair Harrison

Reputation: 1361

What is the effect of the change to the definition of release sequences in the C++20 memory model?

Score: 5

Views: 209

Answers: 1

Read More
Drew Dormann
Drew Dormann

Reputation: 63947

Is atomic_thread_fence(memory_order_release) different from using memory_order_acq_rel?

Score: 7

Views: 3547

Answers: 3

Read More
TSK
TSK

Reputation: 751

Reorder relaxed atomic operations on the same object

Score: 2

Views: 343

Answers: 3

Read More
Ivan Kush
Ivan Kush

Reputation: 3157

What does "release sequence" mean?

Score: 19

Views: 4112

Answers: 6

Read More
Yriuns
Yriuns

Reputation: 775

Memory Model: What is the difference between `store(x, relaxed); atomic::fence(seq_cst);` and `store(x, seq_cst)`

Score: 1

Views: 130

Answers: 1

Read More
user22425122
user22425122

Reputation: 17

How to iterate over all possible executions of a program?

Score: -1

Views: 133

Answers: 2

Read More
thb
thb

Reputation: 14464

Can modern x86 hardware not store a single byte to memory?

Score: 41

Views: 7089

Answers: 6

Read More
yaoqijun
yaoqijun

Reputation: 53

Do atomic operations in Go make sure other variables are visible to other threads?

Score: 5

Views: 2466

Answers: 2

Read More
Oersted
Oersted

Reputation: 2734

memory ordering on a simple producer/consumer example

Score: 3

Views: 209

Answers: 1

Read More
Oersted
Oersted

Reputation: 2734

follow up on memory ordering on a simple producer/consumer example

Score: 0

Views: 49

Answers: 0

Read More
Patrick Pan
Patrick Pan

Reputation: 495

In RISC-V, why setting the `rl` bit on the LR instruction isn't necessary to make the LR/SC sequence sequentially consistent?

Score: 0

Views: 288

Answers: 2

Read More
newman
newman

Reputation: 519

How to understand happens-before consistent

Score: 16

Views: 9106

Answers: 5

Read More
Alex Guteniev
Alex Guteniev

Reputation: 13719

How C++ Standard prevents deadlock in spinlock mutex with memory_order_acquire and memory_order_release?

Score: 8

Views: 919

Answers: 2

Read More
PreviousPage 3Next