Parallel processing systems and method
Methods and systems for parallel computation of an algorithm using a plurality of nodes configured as a Howard Cascade. A home node of a Howard Cascade receives a request from a host system to compute an algorithm identified in the request. The request is distributed to processing nodes of the Howard Cascade in a time sequence order in a manner to minimize the time to so expand the Howard Cascade. The participating nodes then perform the designated portion of the algorithm in parallel. Partial results from each node are agglomerated upstream to higher nodes of the structure and then returned to the host system. The nodes each include a library of stored algorithms accompanied by data template information defining partitioning of the data used in the algorithm among the number of participating nodes.
Latest Massively Parallel Technologies, Inc. Patents:
- Multi-core parallel processing system
- System and method for secure communications and data storage using multidimensional encryption
- System and method for secure communications and data storage using multidimensional encryption
- System and method for automatic extraction of software design from requirements
- Software design sharing systems and methods
This application is a divisional application of U.S. patent application Ser. No. 10/340,524, filed Jan. 10, 2003 now U.S. Pat. No. 7,418,470, which claims priority to U.S. Patent Application 60/347,325, filed on Jan. 10, 2002 and is a continuation-in-part of U.S. patent application Ser. No. 09/603,020, filed on Jun. 26, 2000 now U.S. Pat. No. 6,857,004, all of which are incorporated herein by reference.
BACKGROUNDPrior art programming methods are implemented with parallel processing architectures called “clusters.” Such clusters are generally one of two types: the shared memory cluster and the distributed memory cluster. A shared memory cluster consists of multiple computers connected via RAM memory through a back plane. Because of scaling issues, the number of processors that may be linked together via a shared back plane is limited. A distributed memory cluster utilizes a network rather than a back plane. Among other problems, one limitation of a distributed memory cluster is the bandwidth of the network switch array.
More particularly, each node of an N-node distributed memory cluster must obtain part of an initial dataset before starting computation. The conventional method for distributing data in such a cluster is to have each node obtain its own data from a central source. For problems that involve a large dataset, this can represent a significant fraction of the time it takes to solve the problem. Although the approach is simple, it has several deficiencies. First, the central data source is a bottleneck: only one node can access the data source at any given time, while others nodes must wait. Second, for large clusters, the number of collisions that occur when the nodes attempt to access the central data source leads to a significant inefficiency. Third, N separate messages are required to distribute the dataset over the cluster. The overhead imposed by N separate messages represents an inefficiency that grows directly with the size of a cluster; this is a distinct disadvantage for large clusters.
Shared memory clusters of the prior art operate to transfer information from one node to another as if the memory is shared. Because the data transfer cost of a shared memory model is very low, the data transfer technique is also used within clustered, non-shared memory machines. Unfortunately, using a shared memory model in non-shared memory architectures imposes a very low efficiency; the cluster inefficiency is approximately three to seven percent of the actual processor power of the cluster.
Although increasing the performance of the central data source can reduce the impact of these deficiencies, adding additional protocol layers on the communication channel to coordinate access to the data, or to increase the performance of the communication channel, adds cost and complexity. These costs scale directly as the number of nodes increase, which is another significant disadvantage for large clusters in the prior art.
Finally, certain high performance clusters of the prior art also utilize invasive “parallelization” methods. In such methods, a second party is privy to the algorithms used on a cluster. Such methods are, however, commercially unacceptable, as the users of such clusters desire confidentiality of the underlying algorithms.
The prior art is familiar with four primary parallel programming methods: nested-mixed model parallelism, POSIX Pthreads, compiler extensions and work sharing. Nested-mixed model parallelism is where one task spawns subtasks. This has the effect of assigning more processors to assist with tasks that could benefit with parallel programming. It is however difficult to predict, a priori, how job processing will occur as the amount of increase in computational speed remains unknown until after all of subtasks are created. Further, because only parts of a particular job benefit from the parallel processing, and because of the high computational cost of task spawning, the total parallel activity at the algorithm level is decreased. According to the so-called Amdahl's Law of the prior art, even a small percentage change in parallel activity generates large effective computational cost.
POSIX Pthreads are used in shared memory architectures. Each processor in the shared memory is treated as a separate processing thread that may or may not pass thread-safe messages in communicating with other threads. Although this may work well in a shared memory environment, it does not work well in a distributed processor environment. The inability to scale to large numbers of processors even in a shared memory environment has been well documented in the prior art. Because of bus speed limits, memory contention, cache issues, etc., most shared memory architectures are limited to fewer than sixty-four processors working on a single problem. Accordingly, efficient scaling beyond this number is problematic. The standard method of handling this problem is to have multiple, non-communicating algorithms operating simultaneously. This still limits the processing speedup achievable by a single algorithm.
Compiler extensions, such as distributed pointers, sequence points, and explicit synchronization, are tools that assist in efficiently programming hardware features. Accordingly, compiler extensions tools offer little to enhance parallel processing effects as compared to other prior art methods.
Work-Sharing models are characterized by how they divide the work of an application as a function of user-supplied compiler directives or library function calls. The most popular instance of work sharing is loop unrolling. Another work-sharing tool is the parallel region compiler directives in OpenMP, which again provides for limited parallel activity at the algorithm level.
It is interesting to note that prior art parallel processing techniques are injected into the algorithms and are not “intrinsic” to the algorithms. This may be a result of the historic separation between programming and algorithm development, in the prior art.
SUMMARYThe following U.S. patents provide useful background to the teachings hereinbelow and are incorporated herein by reference:
The present inventions solve numerous problems in parallel computing by providing methods and systems for configuration of and operation of a Howard Cascade (HC). Algorithm computation requests are transmitted to a home node of a HC and distributed (cascaded) through nodes of the HC to expand the algorithm computation request to a desired number of processing nodes. The algorithm to be computed may be predefined by a user and is stored within each processing node of the HC. Associated data is then broadcast to all processing nodes participating in the requested computation. Partial results are agglomerated upstream in the opposite order to the expansion of the HC and then, eventually, forwarded to the requesting host.
A first aspect of the invention provides a parallel processing system having a plurality of processing nodes arranged in a Howard Cascade (HC). The HC couples to a first home node, responsive to an algorithm processing request, for (a) broadcasting the algorithm processing request to the plurality of processing nodes in a time and sequence order within the Howard Cascade and for (b) broadcasting a dataset of an algorithm to at least top level processing nodes of the Howard Cascade simultaneously. The HC then provides for contiguous processing nodes within the plurality of processing nodes being operable to process contiguous parts of the dataset and to agglomerate results contiguously to the first home node in reverse to the time and sequence order.
Another aspect of the invention provides systems and a method for processing a context-based algorithm for enhanced parallel processing within a parallel processing architecture. The method first determining whether work to be performed by the algorithm is intrinsic to the algorithm or to another algorithm. The method then determining whether the algorithm requires data movement; and parallelizing the algorithm based upon whether the work is intrinsic to the algorithm and whether the algorithm requires data movement.
Another aspect of the invention provides systems and a method for parallel processing an algorithm for use within a Howard Cascade. The method being operable to extract input and output data descriptions for the algorithm; acquire data for the algorithm; process the algorithm on nodes of the Howard Cascade; agglomerate node results through the Howard Cascade; and return results to a remote host requesting parallel processing of the algorithm.
Still another aspect of the invention provides systems and a method for parallel computation. The method first transmitting an algorithm computation request and associated data from a requesting host to a home node of a computing system wherein the request includes a requested number (N) of processing nodes to be applied to computation of the request. The method then distributes the computation request from the home node to a plurality of processing nodes wherein the plurality of processing nodes includes N processing nodes coupled to the home node and wherein the distribution is in a hierarchical ordering. Then the method broadcasts the associated data from the home node to all of the plurality of processing nodes, agglomerates a final computation result from partial computation results received from the plurality of processing nodes wherein the agglomeration is performed in the reverse order of the hierarchical ordering, and returns the final computation result from the home node to the requesting host.
Another aspect of the invention provides systems and a method of distributing an algorithm computation request. The method comprises the step of receiving within a home node of a distributed parallel computing system a computation request and associated data from a requesting host system. The method also includes the step of determining a number of processing nodes (N) of the parallel computing system to be applied to performing the computation request, and the step of partitioning the associated data to identify a portion of the data associated with each processing node. Lastly the method comprises the step of recursively communicating the computing request and information regarding the partitioned data from the home node to each of the N processing nodes over a plurality of communication channels during a sequence of discrete time intervals, wherein each communication channel is used for communication by at most one processing node or home node during any one time interval, and wherein the number of discrete time intervals to recursively communicate to all N processing nodes is minimized.
Yet another aspect of the invention provides systems and a method for distributing an algorithm computation request for a complex algorithm in a parallel processing system. The method comprising the steps of: receiving from a requesting host a computation request for a complex algorithm wherein the complex algorithm includes a plurality of computation sections; expanding the computation request to a plurality of nodes configured as a Howard Cascade; computing within the Howard Cascade a first computation section to generate a partial result; returning the partial result to a control device; receiving further direction from the control device; computing within the Howard Cascade a next computation section to generate a partial result in response to receipt of further direction to compute the next computation section; repeating the steps of returning, receiving and computing the next computation section in response to receipt of further direction to compute the next computation section; and returning the partial result to the requesting host as a final result in response to further direction to complete processing of the complex algorithm.
Still another aspect of the invention provides systems and a method for parallelizing an algorithm. The method first receives a new algorithm description from a host system. Next the new algorithm is automatically annotated with template information relating to data used by the new algorithm and relating to data generated by the new algorithm. Lastly the annotated new algorithm is stored in each processing node of a Howard Cascade parallel processing system.
Remote host 26 is for example a computer system that runs parallel application 28. Illustratively,
There are two main prior art methods for application 28 to load algorithm code and data onto nodes 15. If cluster 10 is an encapsulated cluster, only the network address of gateway 24 is known by application 28; application 28 communicates with gateway 24 which in turn routes the algorithm code and data to nodes 15. Although internal nodes 15 are hidden from host 26 in this approach, application 28 must still have knowledge of nodes 15 in order to specify the number of nodes to utilize and the handling of node communications through gateway 24.
In a non-encapsulated cluster 10, application 28 has information concerning the organization and structure of cluster 10, as well as knowledge to directly access individual nodes 15. In one example, application 28 uses a remote procedure call (RPC) to address each node 15 individually, to load algorithm and data onto specific nodes 15; in turn, nodes 15 individually respond back to application 28.
Unfortunately, neither of these prior art techniques make cluster 10 behave like a single machine to application 28. Application 28 must therefore be designed a priori for the particular internal architecture and topology of cluster 10 so that it can appropriately process algorithm code and data in parallel.
Each parallel data item 48, 50 and 52 is transferred as algorithmic code and data to cluster 10 for processing. Synchronization with algorithm execution is attained by inter-process communication between parallel application 28 and individual nodes 15 of cluster 10. Parallel processing libraries facilitate this inter-process communication, but still require that algorithm design 40 be formatted, a priori, for the topology of nodes 15. That is, the topology of cluster 10 must be known and fixed when application 28 is compiled.
Arrow 58 represents the step of compiling algorithm design 40 into parallel application 28, for execution on remote host 26. Elements 42, 44, 46, 48, 50, 52 and 56 are illustratively shown as compiled elements 42′, 44′, 46′, 48′, 50′, 52′ and 56 in parallel application 28.
Parallel application 28 is executed by remote host 26 in the following sequence: initialization section 42′, parallel data initialization 46′, compiled parallel data item 48′, compiled parallel data item 50′, compiled parallel data item 52′, and process results section 44′. In the illustrated example of
In similar fashion, compiled parallel data item 50′ and compiled parallel data item 52′ utilize nodes 15(4) and 15(5), respectively, such that all algorithms of parallel application 28 are processed concurrently by nodes 15(2), 15(4), 15(5) of cluster 10.
Process results section 44′ of parallel application 28 operates when compiled parallel data items 48′, 50′, and 52′ are processed by cluster 10 and returned by respective data output transfer sections 76. Data returned by nodes 15(2), 15(4), 15(5) of cluster 10, in this example, are combined by process results section 44 so as to continue processing of the completed data set.
It should be apparent from the foregoing description of the prior art that the focus of architectural designs in high performance computing has concentrated on various hardware-centric solutions. This has been true since the beginnings of parallel processing, particularly since the 1970s. Moreover, the current trend for new parallel processing systems is to use multiple processors working in tandem to achieve higher performance at lower cost. Historically, therefore, hardware advances such as improved processor performance, faster networks, improvements in memory and caching technologies, etc, have far outpaced software advances.
This has remained true for the prior art parallel processing designs despite the fact that Amdahl's law (which predicts parallel performance for a given application on multiple processors) does not expressly address hardware parameters. Amdahl's law is represented by the following equation: speedup=1/((1−f)+f/p), where f is the percent of parallel activity within the algorithm, and p equals the number of processors. “Speedup” determines the processor speed multiplier, e.g., 1×, 2×, etc., of the current processor speed of the individual linked processors in the parallel processing design.
Amdahl's law only takes into consideration the degree of parallel activity at the algorithm level and the number of processors used in the calculations. Finding the limit of Amdahl's law (with respect to the number of processors) is a standard operation that yields the disheartening understanding of how little serial activity must be present before the parallel processing effect becomes unusable. That is, the “maximum speedup” under Amdahl's law is given by the following relationship: limp∞[1/((1−f)+f/p)]=1/(1−f), where “maximum speedup” equals the processor speed multiplier, e.g., 1×, 2×, etc., of the current processor speed of the individual linked processors if there are an infinite number of processors p, and f is the percent of parallel activity within the algorithm. Table 1 below shows the maximum speedup for given values of f.
As described in more detail below, since the key parameter in Amdahl's law is “f”, the problem of generating high performance computing with multiple processors is overcome, in part, by (a) approaching parallel processing from an algorithm-centric perspective, and/or by utilizing the Howard Cascade (HC) which increases the parallel activity of cross-communication, each described in more detail below.
The Howard Cascade Architecture System
The Howard Cascade Architecture System (“HCAS”) provides a topology for enabling a cluster of nodes (each containing one or more processors) to act as a single machine to one or more remote host computers outside of the inter-cluster network. Unlike the prior art, this enables each remote host to communicate and parallel process algorithm code and data within the cluster but without (a) direct communication with individual cluster nodes and/or (b) detailed knowledge of cluster topology. More particularly in one embodiment, the HCAS uses the following features to create a single machine experience for a remote host.
-
- Complete mathematical and logical algorithms are stored on each node of the cluster prior to being accessed by the remote host.
- Mathematical and logical algorithms are made parallel by changing the data sets processed by the mathematical and logical algorithms, though no additions, changes or deletions occur to the algorithm itself.
- The remote host sends algorithm processing requests and data only to a gateway processor attached to a network; mathematical and logical algorithms are not communicated by the remote host to the home node.
- The remote host knows only the IP address and a single port identity of the gateway of the HCAS; multiple ports and/or multiple IP addresses are not required to make use of multiple processing nodes in the cluster.
- The remote host requires no knowledge of the internal parameters of the cluster, including the number of processors used by the cluster and the connectivity model used by the cluster.
- The gateway communicates with a home node within the cascade; the home node facilitates communication to the connected processing nodes.
Each processing node 88, 90 and 92 has an algorithm library 99 that contains computationally intensive algorithms; algorithm library 99 preferably does not contain graphic user interfaces, application software, and/or computationally non-intensive functions. A remote host 82 is shown with a remote application 84 that has been constructed using computationally intensive algorithm library API 86. Computationally intensive algorithm library API 86 defines an interface for computationally intense functions in the algorithm library 99 of processing nodes 88, 90 and 92.
In operation, remote host 82 sends an algorithm processing request 83, generated by computationally intensive algorithm library API 86, to gateway 107. Gateway 107 communicates request 83 to controller 108 of home node 110, via data path 109. Since the computationally intensive algorithms of libraries 99 are unchanged, and remain identical across processing nodes, “parallelization” within HCAS 80 occurs as a function of how an algorithm traverses its data set. Each of the algorithms, when placed on processing nodes 88, 90 and 92, is integrated with a data template 102. Controller 108 adds additional information to algorithm processing request 83 and distributes the request and the additional information to processing nodes 88, 90, 92 via data paths 104, 106, 108, respectively; the additional information details (a) the number of processing nodes (e.g., N=3 in this example) and (b) data distribution information. Each processing node 88, 90, 94 has identical control software 94 that routes algorithm processing request 83 to data template software 102. Data template software 102 computes data indexes and input parameters to communicate with a particular algorithm identified by algorithm processing request 83 in algorithm library 99.
Data template software 102 determines whether or not a particular computationally intensive algorithm requires data. If the algorithm requires data, data template 102 requests such data from home node 110. The algorithm in library 99 is then invoked with the appropriate parameters, including where to find the data, how much data there is, and where to place results. There is no need for remote host 82 to have information concerning HCAS 80 since only the data set is being manipulated. Specifically, remote host 82 does not directly send information, data, or programs to any processing node 88, 90, 92. HCAS 80 appears as a single machine to remote host 82, via gateway 107. Once HCAS 80 completes its processing, results from each node 88, 90, 92 are agglomerated (described in more detail below) and communicated to remote host 82 as results 85.
In one embodiment, the HCAS maximizes the number of nodes that can communicate in a given number of time units. The HCAS avoids the inefficiencies (e.g., collisions in shared memory environments, the bottle-neck of a central data source, and the requirement of N messages for an N node cluster) in the prior art by, for example, broadcasting the full data set to all processing nodes at once. Even though the same amount of data is transferred over the communication channel, the broadcasting eliminates the overhead of using N separate messages. An important advantage of the broadcasting is that the overhead of sending data is independent of the number of nodes in the HCAS. This is especially important in maintaining efficiency of a large cluster.
Each HCAS has at least one HC, such as HC 100 of
HC 100 transmits the algorithm processing requests to an arbitrary group of nodes. Full expansion occurs when the problem set of all algorithm processing requests 140, 142, 144, 146, 148, 150 and 152 has been transmitted to all required processing nodes (nodes 112, 114, 116, 118, 120, 122 and 124 in this example). Home node 110 does not necessarily participate in parallel processing.
Once HC 100 is fully expanded, all nodes have received the algorithm processing request and are ready to accept associated data. Each processing node knows how much data to expect based upon information it received in its algorithm processing request message. Each processing node then prepares to receive the data by joining a multicast message group, managed by home node 110, and by listening on a broadcast communication channel. Through the multicast message group, home node 110 broadcasts a single message that is received by all nodes that are listening on the broadcast communication channel. Home node 110 waits for all nodes to join the multicast message group and then broadcasts the dataset to all nodes simultaneously. An example of the data broadcast on a broadcast communication channel 121 of HC 100 is shown in
The data decomposition scheme used by HC 100 partitions the dataset based on node number. For example, processing node 112 receives the first piece of data, processing node 114 receives the second piece of data, and so on, until the last needed processing node of HC 100 receives the last piece of data. In this manner, the dataset is distributed such that the data for each processing node is adjacent to the data received by downstream processing nodes.
As each node of HC 100 receives data, it can choose to store the entire dataset or only the data it needs. If only the needed data is stored, the remaining data may be discarded when received. This inter-node choice reduces the amount of memory used to store data while maintaining flexibility that facilitates improved parallel-processing performance, as described below.
Once a processing node receives its data, it leaves the multicast message group. Home node 110 monitors which nodes have left the multicast message group, thereby providing positive acknowledgment that each node has received its data. Home node 110 can thereby detect failed processing nodes by noting whether a processing node remains in the multicast message group after a specified timeout; it may then open a discrete communication channel with the processing node to attempt recovery.
When the processing nodes have produced their results, an agglomeration process commences. Agglomeration refers to (a) the gathering of individual results from each of the processing nodes and (b) the formatting of these results into the complete solution. Each processing node sends its results to the processing node that is directly upstream. The flow of results thereby occurs in reverse sequence order of the initial expansion within HC 100. An example of an agglomeration process by HC 100 is shown in
A direct result of agglomeration is that the results from each node maintain the same ordered relationship as the decomposition of the initial dataset. Each processing node knows how many downstream processing nodes it has; and the subsequent downstream results, from the downstream nodes, form a contiguous block of data. Each of the processing nodes has its results data, and the location and size information that enables the upstream processing node to properly position the results, when received. As the results are sent upstream through HC 100, the size of the result information expands contiguously until the entire result block is assembled at home node 110.
The agglomeration process may therefore be considered the “reverse flow” of data through HC 100. One important benefit of the reverse flow is that the communication network that connects the nodes is not saturated, as would be the case if all processing nodes attempt to simultaneously present results to home node 110. Many cluster architectures of the prior art experience network bottlenecks when results are returned to a single node; this bottleneck can be exacerbated when the computational load is evenly distributed among the processing nodes, which is desired to obtain maximum computational efficiency.
Context-Based Algorithms for Parallel Processing Architectures
Certain context-based algorithms may be thought of as the work-defining elements of an algorithm. For example, a kernel is the work-defining element that is performed on a dataset involving a convolution algorithm. As described in more detail below, such context-based algorithms may be further distinguished with (a) internal or external contexts, and/or with (b) algorithmic data movement or no algorithmic data movement. Algorithmic data movement is data that moves as a natural process within the algorithm. An example of an algorithm with an internal requirement to move data is the matrix inversion algorithm, since data movement is intrinsic to the matrix inversion algorithm.
Accordingly, certain context-based algorithms distinguished by algorithm data movements defines five parallelization categories: Transactional, Internal Context No Algorithmic Data Movement (“ICNADM”). Internal Context with Algorithmic Data Movement (“ICADM”). External Context No Algorithmic Data Movement (“ECNADM”), and External Context with Algorithmic Data Movement (“ECADM”). These categories and their importance are discussed in more detail below, and are relevant to all types of parallel processing clusters, including HC 100.
Transactional Category
Both Beowulf clusters and SETI@Home parallel processing architectures, known in the art, work best when the problems being processed are transactional in nature. Transactional problems are those in which the problem space consists of a large number of independent problems. Each problem is thus solved separately and there is no cross-communication or synchronization between the problems. Almost any grouping of computers may be used for this class of problem; the only challenge is moving the data onto and off of the group of computers.
By way of example, the following applications have, by and large, transactional problem sets: analyzing star spectra, certain banking applications, and genetic engineering. Such applications share several common traits: there is no cross-communication, there is a high degree of parallel processing, and there is high scalability.
HC 100 may serve to process problem sets in the transactional category.
Internal Context No Algorithmic Data Movement (ICNADM) Category
Many logical and mathematical problems fall into the ICNADM category. By way of definition, the ICNADM category is one in which the final work to be accomplished, for the particular logical/mathematical algorithm, is intrinsic to the algorithm and the data being transformed does not have to be moved as part of the algorithm. The following examples have ICNADM problem sets: series expansions, Sobel edge detection, convolutions, matrix multiplications, correlations and cross-correlations, one-dimensional fast-Fourier transforms (1D-FFTs), 1D-wavelets, etc.
With regard to parallelization, numerical computations involving series expansions have inherent imbalances in the computational complexity of low order terms at the beginning of, and high order terms at the end of, a series. When algorithms based on a series expansion are converted to a parallel implementation for execution by parallel processing, this imbalance presents an obstacle to achieving parallel efficiency. More particularly, when the terms of the series expansion are distributed among nodes of a parallel processing architecture in consecutive intervals, (e.g. 1-10, 11-20, 21-30, . . . ), the nodes that are assigned the first intervals have less computation than the nodes that are assigned the last intervals. Disparity in the computational load leads to inefficiency in parallel computations.
In accord with one embodiment hereof, the computational load is distributed equally across all nodes in order to achieve maximum efficiency in parallel computations. This distribution enhances parallel processing within HC 100, or within existing parallel processing architectures of the prior art.
Given the diversity of series expansions, it is nonetheless difficult to predict the increase in computational complexity for each term. In accord with one embodiment hereof, every nth term is assigned to each node to equalize the computational loads. By making n equal to the number of nodes in the parallel processing architecture, each node's computational load has an equal number of low- and high-order terms. In cases where the total number of terms in a series is evenly divisible by the number of nodes, then each node will have an equal number of terms. An example of a forty-two term series expansion for a seven node array (e.g., HC 100,
In cases where the total number of terms in a series is not equally divisible by the number of nodes, then, in accord with one embodiment, the series terms are divided as equally as possible. An example of a thirty-nine term series expansion with a seven node array (e.g., HC 100,
As seen in Table 4, each node cuts off its terms when it exceeds the length of the series. This provides an efficient means of parallel distribution of any arbitrary length series on a multi-node array (e.g., within cluster 10,
For the evenly divisible case (Table 2), there is still a slight imbalance between the first and last node. This arises from the imbalance that exists across each nth interval. The first node in the array computes the first term in every nth interval, while the last node computes the last term. For most series expansions, however, where the complexity between succeeding terms does not increase rapidly, and the series is not too long, this level of balancing is sufficient.
Nonetheless, an additional level of balancing may be achieved by advancing the starting term, by one, for each node on successive intervals, and by rotating the node that computed the last term on the last interval to the first term, eliminating the computational imbalance across each nth interval. An example of this rebalancing is shown in Table 4, illustrating a forty-two term series expansion distributed on a seven node array.
The distribution of Table 4 achieves near perfect balancing regardless of how fast the computational complexity of the series terms increases, or how many terms are computed.
Examples of the effectiveness of these techniques are shown in
The example of computing PI using Machin's formula fits the ICNADM category since the ultimate work to be performed is Machin's formula and since that algorithm does not intrinsically move data.
A connected group of computers (e.g., the nodes of HC 100,
In certain embodiments hereof multiple functions within the ICNADM category can be chained together to build more complex functions. For example, consider Imageoutput=2D-CONVOLUTION (Kernel, 2D-SOBEL(imageinput)), where imageinput is a base input image to a convolution process, 2-DSOBEL is a Sobel edge detection algorithm, Kernel is the convolution Kernel (e.g., an object to find in the image), 2D-CONVOLUTION is the convolution algorithm, and Imageoutput is the output image. Since the output of the 2D-SOBEL edge detection algorithm produces an output image array that is compatible with the input requirements of the 2D-CONVOLUTION algorithm, no data translation needs to occur.
If however data translation were required, then the above equation may take the following form: Imageoutput=2D-CONVOLUTION (Kernel, TRANSLATE(2D-SOBEL(imageinput))), where imageinput is the base input image, 2-DSOBEL is the Sobel edge detection algorithm, Kernel is the convolution Kernel (e.g., the object to find), 2D-CONVOLUTION is the convolution algorithm, Imageoutput is the output image, and TRANSLATE is the hypothetical function needed to make the 2D-SOBEL output compatible with the input requirements of the 2D-CONVOLUTION function. In this form the following rules may thus apply:
-
- Rule 1: If data movement is not required for the current TRANSLATE function then it can be treated as a ICNADM category function and no further effort is required.
- Rule 2: If data movement is required for the current TRANSLATE function then the entire equation can be treated as either ICADM or ECADM category algorithms, discussed in more detail below.
In accord with one embodiment hereof, a number of functions are strung together in this manner to facilitate parallel processing. ICNADM class algorithms in particular may further scale as a function of the size of the largest dataset input to the algorithms. As such, the speed of a set of processors can be at or above 90% of the sum of the speeds of processors, provided there is sufficient data. To ensure overall end-to-end parallel processing performance, the I/O of the parallel processing architecture should be set so that the time it takes to move data onto and off of the nodes is a small percentage of the time it takes to process the data.
ICNADM category algorithms can be parallelized using a compiler or a run-time translation process. Preferably, a run-time translation process is used because it affords increased flexibility (i.e., compiled solutions do not dynamically allocate computational resources that maximally fit the work required for any given problem).
Internal Context with Algorithmic Data Movement (ICADM) Category
Certain logical and mathematical problems fall into this category. By way of definition, the ICADM category is one in which the final work to be accomplished, for a particular logical or mathematical problem, is intrinsic to the algorithm and the data being transformed requires data to be moved as part of the algorithm. Example algorithms in the ICADM category include the Matrix Transpose and Gaussian elimination algorithms.
ICADM category algorithms thus require the movement of data. This means that the faster the data movement occurs, the better the algorithm scales when applied to multiple nodes or processors. One approach to solving this dilemma is to focus on faster and faster point-to-point connection speeds, which is inherently expensive, but will work for the ICADM category of algorithm.
Nonetheless, in accord with one embodiment, data movement parallelism is used for ICADM category algorithms. The following model may be used to define a minimum time and maximum node expansion model for multiple processor communications within an array of connected nodes. This model is for example implemented as a logical overlay on top of a standard switch mesh or as a fixed connection model, the former (logical overlay) being preferred:
where, H( ) represents a HC, P is the number of processors per motherboard, C is the number of communication channels per motherboard, t is the number of expansion time units, and x is the strip number (defined below) of the HC.
Equally the expansion time, t, for a given number of nodes with P processors per motherboard and C channels per motherboard can be expressed as:
t=φ log((N+P)/P)/log(C+1)κ.
Pictorially, if P=1, C=1, and t=2, then the expansion is shown as in
Data communication as a logical overlay may occur in one of three ways: (1) direct cascade communication for problem-set distribution and agglomeration; (2) one-to-many of initial data to all nodes (using the cascade position to allow for the selection of the requisite data by each node); and (3) secondary one-to-many of intermediate data to all relevant nodes required sharing data. If P=2, C=2, and t=2, then the expansion is shown in
As above, ICADM category algorithms may be parallelized using a compiler or a run-time translation process. Preferably, the run-time translation process is used because of its flexibility (compiled solutions cannot dynamically allocate computational resources that maximally fit the work required for any given problem). Scaling, on the other hand, is a function of the effective bandwidth connecting the group of nodes (e.g., via point-to-point communications or via parallel data movement speeds).
External Context No Algorithmic Data Movement (ECNADA) Category
Certain logical and mathematical problems fall into this category. By way of definition, the ECNADA category is one in which the final work to be accomplished, for a given logical or mathematical problem, is intrinsic to another algorithm and the data being transformed does not require data to be moved as part of the collective algorithms. An example of an ECNADA category algorithm is the Hadamard Transform. In accord with one embodiment herein, an ECNADA category algorithm is treated like an ICNADM category algorithm.
External Context with Algorithmic Data Movement (ECADM) Category
Many logical and mathematical problems fall into this category. By way of definition, the ECADM category is one in which the final work to be accomplished, for a given logical or mathematical problem, is intrinsic to another algorithm and the base algorithm requires data movement. An arbitrary 2D dataset for an ECADM category algorithm is illustratively shown in
Then, the m rows are distributed over the P parallel processing nodes. The rows assigned to a node are defined by the starting row, referred to as a row index, and a row count. Rows are not split across nodes, so the row count is constrained to whole numbers. The distribution is done such that equal quantities of rows are assigned to nodes 1 through P-1, and the remainder rows are assigned to node P. A remainder is provided to handle cases where the number of rows does not divide equally into P nodes. The remainder may be computed as the largest integer, less than the row count, such that the sum of the row count times the number of nodes and the remainder equals the total number of rows. This adjustment achieves an equalized row distribution.
This step of distributing m rows over P nodes is illustrated in
The next step evenly distributes the n columns over the P parallel processing nodes. Again, columns are not split across nodes, so the distribution is constrained to whole numbers. The column assignments are done in the same manner as for the rows. This step of distributing n columns over P nodes is illustrated in
The relationship between row and column indices, row and column counts, and node numbers is further illustrated in the context of a 7-node HC 100A of
Home node 110A performs data partitioning as described above in connection with
Once a node receives its data, it proceeds with computing 1D FFTs on the columns independent of other nodes. When the column FFT results are ready, they are accumulated upstream to home node 110A, in agglomeration. Home node 110A then broadcasts the intermediate results to the processing nodes to compute the 1D FFTs on the rows. The individual column results are then accumulated upstream to home node 110A, in agglomeration, and into the final result to complete the process. Accordingly, data distribution through HC 100A can accommodate arbitrary sized 2D datasets in a simple and efficient manner. In an analogous fashion, 2D FFT are parallelized for any group of processors.
These techniques thus mitigate the difficulties of cross-communication normally found with this category of algorithm. Consider for example the following algorithm: Imageoutput=2D-CONVOLUTION (Kernel, (1D-FFTcolumns (TRANSLATEfft-Transpose(1D-FFTrow(imageinput))))), where imageinput is the base input image, 1D-FFTcolumn is the column form 1D FFT, 1D-FFTrow is the row form 1D FFT. Kernel is the convolution Kernel (e.g., an object to find in the input image), 2D-CONVOLUTION is the convolution algorithm, Imageoutput, is the output image, and TRANSLATEfft-Transpose is the Matrix Transpose for FFT. Since the work to be accomplished is not part of the 2D-FFT (i.e., the algorithm operates to translate data to the frequency domain), the work unit of the associated function may be used to limit cross-communication. The work unit in this example is defined by the Kernel parameter of the 2D-CONVOLUTION. As long as lowest frequency per node of the 2D-FFT is at least twice the lowest frequency of the Kernel parameter, then that defines the minimum size that the imageinput can be split into without cross-communicate between processors. This occurs because the TRANSLATEfft-Transpose function need not retain lower frequency data (the purpose of cross-communication) when it performs its matrix Transpose. In this rendition of a 2D-FFT, the FFT is broken into three parts: 1D-FFTrow, TRANSLATEfft-Transpose, and 1D-FFTcolumn. This functional breakup allows for the insertion of the required Transpose, but also allows that function to determine whether or not to move data between processors. Accordingly, the translation between an algorithm such as ALG(A) to ALG(B), below, may occur automatically.
ALG(A)=Imageoutput=2D-CONVOLUTION (Kernel, (2D-FFTcolumns(imageinput))), where imageinput is the base input image, 1D-FFTcolumns is the column form 1D FFT, 1D-FFTrow is the row form 1D FFT, Kernel is the convolution Kernel (e.g., the object to locate), 2D-CONVOLUTION is the convolution algorithm, and Imageoutput(ALG(A)) is the output image. ALG(B)=Imageoutput=2D-CONVOLUTION (Kernel, (1D-FFTcolumns (TRANSLATEfft-Transpose (1D-FFTrow(imageinput))))), where, imageinput is the base input image, 1D-FFTcolumns the column form 1D FFT, 1D-FFTro is the row form 1D FFT, Kernel is the convolution Kernel (e.g., the object to locate), 2D-CONVOLUTION is the convolution algorithm, Imageoutput (ALG(B)) is the output image, and TRANSLATEfft-Transpose is the matrix Transpose for the FFT.
ECADM category algorithms can be parallelized using a compiler or a run-time translation process. Scaling is primarily a function of work that binds the cross-communication. Preferably, the run-time translation process is used because of its flexibility (compiled solutions cannot dynamically allocate computational resources that maximally fit the work required for any given problem).
The above discussion of ICNADM, ICADM, ECNADM and ECADM category processing may be used to enhance parallel processing of algorithms through parallel processing architectures, including the HC.
Large Scale Cluster Computer Network Switch Using HC
The HC provides certain advantages over the prior art. By way of example, the HC decreases the constraints on cluster size imposed by the back plane of a switching network of a shared memory cluster. The logical form of a two dimensional, level three HC 100B is illustrated in
In
Switches such as switch 202 or 204 have a limitation on the number of nodes that can be chained together. For example, a Hewlett-Packard HP2524 switch has twenty-four ports, and can have up to sixteen switches chained together. The total number of switching ports available in this switching array is therefore 384. A strip utilizing the HP2524 as its switch within a switching array may therefore connect up to 384 nodes, for example. An example of a router suitable for router 200 is a Hewlett-Packard HD 9308m, which has a total of 168 ports. Using the HD9308m as router 200 may then connect (168×384) 64,512 nodes together.
The topology of HC 100B may be modified to break up a very large strip so that it can perform with a boundary condition such as the afore-mentioned 384-node boundary. Specifically, in one embodiment, the number of nodes (processors) within a strip may be limited according to the following: (a) a strip has at least one HC and (b) a HC consists of the sum of HCs plus a remainder function. That is, H=H(x)+H(y)+ . . . +R(z), where H( ) is a HC with a size no larger than H, and where R( ) is 0, 1, or 2 nodes. Thus, larger cascade strips may be broken into smaller groups with a switch associated with each group, as shown in
The Use of Multiple Expansion Channels in Cascading Computers
Computers connected as a HC. e.g., HC 100,
N1=2t−1 (Equation 1)
where N is the number of nodes used in expansion, and t is the number of time units used in expansion. As can be seen, the expansion rate provides the following number of nodes: {0, 1, 3, 7, 15, 31, 63, 127, 255, 511, 1023, . . . }, which is a geometric expansion of base-2. Equation 1 can be generalized to:
N2=p*(p+1)t−p (Equation 2)
where N is the number of nodes used in expansion, t is the number of time units used in expansion, and p is the number of parallel channels of expansion.
A parallel channel of expansion equates to the number of bus connections (network cards, processors, etc.) which can operate simultaneously, per node. In the case of networked computers, this implies both a network interface card (NIC) and a parallel bus. For a single processor computer (which has a single internal bus), the number of channels of expansion is one and Equation 1 applies. For the case where there are two processors, per node, the following applies (per Equation 2).
N3=2(2+1)t−2 (Equation 3)
where N is the number of nodes used in expansion, and t is the number of time units used in expansion. Table 6 below sets forth the expansion rate, in nodes, for two parallel expansion channels.
Comparing the computations of Equation 2 with Equation 3 generates Equation 4:
R=N1/N3 (Equation 4)
where R is the ratio of number of nodes of expansion, N1 is the number of nodes of expansion using Equation 1, and N3 is the number of nodes of expansion using Equation 3. Table 7 sets forth the ratios of such expansion.
Table 7 illustrates that the first expansion provides one fourth of the expansion efficiency, as compared to the second expansion. The foregoing also illustrates that by increasing the number of dimensions of expansion using the HC, the cluster efficiency is further enhanced.
The HC and Node Number
An n-dimensional HC may consume a fixed number of processing nodes for each expansion level. For example, a 2-Dimensional HC may consume a number of nodes set forth by Table 8.
To be able to consume, for example, 4, 5, or 6 nodes in a two-dimensional HC, an extension to the above node expansion algorithm for the HC may be used, as described below.
More particularly, the expansion of a HC in time may be shown in the sets defined below. The natural cascade frequency of the HC is the expansion rate of Set 1: {1, 3, 7, 15, 31, . . . , 2t−1}, where t is the number of time units. In the more general case, Set 1 takes the form of Set 2: {d1−1, d2−1, d3−1, dt−1}, where d is the number of dimensions of expansion (=(p+1)), p is the number of parallel channels of expansion, and t is the number of time units. It is advantageous to obtain an expansion number that lies between the elements of Set 2. For example consider Set 3: {d1+1, d1−1+2, d1−1+3, . . . , d2−2}, where d is the number of dimensions of expansion (=p+1), and p is the number of parallel channels of expansion. Set 3 more specifically shows the set of values that lie between the first and second natural expansion terms. In the case of Set 1, this translates into Set 4: {2}. The general set for an in-between number of nodes is given in Set 5: {dt−1+1, dt−1+2, dt−1+3, . . . , dt−1+t, d(t+1)−2}, where d is the number of dimensions of expansion (=p+1), p is the number of parallel channels of expansion, and t is the number of time units. The general HC construction series is then given below:
As can be seen, each term of the expansion is equal to the sum of all proceeding terms. Since each term corresponds to a cascade strip, the HC is balanced by adding additional nodes starting with the next highest term and continuing until all empty potential slots are filled, or by evenly spreading extra-nodes among the strips. Keeping the HC balanced by evenly spreading nodes among the cascade strips is accomplished by level-spreading among the nodes, as illustrated in Table 9 and Table 10:
Since each strip boundary and level represents a time unit, and since the position of the nodes in a strip and on a level represents the distribution that may occur in that time slot, adding an additional node 8 in Table 10 increases the overall processing time (as compared to Table 9) because of the additional time unit. Unlike Table 10, where the additional node 8 was added to the top-most level, Table 11 illustrates how additional nodes may be added without the additional time cost.
One way to balance the HC is to fill node spaces by level, to ensure that the nodes are aligned in time. Table 12 illustrates one technique for adding nodes with reference to the HC of Table 11:
In Table 12, any of the nodes shown in the same type (A, B, C or D, respectively) can replace any other node of the same type in placement order. By ensuring that the nodes are added in a time efficient manner, HC system overhead is reduced.
Pre-Building Agglomeration Communication Paths
Typically in the prior alt, implementations using multiple network interface cards (“NICs”) require that the NICs are bonded at the device driver level. This makes off-the-shelf device driver upgrades unavailable, and removes the ability to use the NICs independently of each other to create multiple communication channels. By allowing the software application level to control the NICs independently, multiple communication channels can be created and used in different ways, giving greater communication flexibility. For example, multiple communication channels can be made between two nodes for increasing the communication bandwidth, or the communication channels can be used independently to allow one node to communicate with many other nodes concurrently. Another advantage is obtained as a result of the requirement to have a physically separate switch network for each parallel communication channel. This requirement provides channel redundancy commensurate with the number of parallel communication channels implemented.
As shown, after three time units, the processing request has been sent to all seven processing nodes. During time unit 4, the processing nodes, if expecting data, configure their first communication channel to receive the data broadcast. After four time units, the full data agglomeration communication path has been established, thus saving channel configuration overhead normally incurred prior to data agglomeration, as in the case when only one communication channel is available to the processing nodes.
Processing Nodes as a Home Node
If each processing node contains an additional NIC associated with the home node switch network, then a processing node can be used in place of a home node. For example, if a home node fails, either processing nodes or other home nodes will detect the lack of communication. In one embodiment, the lowest numbered communicating home node selects one of its processing nodes to reconfigure as a new home node by terminating the active processing node software and by starting new home node software through a remote procedure call. The failed home node's assigned processing nodes are then reassigned to the new home node, and processing continues. This is discussed further in connection with
Multiple Home Nodes in Cascading Cluster Systems
A HC may have multiple home nodes operating in tandem. Such a HC may further automate detection and mitigation of failed home nodes. In particular, each HC cluster within a HCAS may reconfigure itself in the event of a dropped out node, and without human intervention. Since the replacement home node operates like the failed node, the HC functions fully for parallel processing. Moreover, multiple home nodes facilitate access by multiple remote hosts.
In order to have multiple home nodes allocating processing nodes at the same time, the home nodes share data.
If any of home nodes 110C, 224, 226 require additional processing nodes, then it looks to the list of processing nodes for any other home node to see if a free processing node exists; switch 220 then reconfigures to bring the new processing node under control of the requesting home node. In another embodiment, a home node needing processing power can broadcast a request for additional processing nodes to each of the other home nodes; these nodes respond and, if a free processing node exists, HC 100C reconfigures to adjust the nodes processing for a particular home node.
In one example of operation of HC 100C,
In another example of operation of HC 100C, home node 3 requires only one additional processing node. Home node 3 issues a multi-cast message request for one processing node to home node 1 and home node 2. The message also contains the total number of home nodes addressed by the multi-cast message. When home node 1 receives the multi-cast message, it sends a return message identifying only processing node 1, as it is the lowest numbered home node and the request was for a single processing node. When home node 2 receives the multi-cast message, it recognizes that it does not need to send a return message to home node 3 because it will recognize that home nodes with lower numbers have fulfilled the request.
The Use of Overlapped Data to Decrease I/O Accesses in Clustered Computers
In one embodiment, the HC serves to eliminate the large number of data transfers common in shared memory clusters of the prior art; such a HC provides computing efficiencies in the 40% to 55% range, as compared to the 3% to 7% range of the prior art. With decreased coupling transfers, the HC efficiency is in the 80% to 95% range. In one example, an algorithm runs on two processing nodes of the HC, processing node 1 and processing node 2. A 5×6 element matrix is divided into two 5×3 element matrices for parallel processing by the two processing nodes. The data for the processing node 1 is shown in Table 14, and the data for processing node 2 is shown in Table 15.
In this example it is assumed that processing node 1 and processing node 2 need to share data items 5, 6, 15, 16, 25, and 26. The sequence for processing and transferring the shared data items is shown in Table 16.
As can be seen in Table 16, the processing by the HC generates twelve data transfer/receives for only six boundary data processes. By changing the boundary data such that the shared data is overlapped (to provide the shared data on the required nodes when needed), the number of required data transfers decreases. This is important as processing speed is compromised with a large number of data transfers. Using the data from the above example, the 5×6 element matrix is divided into two 6×3 element matrices, as shown in Tables 17 and 18.
Column a of Table 17 and column b of Table 18 represent overlapped data. The overlapping area is a one-dimensional overlap area. The overlap area is treated as an overlap but without the current need to transfer data. The resulting processing sequence of processing node 1 and processing node 2 in the HC is shown in Table 19.
By way of comparison, consider the number of parallel activities.
Where there is an overlap area, processing node 1 and processing node 2 process data in parallel. Thus, six time units are consumed. Where the data is not overlapped, the processing is serialized whenever data is transferred between the processing nodes, thus twelve time units are consumed (assuming that both the data transfer and the data processing consume one time unit). This effect is exacerbated when multiple overlapping dimensions exist. For example, Table 20 shows a 9×15 element matrix divided between nine processing nodes, with overlap between the data items for each node.
As can be seen with the underlined data entries in Table 20, the processing node with that dataset has all sides of a 2-dimensional matrix containing an overlap area (thus representing a 2-dimensional overlap.) This may be extended from 1- to N-dimensions analogously. The overlap methodology decreases the overhead of cluster transfers and allows for efficient use of separate processors in problem solving, as compared to continuously sharing data between nodes.
Processing Node Dropout Detection and Replacement
As previously discussed, the HC may be configured to detect non-functioning processing nodes and to reassign associated work for the non-functioning processing node to another processing node without human intervention. The clusters of the prior art have enormous difficulty in both detecting and ameliorating failed nodes; this difficulty is a function of how computer nodes are assigned to a problem. Typically, in the prior art (e.g., as shown in
In one embodiment of the HC, on the other hand, node communications are determined at run time rather than at compile time. Further, the geometric nature of the HC fixes the run-time node communication relationships for the duration of the job. This makes it possible to both detect processing node communication failures and to reallocate problem sets to other processing nodes, thereby correcting for node failures at run time.
Non-communication is detectable because the communication protocol (e.g., TCP/IP) returns an error code when one networked node attempts to communicate with another node on the same network, but cannot. By way of example,
In another embodiment,
In another example, a HC 100G is configured similarly to HC 100E of
In another error recovery example, a HC 100H,
In the event there are no spare processing nodes, the HC may suspend the current processing cascades and recast the algorithm processing request at the next lower cascade level, where additional, free processing nodes may be used to restart processing. In this example, a HC 100E is configured as in
In one embodiment, each node in a HC may have the same computational power. Since the connection between a remote host and the home node does not stay open during job processing, it is possible to switch out and replace a failed primary home node without the need to inform the remote host.
HC 100I need not utilize a client-server model, known to those skilled in the art, and thus the connection to the remote host may be rebuilt.
Hidden Function API for Blind Function Calling
A HCAS may also be constructed with interface methodology that avoids third-party access to proprietary algorithms, overcoming one problem of the prior art.
More particularly,
Some parameter types passed to the message creation software 480 by application code 460 may contain special values. One such value is a storage type for pointers to specific data areas used for input parameters to the requested function, where the pointer value can only be resolved within the processing node control software at run time. This allows flexibility and efficiency in parameter passing.
In summary, the function request interface 476 and data request interface 466 of
Complex Algorithms on an HCAS
A complex algorithm is defined as an algorithm that contains one or more branching statements. A branching statement is a statement that compares one or more variables and constants, and then selects an execution path based upon the comparison. For example:
In the above branching statement one of two execution paths is selected based upon whether or not the contents of variable a is greater than 10. The execution paths may contain further branching statements and computational algorithms.
Computational algorithms can always be represented as one or more subroutines or library function calls. In the HCAS, code that can be represented as either a subroutine or a library function can be installed into algorithm library 99 on an HCAS. Thus the computational algorithm parts of a branching statement can be processed on a HCAS.
Each branching statement represents a serial activity. All parallel processes executing a complex algorithm make the same decision at the same point in their processing. There are primarily two ways to accomplish this. A first method is for each process executing the complex algorithm (e.g., a processing node in an HCAS) to send messages to every other process executing the complex algorithm, such that each process has sufficient information to make the same decision. This first method maximizes the amount of cross-communication required and thus is unacceptable as a solution. A second method uses a central location to evaluate the branching statement. For example, this central location may be on the remote host or on a home node in an HCAS. The conditional variable data is the only information that has to be transmitted from each process executing the complex algorithm to the central location, thus keeping data transfers to a minimum.
A branching statement may be represented by a conditional function with the following attributes:
Thus, each branching statement in a complex algorithm becomes a function call. The only difference between a conditional function and all other HCAS functions is that the conditional data is sent to a central location for evaluation at each branching statement in the complex algorithm.
Host process 1200 starts at step 1202 and continues with step 1204. Step 1204 sends a complex algorithm processing request control process 1300. Host process 1200 continues at step 1206 where it waits to receive the computed results.
Control process 1300 starts at step 1302 and continues with step 1304. Step 1304 receives the complex algorithm processing request from remote process 1200 and continues with step 1306. Step 1306 sends the complex algorithm processing sections to computing process 1400, indicating the first section to be computed. Control process 1300 continues with step 1308. Step 1308 waits for computing process 1400 to return results after completing a section of the complex algorithm.
Computing process 1400 starts at step 1402 and continues with step 1404. Step 1404 receives the complex algorithm processing sections from control process 1300. Computing process 1400 continues with step 1406 where the indicated section of the complex algorithm processing request is computed. Computing process 1400 continues with step 1408. Step 1408 agglomerates the results of the computed section and sends them to control process 1300. Computing process 1400 continues with step 1410 where it waits for direction from control process 1300.
Control process 1300 receives the results of the computed section from computing process 1400 in step 1308 and continues with step 1310. If no further computing of the complex algorithm processing request is required, control process 1300 continues with step 1314; otherwise, step 1310 evaluates the respective conditional branch in the complex algorithm processing request using results returned from computing process 1400 and continues with step 1312.
Step 1312 initiates the computation of the next section of complex algorithm processing request by sending a direction messages to computing process 1400. Control process 1300 then continues with step 1308 where it waits for the computation of the initiated section to be completed by computing process 1400.
Step 1410 of computing process 1400 receives direction from control process 1300 indicating if, and which, section to compute next. If there is no section to compute next, computing process 1400 terminates at step 1414; otherwise computing process 1400 continues with step 1406 where the next section is computed.
In step 1314 of control process 1300, a direction message is sent to computing process 1400 indicating that there are no further sections for computing. Control process 1300 continues with step 1316 where it sends the final results received from computing process 1400 in step 1308 to host process 1200. Control process 1300 then terminates at step 1318.
Host process 1200 receives the results from control process 1300 in step 1206. Host process 1200 then terminates at step 1208.
As can be seen in the above example, the decomposition of complex algorithm into computable sections and conditional functions, data is only moved as necessary. By evaluating the branching statement in a central location, the inherent serial nature of the branching statement is maintained, and a HCAS handles complex algorithms efficiently.
Algorithm Development Toolkit
This section (Algorithm Development Toolkit) describes select processes for implementing algorithms within a HC. Such processes may be automated as a matter of design choice.
Home node 110K, processing node 112, processing node 114, processing node 116, and processing node 118 contain data template definitions 528 that define the data and parameters for functions in the computationally intensive algorithm library 99. All processing nodes in HCAS 80A contain identical copies of the data template definitions 528 and computationally intensive algorithm library 99. Algorithm development toolkit 522 facilitates the addition of new algorithm 520 to data definitions 528 and computationally intensive algorithm library 99, via data path 524, and to a parallel interface library 530 used by the application running on remote host 82, via data path 526.
Step 554 is a function call to the mesh tool function, described in
Step 556 is a function call to acquire input data function described in
Step 558 is a function call to compute the results for a processing node, and is the invocation of the new algorithm on the data set acquired in step 556 for the processing node on which this function is to run. Process 550 continues with step 560.
Step 560 is a function call to an agglomerate result function described in
Step 562 is a function call to a return results function described in
Step 574 is a function call to a find an input data size function described in
Step 576 is a function call to a compute output data size sub-process described in
Step 578 is a function call to a compute mesh parameters sub-process described in
Step 594 is a decision. If the new algorithm is a series expansion, sub-process 590 continues with step 596; otherwise sub-process 590 continues with step 598.
Step 596 sets the data input rows and data input size to the number of terms in the series. Sub-process 590 continues with step 600.
Step 598 sets the first data input rows, columns and element size to match the input image size. Sub-process 590 continues with step 602.
Step 600 sets the data input element size to the number of digits provided per element. Sub-process 590 continues with step 604.
Step 602 sets the first data input size to the data input rows×columns×element size defined in step 598. Sub-process 590 continues with step 606.
Step 604 sets the data input columns to one. Sub-process 590 terminates at step 612, returning control to the invoking process.
Step 606 is a decision. If there is a second input image, sub-process 590 continues with step 608; otherwise sub-process 590 terminates at step 612, returning control to the invoking process.
Step 608 sets the second data input rows, columns and element size to match the second input image. Sub-process 590 continues with step 610.
Step 610 sets the second data input size to the data input rows×columns×element size defined in step 608. Sub-process 590 terminates at step 612, returning control to the invoking process.
Step 624 is a decision. If the new algorithm is a series expansion, sub-process 620 continues with step 628; otherwise sub-process 620 continues with step 626.
Step 626 is a decision. If there is a second image, sub-process 620 continues with step 632; otherwise sub-process 620 continues with step 630.
Step 628 invokes sub-process compute output series size for a series expansion defined in
Step 630 invokes sub-process compute output data size for a single image defined in
Step 632 invokes sub-process compute output data size for two images defined in
Step 644 sets the data output rows to the number of terms in the series. Sub-process 640 continues with step 646.
Step 646 sets the data output element size to one. Sub-process 640 continues with step 648.
Step 648 sets the data output columns to one. Sub-process 640 continues with step 650.
Step 650 is a decision. If the new algorithm is an ex expansion, sub-process 640 continues with step 654; otherwise sub-process 640 continues with step 652.
Step 652 is a decision. If the new algorithm is a Sigma square root expansion, sub-process 640 continues with step 658; otherwise sub-process 640 continues with step 656.
Step 654 sets the output data size to the size of the agglomeration structure for the ex expansion. Sub-process 640 terminates at step 660, returning control to the invoking process.
Step 656 sets the data output size to the number of terms in the series plus one. Sub-process 640 terminates at step 660, returning control to the invoking process.
Step 658 sets the data output size to the number of digits in an ASCII floating point number. Sub-process 640 terminates at step 660, returning control to the invoking process.
Step 674 sets the data output rows equal to the data input rows. Sub-process 670 continues with step 676.
Step 676 sets the data output columns equal to the data input columns. Sub-process 670 continues with step 678.
Step 678 is a decision. If the new algorithm is a FFT computation, sub-process 670 continues with step 682; otherwise sub-process 670 continues with step 680.
Step 680 sets the data output size equal to the data input element size. Sub-process 670 continues with step 684;
Step 682 sets the data output element size to the size of two double precision floating-point numbers. Sub-process 670 continues with step 684.
Step 684 sets the data output size to the data output rows×columns×element size. Sub-process 670 terminates at step 686, returning control to the invoking process.
Step 694 sets the data output rows equal to the data input first rows, minus the data input second rows, plus one. Sub-process 690 continues with step 696.
Step 696 sets the data output columns to the data input first columns, minus the data input second columns, plus one. Sub-process 690 continues with step 698.
Step 698 is a decision. If the new algorithm is a convolve computation, sub-process 690 continues with step 700; otherwise sub-process 690 continues with step 702.
Step 700 sets the data output element size to the size of a single precision floating-point number. Sub-process 690 continues with step 704.
Step 702 sets the data output element size to the size of a double precision floating-point number. Sub-process 690 continues with step 704.
Step 704 sets the output data size to the data output rows×columns×element size. Sub-process 690 terminates at step 706, returning control to the invoking process.
Step 714 is a decision. If the new algorithm is a Pi, Sigma square root or LN(X) computation, sub-process 710 continues with step 716; otherwise sub-process 710 continues with step 718.
Step 716 invokes a sub-process to calculate a single dimensional mesh for every value of N, described in
Step 718 is a decision. If the new algorithm is a ex computation, sub-process 710 continues with step 720; otherwise sub-process 710 continues with step 722.
Step 720 invokes a sub-process to calculate a 1-dimensional continuous block mesh, defined in
Step 722 is a decision. If the new algorithm is a convolution, normalized cross correlate or edge detection algorithm, sub-process 710 continues with step 724; otherwise sub-process 710 continues with step 726.
Step 724 invokes a sub-process to calculate a 2-dimensional continuous block row mesh, defined in
Step 726 is a decision. If the new algorithm is an FFT calculation, sub-process 710 continues with step 728; otherwise sub-process 710 continues with step 730.
Step 728 invokes a sub-process to calculate a 2-dimensional continuous block row and column mesh, defined in
Step 730 invokes a sub-process to calculate a 2-dimensional continuous block column mesh, defined in
Step 744 sets the mesh input size to the data input rows. Sub-process 740 continues with step 746.
Step 746 sets the mesh input offset to the data input element size×the processing node's cascade position. Sub-process 740 continues with step 748.
Step 748 sets the mesh input step equal to the number of processing nodes working on the algorithm processing request. Sub-process 740 continues with step 750.
Step 750 is a decision. If the mesh is to start at term 0, sub-process 740 continues with step 752; otherwise sub-process 740 continues with step 754.
Step 752 sets the mesh start equal to the processing node's cascade position. Sub-process 740 continues with step 756;
Step 754 sets the mesh input start to the processing node's cascade position, plus one. Sub-process 740 continues with step 756.
Step 756 sets the mesh output size to the data input rows. Sub-process 740 continues with step 758.
Step 758 sets the mesh output offset to the data input element size×the processing node's cascade position. Sub-process 740 continues with step 760.
Step 760 sets the mesh output step equal to the count of processing nodes working on the algorithm processing request. Sub-process 740 continues with step 762.
Step 762 is a decision. If the mesh is to start at term zero, sub-process 740 continues with step 764; otherwise sub-process 740 continues with step 766.
Step 764 set the mesh output start equal to the processing node's cascade position. Sub-process 740 terminates at step 768, returning control to the invoking process.
Step 766 sets the mesh output start to the processing node's cascade position, plus one. Sub-process 740 terminates at step 768, returning control to the invoking process.
Step 784 invokes a sub-process to calculate a linear mesh based on data input rows, as defined in
Step 786 invokes a sub-process to calculate a linear mesh based on data output rows, defined in
Step 804 invokes a sub-process to compute a linear mesh on data input columns, defined in
Step 806 invokes a sub-process to calculate a linear mesh based on data output columns, defined in
Step 824 invokes a sub-function to calculate a linear mesh on data input rows, defined in
Step 826 invokes a sub-process to calculate a linear mesh based on data output rows. Sub-process 820 continues with step 828.
Step 828 invokes a sub-function to calculate a linear mesh on data input columns, defined in
Step 830 invokes a sub-process to calculate a linear mesh based on data output columns. Sub-process 820 terminate at step 832, returning control to the invoking process.
Step 844 is a decision. If a second image is present with a kernel, sub-process 840 continues with step 848; otherwise sub-process 840 continues with step 846.
Step 846 sets the input size to rows. Sub-process 840 continues with step 850.
Step 848 sets the input size to the first rows minus the second rows. Sub-process 840 continues with step 850.
Step 850 sets the mesh size to the input size divided by the count of processing nodes working on the algorithm processing request. Sub-process 840 continues with step 852.
Step 852 sets the mesh index to the cascade position of the processing node on which the algorithm is running x mesh size. Sub-process 840 continues with step 854.
Step 854 is a decision. If a second image is present with a kernel, sub-process 840 continues with step 856; otherwise sub-process 840 continues with step 858.
Step 856 adds second rows minus one to the mesh index. Sub-process 840 continues with step 858.
Step 858 sets the mesh remainder to the remainder of the input size divided by the count of processing nodes working on the algorithm processing request. Sub-process 840 continues with step 860.
Step 860 is a decision. If the cascade position of the processing node is less than the mesh remainder calculated in step 858, sub-process 840 continues with step 864; otherwise sub-process 840 continues with step 862.
Step 862 adds the cascade position of the processing node to the mesh index. Sub-process 840 continues with step 866.
Step 864 adds the mesh remainder calculated in step 858 to the mesh index. Sub-process 840 terminates at step 868, returning control to the invoking process.
Step 866 increments the mesh size. Sub-process 840 terminates at step 868, returning control to the invoking process.
Step 884 is a decision. If a second image is present with a kernel sub-process 880 continues with step 888; otherwise sub-process 880 continues with step 886.
Step 886 sets the input size to columns. Sub-process 880 continues with step 890.
Step 888 sets the input size to the first columns minus second rows. Sub-process 880 continues with step 890.
Step 890 sets the mesh size to the input size divided by the count of processing nodes working on the algorithm processing request. Sub-process 880 continues with step 892.
Step 892 sets the mesh index to the cascade position of the processing node on which the algorithm is running x mesh size. Sub-process 880 continues with step 894,
Step 894 is a decision. If a second image is present with a kernel, sub-process 880 continues with step 896; otherwise sub-process 880 continues with step 898.
Step 896 adds second columns minus one to the mesh index. Sub-process 880 continues with step 898.
Step 898 sets the mesh remainder to the remainder of the input size divided by the count of processing nodes working on the algorithm processing request. Sub-process 880 continues with step 900.
Step 900 is a decision. If the cascade position of the processing node is less than the mesh remainder calculated in step 898, sub-process 880 continues with step 904; otherwise sub-process 880 continues with step 902.
Step 902 adds the cascade position of the processing node to the mesh index. Sub-process 880 continues with step 906.
Step 904 adds the mesh remainder calculated in step 898 to the mesh index. Sub-process 880 terminates at step 908, returning control to the invoking process.
Step 906 increments the mesh size. Sub-process 880 terminates at step 908, returning control to the invoking process.
Step 924 is a decision. If the algorithm processing request expects input data, sub-process 920 continues with step 926; otherwise sub-process 920 terminates at step 930, returning control to the invoking process.
Step 926 is a decision. If the data is sent by the HC as a data broadcast, sub-process 920 continues with step 928; otherwise sub-process 920 terminates at step 930, returning control to the invoking process.
Step 928 invokes a sub-process to use multi-cast tools to receive the broadcast message, defined in
Step 944 opens the multicast socket to receive the broadcast. Sub-process 940 continues with step 946.
Step 946 receives the multicast data. Sub-process 940 continues with step 948.
Step 948 is a decision. If there is more data to receive, sub-process 940 continues with step 946; otherwise sub-process 940 continues with step 950.
Step 950 closes the multicast socket opened in step 944. Sub-process 940 terminates at step 952, returning control to the invoking process.
Step 964 is a decision. If the agglomeration is of type with multi-home nodes, sub-process 960 terminates at step 980, returning control to the invoking process; otherwise sub-process 960 continues with step 966.
Step 966 determines the number of message to expect from downstream processing nodes. Sub-process 960 continues with step 968.
Step 968 is a decision. If there are no expected messages, sub-process 960 terminates at step 980, returning control to the invoking process; otherwise sub-process 960 continues with step 970.
Step 970 invokes a sub-process to set the result pointers that are used for storing the received results. Sub-process 960 continues with step 972.
Step 972 receives a message with data attached. Sub-process 960 continues with step 974.
Step 974 invokes a sub-process to combine results with prior results. Sub-process 960 continues with step 976.
Step 976 is a decision. If more messages with attached data are expected, sub-process 960 continues with step 970; otherwise sub-process 960 continues with step 978.
Step 978 invokes a sub-process to clean up the storage after agglomeration is complete. Sub-process 960 terminates at step 980, returning control to the invoking process.
Step 994 is a decision. If the agglomeration type is a row mesh, the existing memory allocated for the input data can be used, and sub-process 990 continues with step 1000; otherwise sub-process 990 continues with step 996.
Step 996 is a decision. If the agglomeration type is result list, sub-process 990 continues with step 1002; otherwise sub-process 990 continues with step 998.
Step 998 is a decision. If the pointer is currently in use, sub-process 990 terminates at step 1006, returning control to the invoking process; otherwise sub-process 990 continues with step 1002.
Step 1000 sets the data pointer to point at the input data space. Sub-process 990 terminates at step 1006, returning control to the invoking process.
Step 1002 allocated more memory for agglomeration. Sub-process 990 continues with step 1004.
Step 1004 sets the pointer to the memory space allocated by step 1002. Sub-process 990 terminates at step 1006, returning control to the invoking process.
Step 1024 is a decision. If the agglomeration type is arbitrary precision addition, then sub-process 1020 continues with step 1026; otherwise sub-process 1020 continues with step 1028.
Step 1026 converts the received agglomeration data to an APFLOAT number and adds it to the accumulated result. Sub-process 1020 terminates at step 1040, returning control to the invoking process.
Step 1028 is a decision. If the agglomeration type is floating point addition, sub-process 1020 continues with step 1030; otherwise sub-process 1020 continues with step 1032.
Step 1030 converts the received agglomeration data to a floating point number and adds it to the accumulated result. Sub-process 1020 terminates at step 1040, returning control to the invoking process.
Step 1032 is a decision. If the agglomeration type is save largest, sub-process 1020 continues with step 1034; otherwise sub-process 1020 continues with step 1036.
Step 1034 compares the received agglomeration result with a stored value, and, if larger, replaces the stored value with the received agglomeration data. Sub-process 1020 terminates at step 1040, returning control to the invoking process.
Step 1036 is a decision. If the agglomeration type is result list, sub-process 1020 continues with step 1038; otherwise sub-process 1020 terminates at step 1040, returning control to the invoking process.
Step 1038 adds the result pointer to the result list and increments the result counter. Sub-process 1020 terminates at step 1040, returning control to the invoking process.
Step 1054 is a decision. If the agglomeration method was ROWMESH, sub-process 1050 terminates at step 1058, returning control to the invoking process; otherwise sub-process 1050 continues with step 1056.
Step 1056 frees the allocated memory space. Sub-process 1050 terminates at step 1058, returning control to the invoking process.
Step 1074 invokes a sub-process to get the address of the destination node to receive the results, defined in
Step 1076 invokes a sub-process to get the format for the result message, defined in
Step 1078 invokes a sub-process to build the result message, defined in
Step 1080 invokes a sub-process to send the result message to the destination node, defined in
Step 1094 is a decision. If the results are to be sent to the home node, sub-process 1090 continues with step 1098; otherwise sub-process 1090 continues with step 1096.
Step 1096 gets the address for the upstream processing node. Sub-process 1090 terminates at step 1100, returning control to the invoking process.
Step 1098 gets the address of the home node. Sub-process 1090 terminates at step 1100, returning control to the invoking process.
Step 1114 is a decision. If the result is for the home node, sub-process 1110 continues with step 1118, otherwise sub-process 1110 continues with step 1116.
Step 1116 gets the message format for the upstream processing node. Sub-process 1110 terminates at step 1120, returning control to the invoking process.
Step 1118 gets the message format for the home node. Sub-process 1110 terminates at step 1120, returning control to the invoking process.
Step 1134 is a decision. If the message is to be returned without a data header, sub-process 1030 continues with step 1136; otherwise sub-process 1130 continues with step 1138.
Step 1136 builds the message without a data header. Sub-process 1130 terminates at step 1144, returning control to the invoking process.
Step 1138 is a decision. If the message it to be built with a data header, sub-process 113) continues with step 1140: otherwise sub-process 1130 continues with step 1142.
Step 1142 builds a processing node results message. Sub-process 1130 terminates at step 1144, returning control to the invoking process.
Step 1164 opens the stream socket to the destination node. Sub-process 1160 continues with step 1166.
Step 1166 sends the data down the stream. Sub-process 1160 continues with step 1168.
Step 1168 is a decision. If there is more data to send, sub-process 1160 continues with step 1166; otherwise sub-process 1160 continues with step 1170.
Step 1170 closes the stream socket. Sub-process 1160 terminates at step 1172, returning control to the invoking process.
Using Heterogeneous Computer Systems and Communication Channels to Build an HCAS.
While it is preferred to use computer systems and communication channels of equal specification and performance in an HCAS, the HCAS may be constructed from systems and channels of varying specifications without any significant loss in system efficiency. For example, computer systems with differing processor speeds, single or multiple processor motherboards, and varying numbers of NICs can be utilized as home nodes and processing nodes in the same HCAS.
In parallel processing systems of the prior art, such imbalance of node specification would cause processing imbalances and hence significant efficiency losses in the cluster. On an HCAS, however, load balancing can be performed automatically.
As appreciated by those skilled in the art, many techniques are available for load balancing on parallel processing clusters. One technique that may be utilized on an HCAS is to proportionately allocate the amount of processing required by each processing node based on its processing and communication capability. For example, a processing node with a slower processor clock may be allocated less data to process, or elements to calculate in a series expansion, than a processing node with a faster processor clock. In another example, two processing nodes have identical processor clock speeds, but the first processing node has a communication channel with twice the bandwidth of the second processing node. The first processing node would be allocated more data than the second processing node as it would be able to receive more data in the time taken for the second processing node to receive data.
The expansion of the algorithm processing request in a HC is less influenced by the communication channel speed due to the small message size. Any imbalances in system performance during problem expansion due to communication channel bandwidth imbalances are insignificant.
Further ExamplesThe following sections provide further examples of algorithms that may be run on the HCAS.
Decomposition of Two-Dimensional Object Transformation Data for Parallel Processing
Geometric transformations of a two-dimensional object include translation, scaling, rotation, and shearing. This section describes how the geometric transformation of a 2D object may be implemented on a HC, in one embodiment. The data partitioning handles an arbitrary number of parallel processing nodes and arbitrarily large objects.
A 2D object may be defined by its endpoints, expressed as coordinates in the (x,y) plane. Let the matrix MXY represent these N endpoints as column vectors:
The endpoints are converted to homogeneous coordinates, setting the third coordinate to 1, to create a new matrix MH:
This conversion to homogeneous coordinates reduces the 2D transformation problem to the matrix multiplication problem: MT=T×MH, Where T represents a 3×3 transform matrix and MH is the 2D object expressed as a 3×N matrix of homogeneous coordinates. The resulting product MT represents the transformation of the original 2D object.
The transform matrix T may equal one of the following matrices, depending on the type of transformation:
Now the 2D object transformation problem has been reduced to a matrix multiplication problem to be implemented on the HC. An arbitrary matrix is shown below in Table 21 an array of numbers arranged in J rows and K columns. Data partitioning evenly distributes the elements of a matrix over the parallel processing nodes.
Consider the matrix multiplication problem MT=T×M, where matrix T has dimensions 3×3, matrix M has dimensions 3×N, and the resulting product MT also has dimensions 3×N. Let 3×N represent the size of the product MT. In the HC implementation of matrix multiplication, each of the P parallel processing nodes receives a copy of T and M. Assuming 3×N>P, the solution size 3×N is divided by the number of nodes P to obtain an integer quotient W and a remainder R. W elements are assigned to each of the P nodes. Any remainder R is distributed, one element per node, to each of the first R nodes. Thus the first R nodes are assigned an element count of W+1, and each and the remaining P-R nodes are assigned an element count of W. The total number of elements assigned equals: R(W+1)+(P−R)W=PW+R=3×N.
The described approach maintains the node computational load balanced to within one element.
Consider the distribution of a product matrix MT consisting of 3 rows and 50 columns on a 7-node HC. In this case, the integer quotient W is 150/7=21, and the remainder R is 3. Processing nodes P1 through P3 are assigned 22 elements each; nodes P4 through P7 are assigned 21 each. The matrix data partitioning is shown in Table 22, computed with 150 total elements.
Processing node P1 multiplies row 1 of transform matrix T with columns 1 through 22 of object matrix M to compute its part of the result. Processing node P multiplies row 1 of transform matrix T with columns 23 through 44 of object matrix M to compute its part of the result. Processing node P3 uses rows 1 and 2 of transform matrix T and columns 1 through 16 and 45 through 50 of object matrix M to compute its result. The distribution of work is spread similarly for processing nodes P4 through P7.
The home node performs the matrix data partitioning. Messages describing the command (in this case a matrix multiply) and data partitioning are sent out to the processing nodes. Once the nodes have received their command messages, they wait for the home node to send the input matrix data. The data may be broadcast such that all nodes in the cascade receive it at the same time. Each node thus receives both of the input matrices, which may be more efficient than sending each individual node a separate message with just its piece of input data. This is especially important when considering large numbers of parallel processing nodes. Once a node receives the input matrices, it can proceed with computing the product independent of the other nodes. When the matrix multiply results are ready, they are accumulated up to the home node and merged into the final result. At this point the process is complete.
As this example shows, the 2D object transformation data distribution applied to the HC accommodates arbitrary sized objects in a simple and efficient manner.
Decomposition of Matrix Multiplication Data for Parallel Processing
This section describes how matrix multiplication may be implemented on a HC. The described matrix partitioning can handle an arbitrary number of parallel processing nodes and arbitrarily large matrices.
An arbitrary matrix is shown in Table 23 as an array of numbers arranged in M rows and N columns. Data partitioning evenly distributes the elements of the matrix over the parallel processing nodes.
Consider the matrix multiplication problem A×B=C, where input matrix A has dimensions M×N, input matrix B has dimensions N×Q, and the resulting product C has dimensions M×Q. Let E=M×Q represent the size of the product C. In the matrix multiplication implementation, each of the P parallel processing nodes receives a copy of A and B. Assuming E>P, solution size E is divided by the number of nodes P to obtain an integer quotient W and a remainder R. W elements are assigned to each of the P nodes. Any remainder R is distributed, one element per node, to each of the first R nodes. Thus the first R nodes are assigned an element count of Ei=W+1 each and the remaining P-R nodes will be assigned an element count of Ei=W. The total number of elements assigned equals R(W+1)+(P−R)W=PW+R=E.
Once again, the node computational load is balanced to within one element.
Consider the distribution of a product matrix consisting of 50 rows and 50 columns on a 7-node HC. In this case, the integer quotient Q is 2500÷7=357 and the remainder R is 1. Processing node P1 is assigned 358 elements; nodes P2 through P7 are assigned 357 each. The matrix data partitioning is shown in Table 24.
Processing node P1 computes rows 1 through 7 for all columns, then computes row 8 for columns 1 through 8 only, for a total of 358 elements computed. P1 uses the first 8 rows of matrix A and all of matrix B to compute its result.
Processing node P2 computes row 8 for columns 9 through 50, rows 9 through 14 for all columns, and row 15 for columns 1 through 15, totaling 357 elements computed. P2 uses rows 8 through 15 of matrix A and all of matrix B to compute its result.
Processing node Pi, for 1<i≦7, computes elements 357(i−1)+2 through 357i+1. Dividing by column width 50 produces a row index range of 7i−6 through 7i+1. The first row, 7i−6, is computed for columns 7i−5 through 50. The last row, 7i+1, is computed for columns 1 through 7i+1. The remaining rows are computed for all columns. The total number of elements computed equals 51−(7i−5)+6(50)+7i+1=56−7i+300+7i+1=357. Pi uses rows 7i−6 through 7i+1 of matrix A and all of matrix B to compute its result.
The home node performs the matrix data partitioning. Messages describing the command (in this case a matrix multiply) and data partitioning are sent out to the processing nodes. Once the nodes have received their command messages, they wait for the home node to send the input matrix data. The data is broadcast such that all nodes in the cascade receive it at the same time. Each node receives both of the input matrices, which is much more efficient than sending each individual node a separate message with just its piece of input data.
Once a node receives the input matrices, it can proceed with computing the product independent of the other nodes. When the matrix multiply results are ready, they are accumulated up to the home node and merged into the final result. At this point the process is complete. As this example shows, matrix data distribution applied to the HC accommodates arbitrary sized matrices in a simple and efficient manner.
Decomposition of Parallel Processing Data for Two-Dimensional Convolution Using Fast Fourier Transforms
This section describes how a two-dimensional convolution using Fast Fourier Transforms may be partitioned on a HC. The partitioning can handle an arbitrary number of parallel processing nodes and arbitrarily large images.
Consider an image containing M rows and N columns of pixel values and a smaller kernel image containing J rows and K columns (J≦M, K≦N). An efficient method for performing 2D convolution on the image and kernel involves the use of 2D Fast Fourier Transforms. First, the kernel is padded to match the size of the image. Then, a 2D FFT is performed on the image and kernel separately. The results are multiplied, per element, and then an inverse 2D FFT is applied to the product. The final result is equivalent to computing the 2D convolution directly.
An arbitrary input image and kernel are shown below in Tables 25 and 26, respectively, as arrays of pixels. Each parallel processing node receives a copy of the entire kernel. The image is evenly distributed by rows or columns over the processing nodes; the data partitioning here is described by row distribution.
The M rows of the input image are evenly distributed over P parallel processing nodes. The rows assigned to a node are defined by the starting row, referred to as row index, IRi, and a row count, Mi. Rows are not split across nodes, so the row count is constrained to whole numbers. Assuming M>P, M rows is divided by P nodes to obtain an integer quotient Q and a remainder R. Q contiguous rows are assigned to each of the P nodes. Any remainder R is distributed, one row per node, to each of the first R nodes. Thus the first R nodes are assigned a row count of Mi=Q+1 each and the remaining P-R nodes are assigned a row count of Mi=Q. The total number of rows assigned equals R(Q+1)+(P−R)Q=PQ+R=M. The row index, IRi, for the first R nodes equals (i−1)(Q+1)+1. For the remaining P-R nodes. IRi equals (i−1)Q+R+1.
This described approach of this section maintains the node computational load balanced to within one row. The mapping of rows to nodes is illustrated below in Table 27.
Consider the distribution of an image consisting of 1024 rows and 700 columns on a 7-node HC. In this case, the integer quotient Q is 1024÷7=146 and the row remainder R is 2. Processing nodes P1 and P2 are assigned 147 rows each; nodes P3 through P7 are assigned 146 each. The row index for P1 is 1, the row index for P2 is 148, etc., up to P7, which has a row index of 879.
At the start of a HC computation, messages describing the command (in this case a 2D convolution) are sent out to the processing nodes. Once the nodes have received their command messages, they wait for the home node to send the input data. The data is broadcast such that all nodes in the cascade receive it at the same time. Each node receives the entire dataset, which is more efficient than sending each individual node a separate message with just its piece of data.
Once a node receives the input data, it proceeds with performing the 2D convolution in its assigned rows independent of the other nodes. When the individual results are ready, they are accumulated up to the home node and merged into the final result. At this point the process is complete.
As this example shows, the data distribution as applied to the HC accommodates arbitrary sized images and kernels in a simple and efficient manner.
Decomposition of a Linear System of Equations for Parallel Processing
This section describes a solution of a linear system of equations Ax=b partitioned on a HC. The following partitioning method handles an arbitrary number of parallel processing nodes and arbitrarily large systems of equations. Consider the solution of the equation Ax=b, or, more specifically:
where A is an N×N matrix of coefficients, b is an N×1 column vector, and x is the N×1 solution being sought.
To solve for x, an LU factorization is performed on A. LU factorization results in a lower triangular matrix L and upper triangular matrix U such that A=L×U Substituting for A in the original equation. LUx=b or Ux=L−1b, and x may also be solved.
First, A and b are combined into a single input matrix with N rows and N+1 columns, as shown in Table 28. Data partitioning evenly distributes the rows of the input matrix over the parallel processing nodes.
The N rows of the input matrix are evenly distributed over P parallel processing nodes. The rows assigned to a node are defined by the starting row, referred to as row index, IRi, and a row count, Ni. Rows are not split across nodes, so the row count is constrained to whole numbers. Assuming N>P, N rows is divided by P nodes to obtain an integer quotient Q and a remainder R. Q contiguous rows are assigned to each of the P nodes. Any remainder R is distributed, one row per node, to each of the first R nodes. Thus the first R nodes is assigned a row count of Ni=Q+1 each and the remaining P−R nodes is assigned a row count of Ni=Q. The total number of rows assigned equals R(Q+1)+(P−R)Q=PQ+R=N. The row index, IRi, for the first R nodes equals (i−1)(Q+1)+1. For the remaining P-R nodes, IRi equals (i−1)Q+R+1.
This described approach of this section again maintains node computational load balanced to within one row. The mapping of rows to nodes is illustrated in Table 29.
Consider the distribution of an input matrix of 100 rows and 101 columns on a 7-node HC. In this case, the integer quotient Q is 10100÷7=1442 and the row remainder R is 6. Processing nodes P1 through P6 are assigned 1443 rows each; node P7 is assigned 1442 rows. The row index for P1 is 1, the row index for P2 is 1444, etc., up to P7, which has a row index of 8659.
The home node performs the matrix data partitioning of this section. Messages describing the command (in this case a linear solve) and data partitioning are sent out to the processing nodes. Once the nodes have received their command messages, they wait for the home node to send the input matrix data. The data may be broadcast such that all nodes in the cascade receive it at the same time. Each node may thus receive the entire dataset, which may be more efficient than sending each individual node a separate message with just its piece of data.
Once a node receives the input matrix, it proceeds with solving the linear system in its assigned rows, and independent of the other nodes except when sharing data to determine the pivot row at each iteration. When the individual results are ready, they are accumulated up to the home node and merged into the final result. At this point the process is complete.
As this example shows, the data distribution applied to the HC accommodates arbitrary sized linear systems of equations in a simple and efficient manner.
Those skilled in the art will appreciate that variations from the specified embodiments disclosed above are contemplated herein. The description should not be restricted to the above embodiments, but should be measured by the following claims.
Claims
1. A parallel processing system, comprising:
- a plurality of processing nodes arranged in a Howard Cascade;
- a first home node, responsive to an algorithm processing request, for (a) broadcasting the algorithm processing request to the plurality of processing nodes in a time and sequence order within the Howard Cascade and for (b) broadcasting a dataset of an algorithm to at least top level processing nodes of the Howard Cascade simultaneously; and
- contiguous processing nodes within the plurality of processing nodes being operable to process contiguous parts of the dataset and to agglomerate results contiguously to the first home node in reverse to the time and sequence order.
2. The parallel processing system of claim 1, further comprising a broadcast communication channel between the first home node and the plurality of processing nodes, the first home node initiating a multicast message group on the broadcast communication channel and, when each of the plurality of processing nodes has joined the broadcast communication, communicating the dataset to the plurality of processing nodes.
3. The parallel processing system of claim 2, each of the plurality of nodes leaving the multicast message group upon receiving the dataset.
4. The parallel processing system of claim 3, the first home node being operable to detect whether any of the processing nodes failed to leave the multicast message group.
5. The parallel processing system of claim 4, the first home node being further configured for opening a discrete communication channel with a failed processing node to attempt recovery of the failed processing node.
6. The parallel processing system of claim 1, the first home node comprising a controller for distributing the algorithm processing request to the plurality of processing nodes, and for appending, to the algorithm processing request, information defining data distribution among a number of the plurality of processing nodes.
7. The parallel processing system of claim 1, each of the plurality of processing nodes being constructed and arranged to manage internal memory by storing all or part of the dataset.
8. The parallel processing system of claim 1, each of the plurality of processing nodes having information from the algorithm processing request about how many other processing nodes are downstream within the Howard Cascade.
9. The parallel processing system of claim 1, further comprising a gateway for communicating the algorithm processing request from a remote host to the first home node and for communicating agglomerated results to the remote host.
10. The parallel processing system of claim 9, each of the plurality of processing nodes having an algorithm library for storing computationally intensive functions, the remote host having an API for defining an interface for the computationally intensive functions.
11. The parallel processing system of claim 10, each of the plurality of processing nodes having like computationally intensive functions stored within its library.
12. The parallel processing system of claim 9, each of the plurality of processing nodes having a data template and control software, the control software routing the algorithm processing request to the data template, the data template determining data indexing and input parameters to communicate with a particular function in the library and defined by the algorithm processing request.
13. The parallel processing system of claim 12, the data template further determining whether or not its associated processing node requires data associated with the particular function.
14. The parallel processing system of claim 13, the associated processing node communicating a message to the first home node to request the required data.
15. The parallel processing system of claim 1, the first home node broadcasting the dataset to each of the plurality of processing nodes simultaneously.
16. The parallel processing system of claim 1, a first group of the plurality of processing nodes being configured within a first strip, a second group of the plurality of processing nodes being configured in a second strip, the first and second strips being communicatively independent from each other during broadcasting of the dataset and being communicatively dependent upon each other during agglomeration of the results.
17. The parallel processing system of claim 16, the first group comprising one top-level processing node and at least one other lower-level processing node, the second group comprising one top level processing node.
18. The parallel processing system of claim 17, each communication between processing nodes on adjacent levels utilizing one time unit in the time and sequence order, each communication between processing nodes of the first and second strip utilizing one time unit in the time and sequence order.
19. The parallel processing system of claim 16, communication between the first and second strip occurring only between the top level processing nodes within the first and second strips.
20. The parallel processing system of claim 16, each top processing node within the first and second strips relaying the dataset to lower level processing nodes within respective first and second strips.
21. The parallel processing system of claim 20, further comprising a router for enabling communication between the first home node and the top processing nodes.
22. The parallel processing system of claim 16, further comprising a first switch within the first strip for enabling inter-strip communications between processing nodes of the first group, and a second switch within the second strip for enabling inter-strip communications between processing nodes of the second group.
23. The parallel processing system of claim 1, the plurality of processing nodes being grouped into two or more strips of the Howard Cascade, each of the strips having at least one switch for enabling inter-strip communications between processing nodes of a common strip, and further comprising at least one router for enabling communication between the first home node and top level processing nodes of each strip.
24. The parallel processing system of claim 23, the Howard Cascade being reconfigurable, via the switches and router, to separate one strip into a plurality of strips to accommodate boundary conditions.
25. The parallel processing system of claim 23, the Howard Cascade being balanced between the strips.
26. The parallel processing system of claim 25, the Howard Cascade being balanced by distributing computational load across the processing nodes by assigning every nth term in a series expansion to each processing node, thereby normalizing low and high order terms across nodes of the Howard Cascade.
27. The parallel processing system of claim 26, the Howard Cascade being balanced by advancing, by one, a starting term in the dataset for each of the nodes on successive intervals and by rotating each processing node that computed a last term, to normalize imbalances across each nth interval of the series expansion.
28. The parallel processing system of claim 1, each of the processing nodes comprising at least one processor and at least one communication interface.
29. The parallel processing system of claim 28, the communication interface comprising a network interface card.
30. The parallel processing system of claim 28, each of the processing nodes comprising a plurality of parallel communication interfaces.
31. The parallel processing system of claim 28, each of the processing nodes having a plurality of processors.
32. The parallel processing system of claim 1, at least one of the processing nodes being reconfigurable to operate as the first home node if the home node fails.
33. The parallel processing system of claim 1, further comprising one or more second home nodes for communicating with the processing nodes like the first home node, at least one of the second home nodes being reconfigurable to function as the first home node if the first home node fails.
34. The parallel processing system of claim 33, further comprising a home node switch network for enabling communication among the first and second home nodes.
35. The parallel processing system of claim 33, further comprising a processing node switch network for enabling communication between the first and second home nodes and the plurality of processing nodes.
36. The parallel processing system of claim 33, the plurality of processing nodes being grouped in association with the first and second home nodes, the first and second home nodes communicating to reallocate one or more of the grouped processing nodes of the first home node to function in association with the second home nodes, to reallocate processing power according to a need of the second home nodes.
37. The parallel processing system of claim 1, Howard Cascade sharing overlapped data between the plurality of processing nodes to decrease I/O data transfer.
38. The parallel processing system of claim 1, further comprising a hidden function API to hide knowledge of functions within the processing nodes.
5166674 | November 24, 1992 | Baum et al. |
5224100 | June 29, 1993 | Lee et al. |
5325526 | June 28, 1994 | Cameron et al. |
5349682 | September 20, 1994 | Rosenberry |
5371852 | December 6, 1994 | Attanasio et al. |
5488609 | January 30, 1996 | Hluchyj et al. |
5689722 | November 18, 1997 | Swarztrauber |
5699500 | December 16, 1997 | Dasgupta |
5758144 | May 26, 1998 | Eberhard et al. |
5838906 | November 17, 1998 | Doyle et al. |
5857076 | January 5, 1999 | Schmidt |
5860010 | January 12, 1999 | Attal |
5905736 | May 18, 1999 | Ronen et al. |
6014669 | January 11, 2000 | Slaughter et al. |
6117180 | September 12, 2000 | Dave et al. |
6154765 | November 28, 2000 | Hart |
6163855 | December 19, 2000 | Shrivastava et al. |
6167428 | December 26, 2000 | Ellis |
6295573 | September 25, 2001 | Bailey et al. |
20010011294 | August 2, 2001 | Ellis, III |
20030135614 | July 17, 2003 | Hattori et al. |
0107453 | May 1984 | EP |
0640930 | May 1995 | EP |
0921485 | June 1999 | EP |
1031923 | August 2000 | EP |
1096378 | May 2001 | EP |
9427216 | November 1994 | WO |
9919807 | April 1999 | WO |
0101219 | January 2001 | WO |
- Thibodeaux, “Organizers Hope To Give Lafayatte Superstart In High-Tech Direction”, Oct. 1927, Supercomputeronline.com, 2 pages.
- IBM, “Cluster-Based Stack Optimization Algorithm for Very Large-scale Integration”, Sep. 1987, IBM Technical disclosure Bulletin, vol. 30, Issue 4, p. No. 1445-1447 (4).
- Chong et al, “Concurrent Processing for Picture Archiving and Comunication system (PACS)”, Jun. 1995, IEEE, p. No. 468-472.
- Antaki et al, “The soft side of New Enterprise”, May 1999, MIT enterprise FORUM of Dallus Network Inc., 2 pages.
- Hitachi, “The Next Generation of Information Technology”, spring 97, Hitachi today No. 39, p. No. 1-6 and cover page.
- Kahaner, “Fujitsu's 2.sup.nd Parallel computing WS (PCW'93) Nov. 1993 Kawasaki Japan” Dec. 1993, 15 pages.
- Ryan et al, “A Scalable Distributed Multimedia Knowledge Retrieval System on a cluster of Heterogeneous High Performance Architectures”, International Journal on artificial intelligence tools, vol. 9, No. 3 (2000) p. No. 343-367.
- (Author unknown), “CAD comes on line”, Feb. 21, 2000, p. s-28, Design News-Automotive.
- Danny Hillis, “Massive, Parallel Supercomputers—Where they're Going—How They'll Work”, Forbes ASAP, Feb. 22, 1999, pp. 60-62 and 64.
- Internet Information article: “MSC.Software Announces visualNastran 4d2Go; A total Engineering Solution to be Bundled with CAD Products”, Mar. 6, 2000.
- Cohen, Ed et al. Efficient Covexity and Domination Algorithms for Fine-and Medium-Grain Hybercube Computers, Algoithmica, vol. 7, pp. 51-75, Springer Vertag New York, Inc., 1992.
- Benedicts, E.P., “Multiprocessor architectures are converging”, Hypercube Concurrent Computers and Applications: Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, vol. 1, pp. 12-20, Pasadena, California, Jan. 19-20, 1988.
- Livingston, Marilyn L. and Stout, Quentin F., “Fault Tolerance of the Cyclic Buddy Subcube Location Sceme in Hypercubes”, Proceedings of the 6th Distributed Memory Computing Conference (1991), IEEE, pp. 34-41, 1991.
- Fox, G.C., “What have we learnt from using real parallel machines on real problems?”, Hypercube Concurrent Computers and Applications: Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, vol. 2, pp. 897-955, Pasadena, California, Jan. 19-20, 1988.
- “Topologies—computational messaging for multicomputers”, Hypercube Concurrent Computers and Applications: Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, vol. 1, pp. 580-593, Pasadena, California, Jan. 19-20, 1988.
- Keagle, C., et al.: “Categorization and performance analysis of advanced avionics algorithms on parallel processing architectures” IEE, May 22, 1989, pp. 1722-1724.
- Trystram D: “Scheduling parallel applications using malleable tasks on clusters” Parallel And Distributed Processing Syposium., Proceedings 15th International San Francisco, CA, USA Apr. 23-27, 2001, Los Alamitos, CA USA, IEE Comput. Soc, 2128-2135.
- Min-Bin Chen, et al.: “Parallel 2d delaunay triangulations in hpf and mpi” Parallel And Distributed Processing Symposium, Proceeding 15th International San Francisco, CA, USA Apr. 23-27, 2001, Los Alamitos, CA, USA, IEEE Comput. Soc, 301-308.
- Fernandez, E.B., et al: “Fault-tolerant parallel algorithms” Proceedings of Southeaston. Williamsburg, Spril 7-10 1991, Proceedings Of The Southeast Conference, New York, IEEE, US vol. 1, Apr. 7, 1991, pp. 466-469.
- Xiaoxiong, Zhong, et al.: “Optimal implantation of parallel divide-and-conquer algooriths on de Bruijn networks” Frontiers Of assively Parallel Computatioh, 1992., Fourth Symposium On The McLean, VA, USA Oct. 19-21, 1992, Los Alamitos, CA, USA, IEEE Comput. Soc, US Oct. 19, 1992, pp. 583-585.
- Welch, L.R., et al.: “Metrics and techniques for automatic partitioning and assignment of object-based concurrent programs” Parallel And Distributed Processing, 1995. Proceedings. Seventh IEEE Symposium On San Antonio, TX, USA Oct. 25-28, 1995, Los Alamitos,CA, USA, IEEE Comput. Soc, US, Oct. 25, 1995, pp. 440-447.
- Kwan, A.W., et al.: “Using parallel programming paradigms for structuing programs on distributed memory computers” IEE, Apr. 28, 1991, pp. 210-213.
- Grundy, J: “Software architecture modelling, analysis an dimplementation with softarch” Proc 34th Hawaii International Conference On System Sciences, Jan. 3, 2001, pp. 3825-3834.
- Pontelli, E., et al: “Automatic compile-time parallelization of prolog programs for dependent and-parallelism” Proc. Of the Fourteenth International Conference On Logic Programming, [online] Jul. 1997, pp. 108-122, Retrieved From The Internet URL:http://citeseer.ist.psu.edu/cacxhe/papers/cs/16510/http:zSzzSzwww.cs.nmsu.eduzSzguptazSzacezSzstaticdap.pdf/pontelli97automatic.pdf> [retrieved Sep. 1, 2004].
- Coddington, P.D., et al: “Web-based access to distributed high-performance geographic information systems for decision support” Proceedings Of The Hawaii International Conference On System Sciences, XX, XX, Jan. 5, 1999, pp. 1-12.
- “Method Sending Object Agent And Receiving Object Agent” IBM Technical Disclosure Bulletin, IBM Corp. New York, US, vol. 39, No. 12, Dec. 1 2996, p. 43.
- Cameron, I, et al.: “BT Webworld TM-WEB Hosting For Every business Need” British Telecommunications Engineering, British Telecommunications Engineering, London, GB, vol. 16, No. 4, 1998, pp. 273-278.
- Saletore, V.A., et al.: “Parallel Computations On The CHARM Heterogeneous Workstation Cluster” High Performance Distributed Computing, 1994, Proceedings Of the Third IEEE International symposium On San Francisco, CA, USA Aug 2-5, 1994, Los Alamitos, CA, USA, IEEE Comput. Soc, Aug. 2, 1994, pp. 203-210.
- Desouza-Batista, J.C., et al.: “A Sub-optimal 28 Assignment Of Application Tasks Onto Heterogeneous Systems” Heterogenous Computing Workshop, 1994, Proceedings Cancun, Mexico Apr. 26, 1994, Los Alamitos, CA USA, IEEE Comput Soc., 1994, pp. 9-16.
- Ross, G.B. et al.: “A Scalable Mutlicomputer” Circuits And Systems, 1993, Proceedings Of the 36th Midwest Symposium On Detroit, MI, USA Aug. 16-18, 1993, New York, NY, USA, IEEE, Aug. 16, 1993, pp. 1117-1120.
- Chowdhury, A., et al.: “Supporting Dynamic Space-Sharing On Clusters Of Non-Dedicated Workstations” Distributed Computing Systems, 1997, Proceedings Of the 17th International Conference In Baltimore, MD, USA May 27-30, 1997, Los Alamitos, CA, USA, IEEE Comput. Soc, US May 27, 1997, pp. 149-158.
- Selected File History from related U.S. Appl. No. 09/603,020, 100 pages Sep. 16, 2003 through Oct. 14, 2004.
- Selected File History from related U.S. Appl. No. 10/340,524, 44 pages Aug. 6, 2007 through Apr. 18, 2008.
- Selected File History from related European Patent Application Serial No. 00944888.7, 37 pages, Jul. 1, 2004 through Sep. 22, 2006.
- Selected File History from related European Patent Application Serial No. 03713226.3, 12 pages, Apr. 19, 2007 through Oct. 16, 2007.
- International Search Report from related PCT Patent Application Serial No. PCT/US03/000787, 8 pages, Sep. 2, 2004.
- International Search Report from related PCT Patent Application Serial No. PCT/US00/17576, 6 pages, Nov. 14, 2000.
Type: Grant
Filed: Aug 25, 2008
Date of Patent: Jun 1, 2010
Patent Publication Number: 20090055625
Assignee: Massively Parallel Technologies, Inc. (Louisville, CO)
Inventors: Kevin David Howard (Louisville, CO), Glen Curtis Rea (Longmont, CO), Nick Wade Robertson (Aurora, CO), Silva Chang (Boulder, CO)
Primary Examiner: Liangche A Wang
Attorney: Lathrop & Gage LLP
Application Number: 12/197,881
International Classification: G06F 15/16 (20060101);