Daniel Bristot de Oliveira @bristot Twitter profile

Last Seen Profiles

@stw46

@doki_od

@Luispalaci85143

@HeaSexygirl

@bullett_scott

@stwmaniax

@donche_o

@artsynellyyy

@galery_basah10

@SamRegionDEA

@TerrellCarter8

@WeiDa96

@heisthorn

@m4hvm

@BinorRaja

@Zodiac4283

@RadLasPalmas

@ro_ta55260

@hussammarwa2

@leletumbles

@thaarealbabyK

@Inah_Inih_Loh

@BallState

@RealMollychan

@PaletaNoe57348

@officalGAA

@penyukastw21

@PriestxKing

@zilluerind

@GElihm

@vjaewook

@officalGAA

@bngxrm809039971

@cdlowe1975

@Tua

Daniel Bristot de Oliveira

@bristot

2 years

And now Linux has a Runtime Verification Interface! Merged for Linux v6.0 (or 5.20?)!

10

90

507

Daniel Bristot de Oliveira

@bristot

3 years

And now Linux has a Real-Time Linux Analysis (RTLA) tool! Find out more here ->

3

61

210

Daniel Bristot de Oliveira

@bristot

3 years

Promoted to Senior Principal Software Engineer!

19

0

170

Daniel Bristot de Oliveira

@bristot

3 years

it is worth the screenshot, as it is not every day that you have 3500 lines of original work merged into Linux...

3

5

150

Daniel Bristot de Oliveira

@bristot

4 years

I am glad to announce that my thesis was approved, and I have completed my Ph.D. at @UFSC and @SantAnnaPisa supported by @Redhat ! Thank you all!

9

1

74

Daniel Bristot de Oliveira

@bristot

3 years

The Runtime Verification (RV) interface (for the Linux kernel): v0 ->

2

17

64

Daniel Bristot de Oliveira

@bristot

2 years

Here is the *Operating System Noise in the Linux Kernel* paper published by IEEE Transactions on Computers Journal. @RedHat @SantAnnaPisa

1

18

60

Daniel Bristot de Oliveira

@bristot

5 years

Everybody loves systemd!

6

7

60

Daniel Bristot de Oliveira

@bristot

3 years

new blog post: Using perf probe to measure execution time of user-space code on Linux ->

1

24

60

Daniel Bristot de Oliveira

@bristot

2 years

I see linux commands...

1

52

Daniel Bristot de Oliveira

@bristot

2 years

1

5

49

Daniel Bristot de Oliveira

@bristot

5 years

My PhD advisors said: OK! Ready to be submitted!

2

0

49

Daniel Bristot de Oliveira

@bristot

4 years

For a long time, the primary real-time Linux metric was tagged as a "mystery," mainly by researchers. But that time is over! Here is the paper in which my colleges and I demystify it using math (obviously). Check it out here:

0

18

47

Daniel Bristot de Oliveira

@bristot

3 years

Hey mom, I am on ! :-)

LWN.net

@lwnnet

3 years

[$] The runtime verification subsystem

0

1

9

2

3

46

Daniel Bristot de Oliveira

@bristot

3 years

Philosophiae doctor.

10

0

40

Daniel Bristot de Oliveira

@bristot

5 years

"A Thread Synchronization Model for the PREEMPT_RT Linux Kernel " Dear Mr Bristot de Oliveira, Thank you for submitting your manuscript to Journal of Systems Architecture. I am pleased to inform you that your manuscript has been accepted for publication. /me opens a beer.

4

1

37

Daniel Bristot de Oliveira

@bristot

5 years

Promoted to Principal Software Engineer! I know that our field is full of examples of people that abandoned their studies and had a success full career. But it is worth saying: the master's made me a Senior, and Ph.D. made me a Principal. If you like studying, do it!

4

2

32

Daniel Bristot de Oliveira

@bristot

2 years

