Episode 88: The Singularity Research OS with Galen Hunt

Episode 88: The Singularity Research OS with Galen Hunt

In this episode we talk to Galen Hunt about the Singularity research OS. Galen is the head of Microsoft's OS Research Group and, together with a team of about 30 other researches, has built Singularity. We started our discussion by covering the basics of Singularity: why it was designed, what the goals of the project are as well as some of the architectural foundations of Singularity: software isolated processes, contract-based channels and manifest-based programs. In this context we also looked at the role of the Spec# and Sing# programming languages and the role of static analysis tools to statically verify important properties of a singularity application. We then looked a little bit more closely at the role of the kernel and how it is different from kernels in traditional OSes. In a second part of the discussion we looked at some of the experiments the group did based on the OS. These include compile-time reflection, using hardware protection domains, heterogenerous multiprocessing as well as the typed assembly language We closed the conversation with a look at some of the performance characteristics of Singularity, compatibility with traditional operating systems and a brief look at how the findings from Singularity influence product development at Microsoft.

Tämä jakso on lisätty Podme-palveluun avoimen RSS-syötteen kautta eikä se ole Podmen omaa tuotantoa. Siksi jakso saattaa sisältää mainontaa.

Jaksot(726)

Episode 157: Hadoop with Philip Zeyliger

Episode 157: Hadoop with Philip Zeyliger

Philip Zeyliger of Cloudera discusses the Hadoop project with Robert Blumen. The conversation covers the emergence of large data problems, the Hadoop file system, map-reduce, and a look under the hoo...

8 Maalis 201051min

Episode 156: Kanban with David Anderson

Episode 156: Kanban with David Anderson

This episode is part of our series on agile software development. We talk with David Anderson about Kanban, an agile software development method that is quite different from most of the other agile me...

22 Helmi 20101h 1min

Episode 155: Johannes Link & Lasse Koskela on TDD

Episode 155: Johannes Link & Lasse Koskela on TDD

In this episode Johannes Link interviews Lasse Koskela - the author of "Test-Driven" - about test-driven development (TDD). We cover the basics, the rationale behind it and the challenges you face whe...

8 Helmi 20101h 2min

Episode 154: Ola Bini on Ioke

Episode 154: Ola Bini on Ioke

This is a conversation with Ola Bini on his experimental language Ioke. We cover the idea behind the Ioke experiment as well as important language concepts and the thinking behind them.

25 Tammi 201059min

Episode 153: Jan Bosch on Product Lines and Software Ecosystems

Episode 153: Jan Bosch on Product Lines and Software Ecosystems

This episode is a conversation with Jan Bosch about product line engineering (PLE). Jan has worked in various roles and industries and academia in the context of product lines. In this episode we look...

11 Tammi 201056min

Episode 152: MISRA with Johan Bezem

Episode 152: MISRA with Johan Bezem

Our guest Johan Bezem explains the idea behind and the benefits of MISRA. MISRA defines guidelines for C and C++ programming in order to ensure quality. While it got started for embedded automotive de...

28 Joulu 200940min

Episode 151: Intentional Software with Shane Clifford

Episode 151: Intentional Software with Shane Clifford

This episode is a discussion with Shane Clifford, who is a development manager at Intentional Software. We discuss the idea behind intentional programming, key concepts of the technology as well as ex...

14 Joulu 20091h 3min

Episode 150: Software Craftsmanship with Bob Martin

Episode 150: Software Craftsmanship with Bob Martin

This episode is a conversation with "Uncle Bob" Bob Martin about agile software development and software craftsmanship specifically. We talk about the history of the term, the reasons for coming up wi...

30 Marras 200958min

Suosittua kategoriassa Koulutus

rss-murhan-anatomia
psykopodiaa-podcast
voi-hyvin-meditaatiot-2
kesken
rss-valo-minussa-2
rss-liian-kuuma-peruna
rss-narsisti
rss-niinku-asia-on
rss-rahamania
adhd-podi
psykologia
rss-vapaudu-voimaasi
aamukahvilla
rss-laadukasta-ensihoitoa
rss-mentalrace
rss-arkea-ja-aurinkoa-podcast-espanjasta
rss-hereilla
rahapuhetta
puhutaan-koiraa
ihminen-tavattavissa-tommy-hellsten-instituutti