A method for recording and replaying execution of distributed programs on a
computer system in a distributed environment, includes identifying an
execution order of critical events of a program, generating groups of
critical events of the program, wherein for each group, critical events
belonging to the group belong to a common execution thread, and generating
for each execution thread a logical thread schedule that identifies a
sequence of the 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, and a
non-deterministic binding of stream sockets to local ports.
Een methode om uitvoering van verspreide programma's te registreren en over te spelen over een computersysteem in een verdeeld milieu, omvat het identificeren van een uitvoeringsorde van kritieke gebeurtenissen die van een programma, groepen kritieke gebeurtenissen van het programma produceren, waarin voor elke groep, de kritieke gebeurtenissen die tot de groep behoren tot een gemeenschappelijke uitvoeringsdraad behoren, en voor elke uitvoeringsdraad een logisch draadprogramma produceren dat een opeenvolging van de groepen om identificeert toestaan overspelend deterministisch een niet deterministische aankomst van de verbindingsverzoeken van de stroomcontactdoos, leest een niet deterministisch aantal bytes die tijdens bericht worden ontvangen, en een niet deterministische band van stroomcontactdozen aan lokale havens.