"Congratulations! I am pleased to inform you that your paper has been accepted with no further changes as a regular paper in an upcoming issue of the IEEE Transactions on Computers." That is the paper about the osnoise tracer and rtla!

1

30

Daniel Bristot de Oliveira

@bristot

3 years

Let me know if you are interested in a Ph.D. program with a focus on eBPF and security! ->

Doctoral student in Computer Science, BPF Security and Safety in Linux

Description The Department of Mathematics and Computer Science at Karlstad University, Sweden, is now accepting applications for a doctoral studentship leading to a PhD with a specialisation in BPF se

kau.varbi.com

2

13

28

Daniel Bristot de Oliveira

@bristot

4 years

Dealing with schedule conflicts in the @linuxplumbers conference: sched and kernel dependability and assurance MCs all at once!🤯

0

1

28

Daniel Bristot de Oliveira

@bristot

4 years

:-)

6

0

26

Daniel Bristot de Oliveira

@bristot

4 years

And here are the slides of my #LinuxPlumbers talk: The talk is based on the results of this paper: Have fun :D

0

2

27

Daniel Bristot de Oliveira

@bristot

8 months

10 years at Red Hat! And to celebrate, here's a screenshot I did around 20 years ago to show that the red hat was a teen dream. I was 17 when I took the screenshot in early 2004. This was one of my first "programs," a shell script to compile things from source (with a menu!).

5

0

27

Daniel Bristot de Oliveira

@bristot

5 years

My journal paper "A thread synchronization model for the Linux Kernel" is finally online! More about it here:

4

11

25

Daniel Bristot de Oliveira

@bristot

4 years

"Hello Daniel, On behalf of the Linux Plumbers Program Committee, I am pleased to inform you that your submission entitled "A theorem for the RT scheduling latency (and a measuring tool too!)" has been accepted into the refereed track of the Linux Plumbers Conference!"

0

2

26

Daniel Bristot de Oliveira

@bristot

3 years

Not every day! mostly due to tools/tracing/rtla merge. ->

0

25

Daniel Bristot de Oliveira

@bristot

2 years

Finished submitting all my @linuxplumbers proposals! What are you waiting for!

1

7

25

Daniel Bristot de Oliveira

@bristot

5 years

Here is is the companion page of my last paper: "Efficient Formal Verification for the Linux Kernel" (hey @phoronix , this is the paper I used your benchmarking suite)

0

9

24

Daniel Bristot de Oliveira

@bristot

2 years

Making research reality at @RedHat

Linux kernel 6.0 includes a runtime verification subsystem from Daniel Bristot de Oliveira - Red...

Red Hat Research’s Dr. Daniel Bristot de Oliveira continues to deliver practical improvements to the Linux kernel, this time with the addition of the Runtime Verification subsystem to the Linux...

research.redhat.com

1

6

24

Daniel Bristot de Oliveira

@bristot

3 years

Here is my first talk about the just added osnoise kernel tracer at @P99CONF ! #p99conf

0

7

22

Daniel Bristot de Oliveira

@bristot

6 months

Making it happen!

2

1

20

Daniel Bristot de Oliveira

@bristot

5 years

Here we go again @linuxplumbers ! IMHO, the best conf!

0

1

18

Daniel Bristot de Oliveira

@bristot

3 years

In some minutes, I will be talking about the osnoise tracer at #P99conf ! join @P99CONF and check it out!

1

4

19

Daniel Bristot de Oliveira

@bristot

2 years

Find the error: # git send-email --to="Steven Rostedt --dry-run <rostedt @goodmis .org>" *

2

1

19

Daniel Bristot de Oliveira

@bristot

4 years

Ph.D. defense: 90 slides for 30 minutes... speed level: @srostedt like.

2

0

19

Daniel Bristot de Oliveira

@bristot

5 years

It is a different feeling, seeing it in the paper, inside a book. @SantAnnaPisa @UFSC and @RedHat

1

4

19

Daniel Bristot de Oliveira

@bristot

5 years

