<p>These explains better : <a href="https://research-explorer.app.ist.ac.at/download/10191/10215/2021_ProcACMPL_Bui.pdf" rel="nofollow noreferrer">TSO and PSO Memory
Models</a>
<a href="https://cpb-us-e1.wpmucdn.com/sites.usc.edu/dist/c/321/files/2019/03/ZhangKW15-2kridoi.pdf" rel="nofollow noreferrer">Dynamic_Partial_Order_Reduction_for_Relaxed_Memory_Models</a></p>
<p>Also contains resources for further learning at the end.</p>

CC BY-SA 4.0
2022-06-28T12:43:48.060Z
2022-06-28T12:43:48.060Z
Jayanth MKV
<p>I have been reading about TSO (total store order) memory models for concurrent programs, but I can not find resources for PSO (partial store order) memory models. Can someone please point to resources. Thanks!</p>

<fl.formal-languages><automata-theory><concurrency><program-verification><program-analysis>
Where to read about PSO (partial store order) memory model
Anonymous
# Where to read about PSO (partial store order) memory model

(Asked by: username_0 on 2022-04-25)

I have been reading about TSO (total store order) memory models for concurrent programs, but I can not find resources for PSO (partial store order) memory models. Can someone please point to resources. Thanks!

**Tags:** fl.formal-languages, automata-theory, concurrency, program-verification, program-analysis

---

## 1 answers

### Answer by username_1 on 2022-06-28. Score: 0

These explains better : [TSO and PSO Memory
Models](https://research-explorer.app.ist.ac.at/download/10191/10215/2021_ProcACMPL_Bui.pdf)
[Dynamic\_Partial\_Order\_Reduction\_for\_Relaxed\_Memory\_Models](https://cpb-us-e1.wpmucdn.com/sites.usc.edu/dist/c/321/files/2019/03/ZhangKW15-2kridoi.pdf)

Also contains resources for further learning at the end.


---

