veyepar: Linux-Kernel Memory Ordering: Help Arrives At Last!

State:
Locked:	clear this to unlock
Locked by:	user/process that locked.
Start:	initially scheduled time from master, adjusted to match reality
Duration:	length in hh:mm:ss
Name:	Video Title (shows in video search results)
Emails:	email(s) of the presenter(s)
Released:	has someone authorised pubication
Normalise:
Channelcopy:	m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:	filename.png
Description:	It has been said that Documentation/memory-barriers.txt can be used to [frighten small children][1], and perhaps this is true. However, it is woefully inefficient. After all, there are a very large number of children in this world, and it would take a huge amount of time and effort to read it to all of them. This situation clearly calls out for automation, which has been developed over the past two years. An automated tool takes short fragments of C code as input, along with an assertion, and carries out the axiomatic equivalent of a full state-space search to determine whether the assertion always, sometimes, or never triggers. This talk will describe this tool and give a short demonstration of its capabilities. [1] http://lwn.net/Articles/575835/ markdown
Comment:	production notes

2017-01-19/10_05_04.ts Apply: 17:05:04 - 17:35:03 ( 00:29:59 ) S: 17:05:04 - E: 17:35:03 D: 00:29:59 show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/plenary/2017-01-19/10_05_04.ts :start-time=00.0 --audio-desync=0

2017-01-19/10_35_04.ts Apply: 17:35:04 - 17:39:04 ( 00:04:00 ) S: 17:35:04 - E: 18:05:04 D: 00:30:00 (End: 240.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/plenary/2017-01-19/10_35_04.ts :start-time=00.0 --audio-desync=0

2017-01-19/10_35_04.ts Apply: 17:39:04 - 18:05:04 ( 00:26:00 ) S: 17:35:04 - E: 18:05:04 D: 00:30:00 (Start: 240.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/plenary/2017-01-19/10_35_04.ts :start-time=0240.0 --audio-desync=0

2017-01-19/11_05_04.ts Apply: 18:05:04 - 18:28:21 ( 00:23:17 ) S: 18:05:04 - E: 18:35:04 D: 00:30:00 (End: 1397.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/plenary/2017-01-19/11_05_04.ts :start-time=00.0 --audio-desync=0

2017-01-19/11_05_04.ts Apply: 18:28:21 - 18:35:04 ( 00:06:43 ) S: 18:05:04 - E: 18:35:04 D: 00:30:00 (Start: 1397.0) show more...

vlc ~/Videos/veyepar/lca/lca2017/dv/plenary/2017-01-19/11_05_04.ts :start-time=01397.0 --audio-desync=0

Rf filename:	root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:	check and save to add this