I like to do research, to write papers, and all the things involved. But when I start writing code... yeah... it is different... it is more than just liking doing something... it is like playing.

0

18

Daniel Bristot de Oliveira

@bristot

3 years

eight years at @redhatopen , thanks for supporting my personal growth!

0

1

18

Daniel Bristot de Oliveira

@bristot

2 years

Should I C or should I Rust?

7

0

17

Daniel Bristot de Oliveira

@bristot

6 years

@gabrieljesus33 Ta mirando na orelha de quem?

0

18

Daniel Bristot de Oliveira

@bristot

3 years

In 2008 I moved from tcsh (FreeBSD) to bash (Linux). After 14 years I am moving to another shell: zsh... so far so good.

2

0

18

Daniel Bristot de Oliveira

@bristot

2 years

My main influencer (my dad) is fighting against recurrent cancer and did a complex surgery yesterday. He has a positive personality and faces things with a winning soul. But it is never easy for any of us.

A Vida do Viajante

Provided to YouTube by Sony BMG Music EntertainmentA Vida do Viajante · Luiz Gonzaga · GonzaguinhaBaião de Dois℗ 1979 SONY MUSIC ENTERTAINMENT BRASIL LTDA.Re...

www.youtube.com

5

0

17

Daniel Bristot de Oliveira

@bristot

4 years

I am restoring an old photo of my father. Ford gave him an award for running 800.000km without "opening" the motor. I was five yo at that time and it was the realization "of my father is my hero." The original is pretty damaged, but... it is working.

1

0

17

Daniel Bristot de Oliveira

@bristot

5 years

"On behalf of the Linux Plumbers Program Committee, I am pleased to inform you that your submission entitled "Formal verification made easy (and fast)!" has been accepted into the refereed track of the Linux Plumbers Conference!" 🎉🎉🎉🎉🎉

0

2

17

Daniel Bristot de Oliveira

@bristot

3 years

It just came to my mind that... it's been 20 years since I installed the Conectiva Linux 8 and Red Hat 8 for the first time. 20 years using Linux!

1

0

17

Daniel Bristot de Oliveira

@bristot

5 years

Here are the slides of my presentation at @sefm_conf :

0

4

17

Daniel Bristot de Oliveira

@bristot

3 years

Networking is all set at the new house: fiber, two wifi6 in mesh, and 5g as backup, boosted with 2x Pfizer!

1

0

16

Daniel Bristot de Oliveira

@bristot

4 years

I am glad to share here that I will be speaking at Embedded Linux Conference Europe 2020. #lfelc

1

16

Daniel Bristot de Oliveira

@bristot

5 years

Thomas in the Q&A about RT patch set @linuxplumbers ! I never saw so many people in a RT session!

0

3

16

Daniel Bristot de Oliveira

@bristot

5 years

⏱️ Here is the Real-time Linux Summit 2019 Schedule🐧 ---->

4

5

16

Daniel Bristot de Oliveira

@bristot

3 years

2008 backup CD .iso: Brazilian's FreeBSD User Group t-shirt!

3

0

15

Daniel Bristot de Oliveira

@bristot

3 years

The scheduler microconference was accepted at the @linuxplumbers !

Linux Plumbers Conference 2021

20-24 September,Virtually The Linux Plumbers Conference is the premier event for developers working at all levels of the plumbing layer and beyond. LPC 2021 will be held virtually (like in 2020). We...

lpc.events

0

6

15

Daniel Bristot de Oliveira

@bristot

2 years

rtla timerlat auto analysis PoC....

1

15

Daniel Bristot de Oliveira

@bristot

4 years

And here are the slides of my talk at the Embedded Linux Conference 2020 #lfelce :

0

3

15

Daniel Bristot de Oliveira

@bristot

3 years

And here is my talk at p99!

OSNoise Tracer: Who Is Stealing My CPU Time?

Daniel Bristot de Oliveira (Red Hat) explores operating system noise (the interference experienced by an application due to activities inside the operating system).

www.p99conf.io

