On Thu, 2022-10-13 at 15:02 -0700, Hansen, Dave wrote: > Specifically, with this machine check SIGBUS implementation, one EPC > page can only have on host virtual address. But, it's possible to > mmap() a single VEPC page in multiple processes at multiple host virtual > addresses. > > So, the implementation only allows one host virtual address. But, we > can imagine a scenario where there are *TWO* valid virtual addresses > where the VEPC is mapped. > > What might happen in this case? What's the fallout? My understanding is there can be two #MC happening on two virtual addresses. Each #MC will be injected to the VM which triggers that #MC to handle. Today, both VM gets killed.
