Hi
user
Admin Login:
Username:
Password:
Name:
Linux-Kernel Memory Ordering: Help Arrives At Last!
--client
lca
--show
lca2017
--room plenary 12037 --force
Next: 12 Network Protocol Analysis for IoT Devices
show more...
Marks
Author(s):
Paul E. McKenney
Location
Plenary Hall
Date
jan Wed 18
Days Raw Files
Start
Jan. 18, 2017, 5:40 p.m.
First Raw Start
Jan. 18, 2017, 5:05 p.m.
Duration
0:45:0
Offset
0:34:56
End
Jan. 18, 2017, 6:25 p.m.
Last Raw End
Jan. 18, 2017, 6:35 p.m.
Chapters
00:00
0:26:00
Total cuts_time
49 min.
http://linux.conf.au/schedule/presentation/19/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
host
archive
tweet
mp4
svg
png
assets
release.pdf
LinuxKernel_Memory_Ordering_Help_Arrives_At_Last.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
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
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
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/
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
Raw File
Cut List
Jan. 18, 2017, 5:05 p.m.
seconds: 0.0
Wall: 17:05:04
Duration
00:29:59
Jan. 18, 2017, 5:35 p.m.
seconds: 0.0
Wall: 17:05:04
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
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
Raw File
Cut List
Jan. 18, 2017, 5:35 p.m.
seconds: 0.0
Wall: 17:35:04
Duration
00:30:00
Jan. 18, 2017, 6:05 p.m.
seconds: 240.0
Wall: 17:39:04
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
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
Raw File
Cut List
Jan. 18, 2017, 5:35 p.m.
seconds: 240.0
Wall: 17:39:04
Duration
00:30:00
Jan. 18, 2017, 6:05 p.m.
seconds: 0.0
Wall: 17:35:04
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
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
Raw File
Cut List
Jan. 18, 2017, 6:05 p.m.
seconds: 0.0
Wall: 18:05:04
Duration
00:30:00
Jan. 18, 2017, 6:35 p.m.
seconds: 1397.0
Wall: 18:28:21
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
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
Raw File
Cut List
Jan. 18, 2017, 6:05 p.m.
seconds: 1397.0
Wall: 18:28:21
Duration
00:30:00
Jan. 18, 2017, 6:35 p.m.
seconds: 0.0
Wall: 18:05:04
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2017-01-19/10_05_04.ts
2017-01-19/10_35_04.ts
2017-01-19/11_05_04.ts
Veyepar
Video Eyeball Processor and Review