1

4

15

Daniel Bristot de Oliveira

@bristot

4 years

Preparing a video presentation for my paper at @ECRTS 2020!

1

15

Daniel Bristot de Oliveira

@bristot

2 years

and here are the slides of my RTLA: Real-time Analysis Toolset talk at ELC 2022 in Austin!

1

4

14

Daniel Bristot de Oliveira

@bristot

5 years

Here are the slides of my presentation at @KernelRecipes ! #kr2009

1

7

14

Daniel Bristot de Oliveira

@bristot

3 years

3rd shoot was done two hours ago, and my 5g provider and bill gates already unlocked the feature that allows me felling the smell from video calls made using Microsoft Skype. WOW!

3

0

14

Daniel Bristot de Oliveira

@bristot

2 years

It just came to my mind that it was in 2002 when I first heard about Linux and started using it. So it is about *20 years* of Linux to me.

1

2

14

Daniel Bristot de Oliveira

@bristot

5 years

I just published all the slides used in the RTLS2019 in the schedule! here it is: Many thanks for all the people involved! @pdp7 @srostedt @saruspete @_kate_stewart

1

8

14

Daniel Bristot de Oliveira

@bristot

4 years

Here is the CFP for the Real-Time Micro Conference (RT-MC) at the Linux Plumbers 2020: Submit your proposal!

0

4

13

Daniel Bristot de Oliveira

@bristot

5 years

We are @RedHat week! Red Hatters from Pisa - Italy having a pizza!

0

13

Daniel Bristot de Oliveira

@bristot

3 years

Me, vacations 2021.

1

0

13

Daniel Bristot de Oliveira

@bristot

3 years

And here is the demo of rtla tool I will show today at the Real-Time Micro-conference at @linuxplumbers :

0

2

13

Daniel Bristot de Oliveira

@bristot

1 year

"Dear Daniel Bristot de Oliveira, This is an automated message to confirm that we have accepted your proposal "Real-time and Scheduling MC". Abstract title: Real-time and Scheduling MC Abstract track: LPC Microconference Proposals!"

1

0

13

Daniel Bristot de Oliveira

@bristot

2 years

$ sudo dnf install rtla Available now on @fedora

0

2

12

Daniel Bristot de Oliveira

@bristot

2 years

All slides for @linuxplumbers are ready! It's time to pack!

0

12

Daniel Bristot de Oliveira

@bristot

3 years

I have just updated @fedora kernel to 5.14... and look what we have?! timerlat and osnoise enabled by default!

0

1

12

Daniel Bristot de Oliveira

@bristot

6 years

I think I already said, but: the best decision of my life was continue studying... Job titles come and go, companies come and go, but my education will be with me until the end.

1

0

10

Daniel Bristot de Oliveira

@bristot

2 years

1

12

Daniel Bristot de Oliveira

@bristot

5 years

Meanwhile, in italy.

3

0

11

Daniel Bristot de Oliveira

@bristot

3 years

And here we go again, task 4/5: talk in the refereed track of @linuxplumbers starting in 30 min.

1

12

Daniel Bristot de Oliveira

@bristot

3 years

I will be part of the 28th IEEE @RTASConf 2022 TPC! /me is glad to represent the real-time linux community there.

0

2

12

Daniel Bristot de Oliveira

@bristot

5 years

backup level: the thesis is stored in two different clouds, with backup in the NAS (two HDs in RAID) with backup. The thesis also compiles in two different PCs, to be sure I am adding all files to the git repo 😂 Yes, I was a sysadmin in the past 😂 #sysadminparanoid

4

0

12

Daniel Bristot de Oliveira

@bristot

5 years

Tem como criar um filtro pra não ver nada sobre política?

3

1

11

Daniel Bristot de Oliveira

@bristot

4 years

This year, the Real-time Linux Summit will take place virtually as part of the @linuxfoundation Embedded Linux Conference Europe. The call for proposal is open ->

0

3

11

Daniel Bristot de Oliveira

