deterministic parallel java

Inferring method effect summaries for deterministic parallel java

FREE-DOWNLOAD M Vakilian, D Dig, R Bocchino, J Overbey, V Adve… – 2009 –
ABSTRACT In the multicores era, parallel programming will become mainstream. However, the
dominant model of concur- rency is based on threads that share memory. Program- ming in this
model is too error prone due to nondeter- ministic thread interleaving. A deterministic-by