~/talks

Daniel Bristot de Oliveira

what they talk about

all 10 in the filters

where they keep going back

all 10 in the filters

on a stage with

all 6 in the filters

who talks about the same things

titleconferencedate
rtla timerlat: Debugging Real-Time Linux Scheduling LatencyReal-Time Linux Summit 20242024-04-16
rtla timerlat is a kernel+userspace tool that measures and traces scheduling latency, decomposes spikes into irq, RQ and thread components, and produces a…
Talk on
Real-Time Linux: What Is Next?Real-Time Linux Summit 20242024-04-16
PREEMPT_RT work is essentially upstream now after an eight‑year effort with $5.7M raised and many features like high‑res timers, tracing and threaded IRQs…
Talk on
rtla timerlat: Debugging Real-Time Linux Scheduling LatencyEmbedded Open Source Summit 20242024-04-16
rtla timerlat is a kernel + userland tool that measures and traces scheduling latency with a few microseconds of overhead (minimum ~2 µs) and can stop and dump…
Talk on
Real-Time Linux: What Is N...Embedded Open Source Summit 20242024-04-16
PREEMPT_RT is largely upstream now after about $5.7M raised and years of backports work; high-resolution timers, tracing and threaded IRQs already mainline and…
Talk on
Welcome message and DL ServerLinux Plumbers Conference 20232023-11-13
A patch set implements a DL server that uses SCHED_DEADLINE to schedule an entire fair scheduler so FIFO/RT busy loops cannot starve CFS tasks, replacing…
Talk on
RTLA Requests and TODOsLinux Plumbers Conference 20232023-11-13
RTLA is a set of user-space binaries that measure scheduling latency and root‑cause it: a timerlot sampler flags latencies over ~30 µs and breaks them into…
Talk on
rtla timerlat: Debugging Real-time Linux Scheduling LatencyEmbedded Linux Conference (ELC) @ EOSS 20232023-06-27
rtla timerlat integrates a kernel tracer and a user-space front end to measure and decompose scheduling latency into IRQ vs thread split…
Talk on
RTLA Timerlat - the next step in scheduling latency analysisReal Time Linux Summit @ Embedded Open Source Summit 20232023-06-26
RTLA Timerlat is a combined kernel + userland tool that measures IRQ and thread latency split by doing most computation in-kernel to avoid excessive trace…
Talk on
RV: where are we?Linux Plumbers Conference 20222022-09-12
Runtime verification (RV) is now merged in mainline (6.0) as a tracing-based subsystem that runs automata as per-CPU C monitors generated by the tool dot2k…
Talk on
rtla: what is next?Linux Plumbers Conference 20222022-09-12
rtla provides a usable interface for kernel latency tracers and already ships a timerlat tracer that measures IRQ and thread latency (similar to cyclictest)…
Talk on
rtla osnoise: what is missing?Linux Plumbers Conference 20222022-09-12
An rtla/osnoise tracer runs a per-CPU busy-loop tracer that detects latency spikes by comparing time reads against a threshold, then correlates each spike with…
Talk on
RTLA: Real-time Linux Analysis ToolsetEmbedded Linux Conference @ Open Source Summit North America 20222022-06-21
RTLA ships kernel tracers (os_noise since 5.14, userland tool since 5.17) plus a C user-space front end that automates expert workflows, runs rtla os-noise and…
Talk on
A Maintainable, Scalable, and Verifiable SW Qualification Approach for Automotive in LinuxOpen Source Summit + Embedded Linux Conference + OSPOCon 20212021-09-27
Proposes a hybrid qualification approach that treats drivers or subsystems as ISO 26262 pre‑existing components (part 8.12) and verifies their integration with…
Talk on
Real-time Linux: what is next?DevConf.CZ 20212021-02-18
PREEMPT_RT is mainlined but work continues: a scheduling-latency formal model maps kernel events to variables and yields a pessimistic worst-case bound; a…
Talk on
May the Trust be with You: Empowering TrustZone-M with Multiple Trusted EnvironmentsBlack Hat Asia 20202020-09-29
Claim: TrustZone‑M’s dual-world model is too big and brittle, so a new microkernel splits an MCU into isolated multiple trusted worlds. Implementation: a 6 KB…
Talk on
SCHED_DEADLINE desiderata and slightly crazy ideasDevConf.CZ 20202020-01-24
Describes missing and in-development work for SCHED_DEADLINE: an RFC and patches for pressure inheritance to let mutex owners execute with donors’…
Talk on
Formal Verification Made Easy (and fast!)Open Source Summit Europe + Embedded Linux Conference Europe 20192019-10-28
Modeling PREEMPT_RT as synchronised automata produces a runnable verifier that moves from offline traces to an in-kernel checker translated from the formal…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.