Method and system for recording and replaying the execution of distributed java programs

A method for supporting execution replay with respect to a stream socket Application programming interface (API) comprising:

• identifying an execution order of critical events of a program;
• generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• and
• deterministically replaying non-deterministic arrival of stream socket connection requests, non-deterministic number of bytes received during message reads, and non-deterministic binding of stream sockets to local ports,
• wherein said deterministically replaying comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.

A method for supporting execution replay with respect to datagram socket Application Programming Interface (API) including:

• identifying an execution order of critical events of a program;
• generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• determining out-of-order delivery of packets;
• and
• determining a non-deterministic number of packets delivered during different executions of the same program, for supporting an execution replay with respect to said datagram socket Application Programming Interface (API),
• wherein said execution replay comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.

A software facility system for allowing recording and replaying execution of distributed programs on a computer system in a distributed environment, comprising:

• a first module for identifying an execution order of critical events of a program;
• a second module for generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• and
• a third module for generating, for each execution thread, a logical thread schedule that identifies a sequence of said groups so as to allow deterministically replaying a non-deterministic arrival of stream socket connection requests, a non-deterministic number of bytes received during message reads, a non-deterministic binding of stream sockets to local ports, and a non-deterministic arrival of datagram messages,
• wherein said deterministically replaying comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.

A software facility system for supporting execution replay with respect to a stream socket Application programming interface (API) comprising:

• a first module for identifying an execution order of critical events of a program;
• a second module for generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• and
• a third module for deterministically replaying non-deterministic arrival of stream socket connection requests, non-deterministic number of bytes received during message reads, and non-deterministic binding of stream sockets to local ports,
• wherein said deterministically replaying comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique vial machine identity during a record phase.

A software facility system for supporting execution replay with respect to datagram socket Application Programming Interface (API) including:

• a first module for identifying an execution order of critical events of a program;
• a second module for generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• a third module for determining out-of-order delivery of packets;
• and
• a fourth module for determining a on-deterministic number of packets delivered during different executions of the same program, to support an execution replay with respect to said datagram socket Application Programming Interface (API),
• wherein said execution replay comprises recording events of a plurality of virtual machines, each virtual machine bang assigned a unique virtual machine identity during a record phase.

A programmable storage medium tangibly embodying a program of machine-readable instructions executable by a digital processing apparatus to perform a method of recording and replaying execution of distributed programs on a computer system in a distributed environment, said method comprising:

• identifying an execution order of critical events of a program;
• generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• and
• generating, for each execution thread, a logical thread schedule that identifies a sequence of said groups so as to allow deterministically replaying a non-deterministic arrival of stream socket connection rests, a non-deterministic number of bytes received during message reads, a non-deterministic binding of stream sockets to local ports, and a non-deterministic arrival of datagram messages,
• wherein said deterministically replaying comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.

A programmable storage medium tangibly embodying a program of machine-readable instructions executable by a digital processing apparatus to perform a method for supporting execution replay with respect to a stream socket Application programming interface (API), said method comprising:

• identifying an execution order of critical events of a program;
• generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• deterministically replaying non-deterministic arrival of stream socket connection requests, non-deterministic number of bytes received during message reads, and non-deterministic binding of stream sockets to local ports, and
• wherein said deterministically replaying comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.

A programmable storage medium tangibly embodying a program of machine-readable instructions executable by a digital processing apparatus to perform a method for supporting execution replay with respect to datagram socket Application Programming Interface (API), said method including:

• identifying an execution order of critical events of a program;
• generating groups of critical events of said program, wherein for each group, critical events belonging to said group belong to a common execution thread;
• determining out-of-order delivery of packets;
• and
• determining a non-deterministic number of packets delivered during different executions of the same program, for supporting an execution replay with respect to said datagram socket Application Programming Interface (API),
• wherein said execution replay comprises recording events of a plurality of virtual machines, each virtual machine being assigned a unique virtual machine identity during a record phase.