FT07: The State of Parallel Programming - MSDN

coleslawokraΛογισμικό & κατασκευή λογ/κού

1 Δεκ 2013 (πριν από 3 χρόνια και 6 μήνες)

73 εμφανίσεις

>
>
>
>
>
>
>
>
>
How
should we
write parallel programs
?

>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
unrestricted use of variables

>
>
>
>
>
>
>
>
shared variables
stores
do
not
commute

with
other loads or stores

>
Shared
memory
isn’t a programming model

>
scheduling
values into variables

>
>
>
>
>
>
>
no mutable state
>
>
>
>
Plain monadic updates may still have data races

>
invariants

>
These are just a program’s “conservation laws”

>
They describe
>
As with physics, they are associated with a
certain generalized type of
commutativity

>
perturb
,
restore
>
>
>
>
>
>
isolated
>
>
>
atomic

>
Updates that are both isolated and atomic are
called

transactions

>

>


>
Operations

commute with respect to state

>
e always get
commutativity

with respect to the invariant


>
>
>


Susan Owicki and David Gries.
Verifying properties of parallel programs:


An axiomatic approach
. CACM
19(5), pp. 279

285, May 1976.




Leslie
Lamport and Fred Schneider.
The “Hoare Logic” of CSP, And All That
.


ACM TOPLAS 6(2
), pp. 281
−296,
April
1984.



>
>
>
>
>
>
>
>
>
>
>
>
>
>
consistency
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
“Transactional memory”
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>

>
>

channel9.msdn.com/learn
Built by Developers for Developers….

© 2009 Microsoft Corporation. All rights reserved. Microsoft, Windows, Windows Vista and other product names are or may be re
gis
tered trademarks and/or trademarks in the U.S. and/or other countries.

The information herein is for informational purposes only and represents the current view of Microsoft Corporation as of the
dat
e of this presentation. Because Microsoft must respond to changing market
conditions, it should not be interpreted to be a commitment on the part of Microsoft, and Microsoft cannot guarantee the accu
rac
y of any information provided after the date of this presentation. MICROSOFT
MAKES NO WARRANTIES, EXPRESS, IMPLIED OR STATUTORY, AS TO THE INFORMATION IN THIS PRESENTATION.