Architecture and Parallel Algorithm Design

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Architecture and Parallel Algorithm Design Outline: Mult...
0 downloads 0 Views 2MB Size
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Architecture and Parallel Algorithm Design Outline: Multicore architecture ● Task/channel model ● Algorithm design methodology ● Case studies ●

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Moore's law based on transistor count

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Intel i7 processor

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Intel I-7 supports hyperthreading

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

AMD 6 core Istanbul Opteron

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Task/Channel Model Parallel computation = set of tasks  Task  Program  Local memory  Collection of I/O ports  Tasks interact by sending messages through channels 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Task/Channel Model

Task

Channel

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Foster’s Design Methodology Partitioning  Communication  Agglomeration  Mapping 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Foster’s Methodology P r o b le m

P a r t it io n in g C o m m u n ic a t io n

M a p p in g

A g g lo m e r a t io n

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Partitioning  



Dividing computation and data into pieces Domain decomposition  Divide data into pieces  Determine how to associate computations with the data Functional decomposition  Divide computation into pieces  Determine how to associate data with the computations

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Example Domain Decompositions

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Example Functional Decomposition

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Partitioning Checklist At least 10x more primitive tasks than processors in target computer  Minimize redundant computations and redundant data storage  Primitive tasks roughly the same size  Number of tasks an increasing function of problem size 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Communication  



Determine values passed among tasks Local communication  Task needs values from a small number of other tasks  Create channels illustrating data flow Global communication  Significant number of tasks contribute data to perform a computation  Don’t create channels for them early in design

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Communication Checklist Communication operations balanced among tasks  Each task communicates with only small group of neighbors  Tasks can perform communications concurrently  Task can perform computations concurrently 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration Grouping tasks into larger tasks  Goals  Improve performance  Maintain scalability of program  Simplify programming  In MPI programming, goal often to create one agglomerated task per processor 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration Can Improve Performance Eliminate communication between primitive tasks agglomerated into consolidated task  Combine groups of sending and receiving tasks 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration Checklist       

Locality of parallel algorithm has increased Replicated computations take less time than communications they replace Data replication doesn’t affect scalability Agglomerated tasks have similar computational and communications costs Number of tasks increases with problem size Number of tasks suitable for likely target systems Tradeoff between agglomeration and code modifications costs is reasonable

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Mapping Process of assigning tasks to processors  Centralized multiprocessor: mapping done by operating system  Distributed memory system: mapping done by user  Conflicting goals of mapping  Maximize processor utilization  Minimize interprocessor communication 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Mapping Example

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Optimal Mapping Finding optimal mapping is NP-hard  Must rely on heuristics 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Mapping Decision Tree 



Static number of tasks  Structured communication  Constant computation time per task • Agglomerate tasks to minimize comm • Create one task per processor  Variable computation time per task • Cyclically map tasks to processors  Unstructured communication • Use a static load balancing algorithm Dynamic number of tasks

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Mapping Strategy Static number of tasks  Dynamic number of tasks  Frequent communications between tasks Use a dynamic load balancing algorithm  Many short-lived tasks Use a run-time task-scheduling algorithm 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Mapping Checklist Considered designs based on one task per processor and multiple tasks per processor  Evaluated static and dynamic task allocation  If dynamic task allocation chosen, task allocator is not a bottleneck to performance  If static task allocation chosen, ratio of tasks to processors is at least 10:1 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Case Studies Boundary value problem  Finding the maximum  The n-body problem  Adding data input 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Partitioning One data item per grid point  Associate one primitive task with each grid point  Two-dimensional domain decomposition 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Communication Identify communication pattern between primitive tasks  Each interior primitive task has three incoming and three outgoing channels 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration and Mapping

Agglomeration

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Reduction Given associative operator   a0  a1  a2  …  an-1  Examples  Add  Multiply  And, Or  Maximum, Minimum 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Parallel Reduction Evolution

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Parallel Reduction Evolution

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Parallel Reduction Evolution

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Binomial Trees Subgraph of hypercube

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Finding Global Sum 4

2

0

7

3

5

6

3

8

1

2

3

4

4

6

1

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Finding Global Sum

1

7

6

4

4

5

8

2

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Finding Global Sum

8

2

9

1 0

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Finding Global Sum

1 7

8

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Finding Global Sum

Binomial Tree 2 5

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Agglomeration sum

sum

sum

sum

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Summary: Task/channel Model Parallel computation  Set of tasks  Interactions through channels  Good designs  Maximize local computations  Minimize communications  Scale up 

Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display.

Summary: Design Steps Partition computation  Agglomerate tasks  Map tasks to processors  Goals  Maximize processor utilization  Minimize inter-processor communication 