blob: 98d4a1b4c3f3aa0207c21ee57edabb10ab5cf692 [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 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 Stokesa2869d22021-09-22 09:06:41 +010026use std::sync::{Arc, Mutex, Weak};
Alan Stokes6b2d0a82021-09-29 11:30:39 +010027use virtualizationservice::IVirtualizationService::IVirtualizationService;
Alan Stokesa2869d22021-09-22 09:06:41 +010028
Alan Stokes378f7382022-03-09 15:12:11 +000029// Enough memory to complete odrefresh in the VM.
Alan Stokes7438e402023-03-14 16:14:29 +000030const VM_MEMORY_MIB: i32 = 1024;
Alan Stokes378f7382022-03-09 15:12:11 +000031
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()];
David Brazdil7d1e5ec2023-02-06 17:56:29 +000084 Ok(VmParameters {
85 cpu_topology,
86 task_profiles,
87 memory_mib: Some(VM_MEMORY_MIB),
88 ..Default::default()
89 })
Victor Hsiehda8ca3b2022-01-26 12:36:54 -080090}
91
Alan Stokesa2869d22021-09-22 09:06:41 +010092// Ensures we only run one instance at a time.
93// Valid states:
Alan Stokes93863602022-08-03 17:23:25 +010094// Starting: is_starting is true, instance_tracker is None.
95// Started: is_starting is false, instance_tracker is Some(x) and there is a strong ref to x.
96// 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 +010097// The panic calls here should never happen, unless the code above in InstanceManager is buggy.
98// In particular nothing the client does should be able to trigger them.
Alan Stokesa2869d22021-09-22 09:06:41 +010099#[derive(Default)]
100struct State {
Alan Stokes93863602022-08-03 17:23:25 +0100101 instance_tracker: Option<Weak<()>>,
Alan Stokesa2869d22021-09-22 09:06:41 +0100102 is_starting: bool,
103}
104
105impl State {
106 // Move to Starting iff we are Stopped.
107 fn mark_starting(&mut self) -> Result<()> {
108 if self.is_starting {
109 bail!("An instance is already starting");
110 }
Alan Stokes93863602022-08-03 17:23:25 +0100111 if let Some(weak) = &self.instance_tracker {
Alan Stokesa2869d22021-09-22 09:06:41 +0100112 if weak.strong_count() != 0 {
113 bail!("An instance is already running");
114 }
115 }
Alan Stokes93863602022-08-03 17:23:25 +0100116 self.instance_tracker = None;
Alan Stokesa2869d22021-09-22 09:06:41 +0100117 self.is_starting = true;
118 Ok(())
119 }
120
121 // Move from Starting to Stopped.
122 fn mark_stopped(&mut self) {
Alan Stokes93863602022-08-03 17:23:25 +0100123 if !self.is_starting || self.instance_tracker.is_some() {
Alan Stokesa2869d22021-09-22 09:06:41 +0100124 panic!("Tried to mark stopped when not starting");
125 }
126 self.is_starting = false;
127 }
128
129 // Move from Starting to Started.
Alan Stokes93863602022-08-03 17:23:25 +0100130 fn mark_started(&mut self, instance_tracker: &Arc<()>) -> Result<()> {
Alan Stokesa2869d22021-09-22 09:06:41 +0100131 if !self.is_starting {
132 panic!("Tried to mark started when not starting")
133 }
Alan Stokes93863602022-08-03 17:23:25 +0100134 if self.instance_tracker.is_some() {
Alan Stokesa2869d22021-09-22 09:06:41 +0100135 panic!("Attempted to mark started when already started");
136 }
137 self.is_starting = false;
Alan Stokes93863602022-08-03 17:23:25 +0100138 self.instance_tracker = Some(Arc::downgrade(instance_tracker));
Alan Stokesa2869d22021-09-22 09:06:41 +0100139 Ok(())
140 }
Alan Stokesa2869d22021-09-22 09:06:41 +0100141}