Differences

This shows you the differences between two versions of the page.

--- devsummit:201308 [2013/08/27 12:21] – theraven
+++ devsummit:201308 [2021/04/25 07:28] (current) – Fix DevSummit links. JethroNederhof
@@ Line 4: / Line 4: @@
 University of Cambridge Computer Laboratory Cambridge, UK August 24 - 28, 2013
-The invitation-only [[/DevSummit|FreeBSD Developer Summit]] will take place at the [[http://www.cl.cam.ac.uk/|University of Cambridge Computer Laboratory]] in Cambridge, UK between 24 and 28 August.   Advanced registration is required.
+The invitation-only [[/DevSummit|FreeBSD Developer Summit]] took place at the [[http://www.cl.cam.ac.uk/|University of Cambridge Computer Laboratory]] in Cambridge, UK between 24 and 28 August.   Advanced registration was required.
-Registration is closed!
 ===== Pictures =====
@@ Line 42: / Line 40: @@
 | 13:00 | Talklets |||
 | 14:45 | Coffee |||
-| 15:15 | Capsicum |  |  |
+| 15:15 | [[DevSummit/201308/Capsicum|Capsicum]] |  |  |
 | 17:00 | Break |||
 | 19:30 | Dinner (see conference web site) |||
@@ Line 48: / Line 46: @@
 == Talklets ==
-  * 13:00 **PMC**, //Adrian Chadd// [[https://wiki.freebsd.org/AdrianChadd/ProfilingNotes|Notes]]: PMC is the %%FreeBSD%% framework for exposing performance monitoring counters.  This talk will focus on the Sandy Bridge micro-architecture and how the performance counters work, how intel suggests approaching performance monitoring and, how you drive the PMC framework.
+  * 13:00 **PMC**, //Adrian Chadd// [[AdrianChadd/ProfilingNotes|Notes]]: PMC is the %%FreeBSD%% framework for exposing performance monitoring counters.  This talk will focus on the Sandy Bridge micro-architecture and how the performance counters work, how intel suggests approaching performance monitoring and, how you drive the PMC framework.
-  * 13:20 **OCaml and Objective-C / Smalltalk in the %%FreeBSD%% Kernel**, //Gabor Pali// / //Krystof Vasa//: This talk will cover putting non-traditional languages into kernel space and the challenges associated with making them interoperate with code with strict constraints on latency, locking, and so on.
+  * 13:20 **OCaml and Objective-C / Smalltalk in the %%FreeBSD%% Kernel**, //Gabor Pali// {{devsummit/201308/mirage-kfreebsd.pdf?linkonly|[slides}}] / //Krystof Vasa//: This talk will cover putting non-traditional languages into kernel space and the challenges associated with making them interoperate with code with strict constraints on latency, locking, and so on.
-  * 13:40 **LLDB**, //Ed Maste//: An overview of the new debugger, developed as part of the LLVM project, that Ed Maste has been porting to %%FreeBSD%% and plans for integration into the %%FreeBSD%% base system.
+  * 13:40 **LLDB**, //Ed Maste// {{devsummit/201308/lldb-talklet.pdf?linkonly|slides}}: An overview of the new debugger, developed as part of the LLVM project, that Ed Maste has been porting to %%FreeBSD%% and plans for integration into the %%FreeBSD%% base system.
   * 14:00 **Newcons**, //Aleksandr Rybalko//: Newcons going to be a modern replacement for current ageing %%FreeBSD%% console (introduced in 1999). It brings UTF-8 support at a console level. It's going to be KMS aware; the kernel can draw messages into screen without switching video modes set by Xorg. And hopefully will reduce the amount of Xorg video drivers, at least for basic drawing support.
-  * 14:20 **x86 Model**, //Warren Hunt//: Presentation of formal specification of the X86 using ACL2.  Presentation of X86 binary verification.  Discussion of what properties developers would like to specify and verify.
+  * 14:20 **x86 Model**, //Warren Hunt// {{devsummit/201308/warren-hunt-slides.pdf?linkonly|slides}}: Presentation of formal specification of the X86 using ACL2.  Presentation of X86 binary verification.  Discussion of what properties developers would like to specify and verify.
 === Wednesday 28th ===
 ^ Time ^ FW11 ^ FW26 ^ Breakout ^
-| 10:00 | Network stacks |  |  |
+| 10:00 | [[DevSummit/201308/Networking|Network stacks]] |  |  |
 | 11:45 | Lunch |||
-| 13:00 | pkgng |  |  |
+| 13:00 | [[DevSummit/201308/pkgng|pkgng]] |  |  |
-| 14:45 | Coffee |||
+| 14:45 | Coffee || [[DevSummit/201308/PkgNGDNS|DNS splits for package mirrors]] |
 | 15:15 | TESLA |  |  |
 | 17:00 | Break |||
-| 19:30 | Dinner (see conference web site) |||
+| 19:30 | Dinner || Brew House Discussions |
 === (Obsolete) Notes ===
@@ Line 92: / Line 90: @@
 ^ Working Group Topic ^ Working Group Chair(s) ^ Slides / Notes ^ Short Description ^ Goal ^ Days ^
 | TESLA verification tool | [[/JonathanAnderson|JonathanAnderson]] | - | TESLA allows temporal assertions to be used with the %%FreeBSD%% kernel; attend this session to learn about TESLA and give it a try on your own kernel. | Promote and experiment with TESLA, seek developer feedback. | Monday |
-| [[201308DevSummit/Documentation|Documentation]] | [[/GavinAtkinson|GavinAtkinson]] | - | WG focusing on documentation, printed handbook, website | - | Monday afternoon |
+| [[DevSummit/201308/Documentation|Documentation]] | [[/GavinAtkinson|GavinAtkinson]] | - | WG focusing on documentation, printed handbook, website | - | Monday afternoon |
 | Capsicum | [[/PawelDawidek|PawelDawidek]] | - | Working group to discuss Capsicum directions, including Casper | - | Tuesday |
 | Networking | [[/AdrianChadd|AdrianChadd]] (And [[/RobertWatson|RobertWatson]] ?) | - | Network stack parallelism work (EMC/Netflix) - mbuf allocation improvements, TCP lock handling for TX (userland->send, timer) versus RX (TCP ACK -> trigger TCP), PCBGROUPs with TX/RX RSS logic; lock overheads versus TSO/LRO; general profiling | A rough plan of action to submit to the community for comments | Tuesday |
@@ Line 124: / Line 122: @@
 The Front door is located on Sidney Street about 1/2 way between Jesus Lane & Sussex Street and looks like this:
-{{201208DevSummit/sidney_sussex_entrance_s.jpg}}
+{{devsummit/201208/sidney_sussex_entrance_s.jpg}}
 ==== Bike Hire and Collection ====
@@ Line 194: / Line 192: @@
   * [[http://www.sid.cam.ac.uk/|Sidney Sussex College Web Page]]
-  * [[/201308DevSummit|2013 Cambridge DevSummit Wiki Page]]
+  * [[DevSummit/201208|2012 Cambridge DevSummit Wiki Page]]
-  * [[/200808DevSummit|2008 Cambridge DevSummit Wiki Page]]
+  * [[DevSummit/200808|2008 Cambridge DevSummit Wiki Page]]
   * [[http://www.visitcambridge.org/|Visit Cambridge]]
@@ Line 245: / Line 243: @@
 | [[/SamSmith|SamSmith]] | [[/RobertWatson|RobertWatson]] | local | local |
 | Mariusz Zaborski | [[/PawelJakubDawidek|PawelJakubDawidek]] | 23rd | 28th |
+----
+{{tag>Historical}}