|
|
马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
x
abstractThe main subject of this book is the interesting and powerful class offunctional programming languages, and their application to parallelprogramming. The reason for choosing such a language is the ease withwhich such programs can be manipulated algebraically, and the bulk ofthe book is devoted to introducing and demonstrating this in action.
It is through the algebraic manipulation of programs that the problems ofparallel programming are addressed. We retreat from the hope that asingle program will serve for all the different parallel computers wemight wish to use, and instead begin with a single specifying program.Versions for different target architectures can then be derived by theapplication of a toolbox of reusable mathematical transformations, leading toversions tuned to the various machine structures available.
After giving a thorough introductory grounding to both writing andmanipulating functional programs, this book then illustrates howthese techniques can be used to specify, reason about and implementparallel programs for a variety of multiprocessor systems, but inparticular a class of loosely-coupled multiprocessors whose operationcan be described by a process network.
The book concludes by introducing an extended functional language inwhich the functional program text is augmented with a declarativedescription of how processes are partitioned and mapped onto a networkof processing elements. The purpose of these annotations is toprovide an abstract description of the process network specified bythe program so that an efficient mapping of processes to processorscan be carried out by the compiler. |
|
/1 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2006-12-7 05:07:55
