One embodiment of the present mechanism provides a system to facilitate
testing of garbage collection implementations. The system operates by
first receiving a trace of valid memory transactions at a test harness.
This trace of valid memory transactions is replayed through the test
harness into a memory manager, which includes a garbage collection
implementation under test. The results of replaying this trace are then
observed to verify that the garbage collection implementation under test
does not erroneously change the contents of the memory.
Un incorporamento del meccanismo attuale fornisce un sistema per facilitare la prova delle esecuzioni dell'accumulazione dell'immondizia. Il sistema funziona in primo luogo ricevendo una traccia delle transazioni valide di memoria ad un cablaggio della prova. Questa traccia delle transazioni valide di memoria รจ ripetuta tramite il cablaggio della prova in un responsabile di memoria, che include un'esecuzione dell'accumulazione dell'immondizia sotto la prova. I risultati della ripetizione della questa traccia allora sono osservati per verificare che l'esecuzione dell'accumulazione dell'immondizia sotto la prova non cambia erroneamente il contenuto della memoria.
