Method and apparatus for hardware implementation independent verification of network layers

• US 20040136325A1
• Filed: 01/09/2003
• Published: 07/15/2004
• Est. Priority Date: 01/09/2003
• Status: Active Grant

• Current Assignee: Oracle America, Inc. (Oracle Corporation)
• Original Assignee: Sun Microsystems Incorporated (Oracle Corporation)
• Inventors: Wong, Francis, Finkelstein, Arina, Dobric, Damian, Rozman, Eduard
• Granted Patent: US 7,290,051 B2
• Time in Patent Office: Days
• US Class Current: 370/241
• CPC Class Codes: H04L 49/358 Infiniband Switches
• CPC Class Codes: H04L 67/568 Storing data temporarily at an intermediate stage, e.g. caching

Abstract

A verification mechanism monitors incoming and outgoing traffic between a channel adapter and a switch fabric in an InfiniBand^SM system in order to verify that the InfiniBand^SM protocol is correctly followed by the channel adapter. The verification mechanism uses a simple hardware-independent interface to query the channel adapter hardware for specific values and completion queue, queue pair and work queue element attributes that are required for verification. The verification mechanism creates a plurality of verification components that monitor incoming and outgoing messages and verify that each of the channel adapter elements correctly follows the protocol. The verification mechanism is controlled by a verification application programming interface (API) that allows different test benches and tests to incorporate InfiniBand^SM protocol verification in any test system for use with any hardware.

Claims

1. Apparatus for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under commands generated by a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the apparatus comprising:

means, including a hardware independent interface, that is responsive to test agent component commands for creating and controlling the plurality of channel adapter internal components;

means responsive to test agent component commands for creating a plurality of verification software entities that represent each of the plurality of channel adapter internal components; and

means controlled by the plurality of verification software entities for monitoring and verifying communications sent and received by the plurality of channel adapter internal components.

2. The apparatus of claim 1 wherein the plurality of verification software entities comprises a queue pair verification software entity that represents a queue pair in the channel adapter.

3. The apparatus of claim 2 wherein the queue pair verification software entity comprises means for creating verification objects that verify incoming messages and outgoing messages from and to a queue pair represented by the queue pair verification software entity.

4. The apparatus of claim 3 wherein the verification objects create threads that verify the data in incoming and outgoing messages from and to a queue pair represented by the queue pair verification software entity.

5. A method for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under commands generated by a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the method comprising:

(a) creating and controlling the plurality of channel adapter internal components with a hardware independent interface in response to test agent component commands;

(b) creating a plurality of verification software entities that represent each of the plurality of channel adapter internal components in response to test agent component commands; and

(c) monitoring and verifying communications sent and received by the plurality of channel adapter internal components under control by the plurality of verification software entities.

6. The method of claim 5 wherein step (b) comprises:

(b1) creating a queue pair verification software entity that represents a queue pair in the channel adapter.

7. The method of claim 6 wherein step (b1) comprises:

(b1 a) creating verification objects that verify incoming messages and outgoing messages from and to a queue pair represented by the queue pair verification software entity.

8. The method of claim 7 wherein step (b1 a) comprises creating threads that verify the data in incoming and outgoing messages from and to a queue pair represented by the queue pair verification software entity.

9. Apparatus for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under control of a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the apparatus comprising:

a channel adapter agent component that controls and configures the channel adapter, the channel adapter agent component having a hardware independent interface with a plurality of methods for creating and controlling the plurality of channel adapter internal components;

a transport agent component that can create a plurality of verification components for verifying the correct operation of each of the channel adapter internal components; and

an API interface including a plurality of methods that control the transport agent component to create selected ones of the plurality of verification components.

10. The apparatus of claim 9 wherein the test agent component calls the methods in the channel adapter agent component interface and the API interface of the transport agent component to conduct verification tests of the transport and link layers.

11. The apparatus of claim 9 wherein the verification components include a service agent component, a completion queue component and a fabric agent component.

