[cs615asa] Meetup Report

[Xinrui Bai]

Hi professor:

thanks for your meet up suggestion, I will talk about the two topics which
is introduced in this presentation:

(1)“Automating the Linux Kernel validation” which is introduced by Yannick
Brosseau.

The speaker says, At Facebook, people try to run the recent kernels at all
times, this is a good idea but the weakness is obvious, they should work
out a way to continuously validate these kernels.

In his presentation, he present the infrastructure of kernel testing which
is developed by their engineers and also show us the efforts they try to
improve their testing tools.

these tools includes:

Coccinelle

Gcc warnings

Kasan

Other debug compile options

with this tools, they can make the Linux Kernel to be more secure and more
stability.


(2) “Google on Dependency Traps and Gotchas” which is introduced by Silvia
Esparrachiari

In her speech, she show us a problem. When build up a server - client mode,
the server change messages with the client. In some mode, they divide the
client into two parts, the “front-end client” and the “back-end client”.

The server send message with the “front-end client” and the “front-end
client” do the same thing with the “back-end client”. When this mode become
complex, for example there are several servers, the structure just like a
graph.

She then pointed out a problem what she is now working on. If there is
something wrong, it is hard to debug in this mode. Every time she tries to
solve this problem, she just do backtracking which costs too much time. Now
she is trying to work out a better way to debug.

what I have learn:

For a good system, it has not only good efficiency but also good  security
and stability.

For each system, testing is an important part for us engineer to work on.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.stevens.edu/pipermail/cs615asa/attachments/20170504/1dfe165f/attachment.html>