Weak Memory Model Formalisms: Introduction and Survey
Memory consistency models define the order in which accesses to shared memory in a concurrent system may be observed to occur. Such models are a necessity since program order is not a reliable indicator of execution order, due to microarchitectural features or compiler transformations. Concurrent pr...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2508.04115 http://arxiv.org/abs/2508.04115 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|