12. The apparatus of claim 11 wherein the service agent component comprises a mechanism for creating a queue pair component, a send queue component and a receive queue component.

13. The apparatus of claim 12 wherein the queue pair component creates an incoming message verifier object and an outgoing message verifier object.

14. The apparatus of claim 13 wherein the incoming message verifier object starts a thread that verifies each message received by the queue pair represented by the queue pair component.

15. The apparatus of claim 13 wherein the outgoing message verifier object starts a thread that verifies each message send by the queue pair represented by the queue pair component.

16. The apparatus of claim 11 wherein the fabric agent component comprises a mechanism that can control data packets passing between the channel adapter and the InfiniBand^SM system.

17. The apparatus of claim 9 wherein the transport agent component comprises a mechanism for destroying verification components after a test has been completed.

18. The apparatus of claim 9 wherein the verification apparatus is implemented by an object-oriented program and each component is implemented by a separate object.

19. The apparatus of claim 15 wherein the transport agent component is an object and the transport agent object instantiates a plurality of verification objects for verifying the correct operation of each of the channel adapter internal components.

20. A method for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under control of a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the method comprising:

(a) creating and controlling the plurality of channel adapter internal components with a channel adapter agent component having a hardware independent interface with a plurality of methods;

(b) using a transport agent component to create a plurality of verification components for verifying the correct operation of each of the channel adapter internal components; and

(c) providing an API interface including a plurality of methods that control the transport agent component to create selected ones of the plurality of verification components.

21. The method of claim 20 further comprising:

(d) using the test agent component to call the methods in the channel adapter agent component interface and the API interface of the transport agent component to conduct verification tests of the transport and link layers.

22. The method of claim 20 wherein step (b) comprises creating a service agent component, a completion queue component and a fabric agent component.

23. The method of claim 22 wherein step (b) further comprises using the service agent component to create a queue pair component, a send queue component and a receive queue component.

24. The method of claim 23 wherein step (b) further comprises using the queue pair component to create an incoming message verifier object and an outgoing message verifier object.

25. The method of claim 24 wherein step (b) further comprises using the incoming message verifier object to start a thread that verifies each message received by the queue pair represented by the queue pair component.

26. The method of claim 24 wherein step (b) further comprises using the outgoing message verifier object to start a thread that verifies each message send by the queue pair represented by the queue pair component.

27. The method of claim 22 wherein step (b) further comprises using the fabric agent component to control data packets passing between the channel adapter and the InfiniBand^SM system.

28. The method of claim 20 wherein step (b) further comprises destroying verification components after a test has been completed.

29. The method of claim 20 wherein the transport agent component is implemented by an object-oriented program and each component is implemented by a separate object.

30. The method of claim 20 wherein the transport agent component is an object and the transport agent object instantiates a plurality of verification objects for verifying the correct operation of each of the channel adapter internal components.

31. A computer program product for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under control of a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the computer program product comprising a computer usable medium having computer readable program code thereon, including:

channel adapter agent program code with a hardware independent interface having a plurality of methods that create and control the plurality of channel adapter internal components;

transport agent program code that creates a plurality of verification components for verifying the correct operation of each of the channel adapter internal components; and

an API interface including a plurality of methods that control the transport agent component to create selected ones of the plurality of verification components.

32. A computer data signal embodied in a carrier wave for configuration independent verification of transport and link layers of a channel adapter in an InfiniBand^SM system under control of a test agent component, the channel adapter having a plurality of internal components that use the transport and link layers to transfer data packets to the InfiniBand^SM system, the computer data signal comprising:

channel adapter agent program code with a hardware independent interface having a plurality of methods that create and control the plurality of channel adapter internal components;

transport agent program code that creates a plurality of verification components for verifying the correct operation of each of the channel adapter internal components; and

an API interface including a plurality of methods that control the transport agent component to create selected ones of the plurality of verification components.