#memorymodel — Public Fediverse posts

Tìm hiểu về Memory Barriers (Rào cản bộ nhớ) và quy tắc Happens-Before trong Java. Những khái niệm quan trọng giúp viết code đa luồng an toàn và hiệu quả.

#Java #Programming #Concurrency #MemoryModel #Development #LậpTrình #ĐaLuồng #PhátTriển

https://www.reddit.com/r/programming/comments/1q161ds/explaining_memory_barriers_and_javas_happens/

I rather got a chuckle out of this #LWN article, which can sort of be summarized as "CPU architectures involving time-travel result in undefined behaviour".

https://lwn.net/Articles/993484/

#TimeTravel #MemoryModel #C #programming #C++ #UndefinedBehaviour

I rather got a chuckle out of this #LWN article, which can sort of be summarized as "CPU architectures involving time-travel result in undefined behaviour".

https://lwn.net/Articles/993484/

#TimeTravel #MemoryModel #C #programming #C++ #UndefinedBehaviour

I rather got a chuckle out of this #LWN article, which can sort of be summarized as "CPU architectures involving time-travel result in undefined behaviour".

https://lwn.net/Articles/993484/

#TimeTravel #MemoryModel #C #programming #C++ #UndefinedBehaviour

I rather got a chuckle out of this #LWN article, which can sort of be summarized as "CPU architectures involving time-travel result in undefined behaviour".

https://lwn.net/Articles/993484/

#TimeTravel #MemoryModel #C #programming #C++ #UndefinedBehaviour

I rather got a chuckle out of this #LWN article, which can sort of be summarized as "CPU architectures involving time-travel result in undefined behaviour".

https://lwn.net/Articles/993484/

#TimeTravel #MemoryModel #C #programming #C++ #UndefinedBehaviour

#ThemeOneProgram • #JetsAndSharks 3
• https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks-3/

Given a representation of the Jets & Sharks universe in computer memory, we naturally want to see if the memory serves to supply the facts a well-constructed #DataBase should.

In their #PDPHandbook presentation of the Jets & Sharks example, #McClelland & #Rumelhart give several exercises for exploring the use of their #NeuralPool #MemoryModel on tasks of #Retrieval & #Generalization.

Exercise 2.1
• https://web.stanford.edu/group/pdplab/pdphandbook/handbookch3#x7-330001

#Logic

#ThemeOneProgram • #JetsAndSharks 3
• https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks-3/

Given a representation of the Jets & Sharks universe in computer memory, we naturally want to see if the memory serves to supply the facts a well-constructed #DataBase should.

In their #PDPHandbook presentation of the Jets & Sharks example, #McClelland & #Rumelhart give several exercises for exploring the use of their #NeuralPool #MemoryModel on tasks of #Retrieval & #Generalization.

Exercise 2.1
• https://web.stanford.edu/group/pdplab/pdphandbook/handbookch3#x7-330001

#Logic

#ThemeOneProgram • #JetsAndSharks 3
• https://inquiryintoinquiry.com/2022/09/03/theme-one-program-jets-and-sharks-3/

Given a representation of the Jets & Sharks universe in computer memory, we naturally want to see if the memory serves to supply the facts a well-constructed #DataBase should.

In their #PDPHandbook presentation of the Jets & Sharks example, #McClelland & #Rumelhart give several exercises for exploring the use of their #NeuralPool #MemoryModel on tasks of #Retrieval & #Generalization.

Exercise 2.1
• https://web.stanford.edu/group/pdplab/pdphandbook/handbookch3#x7-330001

#Logic

Interesting, but not what I had in mind for a #MemoryModel:

“The Memory Models That Underlie Programming Languages” [2016], Kragen Javier Sitaker (http://canonical.org/~kragen/memory-models/).

Via HN: https://news.ycombinator.com/item?id=27455509

#Programming #ComputerHistory #PLDI #Memory #ProgrammingLanguage

Interesting, but not what I had in mind for a #MemoryModel:

“The Memory Models That Underlie Programming Languages” [2016], Kragen Javier Sitaker (http://canonical.org/~kragen/memory-models/).

Via HN: https://news.ycombinator.com/item?id=27455509

#Programming #ComputerHistory #PLDI #Memory #ProgrammingLanguage

Interesting, but not what I had in mind for a #MemoryModel:

“The Memory Models That Underlie Programming Languages” [2016], Kragen Javier Sitaker (http://canonical.org/~kragen/memory-models/).

Via HN: https://news.ycombinator.com/item?id=27455509

#Programming #ComputerHistory #PLDI #Memory #ProgrammingLanguage

Interesting, but not what I had in mind for a #MemoryModel:

“The Memory Models That Underlie Programming Languages” [2016], Kragen Javier Sitaker (http://canonical.org/~kragen/memory-models/).

Via HN: https://news.ycombinator.com/item?id=27455509

#Programming #ComputerHistory #PLDI #Memory #ProgrammingLanguage

Interesting, but not what I had in mind for a #MemoryModel:

“The Memory Models That Underlie Programming Languages” [2016], Kragen Javier Sitaker (http://canonical.org/~kragen/memory-models/).

Via HN: https://news.ycombinator.com/item?id=27455509

#Programming #ComputerHistory #PLDI #Memory #ProgrammingLanguage