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