|
| 1 | +--- |
| 2 | +layout: post |
| 3 | +title: "Qubes Architecture Next Steps: Preloaded diposables" |
| 4 | +categories: articles |
| 5 | +author: Benjamin Grande |
| 6 | +--- |
| 7 | + |
| 8 | +<!-- |
| 9 | +TODO: reviewer: when posting, rename this file with correct date. |
| 10 | +TODO: reviewer: when posting, rewrite the paragraph below: |
| 11 | +
|
| 12 | +This is the second article in the "What's new in Qubes 4.3?" series. You |
| 13 | +can find the previous one (about GUI Domains) |
| 14 | +[here](/news/2020/03/18/gui-domain/). While the |
| 15 | +introduction of GUI domains is a big, singular feature, the changes to |
| 16 | +qrexec are more complex and varied --- but also very important. |
| 17 | +--> |
| 18 | + |
| 19 | +## What are disposables? |
| 20 | + |
| 21 | +A [disposable](/doc/how-to-use-disposables/) is a lightweight qube that can be |
| 22 | +created quickly and will self-destruct when closed. Disposables are usually |
| 23 | +created in order to host and execute untrusted code, be it on the software |
| 24 | +level a single application (like a viewer, editor or web browser) or the |
| 25 | +hardware level ([PCI passtrough](/doc/how-to-use-pci-devices/)). |
| 26 | + |
| 27 | +There are two kinds of disposables, unnamed and named. The difference between |
| 28 | +them (besides one having a fixed name) is that unnamed disposables are |
| 29 | +destroyed when closing the first application opened in them while the user |
| 30 | +must explicitly shut down named disposables. |
| 31 | + |
| 32 | +## Fresh disposable startup time leads to fatigue |
| 33 | + |
| 34 | +One of the most secure ways to segregate duties is to use a fresh disposable |
| 35 | +for every new task. Unnamed disposables are ideal for this use case. So, what |
| 36 | +is the problem with them? The caller has to wait for a complete qube startup |
| 37 | +before running the desired application. The delay might seem a minor annoyance |
| 38 | +at first, but over a prolonged period, fatigued users run applications on |
| 39 | +already tainted qubes or in the qube itself to avoid the waiting time. |
| 40 | + |
| 41 | +The problem is not the user's lack of understanding or lack of documentation |
| 42 | +but how the user perceives the system. If the system is slow, the user will |
| 43 | +circumvent that slowness even if it means compromising their security, because |
| 44 | +they just want to get things done. |
| 45 | + |
| 46 | +The slowdown is aggravated when requesting a high number of disposables |
| 47 | +sequentially, which happens constantly when using the Qubes Executor to |
| 48 | +[build QubesOS](/doc/qubes-builder-v2/). |
| 49 | + |
| 50 | +A secure workflow should not be a burden. Can Qubes OS do better? |
| 51 | + |
| 52 | +## What are preloaded disposables? |
| 53 | + |
| 54 | +Yes! It can do better. |
| 55 | + |
| 56 | +In the project lead's presentation |
| 57 | +[Qubes OS development status update](https://cfp.3mdeb.com/qubes-os-summit-2024/talk/AWCBJ8/) |
| 58 | +at the Qubes OS Summit 2024, it was mentioned that there was intent for faster |
| 59 | +disposable qube usage for this release. Here is where preloaded disposables |
| 60 | +enters. |
| 61 | + |
| 62 | +Preloaded disposables are unnamed disposables started in the background and |
| 63 | +kept hidden from the user when not in use. They are interrupted (paused or |
| 64 | +suspended, as appropriate) and resumed (transparently) when a disposable qube |
| 65 | +is requested by the user. |
| 66 | + |
| 67 | +When the qube is preloaded, the qube application listing or the qube entry |
| 68 | +itself is hidden from GUI applications such as the app menu and the Qrexec |
| 69 | +Policy Ask prompt. This is by design to avoid contamination. A preload is not |
| 70 | +something you use directly, but indirectly. |
| 71 | + |
| 72 | +The use of preloaded disposables is transparent, indistinguishable from the |
| 73 | +usage of unnamed disposables. Requesting the creation of a new unnamed |
| 74 | +disposable will instead mark a preload as used and reply with an already |
| 75 | +running preloaded disposable, followed by the creation of a substitute. A |
| 76 | +preload that is marked as used ceases to be a preload. It's applications |
| 77 | +entries become visible in GUI applications the same way as standard unnamed |
| 78 | +disposables. |
| 79 | + |
| 80 | +Usage of disposables that have completed the preloading stage is almost as |
| 81 | +fast as executing code on an already-running qube, just a bit slower because |
| 82 | +it has to unpause the qube as well as start the GUI agent. While unpause can |
| 83 | +take just a few milliseconds, waiting for the GUI agent can take a second. The |
| 84 | +remaining time is overhead of operations across [domains](/doc/qrexec/). |
| 85 | + |
| 86 | +In case of a failure to preload for any reason, such as lack of available |
| 87 | +memory or the daemon responsible for managing qubes (`qubesd`) having stopped, |
| 88 | +no user interaction is needed. The system will fill in gaps of missing |
| 89 | +preloaded disposables while removing incomplete ones. |
| 90 | + |
| 91 | +## How to use preloaded disposables |
| 92 | + |
| 93 | +Preloading is a "set and forget" operation. Configure it once, setting the |
| 94 | +desired maximum number of preloaded qubes you would like to have preloaded, |
| 95 | +and the system takes care of the rest, including filling in the gaps of used |
| 96 | +preloaded qubes. |
| 97 | + |
| 98 | +The only action required to preload a disposable is to set the feature |
| 99 | +`preload-dispvm-max` on the disposable template of disposables you most use |
| 100 | +for generating unnamed disposables. The default disposable template is |
| 101 | +`default-dvm`. |
| 102 | + |
| 103 | +[](/attachment/posts/preload-local.png) |
| 104 | + |
| 105 | +Or use the equivalent command-line operation: |
| 106 | + |
| 107 | +```shell |
| 108 | +qvm-features default-dvm preload-dispvm-max 2 |
| 109 | +``` |
| 110 | + |
| 111 | +If you use the global `default_dispvm` a lot, you can target the global |
| 112 | +preload setting by setting the feature on `dom0`: |
| 113 | + |
| 114 | +[](/attachment/posts/preload-global.png) |
| 115 | + |
| 116 | +Or use the equivalent command-line operation: |
| 117 | + |
| 118 | +```shell |
| 119 | +qvm-features dom0 preload-dispvm-max 3 |
| 120 | +``` |
| 121 | + |
| 122 | +While the disposable template remains the global `default_dispvm`, it will |
| 123 | +respect the global feature and ignore the per-qube setting. |
| 124 | + |
| 125 | +To remove all the preloaded qubes, set the feature value to `0`, `''` (empty) |
| 126 | +or delete the feature. If the feature is set on `dom0`, the deletion it's |
| 127 | +better to delete the feature so that the preload setting to be read from the |
| 128 | +disposable template itself and not capped to `0`. |
| 129 | + |
| 130 | +The limit on the number of preloaded disposables you can configure depends on |
| 131 | +how much your system can handle. If there is not enough available memory to |
| 132 | +preload a disposable, it is skipped until another distinct event triggers it. |
| 133 | +However, GUI applications that allow preload configuration have a hard limit |
| 134 | +of `50`, which should be enough for most use cases. |
| 135 | + |
| 136 | +<!-- |
| 137 | +TODO: ben: photos |
| 138 | +
|
| 139 | +- Photo of Qubes Global Config |
| 140 | +- Photo of Qubes VM Settings |
| 141 | +
|
| 142 | +--> |
| 143 | + |
| 144 | +## Performance improvements |
| 145 | + |
| 146 | +<!-- |
| 147 | +TODO: ben: graphs here would be nice, but percentage would also be ok I'd say. |
| 148 | +
|
| 149 | +- How fast compared to execution in a fresh disposable (use GUI and non-GUI |
| 150 | + RPC) |
| 151 | +- How fast compared to execution in an already-running qube (use GUI and |
| 152 | + non-GUI RPC) |
| 153 | +- How much faster have builds become? |
| 154 | +
|
| 155 | +--> |
| 156 | + |
| 157 | +## Know issues |
| 158 | + |
| 159 | +Preloaded disposables are paused when they finish preloading and haven't been |
| 160 | +requested for use yet. Paused qubes still consume allocated memory, and this |
| 161 | +stale state does not allow for [memory redistribution](/doc/qmemman/). |
| 162 | + |
| 163 | +Preloading multiple disposables works even on systems with as low as 8 GB of |
| 164 | +RAM, the experience however, may not be the best when there's little available |
| 165 | +memory. Users with machines that constantly have a lot of unused memory won't |
| 166 | +notice a difference. |
0 commit comments