blob: e8c1d9abdbf55c0adac2905df7802db01d18f831 [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;
Victor Hsieh616f8222022-01-14 13:06:32 -080022use anyhow::{bail, Result};
Alan Stokes6b2d0a82021-09-29 11:30:39 +010023use compos_aidl_interface::binder::Strong;
Alan Stokesd21764c2021-10-25 15:33:40 +010024use compos_common::compos_client::VmParameters;
Jiyong Park165921b2022-01-14 00:49:33 +090025use compos_common::{
26 DEX2OAT_CPU_SET_PROP_NAME, DEX2OAT_THREADS_PROP_NAME, PENDING_INSTANCE_DIR,
27 PREFER_STAGED_VM_CONFIG_PATH, TEST_INSTANCE_DIR,
28};
29use rustutils::system_properties;
30use std::num::NonZeroU32;
31use std::str::FromStr;
Alan Stokesa2869d22021-09-22 09:06:41 +010032use std::sync::{Arc, Mutex, Weak};
Alan Stokes6b2d0a82021-09-29 11:30:39 +010033use virtualizationservice::IVirtualizationService::IVirtualizationService;
Alan Stokesa2869d22021-09-22 09:06:41 +010034
Alan Stokes69c610f2021-09-27 14:03:31 +010035pub struct InstanceManager {
36 service: Strong<dyn IVirtualizationService>,
37 state: Mutex<State>,
38}
Alan Stokesa2869d22021-09-22 09:06:41 +010039
40impl InstanceManager {
Alan Stokes69c610f2021-09-27 14:03:31 +010041 pub fn new(service: Strong<dyn IVirtualizationService>) -> Self {
42 Self { service, state: Default::default() }
43 }
44
Alan Stokes6fc18372021-11-25 17:50:27 +000045 pub fn start_pending_instance(&self) -> Result<Arc<CompOsInstance>> {
Alan Stokesb4a0e912021-12-01 11:43:59 +000046 let config_path = Some(PREFER_STAGED_VM_CONFIG_PATH.to_owned());
Jiyong Park165921b2022-01-14 00:49:33 +090047 let mut vm_parameters = VmParameters { config_path, ..Default::default() };
Victor Hsiehaf989d52022-01-25 13:59:50 -080048 vm_parameters.cpus = match system_properties::read(DEX2OAT_THREADS_PROP_NAME) {
49 Ok(s) => Some(NonZeroU32::from_str(&s)?),
50 Err(_) => {
51 // dex2oat uses all CPUs by default. To match the behavior, give the VM all CPUs by
52 // default.
53 NonZeroU32::new(num_cpus::get() as u32)
54 }
55 };
Jiyong Park165921b2022-01-14 00:49:33 +090056 vm_parameters.cpu_set = system_properties::read(DEX2OAT_CPU_SET_PROP_NAME).ok();
Alan Stokesb4a0e912021-12-01 11:43:59 +000057 self.start_instance(PENDING_INSTANCE_DIR, vm_parameters)
Alan Stokes388b88a2021-10-13 16:03:17 +010058 }
59
60 pub fn start_test_instance(&self) -> Result<Arc<CompOsInstance>> {
Alan Stokesb4a0e912021-12-01 11:43:59 +000061 let vm_parameters = VmParameters { debug_mode: true, ..Default::default() };
Alan Stokesd21764c2021-10-25 15:33:40 +010062 self.start_instance(TEST_INSTANCE_DIR, vm_parameters)
Alan Stokes388b88a2021-10-13 16:03:17 +010063 }
64
Alan Stokesd21764c2021-10-25 15:33:40 +010065 fn start_instance(
66 &self,
67 instance_name: &str,
68 vm_parameters: VmParameters,
69 ) -> Result<Arc<CompOsInstance>> {
Alan Stokes69c610f2021-09-27 14:03:31 +010070 let mut state = self.state.lock().unwrap();
Alan Stokesa2869d22021-09-22 09:06:41 +010071 state.mark_starting()?;
72 // Don't hold the lock while we start the instance to avoid blocking other callers.
73 drop(state);
74
Alan Stokesd21764c2021-10-25 15:33:40 +010075 let instance_starter = InstanceStarter::new(instance_name, vm_parameters);
76 let instance = self.try_start_instance(instance_starter);
Alan Stokesa2869d22021-09-22 09:06:41 +010077
Alan Stokes69c610f2021-09-27 14:03:31 +010078 let mut state = self.state.lock().unwrap();
Alan Stokesa2869d22021-09-22 09:06:41 +010079 if let Ok(ref instance) = instance {
80 state.mark_started(instance)?;
81 } else {
82 state.mark_stopped();
83 }
84 instance
85 }
86
Alan Stokesd21764c2021-10-25 15:33:40 +010087 fn try_start_instance(&self, instance_starter: InstanceStarter) -> Result<Arc<CompOsInstance>> {
Alan Stokes6b2d0a82021-09-29 11:30:39 +010088 let compos_instance = instance_starter.create_or_start_instance(&*self.service)?;
Alan Stokes69c610f2021-09-27 14:03:31 +010089 Ok(Arc::new(compos_instance))
90 }
91}
92
Alan Stokesa2869d22021-09-22 09:06:41 +010093// Ensures we only run one instance at a time.
94// Valid states:
95// Starting: is_starting is true, running_instance is None.
96// Started: is_starting is false, running_instance is Some(x) and there is a strong ref to x.
97// Stopped: is_starting is false and running_instance is None or a weak ref to a dropped instance.
Alan Stokes69c610f2021-09-27 14:03:31 +010098// The panic calls here should never happen, unless the code above in InstanceManager is buggy.
99// In particular nothing the client does should be able to trigger them.
Alan Stokesa2869d22021-09-22 09:06:41 +0100100#[derive(Default)]
101struct State {
102 running_instance: Option<Weak<CompOsInstance>>,
103 is_starting: bool,
104}
105
106impl State {
107 // Move to Starting iff we are Stopped.
108 fn mark_starting(&mut self) -> Result<()> {
109 if self.is_starting {
110 bail!("An instance is already starting");
111 }
112 if let Some(weak) = &self.running_instance {
113 if weak.strong_count() != 0 {
114 bail!("An instance is already running");
115 }
116 }
117 self.running_instance = None;
118 self.is_starting = true;
119 Ok(())
120 }
121
122 // Move from Starting to Stopped.
123 fn mark_stopped(&mut self) {
124 if !self.is_starting || self.running_instance.is_some() {
125 panic!("Tried to mark stopped when not starting");
126 }
127 self.is_starting = false;
128 }
129
130 // Move from Starting to Started.
131 fn mark_started(&mut self, instance: &Arc<CompOsInstance>) -> Result<()> {
132 if !self.is_starting {
133 panic!("Tried to mark started when not starting")
134 }
135 if self.running_instance.is_some() {
136 panic!("Attempted to mark started when already started");
137 }
138 self.is_starting = false;
139 self.running_instance = Some(Arc::downgrade(instance));
140 Ok(())
141 }
Alan Stokesa2869d22021-09-22 09:06:41 +0100142}