I think there is a big problem with programming languages in the era of parallel programming, here is the problem

[amin...@gmail.com]

Hello,


We have to be more smart, and i think there is a big problem
with programming languages in the era of parallel programming,
here is the problem:

"However under x86-TSO, the stores are cached in the store buffers,
a load consult only shared memory and the store buffer of the given thread, wich means it can load data from memory and ignore values from
the other thread."

Read more here:

https://books.google.ca/books?id=C2R2DwAAQBAJ&pg=PA127&lpg=PA127&dq=immediately+visible+and+m+fence+and+store+buffer+and+x86&source=bl&ots=yfGI17x1YZ&sig=ACfU3U2EYRawTkQmi3s5wY-sM7IgowDlWg&hl=en&sa=X&ved=2ahUKEwi_nq3duYPkAhVDx1kKHYoyA5UQ6AEwAnoECAgQAQ#v=onepage&q=immediately%20visible%20and%20m%20fence%20and%20store%20buffer%20and%20x86&f=false



So i think that programming languages are not designed correctly,
because the variables that are not local and that are created in the main thread has to be local to the main thread and not accessible
by the other threads, and they have to be passed to the other threads with for example a queue that has to issue a memory barrier to flush
the store buffer to be able to solve the above safety problem.


Thank you,
Amine Moulay Ramdane.

[Chris M. Thomasson]

On 1/19/2020 5:06 PM, amin...@gmail.com wrote:
> Hello,
>
>
> We have to be more smart, and i think there is a big problem
> with programming languages in the era of parallel programming,
> here is the problem:
>
> "However under x86-TSO, the stores are cached in the store buffers,
> a load consult only shared memory and the store buffer of the given thread, wich means it can load data from memory and ignore values from
> the other thread."
>
> Read more here:
>
> https://books.google.ca/books?id=C2R2DwAAQBAJ&pg=PA127&lpg=PA127&dq=immediately+visible+and+m+fence+and+store+buffer+and+x86&source=bl&ots=yfGI17x1YZ&sig=ACfU3U2EYRawTkQmi3s5wY-sM7IgowDlWg&hl=en&sa=X&ved=2ahUKEwi_nq3duYPkAhVDx1kKHYoyA5UQ6AEwAnoECAgQAQ#v=onepage&q=immediately%20visible%20and%20m%20fence%20and%20store%20buffer%20and%20x86&f=false
>
>
>
> So i think that programming languages are not designed correctly,
> because the variables that are not local and that are created in the main thread has to be local to the main thread and not accessible
> by the other threads,

Not true. One can share data on a threads stack with other threads,
and/or TLS.