2016 Cambridge DevSummit ('BSDCam')

The 2016 Cambridge DevSummit was scheduled for 15–17 August. Registration was at bsdcam.cl.cam.ac.uk. You can also find a city map, building floor plans, and overall schedule on the BSDCam website. Please also add yourself (and your guests) to the attendee list below, and be sure to add potential discussion/presentation topics for sessions you might be interested in participating in. The event is run "un-conference style" in that we brainstorm the actual session schedule on the first morning, with a focus on interactive topics that reflect the interests and exploit the knowledge of the attendees -- but there's also room for traditional talks, etc. There are plenty of break-out rooms for small groups to meet as they see fit.

Registration

Please register here: bsdcam.cl.cam.ac.uk

Group Photo

Schedule

The schedule has been posted on the DevSummit website.

The main Devsummit room is FW11 (First floor, Northwest corner of the building); other rooms are available for break-out sessions and working groups. Coffee will be provided prior to events starting promptly at 10:00; lunch is at roughly 12:00 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 -- details the formal dinner will follow). We will confirm dinner head counts each morning in order to size reservations suitably. Note that the Tuesday-night dinner required an advanced RSVP, and no further seats are available. William Gates Building floor maps can be found below.

Sun

Mon A

Mon B

Tue A

Tue B

Wed A

Wed B

AM

Brainstorming

-

Networking

Toolchain

Capsicum, IPC

Documentation

PM1

CCH

Energy Awareness

Be less wrong! / Testing

Tracing

-

Ports, packages

Teaching

PM2

Status, talks, arch

?

Provisioning

Security, ABIs

Wrap-up

-

Evening

The Maypole

Wildwood

Devsummit Dinner

La Mimosa

Hacker Lounge

-

Churchill College Bar

Centre for Computing History

Anyone in Cambridge on the Sunday afternoon is welcome to join us on a trip to the Centre for Computing History. We will be meeting at The Cambridge Brew House between 13:30 and 14:15, then walking down at 14:30.

The entrance fee is £8.

Contact AndrewTurner for more details.

Map of approximate route

Meals

Coffee and lunch will be served in room FW09 adjacent to the main developer summit room, FW11.

Coffee, tea, and a few light breakfasty things will be available from 9:30-10:00 each morning, alongside registration, prior to the 10:00 start (please arrive on time!). Catered lunches are covered by your registration fee.

The back room of The Maypole has been booked from 6pm on Sunday. This dinner is not included in your registration fee.

Dinner on Monday will be at Wildwood on Bridge Street. This dinner is not included in your registration fee. A headcount will be taken on Monday morning. Because of the size of our group, we will ask you select a main course on Monday morning from their fixed menu: wildwood-set-menu.pdf.

The Devsummit Dinner is on Tuesday evening in the Fellows Dining Room at Churchill College. This dinner is included in your registration fee; guests are £40. All Devsummit Dinner seats have now been allocated. Some devsummit attendees will choose to dress more formally for this event, but doing so is not obligatory.

Dinner on Wednesday will be at La Mimosa. This dinner is not included in your registration fee. A headcount will be taken on Wednesday morning.

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. Please add your talk suggestions here:

Title

Speaker

Description

Slides, Notes

Status of Clang Enabled MIPS/MIPS64 Build

SeanBruno

Current status and discussion

TBD

The Sordid Tale and Status of Tier-2 Packages

SeanBruno

Demo of build and suggestions to fix cross-tool chains

TBD

Automating FreeBSD deployment with Cobbler

BruceSimpson

How we built a FreeBSD/Linux protocol lab

bsdcam-bms-cobbler.pdf

Userland: Features & Fixes, Missing or Present

SevanJaniyan

Intro & status of attempting to fill gaps in userland

TBD

libifconfig: Short introduction & brainstorm

MarieHeleneKvello-Aune

A library aiming to implement most features of ifconfig(8)

Summary of brainstorming

WIP: Huginn-TCP: TCP/IP Testing

HannesMehnert

Huginn-TCP is a TCP/IP model and test suite, based on Network Semantics, which was validated with FreeBSD 4.6 (and Windows XP, Linux 2.4.20). Huginn-TCP is a major redesign of the test suite and data collection, now using DTrace.

TBD

eBPF

LucianCarata

A roundup of the architectural design, main features and usecases of Extended Berkeley Packet Filters in Linux

eBPF slides

Resourceful: application-guided tracing

LucianCarata

A tracing architecture for understanding performance variation, with a focus on event-based applications

Resourceful slides

RISC-V progress

RuslanBukin

RISC-V port updates, current status and plans

freebsd-riscv.pdf

Working Groups

If you would like to run a working group, please add your name below:

Title

Organiser

Preferred day(s)

Brief description

Teaching with / about FreeBSD

RobertWatson, GeorgeNevilleNeil

-

This session will be about continuing to expand material to support teaching with and about FreeBSD -- from Cambridge's L41 to training material developed on using DTrace, etc. Notes: https://etherpad.net/p/teaching201608

