Submit: Let's assume we are using SMP-ReVirt for recording a particular run of xv6 with apps on a machine with 16 physical processors. Compared to running on physical hardware directly, will recording xv6 using SMP-ReVirt cause a performance slow down if the run contains a contended spinlock? Explain your answer briefly.