Abstract: A computer-implemented method, computer program product, and computer system for double IP address recovery. Double IP address is a situation of a same IP address for different hosts in a network, and the double IP address recovery resolves the double IP address. In the invention, the hosts exchanges rules and system state information. Each of the hosts determines its own action of the double IP address recovery based on the same rules and the system state information of the different hosts. Each of the hosts executes its own action, either to continue or to alter an IP address.

Abstract: A computer program product and computer system for double IP address recovery. Double IP address is a situation of a same IP address for different hosts in a network, and the double IP address recovery resolves the double IP address. In the invention, the hosts exchanges rules and system state information. Each of the hosts determines its own action of the double IP address recovery based on the same rules and the system state information of the different hosts. Each of the hosts executes its own action, either to continue or to alter an IP address.

Abstract: A computer program product and computer system for double IP address recovery. Double IP address is a situation of a same IP address for different hosts in a network, and the double IP address recovery resolves the double IP address. In the invention, the hosts exchanges rules and system state information. Each of the hosts determines its own action of the double IP address recovery based on the same rules and the system state information of the different hosts. Each of the hosts executes its own action, either to continue or to alter an IP address.

Abstract: A computer-implemented method, computer program product, and computer system for double IP address recovery. Double IP address is a situation of a same IP address for different hosts in a network, and the double IP address recovery resolves the double IP address. In the invention, the hosts exchanges rules and system state information. Each of the hosts determines its own action of the double IP address recovery based on the same rules and the system state information of the different hosts. Each of the hosts executes its own action, either to continue or to alter an IP address.

Abstract: A method and corresponding apparatus is provided for determining the location of a configuration server being connected to a totally symmetric network infrastructure that does not exhibit any symmetry breakers on network level. The configuration server reaches a decision to determine its network-wide unique configuration in order to be able to serve controllers. This decision depends on the plug position of the configuration server under consideration and the assumption of plugging rules governing a “good” network infrastructure. The controllers periodically send network packets that will be marked if they traverse specific connection elements in the network. The origin and the path of a network packet can be determined. The decision making is based on a majority function based on the packets received by the configuration server. If a decision cannot be made, then errors in the cabling structure can be detected.

Abstract: A method and corresponding apparatus is provided for determining the location of a configuration server being connected to a totally symmetric network infrastructure that does not exhibit any symmetry breakers on network level. The configuration server reaches a decision to determine its network-wide unique configuration in order to be able to serve controllers. This decision depends on the plug position of the configuration server under consideration and the assumption of plugging rules governing a “good” network infrastructure. The controllers periodically send network packets that will be marked if they traverse specific connection elements in the network. The origin and the path of a network packet can be determined. The decision making is based on a majority function based on the packets received by the configuration server. If a decision cannot be made, then errors in the cabling structure can be detected.

Abstract: A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its instruction set implemented with microcode. First, the microcode is independently tested by using a functional emulator performing in the same way as the processor hardware according to the processor's functional specification. Then, the microcode is tested by using a hardware emulator behaving in the same way as the processor hardware according to the design of the processor's logic gates. Finally, the microcode is tested against the actual processor hardware. This method allows the functionality of a newly designed CPU to be checked in a simulation, even before actual system integration. Advantageously, many problems in this area, relating to the interaction of the microcode and the processor hardware can be found before the actual processor hardware is manufactured.

Abstract: A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its instruction set implemented with microcode. First, the microcode is independently tested by using a functional emulator performing in the same way as the processor hardware according to the processor's functional specification. Then, the microcode is tested by using a hardware emulator behaving in the same way as the processor hardware according to the design of the processor's logic gates. Finally, the microcode is tested against the actual processor hardware. This method allows the functionality of a newly designed CPU to be checked in a simulation, even before actual system integration. Advantageously, many problems in this area, relating to the interaction of the microcode and the processor hardware can be found before the actual processor hardware is manufactured.