201308-punter.png

FreeBSD Developer Summit

University of Cambridge Computer Laboratory Cambridge, UK August 24 - 28, 2013

The invitation-only FreeBSD Developer Summit took place at the University of Cambridge Computer Laboratory in Cambridge, UK between 24 and 28 August. Advanced registration was required.

Pictures

If you have taken any pictures during the devsummit please add your site's URL to the following list:

Schedule

We've posted a rough schedule on the DevSummit website. The general idea is that there will be social activities on Sunday August 25, then technical sessions on Monday, Tuesday, and Wednesday. Developers may want to arrive on Saturday August 24 or Sunday August 25, depending on their desire to go for a day-time social event on Sunday (trip to see the Technology Museum).

The main Devsummit room is FW11 (First floor, Northwest corner of the building); other rooms are available for break-out sessions and working groups. Due to a UK bank holiday on the Monday, you will need to be let into the building by a Devsummit organiser. On other mornings, you can go directly to the meeting room. Coffee will be provided prior to events starting at 10:00; lunch is at roughly 11:45 each day; we plan to conclude technical sessions at 17:00(ish). Lunch has been arranged (and is included in registration), and dinner bookings will be made (not included in your registration, except for the formal dinner on Tuesday). We will confirm dinner head counts each morning in order to size reservations suitably. William Gates Building floor maps can be found below.

Schedule

For an overview and dinner, please see https://bsdcam.cl.cam.ac.uk/ . Below is the un-conference-style session scheduling.

Monday 26th

Time

FW11

FW26

Breakout

10:00

Introductions, un-conference scheduling

11:15

FreeBSD Foundation

11:45

Lunch

12:40

Group Photo 1 in the Atrium

13:00

Toolchain, Build and pkgng

Documentation (or FW08)

14:45

Coffee

15:15

Ports & Packages

/dev/random, mitigation

17:00

Break

19:30

Dinner (see conference web site), count 25

Tuesday 27th

Time

FW11

FW26

Breakout

10:00

Embedded

Security

11:45

Lunch

13:00

Talklets

14:45

Coffee

15:15

Capsicum

17:00

Break

19:30

Dinner (see conference web site)

Talklets

Wednesday 28th

Time

FW11

FW26

Breakout

10:00

Network stacks

11:45

Lunch

13:00

pkgng

14:45

Coffee

DNS splits for package mirrors

15:15

TESLA

17:00

Break

19:30

Dinner

Brew House Discussions

(Obsolete) Notes

NetOS: x86 model PMC, lldb, Newcons, OCaml Not Wed: SAT + pkgng Tuesday: BIND, FreeBSD Foundation

Short Talks

We will have a couple of slots for short talks, to present your current work, brainstorm or ask for feedback on smaller items. Must not overlap with working groups.

Title

Speaker

Description

Slides,Notes

Viking

Johannes Lundberg

TESLA

JonathanAnderson

lldb

EdMaste

lldb-talklet.pdf

SAT solver for pkgng

VsevolodStakhov

Formal methods tools for systems programmers

WarrenHunt

Capsicum and Casper

PawelDawidek

/dev/random and relatives

MarkMurray

MI api-let to dmap RAM

CherryMathew

mmu_map.h

Working Groups

We can probably host 3 to 4 working group sessions each day. If you want to run a working group add yourself along with a topic to the table below. The working group sessions are intended for groups of people to collaborate or hack on a specific topic and attendees are expected to arrive prepared, which also means that the working group chair(s) should provide some material upfront. Feel free to create a sub-page detailing your session. Each working group chair is expected to present the results of the group on Wednesday. We will add scheduling and room information later (current information in Days column is a hint, not the final schedule!).

Working Group Topic

Working Group Chair(s)

Slides / Notes

Short Description

Goal

Days

TESLA verification tool

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

Documentation

GavinAtkinson

-

WG focusing on documentation, printed handbook, website

-

Monday afternoon

Capsicum

PawelDawidek

-

Working group to discuss Capsicum directions, including Casper

-

Tuesday

Networking

