虚拟机

禁用隔离策略时，NSX Cloud 不会管理未标记的虚拟机的公有云安全组。 但是，对于公有云中带 nsx.network=default 标记的虚拟机， NSX Cloud 会根据虚拟机的状态分配相应的安全组。此行为与启用了隔离策略时的行为类似，但是隔离安全组中的规则（Microsoft Azure 中的 default-vnet--sg 和 AWS 中的 default）将采用与默认公有云安全组类似的方式进行配置，以便允许 VPC/VNet 中的所有内容，并拒绝所有其他入站流量

ESXI 是一种虚拟机软件，它可以将一台物理服务器分割成多个独立的虚拟机，从而实现服务器的虚拟化。 ESXI 是一种强大的、稳定的虚拟机管理器，它可以支持多种操作系统，并可以提供多种功能，如虚拟机监控、虚拟机迁移、虚拟机缩放、安全性管理等。 ESXI 拥有丰富的 API，可以使用它来开发虚拟机管理应用程序

我们花了几天的时间来阅读《Java虚拟机规范》，了解要实现一个虚拟机应该包括什么内容。通过这么一次阅读，我们大致了解了虚拟机规范的内容。 第1章

请升级到 Microsoft Edge 以使用最新的功能、安全更新和技术支持。 我们一直在构建用于创建虚拟机的新工具，因此在过去的三个版本中，说明发生了明显变化。 选择你的操作系统以获取合适的一组说明： 现在就开始吧

VMwareWorkstation(虚拟机软件)是一款虚拟PC软件，这款虚拟机软件是目前最好用使用量最大的一款虚拟机软件，拥有这个软件，你可以让自己电脑同时开启两个windows，对于需要用它玩游戏或者工作的朋友们有较大的作用，而且不会让你的电脑卡顿，使用起来非常流畅，有需要的朋友赶紧下载体验哦！ 借助这些新增功能，您现在可以使用所有需要 DirectX 10 的应用（例如 Microsoft 针对 Excel 的 Power Map 工具），让您可以在一个全新的维度上直观显示数据。另外，Workstation 还使在虚拟机中运行 AutoCAD 或 SOLIDWORKS 等要求严苛的 3D 应用变得非常简单。 您可以通过为虚拟机分配多达 2 GB 的显存，使图形密集型应用的处理能力更上层楼

GCP 的 Compute Engine 在开虚拟机的时候，需要同时选择虚拟机所在的机房（Region）及子区域（Zone），一般来说在虚拟机建立时，选好 Region 及 Zone 之后，就不能再更换或搬家，只能删掉重建，不过 gcloud 指令提供了换 Zone 的功能，让这件事情变得很简单，只需要一行指令： 整个搬迁的过程需要点时间，在过程间 GCP 控制界面上并不会有防呆机制，因此千万不要在这过程中修改任何相关的设定或资源，以免搬迁过程失败。 也就是说，要先把这台虚拟机开机，才能使用 gcloud compute instances move 指令搬机器。 指令简单归简单，深入研究可以发现，这个指令其实只是把一连串固定的操作全部整合成一个指令而已

2021.10.10：运行 Installer 后可以直接退出，应用本身没有改变。 VMware Workstation Pro™ 使专业技术人员能够在同一台 PC 上同时运行多个基于 x86 的 Windows、Linux 和其他操作系统，从而开发、测试、演示和部署软件。 无论虚拟机是位于个人计算机还是专用企业云中，您都可以在虚拟机中复制服务器、桌面和平板电脑环境 (sysin)，并为每个虚拟机分配多个处理器内核、千兆字节的主内存和显存

VMware Workstation 曾荣获 50 多项行业奖项，它转变了专业技术人员开发、测试、演示和部署软件的方式。创新功能有助于开发人员、QA 工程师、专业销售人员和 IT 管理员降低硬件成本、节省时间并最大限度地降低风险，同时简化任务流程以节省时间和提高工作效率。 无驱动程序打印使得 Windows 和 Linux 虚拟机能够自动访问 PC 打印机，而无需任何配置或驱动程序

Proxmox 是我部署各种容器和虚拟机的首选虚拟机管理程序。有时您想在另一个 VM 中创建一个 VM。含义 – 我只想在物理 Proxmox 管理程序上托管来宾管理程序（即虚拟机）

使用虚拟机的一个好处就是可以带着虚拟机镜像文件到处走，需要的时候新建一个虚拟机加载相应的镜像文件就可以了。不过在 VirtualBox 上貌似有个问题，已使用过的镜像文件拷贝到其他硬盘不能直接用，需要给镜像文件生成新的 UUID，原因是这个 UUID 已经在本机的 VirtualBox 里注册过了。今天从 USB 盘上加载一个 Windows 虚拟机就碰到这个问题，说这个 Windows 的 VDI 磁盘镜像文件的 UUID 已经存在了： VirtualBox 界面选项里面没有提供解决办法，记得以前用 VMware 的时候遇到类似情况会给个提示然后可以继续强制使用已注册过的磁盘，还好，VirtualBox 提供了有用的命令行工具

给出了一个寄存器架构的虚拟机模型Micro-Dalvik包括虚拟机指令集和虚拟机运行时状态的形式化并以大步操作语义(big-step operational semantics)的方式给出了指令单步执行的状态转换以及定义在单步执行上的自反传递闭包来表达虚拟机程序的运行时状态转换.最后以定理的形式描述了语义满足的性质并得到证明.这个模型的指令集包括了大部分Dalvik虚拟机指令为获得形式语义的清晰化它在Dalvik VM指令集上进行了必要的抽象对其实质没有改变因而具有较大的实用性.该形式化模型通过了定理证明助手Isabelle/HOL的验证.