Methods and corresponding computing devices for managing translation lookaside buffer in computing device

A method for managing a translation lookaside buffer (TLB) in a computing device, wherein the computing device is deployed with a plurality of virtual machines by using a virtual machine monitor, the plurality of virtual machines comprise a common virtual machine running a common execution environment and a secure virtual machine running a trusted execution environment (TEE) instance, and the computing device has a plurality of central process unit (CPU) cores;

• and the method comprises:
• in response to a target request for modifying a secure memory, sending, by the common execution environment, an inter-processor interrupt (IPI) to one or more CPU cores that run the secure virtual machine, wherein control data corresponding to the secure virtual machine comprise a TLB control field, the TLB control field is set to a target value, and the target value indicates that all TLBs of the virtual machine are flushed when exiting from the secure virtual machine;
• and
• in response to the IPI, exiting, by the one or more CPU cores, from a secure mode in which the secure virtual machine runs, and flushing all TLBs of the virtual machine based on the target value.