Auditing, Tracing, and profiling tools

RobertWatson, GeorgeNevilleNeil

-

This session will be about ongoing work on DTrace, PMC, Audit, LLVM-based instrumentation, and more.

Supporting new memory-safety and mitigation technologies in FreeBSD

RobertWatson, BrooksDavis

-

New hardware technologies are arising, whether research systems such as CHERI, or Intel's recently announced CFI protections, etc. There are also a host of compiler-based safety techniques used for CFI and other forms of mitigation. This session will discuss whether new OS abstractions are needed, which technologies are most promising to support, and what the compatibility, security, and long-term maintenance implications are for FreeBSD.

QEMU bsd-user RISC-V support

SeanBruno

Earlier is better

Start work on Tier-2 Package support for RISC-V

Scripting the Installer / PXE Boot / Provisioning

BradDavis (BruceSimpson, AllanJude)

-

We need to have easy ways to hook into provisioning systems like Cobbler, Packer, etc and then hand over to Configuration Engines like Ansible,SaltStack,Puppet,etc

Power

Robin Randhawa

https://etherpad.net/p/powerdevsummit201608

Maps

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

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.

There is a bus ("The Universal") that travels past the railway station going west towards Churchill College, and then the William Gates Building. The Universal runs every 15 minutes on week days, every 20 minutes on Saturdays, and not at all on Sundays. Universal bus route map, Universal bus timetable. The William Gates Building is the first stop on JJ Thomson Avenue. It is probably faster to walk between the William Gates Building and Churchill College than take the bus, as the are quite close together.

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

There is a 40-room block booking at Churchill College. The reference when booking is REF 39218, which attendees will need to mention when making their individual registrations and paying. They’re mostly en suite rooms, but there are a few that have shared bathrooms. Use Comp Lab Guest Accommodation Reservation Form.xls to reserve accommodation.

Bike Hire and Collection

Cambridge is slightly too large to be convenient to walk everywhere, but small enough to be ideal for a bicycle. If you have a car, please be aware that you will not be able to drive in the city centre and you probably won't want to drive near Cambridge. The roads were designed for horses and have adapted well to bicycles, but not to anything larger.

Rutland Cycling (previously Station Cycles) rents bicycles at a reasonable rate. Please book with them directly. You can probably just turn up and get a bike but it's better to send them an email to make sure that they're not going to be surprised when 30 people turn up at once.

Prepaid SIM Cards

If you need cellular service in the UK, a number of operators sell SIM cards. You can usually buy a SIM card for the Three (3) network from a vending machine at Heathrow Airport for ~£20. You can also often buy them from airport shops such as W.H. Smith. BrooksDavis reports that he uses £2-3/week of data while in Cambridge so if you will be in the UK often enough to keep your account alive, it's often a better deal to not activate the offered data bundle and just use the credit. If you take that option, top-ups can be purchased at most Airport shops and any mobile seller.

Network access

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).

Using eduroam (UniOfCam) with tickets on FreeBSD

I am not sure if you need the CA cert but I downloaded it following UCS instructions from: http://www.ucs.cam.ac.uk/mobiledevices/certificate-conversion.html
The main trick was that UCS requires the outer (anonymous) identity to either be your real user name (which you normally do not want) or be empty.
The identity (UniOfCam Ticket-Id) can be supplied with both the three dashes or without, so keeping it in seemed natural.
The main thing pb helped me to find was that the Realm needs to be @wireless.cam.ac.uk:  http://www.ucs.cam.ac.uk/network/other/radius#lapwing-tickets

So here's a wpa_supplicant.conf that (once) worked for me.

network={
      ssid="eduroam"
      key_mgmt=WPA-EAP
      eap=TTLS PEAP
      phase1="peaplabel=0"
      phase2="auth=MSCHAPV2"
      anonymous_identity="@wireless.cam.ac.uk"
      identity="xxx-xxx-xxx@wireless.cam.ac.uk"
      password="xxxxxxxx"
      ca_cert="/tmp/AddTrustExternalCARoot.crt"
}

Note:  in case you previously were using "lapwing" you want to change that, as the system was renamed mid-2014.  /bz

This is what cperciva needed to get eduroam working using his credentials from a Canadian university; allegedly all Canadian universities do eduroam the same way, so this may be useful for members of other Canadian universities:

network={
        ssid="eduroam"
        proto=WPA WPA2
        key_mgmt=WPA-EAP
        eap=PEAP
        group=CCMP TKIP
        identity="cperciva@sfu.ca"
        password="XXXXXXXX"
}

Travel coordination

Registration is on the Cambridge Computer Laboratory website. The fee is 65 Pounds Sterling (GBP) and covers the costs of lunches, badges, shirts, etc.

You can co-ordinate travel and find people staying in the same place as you here:

Name

FreeBSD.org login

Arrival Date

