Quite often, a designer has to chose from several alternative ways of achieving the same end. When the number of alternatives is very large, it is useful to have an "analyser" available which will mechanically enumerate the alternatives and assign a cost to each one - finally identifying the best alternative. The author has already produced such an analyser for serial programs 1, 2. The intention of this paper is to suggest that the approach used in this earlier work can be of relevance to the design of systems involving several processors (in particular, pipelines which are in a steady state). The analyses used are very approximate, but should be sufficient to select, from a large number of alternatives, the few alternatives which warrant detailed study (e.g. by precise simulation).
/lp/association-for-computing-machinery/automatic-enumeration-and-evaluation-of-certain-multiprocessor-design-QywpqSUVZe