US 20050002413 A1
A method for exchanging data in a collision-recognition based communication network, for example, the Ethernet, whereby, before a cyclic repeating real-time data exchange, a routing of the real-time data exchange onto the most economical data path occurs, followed by a scheduling of the messages in the real-time data exchange by means of a greedy heuristic, in order to permit a conflict-free cyclic repeating real-time data exchange with the lowest possible cycle time.
1. A method of communication for real-time data exchange in a collision detection-based communication network, the method comprising:
a) determining the most economical data paths of the network;
b) routing cyclic repeating real-time data to the most economical data paths of the network; and
c) scheduling, starting from the most economical data paths determined, send times which are determined for messages of a cyclic repeating real-time data exchange with the aid of a greedy heuristic;
wherein a message with the earliest possible execution time is given a highest priority and new execution times are calculated for the messages assigned to send times not yet determined; and
wherein further, the routing and scheduling steps are repeated until all messages are arranged in a priority list and a chronological message occupancy of switching ports of the communication network and an associated cycle duration is established.
2. A method in accordance with
after execution of the greedy heuristic carrying out an exchange of steps in the priority list, where a slack-free message is removed and resultant slack in the other messages is used for the removed slack-free message.
3. A method in accordance with
4. A method in accordance with
5. A method in accordance with
6. A machine-readable memory medium with commands stored thereon which cause a computer to execute the method in accordance with
7. A collision detection-based communication network for communication of real-time data exchange comprising
a unit which causes the following steps to be executed
a) determining most economical data paths of the network;
b) routing cyclic repeating real-time data on the most economical data paths; and
c) scheduling starting from the most economical data paths determined, send times, which are determined for the messages of the cyclic repeating real-time data exchange with the aid of a greedy heuristic, with the message with an earliest possible execution time being given the highest priority;
wherein new execution times are calculated for the messages assigned to send times not yet determined and the routine and scheduling steps are repeated until all messages are arranged in a priority list and a chronological message occupancy of the switching ports of the communication network as well as the associated cycle duration is established.
This application is the national phase under 35 U.S.C. § 371 of PCT International Application PCT/EP02/11017, with an international filing date of Oct. 1, 2002, which designated the United States of America and was published under PCT Article 21(2) in German, and the disclosure of which is incorporated into this application by reference.
The invention relates to a communication method of a real-time data exchange in a collision detection-based communication network, e.g., the real-time Ethernet where a real-time data exchange is undertaken deterministically, for example predictably, via a conventional Ethernet network.
Such a system is known for example from International Patent Application WO 00/03521, in which corresponding middleware between the user program and the Ethernet protocol prevents data collision during real-time data transmission. One of the disadvantages of this method, however, is that this middleware must be available in each network node.
A solution is proposed in United States Patent Application US 2001/0002195 A1 in which device adapters are placed at the periphery of the network to which specific time slots are assigned within which these devices can then exclusively send data packets. This, however, leads to low use of the resources.
One object of the invention is to specify a method for communication of real-time data exchange in a collision recognition-based communication network through a corresponding memory medium and a communication network in which the above-mentioned disadvantages are avoided.
In accordance with one embodiment of the invention, the above and other objects are achieved with regard to the method by a method of communication for real-time data exchange in a collision detection-based communication network the method comprising determining the most economical data paths of the network; routing cyclic repeating real-time data traffic to the most economical data paths of the network; and scheduling, starting from the most economical data paths determined, send times which are determined for messages of the cyclic repeating real-time data exchange with the aid of a greedy heuristic, wherein a message with the earliest possible execution time is given a highest priority and new execution times are calculated for the messages assigned to send times not yet determined, and wherein further, the routing and scheduling steps are repeated until all messages are arranged in a priority list and a chronological message occupancy of switching ports of the communication network and an associated cycle duration is established.
In accordance with another embodiment of the invention, a collision detection-based communication network for real-time data exchange is provided that comprises a unit that causes the following steps to be executed: determining most economical data paths of the network; routing the cyclic repeating real-time data on the most economical data paths; and scheduling, starting from the most economical data paths determined, send times, which are determined for the messages of the cyclic repeating real-time data exchange with the aid of a greedy heuristic, with the message with an earliest possible execution time being given the highest priority and wherein new execution times are calculated for the messages assigned to send times not yet determined and the routing and scheduling steps are repeated until all messages are arranged in a priority list and a chronological message occupancy of the switching ports of the communication network, as well as the associated cycle duration, is established.
According to at least one aspect of the invention, a method for a collision recognition-based communication network, for example the Ethernet, is provided in which, at intervals before a cyclic repeating real-time data exchange, a routing of the real-time data exchange onto the most economical data path occurs followed by a scheduling of the messages in the real-time data exchange by means of a greedy heuristic, in order to permit conflict-free cyclic repeating real-time data exchange with the lowest possible cycle time.
The invention will be explained below on the basis of the exemplary embodiments shown in the drawings, in which:
In a real-time Ethernet, which is used for fast communication between components, such as sensors, drives or controllers, for example, plannable messages are exchanged within a system in a cyclic manner. For these messages, both the paths, which are between the transmitter and the receiver, and also the times within a cycle, when the messages pass the switches of the network, can be defined in an initialization or setup phase so that no conflicts arise between these messages. In this way, the communication becomes free of any non-determinism and real-time behavior is possible.
In accordance with one embodiment, the communication cycle is split into a real-time part containing these planned messages and a non-real-time part in which the unplanned transactions occur using standard TCP/UDP/IP methods.
The real-time part should occupy the minimum possible space in the overall cycle, to keep a sufficiently large area available for unplanned transactions.
The network consists of switches and bidirectional connections (links). Each link connects a pair of switches or, to put it more precisely, ports of these two switches. The links cause delays which are proportional to the length of the links. Furthermore fixed delay times are assumed for a message to be passed via a switch. The delay, thus, subsumes the approval of a synchronization jitter which is not considered for scheduling. The assumption of a defined delay of a switch implies that a switch does not buffer any messages in order to defer forwarding the messages until later.
The topology of the network is typically ring-shaped or tree-shaped but is not restricted to these simple topologies.
Starting from a description of the network elements and the network topology, of the messages and their transmitters and receivers as well as global design parameters, a path through the network is determined for each message by a routing system and the points in time at which the messages pass through the relevant switches are defined, in which case the total time for all messages to be sent is minimized. Ancillary conditions for the associated routing and scheduling tasks are explained in greater detail below. In principle, routing and scheduling are not independent tasks; the selection made in the routing phase influences the quality of the scheduling. In a variant of the present embodiment, the routing and scheduling are viewed independent of each other.
The Routing Problem
A network description and a list of messages serve as an input variable for routing. For each message the sending switch and a set of receiving switches are known. A routing task consists of finding a path, that is a set of switches or their ports, in order to pass the message on to its intended destination. If a message k features intended destinations, it can be sent simultaneously by the transmitter to all recipients, in which case it is branched off at intermediate switches (broadcast mode), or it can be sent independently of the transmitter at k different points in time to the k recipients. In addition, variants between these two extremes are also possible. As described later, the choice between these options is not trivial and can be made during a scheduling process. As a result of the routing process the links and ports and the arrival times relative to the time at which the message was sent are then fixed for each message, with the arrival times being able to be calculated in a simple way by summing the delays from the links and switches over which a message passes.
The Scheduling Problem
An object of the scheduling process is to assign absolute points in time for the sent messages in such a way that no conflicts arise between the messages, further and, such that the overall cycle time for the transmission of all messages (make span) is minimized. Through the conditions created by the routing process, the arrival times at all ports which are used by the messages, are also defined automatically.
However potential conflicts arise between these messages since the ports can only connect one message at any given point in time.
If, for example, an output port p and two messages mi and mj which use this port are considered, the result is as follows:
The two messages are sent at the corresponding transmitters at points ti and tj and are available at times;
at output port p, in which case δi,p represents the sum of a delay between the transmitter of the message mi and the output port p. Provided the two messages have a length or duration of li and lj, respectfully, and it is possible that the message mi can use port p before message mj or vice versa, the following inequalities are produced:
Additional resource conflicts at port inputs do not need to be taken into consideration if the conflicts at the port outputs are resolved by the scheduling. If two such messages do not follow each other directly, the gaps between the two messages must naturally also be considered during scheduling.
It is thus an object of the scheduling process to assign each message to one or more send times in such a way that all inequalities are fulfilled and thereby the totality of the transmission of messages is minimized.
Central Data Structure
The following data structures can advantageously be used for example for programmed implementation:
Messport: Describes a message passed on to a port and includes the relative arrival time of the message at the port, a pointer to the message and a pointer to the port.
Port: Describes a port and shows the associated switch and the link connected to it. In addition the data structure contains a list of the Messports to provide access to all messages which use this port. The latter information is the result of the routing phase.
Switch: Describes a switch and contains the name of the switch as well as pointers to its ports.
Link: Describes a link and contains the length or the delay of the link as well as pointers to the two ports which are interconnected by this link.
Message: Describes a message and contains the message name, the length of the message, a pointer to the sending switch, a list with the receiving switches, a list of Messports which provide access to all of the ports through which the message passes and the associated arrival times of the message defined by scheduling. The list of Messports is the result of the routing phase and the times the result of the scheduling phase.
Constraint: Describes a condition between scheduling times of two messages, for example, as shown by the inequalities specified above.
Component: Describes a linked component of a constraint graph and contains a list of all messages and ports which belong to the component concerned.
For routing purposes, the network is modeled by a graph. There are a number of modeling options, however, it is sufficient to model a switch as a node and a link as a connector of a routing graph. Since all links are bidirectional, an undirected graph from the TURBO-C++ class library, for example, can be used. For routing the commonly known “Dijkstra algorithm” can be used in order to form the shortest path tree for each message, starting from the switch sending the message in each case. On efficiency grounds, the priority queue needed by the Dijkstra algorithm is used for the nodes provided with labels but not yet dealt with is implemented as a radix queue. The tree creation process is stopped when all destination nodes or receiving switches have a permanent label. A backwards pointer enables the shortest path from the destination node back to the root node of the tree to be followed in a simple way, where Messport objects are created they are inserted into the appropriate Messport lists of the appropriate message and of the port. The essential result of the routing are the Messport objects contained in the port and message objects. This gives simple access to all messages which pass through a specific port and to all ports which are traversed by any particular given message.
The scheduling conditions specified above can, for example, also be modeled by an undirected graph, with the nodes of the graph corresponding to messages and the connectors corresponding to conditions which must be fulfilled for an allocation of the times to the two messages. This method, however, results in a large number of “plane-parallel” conditions of which only the strongest are relevant for scheduling. The conditions can either be stored explicitly in the graph for the conditions, for example in a matrix to obtain fast access for a pair of nodes, or can also be represented implicitly and only created when ports which are used by a specific message are investigated. In this case processing time can be saved when the scheduling problem is successfully split into smaller subproblems which can be resolved independent of each other. This is successful if there are no direct or indirect conditions between the messages.
Since the scheduling problem cannot generally be resolved to produce the optimum result by using efficient algorithms, a lower limit is determined to evaluate the heuristics to the scheduling in order to have an estimate of the distance from the optimum. This lower limit can, for example, be formed on the basis of messages which use a specific port, in which case all message lengths are summed for each port and the maximum formed from these lengths represents a lower limit for the entire cycle time (make span). Thus, for calculating better lower limits, maximum subsets of messages between which pairs of conditions exist, that is, maximum groups (cliques), can be incorporated into the condition graphs.
Greedy heuristics are used for the actual scheduling, which involves a priority scheme being used to allocate messages in accordance with the shortest execution time. After a message has been scheduled, the new lowest execution time for all messages not yet planned by scheduling and their priorities is assigned (updating). One implementation option consists of a priority queue for the not yet planned (unscheduled) messages as well as a condition graph for updating the lowest execution time and can be described, for example, by the following dummy code Table 1:
However, without any significant adverse effects, the priority queue can simply be replaced by a list for the messages not yet planned, which produces the following exemplary dummy code, as shown in Table 2, for scheduling:
A simpler and faster variant of scheduling takes account of the fact that each upwards connector of the condition graph is actually used twice and can be specified by the following dummy code shown in Table 3:
During the update step, the Messport objects are deleted from their list in the port so that no further update is undertaken for the messages for which scheduling has already taken place. In this way, the number of Messport objects with ongoing scheduling becomes ever smaller until the list is then renewed in a last step.
Naturally, even with such an intuitive priority scheme, an incorrect choice for the next message to be planned for scheduling can be made, since these choices are made in a “greedy” manner with restricted knowledge. In an exemplary embodiment, iterative improvement is used to attempt to rectify these incorrect choices. The underlying scheme is described by the following exemplary dummy code shown in Table 4:
A further option for improving scheduling is substantially faster than the improvement specified above, since as many processing steps as possible are performed incrementally. For this purpose, a longest paths concept is necessary. After scheduling the original undirected condition graph, each connector is directed from the later planned message to the earlier planned message, thereby directing the condition graph. The length of the longest path in the graph, from any given node or from a message to any given sink of the graph produces the earliest execution time for the scheduling of the relevant message. Following connectors of the graph back and calculating the longest path produces the latest execution time, provided the overall cycle time is not extended. If the latest execution time is greater than the earliest execution time, the message exhibits what is known as slack. Remedying the slack affecting this message cannot lead to a reduction in the overall cycle time. Thus only messages without such slack form a critical path in the condition graphs and are candidates for improvement. Removing such a message from the schedule introduces additional slack for the other messages and a position in the list of planned messages found where this slack can be best utilized, for example, by using the removed message with minimal enlargement of the make span. This can be achieved by investigating messages “below” and “above” the position considered. This procedure is described, for example, by the following dummy code shown in Table 5:
The best position can be found by running through the messages in the sequence in which they are planned in the scheduling. Finding the best position can, for example, be described by the following dummy code shown in
In broadcast mode conditions exist between messages M1 and M2, where both messages use a common port of switch B, between the messages M1 and M3, because both use a common port of switch B, and between messages M2 and M3, because both use a common port of switch A. A corresponding condition graph is shown in
If message M1 is split into a message M1′ and a message M1″, new conditions arise between the message M1′ and the message M2, because they feature a common port of switch B, and between message M1″ and message M2, because they also feature a common port of switch B. Here, however, the size of the maximum group in the condition graph falls from three to two.
The ports are entered in a vertical direction over horizontal time axes in what are known as Gantt diagrams in
Messages with more than one intended destination can thus be handled in different ways. By breaking down a message into partial messages, which are handled independently, additional data traffic is created, which can, however, increase the overall cycle time. On the other hand, if the message uses tree-type routing, that is, if it is only sent from the origin once, this can lead to conditions which are more difficult to fulfill. To find the best compromise between creating too much data traffic or of finding significant problems created by the conditions, routing and scheduling have to be modified. Routing messages for a number of recipients must be handled in two different ways.
If the message is provided with a “broadcast” flag, no specific action is needed since it is simple to exclude common subpaths when tracing the message back.
If broadcast mode is not demanded for multi-recipient messages, the message can also be sent a number of times. In this case, in accordance with the routing of the message, a separate message object is generated for each receiving switch, where all messages of this group are given a single common identification, so that the scheduling can continue to handle the messages of this group in a specific way. If according to routing the Messports of such a subdivided message mi are a subset of the other part messages mj in the same group, the destination message mi together with its Messports is removed as being redundant. Finding these subrelationships is simple when messages or partial messages are first sorted in accordance with their group identification and their lists of Messports are sorted according to the ports.
Duplication of messages creates scheduling problems with fewer conditions but leads to additional data exchange, which can be partly remedied in the scheduling phase. Message duplication can also be undertaken before routing which results in greater freedom for routing. Duplication only after routing however guarantees that all partial messages of a duplication group which pass a specific given port exhibit the same relative arrival time at this port, which facilitates a re-merging of the partial messages in the scheduling phase. Scheduling partial messages which originate from the same message is treated in a particular way. These messages are given permission to be scheduled at identical times. Therefore, conditions between partial messages which are created from an original message must be taken into account accordingly. A pair of such messages can be planned, either taking account of the normal condition or at identical times by scheduling. An example of this technique is illustrated in
During the iterative improvement phase of scheduling, sequences of neighboring submessages which originate from a single message are given preferential treatment to other messages. These neighboring submessages are then merged, if possible, without increasing the overall cycle time. The messages are merged by concatenating the lists of Messports and removing the duplicates in the resulting list and deleting one of the two duplicative messages.
Handling redundancy is explained in more detail on the basis of the simple ring topology shown in
During routing the procedure is as follows: after the first part of a redundant pair has been routed, the links used by this message are blocked. Subsequently, the two messages of this pair are routed and finally the blocking is cancelled. In this way no switches except for the transmitters and receivers or ports of the two parts of the pair are used. In the case of simple topologies such as rings, for example, this approach is sufficient since there is no real choice in the routing. For more complex topologies, however, there is a demand for paths to be separated according to resources which together minimize the level of costs. This problem can be resolved accurately and efficiently by handling it as a “MinCost flow problem”. Scheduling is not directly affected by fault-tolerant routing; more messages merely have to be planned into the scheduling.
The above description of the preferred embodiments has been given by way of example. From the disclosure given, those skilled in the art will not only understand the present invention and its attendant advantages, but will also find apparent various changes and modifications to the structures and methods disclosed. It is sought, therefore, to cover all such changes and modifications as fall within the spirit and scope of the invention, as defined by the appended claims, and equivalents thereof.