AdrianChadd (And 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

Future of DNS

BjoernZeeb

-

Future of DNS in 11, validating libraries, Capsicumising one of them, ...

Have a plan everyone agrees on

Monday early afternoon, Erwin to call in

Newcons

AleksandrRybalko

-

Features and problems on Newcons's way.

Mon or Tue

HW / Bluetooh LE support?

Johannes Lundberg

-

HW and drivers support for Macs and Bluetooth LE? (more a request than a session?)

OS course

RobertWatson?

-

Education / Teaching

pkgng

BaptisteDaroussin

-

General pkgng issues, Packaging base

Embedded

RobertWatson, BrooksDavis, AleksandrRybalko

-

General embedded TODO discussion, including bundling of FreeBSD for embedded targets such as CHERI and Raspberry PI; cross-packaging, imaging, and in-field updates.

Ports without gcc

DavidChisnall

-

Intensive hacking session to get the ports tree building with LLVM

Maps

Map of Cambridge, with the Computer Lab, accommodation, and pub to meet at on the first day, marked.

201308CambridgeDevsummitMap.pdf Downloadable PDF map of Cambridge and Developer Summit sites

William Gates Building

Floor plans are available here: Maps of the William Gates Building and surrounding area.

You are specially interested in the 1st floor (EU/UK counting: ground, 1st, 2nd), WGB 1st floor room map

Logistics

Cambridge, UK is located approximately 45 minutes North of London by train, with easy access by bus or train to St. Pancras International - Eurostar (45m rail), London Stansted Airport (40m rail), London Heathrow Airport (LHR - 2h rail), London Gatwick Airport (LGW - 2h rail), Manchester Airport (MIA - 4h rail), London Luton Airport (1h25m bus). European attendees may consider Eurostar or Stansted Airport preferred routes due to short transit time to Cambridge and lower prices. Visitors from the US or elsewhere will likely need to travel into one of London's major international airports, such as Heathrow or Gatwick. With the exception of Luton Airport, rail offers a more convenient but more expensive route to Cambridge than bus.

Please note: during the summer, rail service in and out of Cambridge is sometimes disrupted on Sundays due to rail works on the track between London Kings Cross and Cambridge. Attendees are encouraged to avoid the need to travel by rail on Sundays.

Lodging @ Sidney Sussex

The Front door is located on Sidney Street about 1/2 way between Jesus Lane & Sussex Street and looks like this:

DevSummit/201208/sidney_sussex_entrance_s.jpg

Bike Hire and Collection

We will make a group booking of bicycles. This will be £22.50 for the week. Getting around Cambridge on a bicycle is very easy - they haven't invented hills yet.

You will need to collect your bike from Station Cycles in the Grand Arcade (please see the map). Note that Station Cycles is on Corn Exchange Street around the back of the Grand Arcade, it can not be accessed from inside the shopping centre. You will also need to return your bike to Station Cycles before you leave Cambridge.

Station Cycles has a list of names of people who have booked bikes. Please make sure that you have something with you that can prove that you are one of these people. Unlike last year when we allowed you to pay for your bicycle at time of registration, you will need to simply pay Station Cycles when you pick up the bike.

There is some space on the college campus for parking, but possibly not enough for everyone. If you can't find space, the Park Street Cycle Park (marked on the map) has (covered) space for 200 bicycles and is about two minutes walk from the college.

Weekend activities

On Saturday night, we will convene at the Eagle around 19:00.

On Sunday, an afternoon walk to the Technology Museum to see steam engines has been organised. We will head to the Maypole in the evening. See bsdcam-attendees e-mail for details.

In case you are at loose ends, you might consider the following Cambridge activities:

If you want to do something near Cambridge and are willing to do rail/bus/car:

Or take a trip to London -- about 50 minutes by train -- where you might see the British Library, British Museum, Science Museum, Natural History Museum, Churchill War Rooms, Victoria and Albert Museum, Planetarium, Buckingham Palace, Tower of London, lots of gardens, houses, etc.

Network access

See email for details on WGB, eduroam, Lapwing. We will hand out "Lapwing tickets" during the opening session; these are preferred to the open WGB access point due to using JANET rather than a commercial DSL line. See http://www.ucs.cam.ac.uk/network/rules for University network access rules (AUP). Plan on bringing an Ethernet cable for possible wired access in your room (depending on accommodation).

Power

The UK uses British Standard 1363 fused plugs, see e.g. http://en.wikipedia.org/wiki/BS_1363, and is running at 230V/50Hz. Please bring a good, fused adapter, a UK power cable, .. for your digital equipment.

Munch, Munch

Breakfast

Available at your hotel or residence.

Lunches

Lunch will be provided on all days that there are DevSummit sessions (i.e. not the social day).

Dinner places

Dinners are not included in the registration or room fees. Cambridge is well-equipped with pubs and restaurants catering to a variety of tastes and budgets. We have organized the following:

Travel coordination

Registration is on the Cambridge Computer Laboratory website. The fee is £65, which covers the costs of lunches, badges, shirts, etc.

You can co-ordinate travel here:

Name

FreeBSD.org login

Arrival Date

Departure Date

JonathanAnderson

jonathan

local

local

GavinAtkinson

gavin

24th

28th

SofianBrabez

sbz

24th

28th

AdrianChadd

adrian

24th

29th

DavidChisnall

theraven

local

local

BaptisteDaroussin

bapt

24th

28th

BradDavis

brd

23rd

29th

BrooksDavis

brooks

11th

30th

PawelJakubDawidek

pjd

23rd

28th

DaichiGoto

daichi

24th

27th

VeniaminGvozdikov

vg

23rd

28th

IsabellLong

issyl0

24th

27th

EdMaste

emaste

8th

28th (07:55)

CherryMathew

cherry

-

-

MarkMurray

markm

local

local

GaborPali

pgj

local

local

AleksandrRybalko

ray

23rd

29th

DagErlingSmørgrav

des

24th

29th

HirokiSato

hrs

24th

29th

VsevolodStakhov

vsevolod

local

local

AndrewTurner

andrew

local

local

RobertWatson

rwatson

local

local

BjoernZeeb

bz

local

local

Developers are welcome to invite guests to attend the developer summit, subject to their tolerance for ceaseless hours of kernel-hacking, and availability of space at the venue.

Name

Host

Arrival Date

Departure Date

Piete Brooks

JonathanAnderson

local

local

RuslanBukin

AleksandrRybalko

22nd

29th

DavidDrysdale

RobertWatson

-

-

KhilanGudka

RobertWatson

local

local

WarrenHunt

RobertWatson

local

local

Maksym Ihnatenko

VsevolodStakhov

Evgeny Korovkin

VeniaminGvozdikov

23rd

28th

Johannes Lundberg

DavidChisnall

SamSmith

RobertWatson

local

local

Mariusz Zaborski

PawelJakubDawidek

23rd

28th


CategoryHistorical

DevSummit/201308 (last edited 2021-04-25T07:28:12+0000 by JethroNederhof)