Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 1 | // Copyright 2022, 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 | |
| 15 | //! Integration test for VM bootloader. |
| 16 | |
| 17 | use android_system_virtualizationservice::{ |
| 18 | aidl::android::system::virtualizationservice::{ |
Elie Kheirallah | b4b2f24 | 2025-01-23 03:38:07 +0000 | [diff] [blame^] | 19 | CpuOptions::CpuOptions, CpuOptions::CpuTopology::CpuTopology, DiskImage::DiskImage, |
| 20 | VirtualMachineConfig::VirtualMachineConfig, |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 21 | VirtualMachineRawConfig::VirtualMachineRawConfig, |
| 22 | }, |
| 23 | binder::{ParcelFileDescriptor, ProcessState}, |
| 24 | }; |
| 25 | use anyhow::{Context, Error}; |
| 26 | use log::info; |
| 27 | use std::{ |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 28 | collections::{HashSet, VecDeque}, |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 29 | fs::File, |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 30 | io::{self, BufRead, BufReader, Read, Write}, |
Frederick Mayle | d1c5a05 | 2024-12-16 15:42:59 -0800 | [diff] [blame] | 31 | thread, |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 32 | }; |
| 33 | use vmclient::{DeathReason, VmInstance}; |
| 34 | |
Pierre-Clément Tosi | 48ac6a9 | 2024-08-14 00:42:05 +0100 | [diff] [blame] | 35 | const VMBASE_EXAMPLE_KERNEL_PATH: &str = "vmbase_example_kernel.bin"; |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 36 | const VMBASE_EXAMPLE_BIOS_PATH: &str = "vmbase_example_bios.bin"; |
Nikita Putikhin | cf9c24e | 2024-07-16 12:42:14 +0200 | [diff] [blame] | 37 | const TEST_DISK_IMAGE_PATH: &str = "test_disk.img"; |
| 38 | const EMPTY_DISK_IMAGE_PATH: &str = "empty_disk.img"; |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 39 | |
Pierre-Clément Tosi | 48ac6a9 | 2024-08-14 00:42:05 +0100 | [diff] [blame] | 40 | /// Runs the vmbase_example VM as an unprotected VM kernel via VirtualizationService. |
| 41 | #[test] |
| 42 | fn test_run_example_kernel_vm() -> Result<(), Error> { |
| 43 | run_test(Some(open_payload(VMBASE_EXAMPLE_KERNEL_PATH)?), None) |
| 44 | } |
| 45 | |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 46 | /// Runs the vmbase_example VM as an unprotected VM BIOS via VirtualizationService. |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 47 | #[test] |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 48 | fn test_run_example_bios_vm() -> Result<(), Error> { |
Pierre-Clément Tosi | 48ac6a9 | 2024-08-14 00:42:05 +0100 | [diff] [blame] | 49 | run_test(None, Some(open_payload(VMBASE_EXAMPLE_BIOS_PATH)?)) |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 50 | } |
| 51 | |
Pierre-Clément Tosi | 48ac6a9 | 2024-08-14 00:42:05 +0100 | [diff] [blame] | 52 | fn run_test( |
| 53 | kernel: Option<ParcelFileDescriptor>, |
| 54 | bootloader: Option<ParcelFileDescriptor>, |
| 55 | ) -> Result<(), Error> { |
Pierre-Clément Tosi | 0d1aed0 | 2022-11-17 17:06:28 +0000 | [diff] [blame] | 56 | android_logger::init_once( |
Jeff Vander Stoep | d9dda0c | 2024-02-07 14:27:06 +0100 | [diff] [blame] | 57 | android_logger::Config::default() |
| 58 | .with_tag("vmbase") |
| 59 | .with_max_level(log::LevelFilter::Debug), |
Pierre-Clément Tosi | 0d1aed0 | 2022-11-17 17:06:28 +0000 | [diff] [blame] | 60 | ); |
| 61 | |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 62 | // We need to start the thread pool for Binder to work properly, especially link_to_death. |
| 63 | ProcessState::start_thread_pool(); |
| 64 | |
David Brazdil | 4b4c510 | 2022-12-19 22:56:20 +0000 | [diff] [blame] | 65 | let virtmgr = |
| 66 | vmclient::VirtualizationService::new().context("Failed to spawn VirtualizationService")?; |
| 67 | let service = virtmgr.connect().context("Failed to connect to VirtualizationService")?; |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 68 | |
Andrew Walbran | b713baa | 2022-12-07 14:34:49 +0000 | [diff] [blame] | 69 | // Make file for test disk image. |
| 70 | let mut test_image = File::options() |
| 71 | .create(true) |
| 72 | .read(true) |
| 73 | .write(true) |
| 74 | .truncate(true) |
| 75 | .open(TEST_DISK_IMAGE_PATH) |
| 76 | .with_context(|| format!("Failed to open test disk image {}", TEST_DISK_IMAGE_PATH))?; |
| 77 | // Write 4 sectors worth of 4-byte numbers counting up. |
| 78 | for i in 0u32..512 { |
| 79 | test_image.write_all(&i.to_le_bytes())?; |
| 80 | } |
| 81 | let test_image = ParcelFileDescriptor::new(test_image); |
| 82 | let disk_image = DiskImage { image: Some(test_image), writable: false, partitions: vec![] }; |
| 83 | |
Andrew Walbran | 6ac174e | 2023-06-23 14:58:51 +0000 | [diff] [blame] | 84 | // Make file for empty test disk image. |
| 85 | let empty_image = File::options() |
| 86 | .create(true) |
| 87 | .read(true) |
| 88 | .write(true) |
| 89 | .truncate(true) |
| 90 | .open(EMPTY_DISK_IMAGE_PATH) |
| 91 | .with_context(|| format!("Failed to open empty disk image {}", EMPTY_DISK_IMAGE_PATH))?; |
| 92 | let empty_image = ParcelFileDescriptor::new(empty_image); |
| 93 | let empty_disk_image = |
| 94 | DiskImage { image: Some(empty_image), writable: false, partitions: vec![] }; |
| 95 | |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 96 | let config = VirtualMachineConfig::RawConfig(VirtualMachineRawConfig { |
Seungjae Yoo | 62085c0 | 2022-08-12 04:44:52 +0000 | [diff] [blame] | 97 | name: String::from("VmBaseTest"), |
Pierre-Clément Tosi | 48ac6a9 | 2024-08-14 00:42:05 +0100 | [diff] [blame] | 98 | kernel, |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 99 | initrd: None, |
| 100 | params: None, |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 101 | bootloader, |
Andrew Walbran | 6ac174e | 2023-06-23 14:58:51 +0000 | [diff] [blame] | 102 | disks: vec![disk_image, empty_disk_image], |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 103 | protectedVm: false, |
| 104 | memoryMib: 300, |
Elie Kheirallah | b4b2f24 | 2025-01-23 03:38:07 +0000 | [diff] [blame^] | 105 | cpuOptions: CpuOptions { cpuTopology: CpuTopology::CpuCount(1) }, |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 106 | platformVersion: "~1.0".to_string(), |
Nikita Ioffe | 5776f08 | 2023-02-10 21:38:26 +0000 | [diff] [blame] | 107 | gdbPort: 0, // no gdb |
Inseob Kim | 6ef8097 | 2023-07-20 17:23:36 +0900 | [diff] [blame] | 108 | ..Default::default() |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 109 | }); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 110 | let (handle, console) = android_log_fd()?; |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 111 | let (mut log_reader, log_writer) = pipe()?; |
Jiyong Park | e6fb167 | 2023-06-26 16:45:55 +0900 | [diff] [blame] | 112 | let vm = VmInstance::create( |
| 113 | service.as_ref(), |
| 114 | &config, |
| 115 | Some(console), |
| 116 | /* consoleIn */ None, |
| 117 | Some(log_writer), |
Elie Kheirallah | 5c807a2 | 2024-09-23 20:40:42 +0000 | [diff] [blame] | 118 | /* dump_dt */ None, |
Chaitanya Cheemala (xWF) | 3da8a16 | 2025-01-21 08:57:09 -0800 | [diff] [blame] | 119 | None, |
Jiyong Park | e6fb167 | 2023-06-26 16:45:55 +0900 | [diff] [blame] | 120 | ) |
| 121 | .context("Failed to create VM")?; |
Chaitanya Cheemala (xWF) | 3da8a16 | 2025-01-21 08:57:09 -0800 | [diff] [blame] | 122 | vm.start().context("Failed to start VM")?; |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 123 | info!("Started example VM."); |
| 124 | |
| 125 | // Wait for VM to finish, and check that it shut down cleanly. |
| 126 | let death_reason = vm.wait_for_death(); |
| 127 | assert_eq!(death_reason, DeathReason::Shutdown); |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 128 | handle.join().unwrap(); |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 129 | |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 130 | // Check that the expected string was written to the log VirtIO console device. |
| 131 | let expected = "Hello VirtIO console\n"; |
| 132 | let mut log_output = String::new(); |
| 133 | assert_eq!(log_reader.read_to_string(&mut log_output)?, expected.len()); |
| 134 | assert_eq!(log_output, expected); |
| 135 | |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 136 | Ok(()) |
| 137 | } |
| 138 | |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 139 | fn android_log_fd() -> Result<(thread::JoinHandle<()>, File), io::Error> { |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 140 | let (reader, writer) = pipe()?; |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 141 | let handle = thread::spawn(|| VmLogProcessor::new(reader).run().unwrap()); |
| 142 | Ok((handle, writer)) |
Andrew Walbran | 94bbf2f | 2022-05-12 18:35:42 +0000 | [diff] [blame] | 143 | } |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 144 | |
| 145 | fn pipe() -> io::Result<(File, File)> { |
| 146 | let (reader_fd, writer_fd) = nix::unistd::pipe()?; |
Frederick Mayle | fbbcfcd | 2024-04-08 16:31:54 -0700 | [diff] [blame] | 147 | Ok((reader_fd.into(), writer_fd.into())) |
Andrew Walbran | 8d05dae | 2023-03-22 16:42:55 +0000 | [diff] [blame] | 148 | } |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 149 | |
Pierre-Clément Tosi | e0d6840 | 2024-08-14 00:27:47 +0100 | [diff] [blame] | 150 | fn open_payload(path: &str) -> Result<ParcelFileDescriptor, Error> { |
| 151 | let file = File::open(path).with_context(|| format!("Failed to open VM image {path}"))?; |
| 152 | Ok(ParcelFileDescriptor::new(file)) |
| 153 | } |
| 154 | |
Jakob Vukalovic | ef99629 | 2023-04-13 14:28:34 +0000 | [diff] [blame] | 155 | struct VmLogProcessor { |
| 156 | reader: Option<File>, |
| 157 | expected: VecDeque<String>, |
| 158 | unexpected: HashSet<String>, |
| 159 | had_unexpected: bool, |
| 160 | } |
| 161 | |
| 162 | impl VmLogProcessor { |
| 163 | fn messages() -> (VecDeque<String>, HashSet<String>) { |
| 164 | let mut expected = VecDeque::new(); |
| 165 | let mut unexpected = HashSet::new(); |
| 166 | for log_lvl in ["[ERROR]", "[WARN]", "[INFO]", "[DEBUG]"] { |
| 167 | expected.push_back(format!("{log_lvl} Unsuppressed message")); |
| 168 | unexpected.insert(format!("{log_lvl} Suppressed message")); |
| 169 | } |
| 170 | (expected, unexpected) |
| 171 | } |
| 172 | |
| 173 | fn new(reader: File) -> Self { |
| 174 | let (expected, unexpected) = Self::messages(); |
| 175 | Self { reader: Some(reader), expected, unexpected, had_unexpected: false } |
| 176 | } |
| 177 | |
| 178 | fn verify(&mut self, msg: &str) { |
| 179 | if self.expected.front() == Some(&msg.to_owned()) { |
| 180 | self.expected.pop_front(); |
| 181 | } |
| 182 | if !self.had_unexpected && self.unexpected.contains(msg) { |
| 183 | self.had_unexpected = true; |
| 184 | } |
| 185 | } |
| 186 | |
| 187 | fn run(mut self) -> Result<(), &'static str> { |
| 188 | for line in BufReader::new(self.reader.take().unwrap()).lines() { |
| 189 | let msg = line.unwrap(); |
| 190 | info!("{msg}"); |
| 191 | self.verify(&msg); |
| 192 | } |
| 193 | if !self.expected.is_empty() { |
| 194 | Err("missing expected log message") |
| 195 | } else if self.had_unexpected { |
| 196 | Err("unexpected log message") |
| 197 | } else { |
| 198 | Ok(()) |
| 199 | } |
| 200 | } |
| 201 | } |