Method and system for determining incorrect behavior of components in a distributed IT system generating out-of-order event streams with gaps

1. A method for determining incorrect behavior of components in a distributed information technology (IT) system generating out-of-order event streams with gaps, the method comprising:

receiving a pattern which is useable to indicate an incorrect behavior of at least one of the components of the distributed IT system;

constructing an automaton and a complement automaton based on the pattern, the automaton and the complement automaton comprising one or more states;

receiving one or more logged events, each event in the one or more logged events including a timestamp, wherein the timestamps provide an order of the one or more logged events;

determining the gaps in the one or more logged events;

precomputing event matrices for the gaps and for each event in the one or more logged events based on the states of the automaton and the complement automaton;

matching the pattern to the one or more logged events by iteratively processing the one or more logged events and the gaps and maintaining a combination matrix which is updated in each iteration; and

determining the incorrect behavior based on an output of the pattern matching,

wherein each event of the one or more logged events and each of the determined gaps is organized in an evaluation tree that is updated based on each received event, and

wherein the evaluation tree is a binary tree having nodes that are evaluated in parallel, the nodes storing the event matrices for the gaps and for each event in the one or more logged events.

2. The method according to claim 1 , wherein the output is one of a match, a no match, and an undetermined.

3. The method according to claim 1 , further comprising:

initiating a counter-measure for at least one of the components determined to be behaving incorrectly based on the output of the pattern matching, wherein the counter-measures include at least one of restarting, reconfiguring, terminating or quarantining the at least one of the components of the distributed IT system.

4. The method according to claim 1 , wherein the combination matrix is initially set to a unit matrix.

5. The method according to claim 1 , wherein the iteratively processing includes updating the combination matrix with the event matrix for a selected event in the one or more logged events.

6. The method according to claim 1 , wherein the iteratively processing includes updating the combination matrix with the event matrix for a selected gap in the gaps.

7. The method according to claim 1 , wherein the iteratively processing is performed using parallel computing.

8. The method according to claim 1 , wherein each event in the one or more logged events includes a sequence number, wherein the sequence number is used to determine the gaps.

9. The method according to claim 8 , wherein each event in the one or more logged events further includes an event source, wherein the event source identifies one of the components that created the logged event.

10. A log analyzer for determining incorrect behavior of components in a distributed information technology (IT) system generating out-of-order event streams with gaps, the log analyzer comprising one or more hardware processors, which alone or together, are configured to provide for execution of the following steps:

receiving a pattern which is useable to indicate an incorrect behavior of at least one of the components of the distributed IT system;

constructing an automaton and a complement automaton based on the pattern, the automaton and the complement automaton comprising one or more states;

receiving one or more logged events, each event in the one or more logged events including a timestamp, wherein the timestamps provide an order of the one or more logged events;

determining the gaps in the one or more logged events;

precomputing event matrices for the gaps and for each event in the one or more logged events based on the states of the automaton and the complement automaton;

matching the pattern to the one or more logged events by iteratively processing the one or more logged events and the gaps and maintaining a combination matrix which is updated in each iteration; and

determining the incorrect behavior based on an output of the pattern matching,

wherein each event of the one or more logged events and each of the determined gaps is organized in an evaluation tree that is updated based on each received event, and

wherein the evaluation tree is a binary tree having nodes that are evaluated in parallel, the nodes storing the event matrices for the gaps and for each event in the one or more logged events.

11. The log analyzer according to claim 10 , wherein the output is one of a match, a no match, and an undetermined.

12. The log analyzer according to claim 10 , wherein the one or more processors are further configured to provide for execution of a step of:

initiating a counter-measure for at least one of the components determined to be behaving incorrectly based on the output of the pattern matching, wherein the counter-measures include at least one of restarting, reconfiguring, terminating or quarantining the at least one of the components of the distributed IT system.

13. The log analyzer according to claim 10 , wherein the updating the combination matrix includes updating the combination matrix with the event matrix for a selected event in the one or more logged events and updating the combination matrix with the event matrix for a selected gap in the gaps.