Static analyses over weak memory

@inproceedings{Nimal2014StaticAO,
  title={Static analyses over weak memory},
  author={Vincent P. J. Nimal},
  year={2014}
}
Writing concurrent programs with shared memory is often not trivial. Correctly synchronising the threads and handling the non-determinism of executions require a good understanding of the interleaving semantics. Yet, interleavings are not sufficient to model correctly the executions of modern, multicore processors. These executions follow rules that are weaker than those observed by the interleavings, often leading to reorderings in the sequence of updates and readings from memory; the… CONTINUE READING
4 Citations
93 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 93 references

A shared memory poetics

  • J. Alglave
  • Ph.D. thesis, Université Paris 7 and INRIA
  • 2010
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…