blob: 2ce12f82aa8f3a76e5b4b4599a978b6e7cf522cc [file] [log] [blame]
Alan Stokesa2869d22021-09-22 09:06:41 +01001/*
2 * Copyright (C) 2021 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
Alan Stokes6b2d0a82021-09-29 11:30:39 +010017//! Manages running instances of the CompOS VM. At most one instance should be running at
18//! a time, started on demand.
Alan Stokesa2869d22021-09-22 09:06:41 +010019
Alan Stokes6b2d0a82021-09-29 11:30:39 +010020use crate::instance_starter::{CompOsInstance, InstanceStarter};
21use android_system_virtualizationservice::aidl::android::system::virtualizationservice;
Alan Stokes8d351602023-03-23 16:44:58 +000022use anyhow::{anyhow, bail, Context, Result};
Alan Stokes0e82b502022-08-08 14:44:48 +010023use binder::Strong;
David Brazdil7d1e5ec2023-02-06 17:56:29 +000024use compos_common::compos_client::{VmCpuTopology, VmParameters};
David Brazdil025c7cc2023-02-06 16:14:23 +000025use compos_common::{CURRENT_INSTANCE_DIR, TEST_INSTANCE_DIR};
Alan Stokes8d351602023-03-23 16:44:58 +000026use log::info;
27use rustutils::system_properties;
28use std::str::FromStr;
Alan Stokesa2869d22021-09-22 09:06:41 +010029use std::sync::{Arc, Mutex, Weak};
Alan Stokes6b2d0a82021-09-29 11:30:39 +010030use virtualizationservice::IVirtualizationService::IVirtualizationService;
Alan Stokesa2869d22021-09-22 09:06:41 +010031
Alan Stokes69c610f2021-09-27 14:03:31 +010032pub struct InstanceManager {
33 service: Strong<dyn IVirtualizationService>,
34 state: Mutex<State>,
35}
Alan Stokesa2869d22021-09-22 09:06:41 +010036
37impl InstanceManager {
Alan Stokes69c610f2021-09-27 14:03:31 +010038 pub fn new(service: Strong<dyn IVirtualizationService>) -> Self {
39 Self { service, state: Default::default() }
40 }
41
Alan Stokes93863602022-08-03 17:23:25 +010042 pub fn start_current_instance(&self) -> Result<CompOsInstance> {
Victor Hsiehda8ca3b2022-01-26 12:36:54 -080043 let mut vm_parameters = new_vm_parameters()?;
Victor Hsieha61ec2e2022-09-21 16:25:27 -070044 vm_parameters.prefer_staged = true;
Alan Stokes6542fdd2022-02-17 15:21:46 +000045 self.start_instance(CURRENT_INSTANCE_DIR, vm_parameters)
Alan Stokes388b88a2021-10-13 16:03:17 +010046 }
47
Alan Stokes93863602022-08-03 17:23:25 +010048 pub fn start_test_instance(&self, prefer_staged: bool) -> Result<CompOsInstance> {
Victor Hsiehda8ca3b2022-01-26 12:36:54 -080049 let mut vm_parameters = new_vm_parameters()?;
50 vm_parameters.debug_mode = true;
Victor Hsieha61ec2e2022-09-21 16:25:27 -070051 vm_parameters.prefer_staged = prefer_staged;
Alan Stokesd21764c2021-10-25 15:33:40 +010052 self.start_instance(TEST_INSTANCE_DIR, vm_parameters)
Alan Stokes388b88a2021-10-13 16:03:17 +010053 }
54
Alan Stokesd21764c2021-10-25 15:33:40 +010055 fn start_instance(
56 &self,
57 instance_name: &str,
58 vm_parameters: VmParameters,
Alan Stokes93863602022-08-03 17:23:25 +010059 ) -> Result<CompOsInstance> {
Alan Stokes69c610f2021-09-27 14:03:31 +010060 let mut state = self.state.lock().unwrap();
Alan Stokesa2869d22021-09-22 09:06:41 +010061 state.mark_starting()?;
62 // Don't hold the lock while we start the instance to avoid blocking other callers.
63 drop(state);
64
Alan Stokesd21764c2021-10-25 15:33:40 +010065 let instance_starter = InstanceStarter::new(instance_name, vm_parameters);
Alan Stokes93863602022-08-03 17:23:25 +010066 let instance = instance_starter.start_new_instance(&*self.service);
Alan Stokesa2869d22021-09-22 09:06:41 +010067
Alan Stokes69c610f2021-09-27 14:03:31 +010068 let mut state = self.state.lock().unwrap();
Alan Stokesa2869d22021-09-22 09:06:41 +010069 if let Ok(ref instance) = instance {
Alan Stokes93863602022-08-03 17:23:25 +010070 state.mark_started(instance.get_instance_tracker())?;
Alan Stokesa2869d22021-09-22 09:06:41 +010071 } else {
72 state.mark_stopped();
73 }
74 instance
75 }
Alan Stokes69c610f2021-09-27 14:03:31 +010076}
77
Victor Hsiehda8ca3b2022-01-26 12:36:54 -080078fn new_vm_parameters() -> Result<VmParameters> {
David Brazdil025c7cc2023-02-06 16:14:23 +000079 // By default, dex2oat starts as many threads as there are CPUs. This can be overridden with
80 // a system property. Start the VM with all CPUs and assume the guest will start a suitable
81 // number of dex2oat threads.
David Brazdil7d1e5ec2023-02-06 17:56:29 +000082 let cpu_topology = VmCpuTopology::MatchHost;
Victor Hsieh63a18ce2022-05-23 11:10:24 -070083 let task_profiles = vec!["SCHED_SP_COMPUTE".to_string()];
Alan Stokes8d351602023-03-23 16:44:58 +000084 let memory_mib = Some(compos_memory_mib()?);
85 Ok(VmParameters { cpu_topology, task_profiles, memory_mib, ..Default::default() })
86}
87
88fn compos_memory_mib() -> Result<i32> {
89 // Enough memory to complete odrefresh in the VM, for older versions of ART that don't set the
90 // property explicitly.
91 const DEFAULT_MEMORY_MIB: u32 = 400;
92
93 let art_requested_mib =
94 read_property("composd.vm.art.memory_mib.config")?.unwrap_or(DEFAULT_MEMORY_MIB);
95
96 let vm_adjustment_mib = read_property("composd.vm.vendor.memory_mib.config")?.unwrap_or(0);
97
98 info!(
99 "Compilation VM memory: ART requests {art_requested_mib} MiB, \
100 VM adjust is {vm_adjustment_mib}"
101 );
102 art_requested_mib
103 .checked_add_signed(vm_adjustment_mib)
104 .and_then(|x| x.try_into().ok())
105 .context("Invalid vm memory adjustment")
106}
107
108fn read_property<T: FromStr>(name: &str) -> Result<Option<T>> {
109 let str = system_properties::read(name).context("Failed to read {name}")?;
110 str.map(|s| s.parse().map_err(|_| anyhow!("Invalid {name}: {s}"))).transpose()
Victor Hsiehda8ca3b2022-01-26 12:36:54 -0800111}
112
Alan Stokesa2869d22021-09-22 09:06:41 +0100113// Ensures we only run one instance at a time.
114// Valid states:
Alan Stokes93863602022-08-03 17:23:25 +0100115// Starting: is_starting is true, instance_tracker is None.
116// Started: is_starting is false, instance_tracker is Some(x) and there is a strong ref to x.
117// Stopped: is_starting is false and instance_tracker is None or a weak ref to a dropped instance.
Alan Stokes69c610f2021-09-27 14:03:31 +0100118// The panic calls here should never happen, unless the code above in InstanceManager is buggy.
119// In particular nothing the client does should be able to trigger them.
Alan Stokesa2869d22021-09-22 09:06:41 +0100120#[derive(Default)]
121struct State {
Alan Stokes93863602022-08-03 17:23:25 +0100122 instance_tracker: Option<Weak<()>>,
Alan Stokesa2869d22021-09-22 09:06:41 +0100123 is_starting: bool,
124}
125
126impl State {
127 // Move to Starting iff we are Stopped.
128 fn mark_starting(&mut self) -> Result<()> {
129 if self.is_starting {
130 bail!("An instance is already starting");
131 }
Alan Stokes93863602022-08-03 17:23:25 +0100132 if let Some(weak) = &self.instance_tracker {
Alan Stokesa2869d22021-09-22 09:06:41 +0100133 if weak.strong_count() != 0 {
134 bail!("An instance is already running");
135 }
136 }
Alan Stokes93863602022-08-03 17:23:25 +0100137 self.instance_tracker = None;
Alan Stokesa2869d22021-09-22 09:06:41 +0100138 self.is_starting = true;
139 Ok(())
140 }
141
142 // Move from Starting to Stopped.
143 fn mark_stopped(&mut self) {
Alan Stokes93863602022-08-03 17:23:25 +0100144 if !self.is_starting || self.instance_tracker.is_some() {
Alan Stokesa2869d22021-09-22 09:06:41 +0100145 panic!("Tried to mark stopped when not starting");
146 }
147 self.is_starting = false;
148 }
149
150 // Move from Starting to Started.
Alan Stokes93863602022-08-03 17:23:25 +0100151 fn mark_started(&mut self, instance_tracker: &Arc<()>) -> Result<()> {
Alan Stokesa2869d22021-09-22 09:06:41 +0100152 if !self.is_starting {
153 panic!("Tried to mark started when not starting")
154 }
Alan Stokes93863602022-08-03 17:23:25 +0100155 if self.instance_tracker.is_some() {
Alan Stokesa2869d22021-09-22 09:06:41 +0100156 panic!("Attempted to mark started when already started");
157 }
158 self.is_starting = false;
Alan Stokes93863602022-08-03 17:23:25 +0100159 self.instance_tracker = Some(Arc::downgrade(instance_tracker));
Alan Stokesa2869d22021-09-22 09:06:41 +0100160 Ok(())
161 }
Alan Stokesa2869d22021-09-22 09:06:41 +0100162}