python (65.1k questions)

javascript (44.2k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (12.9k questions)

Questions - memory-model

Haskell IORef usage in concurrent setting

I am having hard time to understand Haskell's memory model. I got stuck implementing a simple lock-free hash map and while trying to reproduce the error on a smaller example I realized I have no idea ...
test-img

ekim boran

haskell

lock-free

memory-model

ioref

Votes: 0

Answers: 1

Latest Answer

You're running into a pathological case with the implementation of pre-emptive multitasking in GHC. See the documentation of the Control.Concurrent module: GHC implements pre-emptive multitasking: th...
test-img

Noughtmare

What exactly is Synchronize-With relationship?

I've been reading this post of Jeff Preshing about The Synchronizes-With Relation, and also the "Release-Acquire Ordering" section in the std::memory_order page from cpp reference, and I don...
test-img

YoavKlein

c++

multithreading

memory-barriers

stdatomic

memory-model

Votes: 0

Answers: 1

Latest Answer

This ptr.store(p, std::memory_order_release) (L1) guarantees that anything done prior to this line in this particular thread (T1) will be visible to other threads as long as those other threads are re...
test-img

ixSci

"Lock free" write-once, read-often value in conjunction with thread pools

I am facing the following problem: My program uses the concept of "tasks", where a task exists of code (functions) that together make up a critical area. Each task (object) knows what its &q...
test-img

Carlo Wood

c++

multithreading

caching

lock-free

memory-model

Votes: 0

Answers: 1

Latest Answer

I tested this using genmc using the following program: #include <stdlib.h> #include <pthread.h> #include <stdatomic.h> #include <stdio.h> #include <assert.h> void __VERI...
test-img

Carlo Wood

How to identify code memory model through which an object file is generated?

I have a relocatable object file. I want to verify whether it was build with medium/large/small memory code model (-mcmodel g++ option.). Is there a way to get that information through objdump/readelf...
test-img

Shubham Mehta

gcc

ld

memory-model

gnu-toolchain

Votes: 0

Answers: 0

Posts

Questions

Blogs

Jobs