= Computing preferences, version 2 =
This document describes a new system for "computing preferences" in BOINC.
This system lets users express, as a set of logical rules,
how resource usage settings vary as a function of external factors.
Note: the motivation for this is discussed [PrefsRemodel here]; that document is otherwise deprecated.
The goals of this system include:
* Generality: allow the expression of any preferences.
* Extensibility: make it possible to add new external factors
(such as the current cost of electricity) without modifying the client.
== Static and dynamic settings ==
Various "settings" control and limit
BOINC's use of computing, memory, storage, and network communication.
"Dynamic" settings can change in response to factors external to BOINC
(such as time of day, non-BOINC CPU usage, etc.).
These include:
cpu_usage_limit:: CPU throttling fraction (0..1)
dont_use_cpu:: don't run any jobs
dont_use_gpu [type][device]:: don't run GPU jobs. Optional GPU type (nvidia, amd, intel) and device #.
dont_do_file_xfer:: don't do file xfers
dont_use_network:: don't do any network communication at all
max_bytes_sec_down:: max download data rate
max_bytes_sec_up:: max upload data rate
max_ncpus:: max # of CPUs to use
max_ncpus_pct:: max % of CPUs to use
ram_max_used_frac:: max fraction of RAM to use
"Static" settings don't vary over time.
These include:
confirm_before_connecting:: ask before creating network connection
cpu_scheduling_period:: time between rescheduling jobs
disk_max_used_gb:: max disk usage
disk_max_used_pct:: max % of disk to use
disk_min_free_gb:: min free disk space
dont_verify_images:: don't verify image files
hangup_if_dialed:: hang up modem connection when done
leave_apps_in_memory:: suspend (rather than quit) non-running jobs
work_buf_additional_days:: when request work, ask for this much beyond min
work_buf_min_days:: keep at least this much work
The XML representation of setting groups:
{{{
[ x ]
...
[ x ]
...
}}}
All elements are optional;
a group can define some elements but not others.
If A and B are setting groups, the "overlay of A on B" is defined as
A together with any elements in B that are not defined in A.
== Prefs dictionary ==
External factors are stored in a "prefs dictionary",
which is a name -> value map.
The following entries are maintained by the BOINC client:
idle_time:: # seconds since last user input
time:: time of day
on_batteries:: system is running on batteries
app_name:: whether a given application is running
non_boinc_cpu_usage:: fraction of CPU used for non-BOINC apps recently
daily_xfer_mb_N:: number of MB of file transfer in last N days
on_ac_power:: system is running on AC power (Android)
on_usb_power:: system is running on USB power (Android)
wifi_online:: !WiFi network connection exists (Android)
user_active:: system thinks user is active (Android)
battery_charge:: battery charge level, 0..100 (Android)
battery_temperature:: battery temperature, Centigrade (Android)
In addition, external programs can add items to the dictionary,
and update their values, via GUI RPCs.
Hence the prefs system is extensible without modifying the client.
Values are doubles; Booleans are encoded as 0/1.
== Preference terms ==
Preferences are expressed in terms of "conditions" that are the conjunction
of a set of "terms".
Each term is an assertion about a dictionary item.
There are three types of assertions:
* "greater than": the value of the item is greater than a number X.
* "nonzero": the value of the item is nonzero (i.e. Boolean true)
* "time range": the value of the item (usually "time") lies in a set of day/week intervals.
* "app_running": an app of the given name is running
A term can also have a "not" flag, which if set reverses its sense.
The XML representation of a term:
{{{
- item-name
x // greater_than, nonzero, time_range, app_running
[x] // if greater than
[...] // if time range
}}}
The representation of a time range:
{{{
x
y
[
x // 0 .. 6
x
y
... other days of week
]
}}}
x and y are hours (0..24).
The first start/end apply to all days.
This is overwritten by day_of_week elements.
== Conditions ==
A "condition" is the conjunction ("and") of a set of terms, possibly negated.
XML format:
{{{
[]
...
...
}}}
The conjunction of an empty set of terms is true.
== Clauses ==
A "clause" is the combination of a condition and a dynamic setting group.
XML format:
{{{
...
...
}}}
== Preference sets ==
A "preference set" is a list of clauses.
XML format:
{{{
...
...
...
}}}
The semantics are as follows.
X is a dynamic setting group, initially empty.
The clauses are processed in order.
For each clause C, evaluate its condition.
If the condition is true, overlay X with C's dynamic settings.
At the conclusion, X is the dynamic settings to be enforced by the client.
== Example ==
The following says to use all the CPUs and 90% of the RAM if
there has been no user input in 3 minutes,
and to use 50% of the CPUs and 50% of the RAM otherwise:
{{{
50
.5
greater_than
- idle_time
180
100
.9
}}}