@bristot

5 years

Then you receive an email with: "Notice of approval of application to defend the thesis."....

1

0

11

Daniel Bristot de Oliveira

@bristot

3 years

Today was the first day that I commuted from the new house to the CNR/Sant'Anna/Retis (AKA laboratory). Door to door, it took me 20 min in a regular day at regular speed. Good!

0

11

Daniel Bristot de Oliveira

@bristot

5 years

The end is near....

1

0

11

Daniel Bristot de Oliveira

@bristot

11 months

All slides are ready for @linuxplumbers ! Time to pack!

1

11

Daniel Bristot de Oliveira

@bristot

7 years

The slides of my Presentation about SCHED DEADLINE at @linuxplumbers are here:

1

3

11

Daniel Bristot de Oliveira

@bristot

5 years

Red Hat Research Day - Europe - 2020! #rhresearch @RedHatEvents @SantAnnaPisa

0

1

11

Daniel Bristot de Oliveira

@bristot

2 years

rtla timerlat auto analysis was merged! With this, the tool will not only give a trace output but parse and interpret it, pointing to the root cause for a bad scheduling latency result.

Daniel Bristot de Oliveira

@bristot

2 years

rtla timerlat auto analysis PoC....

1

15

0

1

10

Daniel Bristot de Oliveira

@bristot

3 years

the bare minimum/basic relocation to the new house is done! get back to work tomorrow... tons of emails... but I am glad that now I will be working from (my own) home!

2

0

10

Daniel Bristot de Oliveira

@bristot

5 years

The Godfather! @srostedt !

0

1

10

Daniel Bristot de Oliveira

@bristot

3 years

Do I see new tracers coming?

2

1

10

Daniel Bristot de Oliveira

@bristot

5 years

Guess who is using the @phoronix test suite for a paper (again)? I hope it gives me the same luck as it did before!

3

2

10

Daniel Bristot de Oliveira

@bristot

2 years

That is what I wanted with RTLA! The user complains about a regression on the PREEMPT_RT: email 1: I told the user about how to install rtla email 2: use sends traces; email 3: maintainer replies with the culprit; email 4: user finds the correct setup!

0

3

10

Daniel Bristot de Oliveira

@bristot

5 years

travel organization: @linuxplumbers ✔️ @sefm_conf ✔️ @KernelRecipes ✔️ Phew! September will be a long month! But I like things in this way :-)

1

0

10

Daniel Bristot de Oliveira

@bristot

3 years

If you could not attend LPC, here is the Live stream of the Scheduler Microconference! ->

LPC 2021 - Scheduler MC

Linux Plumbers Conference 2021

www.youtube.com

1

7

10

Daniel Bristot de Oliveira

@bristot

4 years

And here are the recordings of the real-time micro conference at the Linux Plumbers 2020!

LPC 2020 - Real-time MC

Linux Plumbers Conference 2020

www.youtube.com

0

4

10

Daniel Bristot de Oliveira

@bristot

8 months

Still the most popular paper at @IEEEorg Transactions on computer

0

1

7

Daniel Bristot de Oliveira

@bristot

1 year

man read q man 2 read

0

1

9

Daniel Bristot de Oliveira

@bristot

3 years

I am glad to inform y'all that the real-time microconference was accepted at the @linuxplumbers ! More information available here:

0

9

Daniel Bristot de Oliveira

@bristot

3 years

Running rtla osnoise experiments at home during the winter is a very efficient way to keep the house warm, but it is not that efficient energy-wise😅💸💸💸.

1

0

9

Daniel Bristot de Oliveira

@bristot

6 years

Five years at @RedHat , time flies when we are doing the things we love, no?

0

9

Daniel Bristot de Oliveira

@bristot

3 years

Check out the latest Red Hat Research Quarterly, also featuring my last article of the trilogy: Modeling, verifying, and proofing the predictability of the real-time Linux kernel (PREEMP_RT) scheduling latency! Digital version here: