← Back
Home › Systems › Operating systems and runtimes

mobile-os

mobile operating system

Android, iOS

SystemTechniques · 27Primitives · 82 mobile-os Generational garbage collectioncompilers · medium: Split the heap by age, collect the small young region often and cheaply, and rarely touch old data; wins whenever most objects die young.›Profile guided optimizationcompilers · medium: Collect execution profiles (instrumented or sampled) to drive inlining, layout and AOT decisionsDeterministic simulation testingdistributed · medium: Run the whole system in one thread under a seeded scheduler with simulated network, disk and clock, so every failure replays from its seed.›Primary-backup replicationdistributed · medium: One node orders all writes and ships them to standbys; the acknowledgement rule (none, one, all) sets what a crash loses, and an external arbiter decides who takes over.›Layer compositinggraphics · medium: Composite retained layers or surfaces on the GPU; overlay planes, opacity and transformsCapability ipchardware-os · medium: Kernel IPC with transferable handles (Binder, Mach ports): object references, death notices, thread poolsHeterogeneous core schedulinghardware-os · medium: Big.LITTLE and P/E core scheduling: energy models, utilization clamping, task migrationShared memory ipcconcurrency · low: Shared memory rings and futex signalling between processesPower management dvfshardware-os · low: DVFS governors, P- and C-states, race-to-idle, thermal throttlingHdr histogramdata-structures · low: Log-linear bucketed histograms with bounded relative error for latency percentilesVsync frame pacinggraphics · low: Vsync, swapchain presentation modes, frame pacing, latency and variable refreshCopy-on-write forkhardware-os · low: fork() gives the child the parent's whole address space by sharing pages read-only and copying one only when someone writes it; vfork and posix_spawn skip even that.›Process supervisionhardware-os · low: A parent process starts services, reaps their exits and restarts them under a delay and burst-limit policy, then stops them with SIGTERM before SIGKILL.›AEAD (AES-GCM, ChaCha20-Poly1305)security · low: Authenticated encryption that encrypts and detects tampering in one call; the only kind of symmetric encryption you should use.›Authorization models (RBAC, ABAC, R…security · low: How to decide who may do what to which object; roles for coarse rules, relationships for sharing, and checks on every object.›Hardware backed keystoresecurity · low: Non-exportable keys in Secure Enclave, StrongBox, TPM: generation, use policies, biometric gatingMutual TLSsecurity · low: TLS where the client also proves a certificate key, so every connection carries a verified, rotatable machine identity.›Secure boot chainsecurity · low: Each boot stage verifies the signature of the next before running it, anchored in an immutable ROM key hash, with version counters against downgrade and a TPM log of what ran.›Graceful drainingsystems · low: On a termination signal, stop taking new work, finish in-flight work until a deadline, tell clients to reconnect elsewhere, then exit; clients resume from a token.›Mark-sweep garbage collectioncompilers · low: Find everything reachable from the roots, free the rest in place; handles cycles, never moves objects, and is the base of most production collectors.›Dirty page trackinghardware-os · low: Write-protection or PML logs of modified guest/process pagesCode coverage instrumentationcompilers · low: Insert counters into compiled code to record which blocks, edges or lines ran; a spanning tree of the control-flow graph cuts the counters needed.›Control-flow graphcompilers · low: Split a linear instruction list into basic blocks and connect them by jumps; the graph every optimizer, SSA builder and dataflow pass walks.›+ 20 more techniques+ 66 more primitives

Similar systems

Share the most building blocks with this one.

In-house systems

Named systems of this kind at large companies, with their paper or write-up.