A FLUID DYNAMICS PARALLEL PROCESSOR

Abstract: Fluid flow is simulated by a massively parallel data processor having combinational logic for processing collision rules at lattice sites. Following collision processing, particle representations are moved to different sites dependent on direction and velocity of the particles. The collision rules are based on collisions of particles positioned at sites of a three-dimensional lattice. Particle representations identify particles of plural energy levels, and the collision rules allow for transfer of energy between particles. Particle representations relate to particles which move along four-dimensional face-centered hypercube lattices which project to the three-dimensional lattice.

Description: A_ LUID_DYNAMI_CS_PARALLEL_PROCESSOR 5ϋ£-S-3££HS___°-_-Ξ-ϊ-i-—lS B_ci2E A fluid is generally defined as any substance that can flow. Fluids encompass gases, liquids and combinations of gases and liquids. The field of fluid dynamics attempts to explain and characterize the behavior of fluids. Conventionally, such characterization has been through equations. The use of equations to system large and complex physical environments is difficult at least. Further, approximations inherent in processing the equations can cause significant errors. A fundamental view of fluid dynamics is that fluids are comprised of particles. A corollary of this view is that behavior of the fluids can be explained from the behavior of the particles that make up the fluid. A vast majority of particles in the fluid are constantly in motion. The particles move undisturbed until they collide with other particles. Such a view of particles h as given rise to a simulation approach in which the particles are viewed as traveling on a lattice and are processed individually. However, such a discrete system suffers several discreteness artifacts not found in real fluids. _HI5π!ϋ_-Σ_°_i_--!£_l2Σ£B._:i£E A flow processing system of the present invention comprises storage means for storing particle representations of plural particles for each of the plural sites of a lattice. The representations identify, for each particle, one of plural possible energy states. Collision processing means process, for each lattice site, the particle representations to generate second particle representations according to collision rules. The collision rules include rules which cause a second particle representation which reflects a transfer of energy between particles. The representations are then processed across the lattice to generate new representations which reflect movement of particles in the lattice to new sites. Preferably, collision logic provides for greater rates of energy transfer in one direction than in a reverse direction. Specifically, the number of energy transfer collisions and inverse transfer collisions allowed may be regulated to insure that the system exhibits Gallilean invariance without dynamic pressure anomaly over a range of densities and temperatures. The collisions for many sites may be performed in parallel processors. The collision rules conserve mass, momentum and energy. Preferably, the particle represen¬ tations define particles of different four-dimensional velocities. The particles may move along four- dimensional f ce-centered hypercubes projected into three-dimensional space. The processors may provide for movement of particles on a nonuniform grid. The lattice structure simplifies processing by forcing the particles to reside at discrete locations. The system relies on combinational logic to process simple collision rules, so no floating point arithmetic is required, and the errors inherent in such calculations due to approximation are avoided. By providing plural particle energy levels and collisions which result in energy transfer between particles, the discreteness artifacts which result from the discrete nature of the process can be eliminated. The particle representations may comprise a state vector for each lattice site. The state vector is a set of bits, each bit representing a particle of a particular energy and a particular direction of movement at the site. In the preferred system, a sequencer selects like bits of a plurality of sites of the lattice together and combinational collision logic processes a common collision rule on all selected bits simultaneously. The combinational logic need only perform a collision by setting state bits where the particle representation indicates that all colliding particles are present and that there are holes where all resultant collided particles are to be present in the second particle representation. The combinational logic may receive masking inputs to prevent performance of certain collision rules; such masking inputs easily provide for the different rates of energy transfer. Other masking inputs may force a boundary rule and assist in implementation of the nonuniform grid. __.__A f__De_ __iEt_£B_£_l__ϊ_l______-_--.i∑--a-i Figure la is a projection of the energy 1 sublattice of the four dimensional face centered hypercubic lattice onto the three dimensional lattice where particles reside. Figure lb is a projection of the energy 2 sublattice of the four dimensional face centered hypercubic lattice on to the three dimensional lattice where particles reside. Figures 2a and 2b list the possible velocity vectors that the particles at any given lattice site may assume . Figures 3a and 3b list the possible particle pairings for the first equivalence class. Figures 4a and 4b illustrate how the net velocity vectors of the second equivalence class can be found by applying the Pythagorean Theorem. Figure 5 presents two examples of the degeneracy of the second equivalence class. Figure 6 illustrates a single example of the degeneracy of the third equivalence class . Figure 7 is a table summarizing the equivalence classes . Figures 8a, 8b and 8c depict examples of particle collisions for the respective first three equivalence classes . Figures 9a and 9b show forward and inverse energy transfer collisions, respectively. Figure 10 is an illustration of the bits in a state vector . Figure 11 is an illustration of a processing chip of one embodiment of the invention. Figure 12 is an enlarged view of a pipeline element of Figure 11. Figure 13 is an example of the overlapping strategy employed to remove contaminated data. Figure 14 depicts the mapping of a volume of fluid into the processing arrays. Figure 15 is a block diagram of an alternative processor embodying the invention. Figure 16 is a schematic illustration of the state vector data for a 4x4x4 block of sites processed in the ALU of Figure 15. __£_r__il _^_l_£-i £iE_ii£B_£_I_Z_I _l£-I£--;_5-5 ££^i-5£n_ The present invention provides a method and apparatus for solving particle flow problems such as in fluid dynamics by effectively simulating fluid behavior with a special purpose data processing system. Moreover, the particle flow problems are solved using purely binary logic. As such, the system does not suffer from the drawbacks of floating point arithmetic computation (e.g. error attributable to decimal place roundoff) . A volume of fluid consists of a number of particles such as molecules distributed throughout a volume. The particles in the volume move in many different directions, and a number of collisions occur between the particles. The system captures the physical behavior of the volume of fluid within practical computational limits by imposing a three dimensional (3-D) lattice structure onto the volume of fluid. A portion of this three dimensional cubic lattice 10 is shown in Figure a * The lattice structure is of an appropriate size to cover the entire volume of fluid. Particles of the fluid may only reside at lattice sites (i.e. vertices) of the lattice. Movement of the particles, however, is not constrained to be along the edges of the three dimensional lattice; rather particles are only constrained to reside at a lattice site for any discre*-?. time step . During each time step, particles which reside at _. site are allowed to collide. The states of the particles thus change according to predetermined collision rules. Despite the discreteness of the lattice structure, it has been determined that true fluid flow can be simulated without discreteness artifacts by allowing multiple energy levels of the particles, by proper selection of the committed directions of travel of the particles along the lattice structure and by proper selection of collision rules. Proper direction of movement requires that the particles be considered to move in a four-dimensional space. The size and orientation of the lattice structures vary for each energy level. In selecting the lattices, the sum over the directions of the four-fold tensor product of the unit vectors in each energy level must form a purely isotropic rank four tensor. This rank four isotropy property must hold in each energy level separately. All integer energy levels exist and have this property. The displacement/velocity vectors -of the integer energy levels 1, 2, 3 and 4 are described below. The energy 1 and 2 particles move in a four- dimensional face-centered hypercubic (FHCH) lattice structure. The movement of each particle projects into the three-dimensional lattice of Figures la and lb. Figure la illustrates the projection of particle movement of a first energy level, and Figure lb illustrates the projection of movement of particles of a second energy level onto the same three-dimensional lattice. The FCHC symmetry for a single speed of particle is described in B. Hasslacher e_t_a1. , C m2 ex__5y _^__ , π_s. (1987) . Hasslacher et_a_L. did not describe a FCHC symmetry for multiple particle energies such as embodied in the present invention. Furthermore, unlike the present invention, they did not propose energy-exchange collisions. These changes will be described in more detail below. Movement of the particles in the four dimensions can be represented by vectors (x, y, z, w) . Figure 2a illustrates the movement vectors of the first energy level which project into three dimensions as illustrates in Figure la. The movement vectors of the particles of the second energy level are presented in Figure 2b and project into the three-dimensional lattice as illustrated in Figure lb. The vectors presented in Figures 2a and 2b represent the displacement of a particle in each of the four dimensions in one time step and are thus the velocity vectors of displacement per time step. The energy 1 vector of figure 2a can be seen as permutations of (+1, +1,0,0) where the two +1 values may be shifted to any of the four dimensions. Similarly, the energy 2 vectors of Figure 2b can be seen as permutations of (+1 , +1 ,+1 , +1) and (+2,0,0,0) . Although the implementations presented here utilize only three energy levels, 0, 1 and 2, additional energy levels may be represented in the system. For example, the third energy level would be permutations of (+2 , +1 ,+1 , 0) , and a fourth level energy would be permutations of (+2, +2, 0,0) . The energy of each particle is equal to one half the sum of the squares of the units of displacement in each direction. Thus, the energy of the first level is 4(1+1) - 1, and that of the second level is 4(1+1+1+1) - 4(4) - 2. Similarly, the integer energy values of the third and fourth levels are 3 and 4. The resultant velocities of the velocity vectors can be computed from the Pythagorean Theorem as the square root of the sum of the squares of the displacements in each direction. Thus , for the energy 1 particles the velocity is -/l + 1 for energy 2 particles the velocity resultant As can be seen from Figures 2a and 2b, there are 24 possible particles in each of energies levels 1 and 2, each particle having a different direction of movement in four dimensions. Energy 3 particles may move in 96 directions and energy 4 particles may move in 24 directions. In the implementations described here, in addition to the 24 directions of energy 1 particles and 24 directions of energy 2 particles, six rest particles are allowed to remove the discreteness artifacts as described below, for a total of 54 possible particles at each side of the three-dimensional lattice of Figure la. As discussed in detail below, with each time step selected pairs of those particles are allowed to collide; pairs of colliding particles at each site generate pairs of collided particles. With reference to Figure la, for each lattice site, there are 24 directions of travel 3 and 5 that a particle may assume. These directions are labelled nearest neighbor directions because the velocity vectors they represent point to a FCHC nodes denoted as nearest neighbors. The nearest neighbor nodes are located v 2 units away from the lattice site in the four dimensional space. In addition, there are 24 other directions of travel 7 and 9 (in Figure lb) that a particle may assume. Such FCHC nodes are denoted as next nearest neighbors. These nodes are located 2 units from the lattice site. A particle resident at a given 3-D lattice site may travel towards a FCHC nearest neighbor, a FCHC next nearest neighbor or remain stationary in a single time step. The velocity vectors directed towards nearest neighbors that have no components in the fourth dimen¬ sion (i.e. the last coordinate position is zero) are the vectors 3 in Figure la. These vectors are represented as dotted lines. Also shown in Figure la are the velocity vectors 5 which have components in the fourth dimension. These types of vector are represented by solid lines running from the central node to the * urrounding nodes. Each said line represents a vector . air for each node because the component of the vector in the fourth dimension (i.e. a 1 or -1 in the last coordinate position) cannot be seen in three dimensions. As such the two velocity vectors project onto three dimensions as the same line. Figure lb provides a similar illustration of the velocity vectors for energy 2 particles. The velocity vectors 7 existing solely in three dimensions are, however, represented by solid lines; whereas, the velocity vectors 9 that have components in the fourth dimension are represented by broken lines running from the central node. In addition, the vectors (0,0,0,2) and (0,0,0,-2) are not shown in Figure lb because they have no components in the other three dimensions, and accordingly, they have no projection into the three dimensions . The eight vectors (+2,0,0,0) of energy 2 particles together form a hyperoctahedron. The 16 velocity vectors (+1 , +1 , +1 , +1) together form a hypercube. The hyperoctahedron and the hypercube formed by the respective velocity vectors in combination form a generic FCHC polytope. As such, the links connecting the next nearest neighbors have a FCHC geometry. In fact, all additional speeds for higher integer energies have the required rank four isotropy, though not necessarily the FCHC lattice structure. Therefore, this approach may be generalized for higher energies in addition to the present three. The system operates in discrete time steps. For each discrete time step, two phases of activity are performed. In the first phase, any collisions that may and are caused to occur are performed. Once the collisions are performed, the particles are moved in the second phase. A particle will propagate undisturbed with its current speed and direction unless a collision occurs. A collision affects the velocity vectors of the colliding particles. The collisions may be categorized into two varie¬ ties of collisions: adiabatic collisions and energy exchange collisions. Adiabatic collisions are the collisions that do not change the numbers of particles of each energy level and therefore do not change the heat content of the system. In the present embodiments, the only adiabatic collisions are self-collisions between particles of the same energy level. Self collisions are of two additional varieties: self collisions between energy 1 particles and self collisions between energy 2 particles. Energy exchange collisions, in contrast, are those collisions in which energy from one particle is transferred to another particle, as where two energy 1 particles collide to form an energy 2 particle and a stationary particle. For purposes of clarity, both varieties of self collisions are described herein together. To better understand self collisions, it is best to first examine how particles may be paired. To obtain conservation of momentum and energy, it is necessary that the net velocity vector of a pair of collided particles resulting from a collision be equal to the net velocity vector of the colliding pair of particles. There are four classes of equivalence into which the particles of given energy may be paired. Each of these classes is characterized by the magnitude of the net velocity vector resulting from the summing of the velocity vectors of the particles being paired. The first equivalence class is for the pairs whose net velocity vectors have a magnitude of zero. For each energy of particles, there are 12 pairs of particles that when combined have a net velocity vector of zero. Such pairs of energy 1 particles are shown in Figure 3a and such pairs of energy 2 particles are shown in Figure 3b. The angle between the velocity vectors that are paired is 180° . The zero net velocity vector exhibits a property known as degeneracy which implies that the zero velocity vector may be the product of any one of multiple (i.e. twelve) pairs of particles. This property is important for these collisions to conserve energy and momentum. The second equivalence class consists of those pairs of particles that collide at an angle of 90". For energy 1 particles in this equivalence class having a speed of v 2 , the magnitude of the net velocity vector of the pairs in this equivalence class is 2; for energy 2 particles in this equivalence class having a speed of 2, the net velocity magnitude of the pair is 4. These net velocity vector values may be confirmed by straightforward vector addition. In particular, to add two vectors, the two vectors 11a and lib are placed head to tail such as shown in Figure 4a for an energy 1 pair of this equivalence class. The vectors 11a and lib each have a length of -J 2 . Their product is found by drawing a vector 13 from the tail of the first vector 11a to the head of the second vector lib. Since, these three vectors 11a, lib and 13 form a right triangle, the speed of vector 13 can be found by applying the Pythagorean Theorem. In particular, the speed (i.e. the length) of vector 13 equals the square root of the sum of the squares of the speeds (length) of the vectors 11a and lib. Hence, the speed of vector 13 equals 2. Similarly, for energy 2 particles in this equivalence class, the speed of the net velocity vector 19 may be found to be 4 by applying the Pythagorean Theorem to the velocity vectors 17a and 17b which each have a speed of 2. Each net velocity vector for this second equivalence class can be produced by 3 pairs of particles. As such, each net velocity vector has a degeneracy of 3. Figure 5 illustrates an example of the two sets of three pairings that may produce the net velocity vectors of (2,0,0,0) and (1,1,1,1) , respectively, for energy 1 particles. Since, for energy 1 particles, there are 24 possible net velocity vectors whose magnitude is 2 (i.e. , the net velocity vectors (±1,±1,±1,±1) , (±2,0,0,0), (0,±2,0,0), (0,0,±2,0), (0,0,0,±2)), and there are 3 pairings that can result in each such net velocity vector (i.e. , a degeneracy of 3) , it follows that there are 24x3 or 72 pairings in the second equivalence class for each speed of particle. The third equivalence class is made of those pairs of particles which produce a net velocity vector having the same magnitude as each of the velocity vectors of the particles. For each of the 24 possible net velocity vectors, four pairs of particles can produce the net velocity vector. Accordingly, there are 24x4 or 96 particle pairs in the third equivalence class. An example for the net velocity vector (1,0,1,0) is shown in Figure 6. Particles paired in this equivalence class are separated by a 120" angle. The fourth and final equivalence class comprises the remaining self collision pairs that do not fit into the first three classes. This class Is comprised of 96 pairs of particles. Each net velocity vector has a unique pair of particles that produces it. As such, there is no degeneracy and there can be no collision to generate an equivalent pair of particles. Figure 7 is a table that summarizes the above discussion of the equivalence classes. The first three equivalence classes constitute the pairings in which self-collisions are possible for particles on the FCHC. These three classes constitute 180 pairings out of the possible 276 pairings or 15/23 of the possible pairings. During the first phase of operation in one implementation, the system sweeps through all 180 pairings to perform a collision whenever possible. Whether a collision is performed is dictated by whether both particles of the pair are present at the 3-D lattice site or not. It is also dictated by whether the collided pair of particles resulting from the collision are not present. In this embodiment, to conserve particle mass exactly, output particles must not be produced that have the same velocity vector of existing particles. This condition can be relaxed by allowing more than one particle per state per site. How collisions are performed can now be explained in view of the above discussion of the possible pairings of particles. For illustrative purposes only binary (i.e. , two particle) plus spectator collisions will be discussed. Such binary collisions account for the majority of particle collisions that occur in real physical systems. The sequences of binary collisions allowed in the present invention aggregate to produce results equivalent to tertiary and higher order collisions. As such, this limitation to binary collisions is acceptable. Such collisions allow for spectator particles to reside at the lattice site so that the spectator particles do not undergo any change in state. It should nevertheless, be appreciated that the present invention is not limited to binary collisions, for other higher order collisions are equally viable. As was mentioned above, collisions can occur for the first three equivalence classes. Examples of such collisions for the respective equivalence classes are shown in Figures 8a, 8b and 8c. Each of these types of collisions exhibits conservation of energy, momentum and mass. Mass is conserved because the number of particles entering and leaving all collisions is the same. The conservation of momentum and energy is evident by comparing the velocity vectors of the particle pairs to be collided with the resulting velocity vectors for the particles after the collision. A cursory analysis indicates that the vector sum of the particle pairs prior to collision is equal to the vector sum of the particle pairs after collision. Since this is the only factor influencing momentum and energy that is not constant in the system and since this factor is conserved, it is apparent that the conservation laws hold exactly for the system in the collisions. In a sequential processor, the collisions are performed by cycling through each of the possible particle pairings for each lattice site in iterative fashion. The system begins with the first equivalence class of particle pairings. The system looks at the first pairing in the first equivalence class to check to see whether both of the particles for the pairing are present or not. The presence of these particles can be summarized as a truth condition. If the truth condition indicates that both particles are present, the system proceeds . The system knows the net velocity vector for each particle pairing. To ensure conservation of energy and momentum, the particles resulting from the collision must also share the same net velocity vector. For example, since there are three possible pairings that can generate any net velocity vector in the second equivalence class, the system knows that the particle pair resulting from the collision must be one of the other two pairings that can produce the same net velocity vf -tor. Other particle pairings on the lattice cannot produce such a net velocity vector. The system can either randomly select one of these pairings to be the output or cycle through all pairings. Before the system can perform the collision, it must, however, first check a second truth condition. The second truth condition indicates the availability of the selected output particle pair, also known as the hole pair. If both truth conditions hold true (i.e. , particles are present and the hole pair is present), the collision is performed. Once the collision is performed for the first pair or once the system determines that the collision cannot be performed, the system proceeds to the next particle pair as dictated by the index sequencing scheme. Processing of the energy 1 and energy 2 particles occurs in parallel. This processing continues until all particle pairs for the first equivalence class have been examined. Once this is completed for the first equivalence class, the pairings in the second equivalence class are examined, and, similarly, the pairings in the third equivalence class are examined. The above description makes evident the role of the degeneracy in performing the collisions. In particular, the system selects one of the permutations of particle pairings within a degenerate group for a net velocity vector. Given that the fourth equivalence class does not have any degeneracy, it is impossible to conserve momentum with such collisions in that equivalence class. As such, the collisions are not performed. Either a random number of collision permutations may be selected for each examination of a particle pair, or all of the possible permutations may be examined. In the latter approach, all possible events that can occur are attempted. As an example, suppose that a particle pair from the first equivalence class is being analyzed to determine whether to perform a collision. There would be eleven other particle pairs that could produce the same net velocity vector that the given particle pair produces. Thus, the system could choose at random any one of the eleven other pairings, if the random number approach was utilized. Under the alternative embodiment, however, each pairing would be selected in consecutive order to enable two possible collisions. By controlling these and all other collision rules, the viscosity of the fluid can be regulated. The other variety of collisions that are performed by the present invention are energy exchange collisions. Energy exchange collisions occur when two energy 1 particles collide to form an energy 2 particle and an energy 0 particle. A diagram of this type of collision is shown in Figure 9a. There are 72 possible pairings that bring about such a collision when the particles are present. In addition, the present invention also enables inverse energy exchange collisions (Figure 9b), wherein an energy 2 particle strikes a stopped particle to produce two energy 1 particles. These types of collisions are referred to as inverse energy collisions because they perform the exact opposite type of collision that the forward energy exchange collisions perform. The inclusion of energy exchange collisions with variable forward and inverse rates adds an additional degree of freedom to the system. As will be discussed below, the inclusion of this additional degree of freedom is important so that the system duplicates true fluid behavior. Equivalence class 2 of the energy 1 particles also serves as the basis for energy transfer collisions. As can be seen in Figure 5c, the net velocity vector of each pair of energy 1 particles is itself a group 2 velocity vector. Thus, the energy 2 velocity vector and a stationary particle together provide the same mass energy and momentum as the pair of energy 1 vectors. Such grouping can therefore define collision rules which transfer energy between particles. The energy of one energy 1 particle can be transferred to another energy 1 particle, resulting in an energy 2 particle and an energy 0 particle. Similarly, an energy 2 particle may strike an energy 0 particle resulting in two energy 1 particles . The forward energy exchange collisions and the inverse (backward) energy exchange collisions are performed much in the same manner described above for the self collisions. In particular, possible collision groupings are determined to maintain constant net velocity vectors before and after collisions. The system looks at the first truth condition to determine whether the particles are present, and also looks at the second truth condition to determine whether the hole pair is present. If both truth conditions are true, the energy exchange collision (or the inverse energy exchange collision) is performed. As will be discussed below, the forward energy exchange collisions and the inverse energy exchange collisions are limited by a mask that is instituted in the system to affect the rate of such collisions. Once the collisions have been performed, the particles are moved in the movement phase or operation. The details of how the movement is realized in hardware is given below. The present invention is able to overcome the major problems suffered by prior art systems. The systems are discrete in that the particles are limited to discrete positions on a lattice. Such particles are not allowed to be continuously positioned throughout a volume as would generally be experienced In a true physical system. Three artifacts resulting from the discreteness are nonisotropy of the stress tensor, non-Gallilean invariance and a dynamic pressure anomaly. The nonisotropy of a stress tensor implies that a lattice suffers mechanical shear stress. The fact that certain lattices exhibit isotropic stress is well known. See B. Hasslacher, P. Lallemand, Y. Pomeau, U. Frisch, D. d'Humieres and J.P. Rivet, C£_n£ie.x__5_ jtems , page 649 (1987), who illustrated isotropy of the stress tensor for particles traveling at a single speed along a FCHC symmetry without energy exchange collisions. Lattice symmetries for particle motion have been developed that do not exhibit such isotropic stress. Such lattices include the hexagonal lattice and the FCHC. So as to remove this artifact of discreteness, the present invention utilizes a four dimensional FCHC lattice and has rank four isotropy in all energy levels. Non-Gallilean invariance refers to the Gallilean factor "g" having a value other than one. A value other than one indicates that the lattice gas fluid has a tendency to behave differently when moving at constant velocity than when at rest. This is primarily a consequence of the stationary lattice in which the fluid is imbedded and will generally lead to non-fluid behavior of the lattice gas. The Galilean factor, g, appears in the momentum conservation equation, as shown below along with the other discreteness artifacts, a ANTζ p(Iu+u Vgu)--V (P-fpu )- VP +VISCOUS TERMS a t T T T Except for the three artifacts, indicated by arrows, this is the Navier-Stokes equation of fluid dynamics, with the mass density p, fluid velocity, u, and pressure, P, indicated. The present invention 2 eliminates both the dynamic pressure anomaly term, fpu ANIS and the anisotropic stress, P , while maintaining g—1 throughout the dynamical range. The final artifact is the dynamic pressure anomaly. Specifically, the pressure depends on the fluid velocity. The reason for this dependence is again a consequence of the lattice being at rest, and is somewhat related to the Gallilean invariance. The problems of non-Gallilean invariance and the dynamic pressure anomaly are resolved by figuring the energy degree of freedom into the system. The Gallilean factor "g" is directly affected by the rate of the forward energy collisions and the rate of the inverse energy collisions. The rate of the forward and inverse energy collisions is selected so as to force "g" to be equal to 1 and, thus, force the system to exhibit Gallilean invariance. The ratio of forward to inverse rates is determined theoretically by the Gallilean invariance condition, g-1, to ensure the proper equilibrium. Expressions are developed to give this rate ratio to very high accuracy. The ratio of forward to backward processes can be set to the required value to obtain Galilean invariance without the dynamic pressure anomaly. The pressure anisotropy is resolved by assuring that each energy level processes the rank four isotropy property. As is evident from the above description of the collision process, the system is extremely computation¬ ally intensive. So as to make its use practical, the system is implemented on a special purpose parallel processing system. Central to operation of the system is the state vector 10 shown in Figure 10. The state vector 10 is comprised of 54 bits that may assume a value of 0 or 1. Each bit position is associated with a given particle se ' cted from the 54 particles that may be present at any & iven lattice site. Hence, each bit position is associated with a given velocity vector for the associated particle. A 1 in the bit position indicates the presence of the particle, whereas a 0 indicates the absence of the particle. The number of bits in a state vector need not be limited to 54 bits; rather the number of bits is dictated by the number of energies and directions available. Thus, if different energies or different directions are used, or if more particles are allowed per state per site, a different bit length for the state vector may be chosen. In particular, for energy levels zero through four, a 169-bit state vector would be used. In order to perform each collision rule, the appropriate bits representing "he two colliding particles must be checked to confirm that the particles are present. Then, the bits representing the required holes must be checked; that is, it must be confirmed that the resultant collided particles from a collision are not already present in the state vector. When those two conditions are met, the collision is performed by removing the bits for the colliding particles and generating the bits for the collided particles in the state vector. This logic must be performed for each collision rule, the selected pairs of colliding and collided particles being in accordance with the pairing rules discussed above. Two hardware architectures will be described for carrying out the collision rules and subsequent move operations. Each relies on combinational logic to perform the collision rules. With proper selection of the appropriate pairs of bits in a state vector, the combinational logic for each rule is as follows. For each pair of colliding velocity vectors, represented by bits S. and S. , and corresponding pair of collided vectors, represented by bits S, and S, , there is a forward collision rule which requires that S. and S. be i J in the state vector and that S. k and S .1 be holes. Further , masking bits M F and M_B, are provided by a random number generator at the rates required for the forward and backward collisions. The rate for one direction may be set at unity. The collisions are only permitted where the bit or M_ is set. Thus, the forward i B collision rule is: (S. S . J s k * M, (1) For the same vector pairs, a backward collision rule may be defined as follows: R B " (S i " S j ' S k ' ' M B < 2 > The masking bits M p and M„ provide different rates of collision between the forward and backward energy transfer collisions. Only one of the forward and backward rules or neither rule may be performed in any time step. Thus, the individual post collision state bits can be determined from the following logic: (3) Thus, for example, the collided bit S, is set high if the forward collision condition R„ is not set and S. is one, or if there is a backward collision with the 1 condition R _ set. B Also, the system must provide for boundaries. A no-slip boundary condition may be provided by simply reversing the velocity vector of all particles striking the surface. The surface can be defined by a boundary bit B for each site through which the surface passes. Where there is a boundary bit, the above collision logic is suppressed and a parity vector particle is generated for each particle of the state vector. Where C is the logic of equation (3) , the post collision state bits with ' -oundary conditions is: A S (c ■ 5) + (- PARITY (4) The present invention has particular application to processing of fluid flow with high Reynolds numbers. The low viscosity required for the high Reynolds numbers is obtained by the great number of collisions performed at each site. In a real fluid, there would be many more particles than allowed by the limited lattice sites of the present system, but collisions are less efficient. For this system, the high efficiency of collisions compensates for the gain in viscosity resulting from the fewer number of particles. The present multiple speed approach substantially adds to the number of possible collisions and thus greatly reduces the viscosity of the system. The data processing system in Figure 11 is comprised of a plurality of chips. Each chip processes state vectors associated with specific lattice sites in parallel. The state vectors are processed to simulate collisions as previously described and to move the particles between lattice sites. There is a mapping from the physical space on the chips into the lattice site spaces . A typical chip is depicted in Figure 11. The chip is comprised of 8 columns wherein each column has 64 elements 20 and can be viewed as a large barrel pipeline. Each element 20 processes particle data for a particular lattice site in a cycle. Together, the elements of a pipeline perform the collisions for that given lattice site over the several machine cycles of a time step . Each pipeline element 20 is comprised of a state vector 20a such as that shown in Figure 11. The collisions are performed by hardware comprised of permutation wires 20b and collision gates 20c. The permutation wires 20b establish appropriate permutations to obtain particle pairs and hole pairs. The collision gates 20c (see Figure 12), in contrast, perform the logical operations (e.g. AND, OR, etc.) necessary to effect the collisions according to equations 1, 2, 3 and 4. These collision gates 20c receive bits according to the particle pair selected and account for the energy transfer collisions by establishing appropriate particle pairs. The collision gates 20c are at most two logic gates deep of AND gates and OR gates . The permutation wires may be comprised of 54 horizontal wires that extend across all of the collision gates. In essence a wire is provided for each bit in the state vector and thus, each set of the collision gates has access to such bits. The pipeline is 64 elements. Thus, after 64 machine cycles the state vector corresponding to site A returns to element A. All state vectors are then in position for movement of individual bits along the lattice depending on the direction and energy of the particle represented by the bit. As mentioned above, columns of the chip are comprised of 64 elements. The mapping from the physical space to the chips is such that each column constitutes an XY plane. The mapping begins with X and Y at 1. Y increases along the column until it reaches the value of 8 at which point the X value is incremented to 2. The subsequent columns constitute new Z planes of the physical volume space. Given r.he 64 pipeline elements 20 and the 8 columns, it is evl-ient that 8x64 or 512 lattice sites are processed for each chip. The chips are arranged, for instance, into 8x8x8 cubes 103 of chips shown in Figure 14 which in turn are organized into a volume 102 of 100 cubes. More generally the chips are configured to handle 100 regions of fluid (where a region of fluid is handled by a 8x8x8 cube) that may be mapped to the processor blocks in many different ways. This configuration produces 4 05 approximately 10 chips per machine to give a raw 15 process power of 9x10 bit operation per second. A volume of fluid to be processed is mapped into the volume 102 of processing elements. Movement between lattice sites in adjacent columns 10 is provided by shifting. In particular, an element of a state vector from a first column may be shifted to its corresponding pipeline element in the immediately adjacent column or chip. This ability to shift bits to an adjacent pipeline enables the movement stage of the 15 system. Hence, particles may be moved from one state vector to another. The system is designed so that each chip works according to a 30 megahertz clock. The chips take a maximum of 90 clock cycles to process lattice sites for 20 a single time step of the simulation. It is preferred that there are approximately 200 data pins per chip. Given the 90 clock cycles to process the lattice sites for a single time step and the previously described raw processing ability, it is apparent that each chip can g 25 perform 10 site updates per second. The processing of a volume of fluid proceeds in a sequential manner. To illustrate how the system operates, an example mapping is illustrated in Figure 13. Suppose that a first volume of fluid 30 is 30 . processed initially in a 8X8 cube of chips 103 such as shown in Figure 14 for a given number of time steps. Since this volume 30 is processed in isolation, the particles located at the outer boundary of the volume will not be processed in a manner that accurately reflects their true behavior. The reason for this difficulty is that particles from other volumes that might collide with these boundary particles are not taken into account. As such, after several time steps, the volume 30 will be comprised of an inner volume of particles 30a that is correct and an outer volume 30b that is contaminated. The depth of the outer region 30b directly corresponds to the number of time steps because for each time step an external particle can affect one level of depth in the volume of fluid 30. When the next volume of data 32 is processed, it is selected so that it overlaps with the region 30. It overlaps for a large enough extent to cover the contaminated region of volume 30. In particular, when the volume 32 is processed it will have an outer region 32b of contaminated data and an inner region 32a of proper data. This inner region 32a includes the region 34 of data that was previously contaminated for volume 30. The illustration in Figure 13 is shown strictly for a right side of the volume 30. The remaining sides of the contamination region 30b are corrected in similar fashion for subsequent volumes that are positioned to overlap those respective edges of the contaminated data 30b. The system thus operates on each volume of the fluid in sequential order until all volumes have been properly processed. Once all of the volumes have been properly processed, the system begins again with the first volume for a new round of time steps. This process is repeated until the simulation is completed. To initialize the above described process, each of the state vectors must be set for all of the lattice sites. This is done by software that assigns a value to each state vector. The user of the system must initialize the state vectors so as to accurately reflect the fluid to be modelled. A second architecture for implementing the present invention is illustrated in Figures 15 and 16. Preferably, the system is a massively parallel processor system and Figure 15 illustrates one processor of the system. At each node of the processing system, multiple blocks of lattice sites are processed in series. In one implementation, the lattice space is divided into blocks of 4x4x4 - 64 sites. Many such blocks are stored in dynamic random access memory 202. The blocks of site data are fetched a 64 bit word at a time by memory interface 204 and applied through a FIFO 208 to a processing memory 210. After processing, a block is returned to DRAM 202 through FIFO 206. A block of state vector data retrieved from DRAM 202 and held in processing memory 210 is as illustrated in Figure 16. A state vector of 54 bits is provided for each of the 64 lattice sites of the block. Additionally, header information which applies to the entire block is stored in a header. That header information may include masking information for each site, as well as diagnostic, statistical, geometric and fluid variable information for the block. In the implementation shown, only one collision rule is processed at a time. However, to obtain significant parallelism in the ALU 214, the same collision is performed on each of the 64 sites simultaneously . Thus, the sequencer 212 selects the four states S. , S., S, and S.. required in a particular collision. Those state bits for all 64 sites are read simultaneously into the ALU. There, each set of four bits for each site is applied to a combinational logic unit which perfc ms the logic of equations 1, 2, 3 and 4. The ALU includes 64 such combinational logic units operating in parallel. The outputs of that combinational logic are then read back into the memory 210. Then, the sequencer 212 selects a new set of four states so that the ALU can perform the next collision. To provide additional throughput, more than four states may be selected at a time, and plural collisions may be performed simultaneously for all sites. Once all collisions for a block have been performed, the move ALU 216 performs the move operation on the particle representations. Most of the moves need only be made within the block of 64 sites. Thus, most state bits, which do not change during the move operation, need only be shifted within the 64-bit word representing that state for all sites of the block. The shifting will differ between state bits, but will be the same for a single state throughout the 64 bit block. To simplify the shifting, the move ALU 2iu ray shift the bits within the 64-bit word sequentially in each of the x, y and z dimensions. Some bits must be shifted to other blocks handled by the processing node. Thus those bits must be stored by the move ALU 216 until the block into which they are being shifted is processed by the move ALU. Finally, a few bits must be shifted to blocks being processed by other nodes of the system. Those bits are transferred by interchip move circuitry 218 through the network. As in the embodiment of Figures 11 and 12, this embodiment performs collisions by applying sets of four bits of a state vector, at a 3D lattice site, to combinational logic to generate post collision state bits. Because each collision is effected by proper selection of state bits applied to simple combinational logic which is consistent for all collisions at all sites for all time steps, the data can be processed thousands of times more rapidly than would be possible with a conventional programmed general purpose computer. In both systems, many collisions are performed at each site of a volume in each time step; thereafter the state bits are shifted to other sites according to the directions that they represent in order to effect particle movement. In the first embodiment, the bits of the state vector applied to the combinational logic are selected by hardwired permutators , a set of permutators operating independently for each lattice site and selecting multiple collisions in parallel for the lattice site. In the second embodiment, the particle selection permutations are performed by the sequencer. The sequencer at a node selects the state bits required for only a single collision at a time but selects the bits of 64 sites for processing by the ALU in parallel. Since the sequencer is readily programmable, it provides great flexibility in size of the state vector and in the collision rules as is required for such modifications as additional energy levels. The shifting in the second embodiment is also programmable for greater flexibility. In the second embodiment, blocks of site data are fetched sequentially from memory at each node, and an entire volume may be processed in a time step before a block is again fetched and processed. Therefore, the problem of contaminated regions as illustrated in Figure 13 does not occur. With the second embodiment, systems with variable grid spacing can be simulated. Such a variable grid simulation is important to the accurate treatment of realistic high Reynolds number flows where very high resolution is required near the surface of objects. The interfaces between the differing grids require some extensions to the collision logic that follows the same general procedure s described for collisions above. While this invention has been particularly shown and described with references to preferred embodiments thereof, it will be understood by those skilled in the art that various changes in form and details may be made therein without departing from the spirit and scope of the invention as defined by the appended claims. For example, the collision and move processes may be performed in a common unit. Further, the invention has application beyond fluid dynamics. It may be used whenever a physical process may be modeled as particle flow.

Claims: CLAIMS A flow processing system comprising: storage means for storing particle representations of plural particles for each of plural sites of a lattice, the representations identifying, for each particle, one of plural possible energy states; collision processing means for processing, for each lattice site, the particle representations to generate second particle representations according to collision rules including collision rules which cause a second particle representation which reflects a transfer of energy between particles; and move processing means for processing the representations across the lattice to generate new representations which reflect movement of particles in the lattice to new sites. A system as claimed in Claim 1 wherein the collision processing means comprises means for providing different rates of energy transfer in one direction than in a reverse direction. A system as claimed in Claim 1 or 2 wherein the collisions rules conserve mass, momentum and energy. A system as claimed in Claim 1, 2 or 3 wherein the particle representations define particles of different four-dimensional velocities. 5. A system as claimed in any preceding claim further comprising means for providing movement of particles on a nonuniform grid. 6. A system as claimed in any preceding claim wherein the collision processing means comprises combinational logic which performs a collision rule which allows a collision when the particle representation indicates all colliding particles are present and there are holes where all collided particles are to be present in the second particle representation. 7. A system as claimed in any preceding claim comprising a plurality of collision processing means operating in parallel. 8. A system as claimed in any preceding claim wherein the storage means stores particle representations which comprise a set of bits for each lattice site, each bit of the set of bits representing a particle of a particular energy and a particular direction of movement at the site. 9. A system as claimed in Claim 8 wherein the collision processir. eans selects like bits of a plurality of sites t .he lattice together and processes a cc .ion collision rule on all selected bits simultaneously. 10. A system as claimed in Claim 8 or 9 further comprising a sequencer for selecting the bits to be processed in a collision rule. 11. A system as claimed in any preceding claims wherein the collision processing means comprises combinational logic for receiving selected bit representations of particles and generating selected bit representations of particles. 12. A system as claimed in any preceding claim further comprising a masking input to combinational logic to prevent performance of collision rules. 13. A system as claimed in any preceding claim comprising combinational logic which includes a masking input for preventing processing of collision rules at a site and forcing boundary rules . 14. A method of simulating flow in an electronic system comprising: storing particle representations of plural particles for each of plural sites of the lattice, the representations identifying, for each particle, one of plural possible energy states; processing, for each lattice site, the particle representations to generate second particle representations according to collision rules including collision rules which cause a second particle representation which reflects a transfer of energy between particles; and processing the representations across the lattice to generate new representations which reflect movement of particles in the lattice to new sites . 15. A method as claimed in Claim 14 wherein the particle representations are processed to provide different rates of energy transfer in one direction than in a reverse direction. 05 16. A method as claimed in Claim 14 or 15 wherein the collision rules conserve mass, momentum and energy. 17. A method as claimed in any of Claims 14, 15 or 16 wherein the particle representations define particles of different four-dimensional velocities. 10 18. A method as claimed in any of Claims 14-17 wherein the particle representations are processed to provide movement of particles on a nonuniform grid. 19. A method as claimed in any of Claims 14-18 wherein the collision rules are processed in combinational 15 logic which allows a collision when the particle representation indicates all colliding particles are present and there are holes where all collided particles are to be present in the second particle representation. 20 20. A method as claimed in any of Claims 14-19 wherein collision rules for a plurality of sites are processed simultaneously i" arallel processors. 21. A method as claimed in any of Claims 14-20 wherein the particle representations comprise a set of bits 25 for each lattice site, each bit of the set of bits representing a particle of a particular energy and a particular direction of movement at the site. 22. A method as claimed in Claim 21 wherein like bits of a plurality of sites of a lattice are selected together and a common collision rule is processed on all selected bits simultaneoulsy. 23. A method as claimed in Claim 21 or 22 wherein bits to be processed in a collision rule are selected by a sequencer. 24. A method as claimed in any of Claims 14-23 wherein the collision rules are processed in combinational logic which receive selected representations of particles and generate selected bit representations of particles . 25. A method as claimed in any of Claim 14-24 wherein a masking input is provided to combinational logic to prevent performance of a collision rule. 26. A method as claimed in any of Claims 14-25 wherein a masking input is applied to combinational logic to prevent processing of collision rules at a site and forcing boundary rules.

Inventors: MOLVIG KIM, PAPADOPOULOS GREGORY M, MOLVIG, KIM, PAPADOPOULOS, GREGORY, M.
Applicants: MASSACHUSETTS INST TECHNOLOGY, MASSACHUSETTS INSTITUTE OF TECHNOLOGY
Application year: 1991
Main classification: G06F15
IPC codes: G06F15, G06F17, G06F19