A model for parallel and distributed programs, the dynamic process graph (DPG), is investigated under graph-theoretic and complexity aspects. Such graphs embed constructors for parallel programs, synchronization mechanisms as well as conditional branches. They are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation can be as small as logarithmic with respect to the size of any execution of the program.
In a preceding paper [A. Jakoby, et al., Scheduling dynamic graphs, in: Proc. 16th Symposium on Theoretical Aspects in Computer Science STACS'99, LNCS, vol. 1563, Springer, 1999, pp. 383–392] we have analysed the expressive power of the general model and various variants of it. We have considered the scheduling problem for DPGs given enough parallelism taking into account communication delays between processors when exchanging data. Given a DPG the question arises whether it can be executed (that means whether the corresponding parallel program has been specified correctly), and what is its minimum schedule length.
In this paper we study a subclass of dynamic process graphs called
-output DPGs, which are appropriate in many situations, and investigate their expressive power. In a previous paper we have shown that the problem to determine the minimum schedule length is still intractable for this subclass, namely this problem is
-complete as is the general case. Here we will investigate structural properties of the executions of such graphs. A natural graph-theoretic conjecture that executions must always split into components that are isomorphic to subgraphs turns out to be wrong. We are able to prove a weaker property. This implies a quadratic upper bound on the schedule length that may be necessary in the worst case, in contrast to the general case, where the optimal schedule length may be exponential with respect to the size of the representing DPG. Making this bound constructive, we obtain an approximation to a
-complete problem. Computing such a schedule and then executing the program can be done on a parallel machine in polynomial time in a highly distributive fashion. 相似文献
Digital image processing techniques have been applied to the analysis of cellular smoked foil patterns from gaseous detonations. In particular, the two-dimensional autocorrelation function is applied to digital cell pattern images and an orientational correlation parameter is calculated. Taking line profiles along the directions of highest correlation provides an unbiased method of determining the mean cell size in each of the two principal directions. By analyzing the width, amplitude and angular position of the orientational correlation plots, information can be extracted concerning the cellular pattern regularity, the relative angular correlation between two sets of transverse waves in two directions, and the mean shape or elongation of the cells within the pattern. The technique is applied to smoked foils from oxyacetylene mixtures with argon dilutions ranging from 0 to 75% to quantify the increase in regularity with argon dilution. This method provides a simple and useful way of analyzing cellular patterns and constitutes a promising technique for improving smoked foil diagnostics. 相似文献
We investigate a new parallel all-optical clock recovery scheme based on heterodyne beats of an optical sideband-filtered signal. The oscillating clock signal is recovered when the filtered sideband is combined with a stable local oscillator. The filtering is performed with an optical resonator, which by nature provides possibility for multiwavelength operation. The local oscillator could be realized by a multiwavelength laser, whose emission wavelengths are injection seeded with carrier wavelengths of the input data. The output signal of such a configuration benefits from a reduced bit-pattern effect and a stable offset level. The sideband filtering is demonstrated for 23 simultaneous channels at 100 GHz DWDM grid, each hosting a data stream of 10 Gbit/s. 相似文献
The current status of the R & D activities is presented on electron beam processing of polymers being carried out at TRCRE. Topics included are sterilization of medical products, graft polymers for selective separation or absorbents and curing of liquid prepolymer-monomer systems. 相似文献