Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 1 | // Copyright 2021, The Android Open Source Project |
| 2 | // |
| 3 | // Licensed under the Apache License, Version 2.0 (the "License"); |
| 4 | // you may not use this file except in compliance with the License. |
| 5 | // You may obtain a copy of the License at |
| 6 | // |
| 7 | // http://www.apache.org/licenses/LICENSE-2.0 |
| 8 | // |
| 9 | // Unless required by applicable law or agreed to in writing, software |
| 10 | // distributed under the License is distributed on an "AS IS" BASIS, |
| 11 | // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 12 | // See the License for the specific language governing permissions and |
| 13 | // limitations under the License. |
| 14 | |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 15 | //! Struct for VM configuration with JSON (de)serialization and AIDL parcelables |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 16 | |
Andrew Walbran | f6bf686 | 2021-05-21 12:41:13 +0000 | [diff] [blame] | 17 | use android_system_virtualizationservice::{ |
| 18 | aidl::android::system::virtualizationservice::DiskImage::DiskImage as AidlDiskImage, |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 19 | aidl::android::system::virtualizationservice::Partition::Partition as AidlPartition, |
Jooyung Han | 21e9b92 | 2021-06-26 04:14:16 +0900 | [diff] [blame] | 20 | aidl::android::system::virtualizationservice::VirtualMachineRawConfig::VirtualMachineRawConfig, |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 21 | binder::ParcelFileDescriptor, |
| 22 | }; |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 23 | |
| 24 | use anyhow::{bail, Context, Error, Result}; |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 25 | use serde::{Deserialize, Serialize}; |
Andrew Walbran | b15cd6e | 2021-07-05 16:38:07 +0000 | [diff] [blame] | 26 | use std::convert::TryInto; |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 27 | use std::fs::{File, OpenOptions}; |
| 28 | use std::io::BufReader; |
Andrew Walbran | b15cd6e | 2021-07-05 16:38:07 +0000 | [diff] [blame] | 29 | use std::num::NonZeroU32; |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 30 | use std::path::{Path, PathBuf}; |
| 31 | |
| 32 | /// Configuration for a particular VM to be started. |
| 33 | #[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)] |
| 34 | pub struct VmConfig { |
| 35 | /// The filename of the kernel image, if any. |
| 36 | pub kernel: Option<PathBuf>, |
| 37 | /// The filename of the initial ramdisk for the kernel, if any. |
| 38 | pub initrd: Option<PathBuf>, |
| 39 | /// Parameters to pass to the kernel. As far as the VMM and boot protocol are concerned this is |
| 40 | /// just a string, but typically it will contain multiple parameters separated by spaces. |
| 41 | pub params: Option<String>, |
| 42 | /// The bootloader to use. If this is supplied then the kernel and initrd must not be supplied; |
| 43 | /// the bootloader is instead responsibly for loading the kernel from one of the disks. |
| 44 | pub bootloader: Option<PathBuf>, |
| 45 | /// Disk images to be made available to the VM. |
| 46 | #[serde(default)] |
| 47 | pub disks: Vec<DiskImage>, |
Andrew Walbran | f865042 | 2021-06-09 15:54:09 +0000 | [diff] [blame] | 48 | /// Whether the VM should be a protected VM. |
| 49 | #[serde(default)] |
| 50 | pub protected: bool, |
Andrew Walbran | b15cd6e | 2021-07-05 16:38:07 +0000 | [diff] [blame] | 51 | /// The amount of RAM to give the VM, in MiB. |
| 52 | #[serde(default)] |
| 53 | pub memory_mib: Option<NonZeroU32>, |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | impl VmConfig { |
| 57 | /// Ensure that the configuration has a valid combination of fields set, or return an error if |
| 58 | /// not. |
| 59 | pub fn validate(&self) -> Result<(), Error> { |
| 60 | if self.bootloader.is_none() && self.kernel.is_none() { |
| 61 | bail!("VM must have either a bootloader or a kernel image."); |
| 62 | } |
| 63 | if self.bootloader.is_some() && (self.kernel.is_some() || self.initrd.is_some()) { |
| 64 | bail!("Can't have both bootloader and kernel/initrd image."); |
| 65 | } |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 66 | for disk in &self.disks { |
| 67 | if disk.image.is_none() == disk.partitions.is_empty() { |
| 68 | bail!("Exactly one of image and partitions must be specified. (Was {:?}.)", disk); |
| 69 | } |
| 70 | } |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 71 | Ok(()) |
| 72 | } |
| 73 | |
| 74 | /// Load the configuration for a VM from the given JSON file, and check that it is valid. |
| 75 | pub fn load(file: &File) -> Result<VmConfig, Error> { |
| 76 | let buffered = BufReader::new(file); |
| 77 | let config: VmConfig = serde_json::from_reader(buffered)?; |
| 78 | config.validate()?; |
| 79 | Ok(config) |
| 80 | } |
| 81 | |
| 82 | /// Convert the `VmConfig` to a [`VirtualMachineConfig`] which can be passed to the Virt |
| 83 | /// Manager. |
Jooyung Han | 21e9b92 | 2021-06-26 04:14:16 +0900 | [diff] [blame] | 84 | pub fn to_parcelable(&self) -> Result<VirtualMachineRawConfig, Error> { |
Andrew Walbran | b15cd6e | 2021-07-05 16:38:07 +0000 | [diff] [blame] | 85 | let memory_mib = if let Some(memory_mib) = self.memory_mib { |
| 86 | memory_mib.get().try_into().context("Invalid memory_mib")? |
| 87 | } else { |
| 88 | 0 |
| 89 | }; |
Jooyung Han | 21e9b92 | 2021-06-26 04:14:16 +0900 | [diff] [blame] | 90 | Ok(VirtualMachineRawConfig { |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 91 | kernel: maybe_open_parcel_file(&self.kernel, false)?, |
| 92 | initrd: maybe_open_parcel_file(&self.initrd, false)?, |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 93 | params: self.params.clone(), |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 94 | bootloader: maybe_open_parcel_file(&self.bootloader, false)?, |
| 95 | disks: self.disks.iter().map(DiskImage::to_parcelable).collect::<Result<_, Error>>()?, |
Andrew Walbran | cc04590 | 2021-07-27 16:06:17 +0000 | [diff] [blame^] | 96 | protectedVm: self.protected, |
| 97 | memoryMib: memory_mib, |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 98 | }) |
| 99 | } |
| 100 | } |
| 101 | |
| 102 | /// A disk image to be made available to the VM. |
| 103 | #[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)] |
| 104 | pub struct DiskImage { |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 105 | /// The filename of the disk image, if it already exists. Exactly one of this and `partitions` |
| 106 | /// must be specified. |
| 107 | #[serde(default)] |
| 108 | pub image: Option<PathBuf>, |
| 109 | /// A set of partitions to be assembled into a composite image. |
| 110 | #[serde(default)] |
| 111 | pub partitions: Vec<Partition>, |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 112 | /// Whether this disk should be writable by the VM. |
| 113 | pub writable: bool, |
| 114 | } |
| 115 | |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 116 | impl DiskImage { |
| 117 | fn to_parcelable(&self) -> Result<AidlDiskImage, Error> { |
| 118 | let partitions = |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 119 | self.partitions.iter().map(Partition::to_parcelable).collect::<Result<_>>()?; |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 120 | Ok(AidlDiskImage { |
| 121 | image: maybe_open_parcel_file(&self.image, self.writable)?, |
| 122 | writable: self.writable, |
| 123 | partitions, |
| 124 | }) |
| 125 | } |
| 126 | } |
| 127 | |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 128 | /// A partition to be assembled into a composite image. |
| 129 | #[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)] |
| 130 | pub struct Partition { |
| 131 | /// A label for the partition. |
| 132 | pub label: String, |
| 133 | /// The filename of the partition image. |
| 134 | #[serde(default)] |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 135 | pub paths: Vec<PathBuf>, |
| 136 | /// Whether the partition should be writable. |
| 137 | #[serde(default)] |
| 138 | pub writable: bool, |
| 139 | } |
| 140 | |
| 141 | impl Partition { |
| 142 | fn to_parcelable(&self) -> Result<AidlPartition> { |
Jooyung Han | 54f422f | 2021-07-01 00:37:19 +0900 | [diff] [blame] | 143 | if self.paths.is_empty() { |
| 144 | bail!("Partition {} contains no paths", &self.label); |
Jooyung Han | 9713bd4 | 2021-06-26 03:00:18 +0900 | [diff] [blame] | 145 | } |
Jooyung Han | 54f422f | 2021-07-01 00:37:19 +0900 | [diff] [blame] | 146 | let images = self |
| 147 | .paths |
| 148 | .iter() |
| 149 | .map(|path| open_parcel_file(&path, self.writable)) |
| 150 | .collect::<Result<Vec<_>, _>>()?; |
| 151 | Ok(AidlPartition { images, writable: self.writable, label: self.label.to_owned() }) |
Jooyung Han | 9713bd4 | 2021-06-26 03:00:18 +0900 | [diff] [blame] | 152 | } |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 153 | } |
| 154 | |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 155 | /// Try to open the given file and wrap it in a [`ParcelFileDescriptor`]. |
Jiyong Park | 48b354d | 2021-07-15 15:04:38 +0900 | [diff] [blame] | 156 | pub fn open_parcel_file(filename: &Path, writable: bool) -> Result<ParcelFileDescriptor> { |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 157 | Ok(ParcelFileDescriptor::new( |
| 158 | OpenOptions::new() |
| 159 | .read(true) |
| 160 | .write(writable) |
| 161 | .open(filename) |
| 162 | .with_context(|| format!("Failed to open {:?}", filename))?, |
| 163 | )) |
| 164 | } |
| 165 | |
| 166 | /// If the given filename is `Some`, try to open it and wrap it in a [`ParcelFileDescriptor`]. |
| 167 | fn maybe_open_parcel_file( |
| 168 | filename: &Option<PathBuf>, |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 169 | writable: bool, |
Jooyung Han | fc732f5 | 2021-06-26 02:54:20 +0900 | [diff] [blame] | 170 | ) -> Result<Option<ParcelFileDescriptor>> { |
Andrew Walbran | f5fbb7d | 2021-05-12 17:15:48 +0000 | [diff] [blame] | 171 | filename.as_deref().map(|filename| open_parcel_file(filename, writable)).transpose() |
Andrew Walbran | 3a5a921 | 2021-05-04 17:09:08 +0000 | [diff] [blame] | 172 | } |