Departure Date

Lodging

MathieuArnold

mat

2016/08/12

2016/08/18

Harvey Court then St Cath's

GavinAtkinson

gavin

2016-08-14

2016-08-17

Churchill

SofianBrabez

sbz

2016/08/14

2016/08/18

Churchill

SeanBruno

sbruno

2016/08/14 (BA1531)

2016/08/18 (BA193)

Churchill

RuslanBukin

br

local

local

Home

BradDavis

brd

2016/08/13 (UA5)

2016/08/19 (UA96)

BrooksDavis

brooks

local(ish)

2016/08/18 (UA879)

Møller Center

BruceSimpson

bms

2016-08-14

2016-08-17

Churchill

BryanDrewery

bdrewery

2016/08/13 (BA52)

2016/08/18 (BA49)

Churchill

DavidChisnall

theraven

local

local

Home

OlivierCochardLabbé

olivier

2016/08/14 (FR515)

2016/08/18 (FR514)

Churchill

DaichiGoto

daichi

2016/08/13 (TG910)

2016/08/18 (TG911)

Churchill

AllanJude

allanjude

2016/08/14 (AC858)

2016/08/18 (AC849)

???

ReneLadan

rene

2016/08/13 (FR9272)

2016/08/18 (FR9271)

Churchill

EdMaste

emaste

TBD

TBD

TBD

GeorgeNevilleNeil

gnn

local(ish)

local(ish)

HAFH

ColinPercival

cperciva

2016/08/12 (AC856)

2016/08/18 (AC849)

Churchill

KristofProvost

kp

2016/08/14 (rail)

2016/08/18 (rail)

???

BenedictReuschling

bcr

2016/08/14 (FR1789)

2016/08/19 (FR1788)

Churchill

BennoRice

benno

2016/08/13 (BA48)

2016/08/18 (BA49)

Churchill

HirokiSato

hrs

2016/08/12 (SN2095)

2016/08/18

Churchill

MatthewSeaman

matthew

2016/08/14 (rail)

2016/08/18 (rail)

Churchill

AndrewTurner

andrew

local

local

Home

RobertWatson

rwatson

local

local

Home

MariuszZaborski

oshogbo

2016/08/14

2016/08/18

Churchill

BjoernZeeb

bz

local

local

~

MarkMurray

markm

local

local

Home

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

Lodging

Notes

HadrienBarral (UCambridge/ENS Paris)

RobertWatson

Local

Local

Local

Kevin Bowling [LLNW]

GeorgeNevilleNeil

2016-08-14 (BA288)

2016-08-18

Churchill

Lucian Carata (UCambridge)

RobertWatson

Local

Local

Local

Nikola Diklic-Perin (ARM)

AndrewTurner

Local

Local

Local

Renato Golin (Linaro/LLVM)

AndrewTurner

Local

Local

Local

Only Tuesday/Wednesday

Al Grant (ARM)

AndrewTurner

Local

Local

Local

BrettGutstein (UCambridge/Rice)

RobertWatson

Local

Local

Local

MarieHeleneKvello-Aune

AllanJude

2016-08-14 (rail)

2016-08-18 (SK806)

Churchill

WarrenHunt (UTAustin)

RobertWatson

Local

Local

Local

SevanJaniyan

RobertWatson

2016-08-15 (rail)

2016-08-17 (rail)

Home

Graeme Jenkinson (UCambridge)

RobertWatson

Local

Local

Local

Stephen Kell (UCambridge)

RobertWatson

Local

Local

Local

Ayaka Koshibe (ON.Lab)

GavinAtkinson

2016-08-14

2016-08-17

Churchill

Hannes Mehnert (UCambridge)

RobertWatson

2016-08-15 (late)

Local

Local

Only Tuesday & Wednesday

Dimitris Papastamos (ARM)

AndrewTurner

Local

Local

Local

Only Tuesday

NikSultana (UCambridge)

RobertWatson

Local

Local

Local

Mark Rutland (ARM)

AndrewTurner

Local

Local

Local

Yoshifumi SASAKI (BSD Consulting / ONGS)

DaichiGoto

2016-08-13 (TG910)

2016-08-18 (TG911)

Churchill

ArunThomas (BAE Systems)

RobertWatson

TBD

TBD

TBD

KonradWitaszczyk

MariuszZaborski

2016-08-14

2016-08-18

Churchill

BrianKidney (Memorial University)

JonathanAnderson

2016-08-14 (AC822)

2016-08-20 (AC823)

Churchill

James Nugent (HashiCorp)

BradDavis

2016-08-16

2016-08-16

Only one day

Robin Randhawa (ARM)

AndrewTurner

Local

Local

Local

Samuel Lepetit (Apple)

GeorgeNevilleNeil

2016-08-14 (BA863)

2016-08-18 (BA856)

Churchill


CategoryHistorical

DevSummit/201608 (last edited 2018-03-19 01:30:05 by MarkLinimon)