Hardware Memory Models
이 글은 멀티프로세서 환경에서 하드웨어 메모리 모델의 중요성과 복잡성을 설명한다. 특히, 순차적 일관성(sequential consistency) 개념과 이를 보장하지 않는 현대 하드웨어(x86-TSO, ARM, POWER)의 메모리 모델 차이를 다룬다. 메모리 모델은 프로그래머, 컴파일러, 하드웨어 설계자가 프로그램 실행의 일관성과 최적화 가능성을 이해하는 데 필수적이다. 이 글은 Go 언어의 메모리 모델 개선 논의를 위한 배경 지식을 제공한다.
https://research.swtch.com/hwmm
#memorymodel #hardware #multiprocessing #concurrency #programminglanguages
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/
He’ll explain what Rust’s ordering rules (`Relaxed`, `Acquire`, `SeqCst`, etc.) actually mean, and how they show up in the concurrency crates you use every day.
#RustLang #Concurrency #MemoryModel
🧵 2/3
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
The third part:
“Updating The Go Memory Model”, Russ Cox (https://research.swtch.com/gomm).
On HN: https://news.ycombinator.com/item?id=27810459
All posts in this series: https://research.swtch.com/mm
#Go #GoLang #MemoryModel #Concurrency #Programming #Memory #Atomics #Multithreading
The next part is equally insightful and even contains surprises:
"Programming Language Memory Models", Russ Cox (https://research.swtch.com/plmm).
On HN: https://news.ycombinator.com/item?id=27750610
#Programming #MemoryModel #Concurrency #Go #C #CPlusPlus #Rust #Swift #Java #LLVM #Atomics #Fences #Memory
👆🏽 is the first part in a series of essays that seek to establish a #MemoryModel for #Go programs, in the pursuit of resolving this long-standing issue:
“Doc: Define How sync/atomic Interacts With Memory Model” (https://github.com/golang/go/issues/5045).
Wonderfully-accessible introduction 👌🏽 to the #HardwareMemoryModel in a modern #CPU that most programmers either gloss over or remain unaware of:
“Hardware Memory Models”, Russ Cox (https://research.swtch.com/hwmm).
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
sayzard
Reddit Tech VN Bot
EuroRust
C.
Jon Awbrey
रञ्जित (Ranjit Mathew)
