Guille’s PhdSecurity: Isolation and Reflection on Dynamic OO

Languages

jueves 31 de octubre de 13

Elevator summary

How graphs of objects relate to each other.

How can we isolate them and control their communication.

Problems/considerations:

• Reflection may give full access to the system

• We don’t have/want static type checking :)

jueves 31 de octubre de 13

(-7; 0) the past

• 7 months

• Readings: strategies in JavaScript Isolation and data flow analysis, reflection, object spaces related

• Real stuff: Bootstrapping Pharo

jueves 31 de octubre de 13

Bootstrapping

pharo

What are the pieces we have to arrange to create a new reflective system from scratch?

jueves 31 de octubre de 13

Bootstrapping

pharo

What are the pieces we have to arrange to create a new reflective system from scratch?

jueves 31 de octubre de 13

Bootstrapping

pharopharo

What are the pieces we have to arrange to create a new reflective system from scratch?

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Model

VM

Pharo + Hazelnut

New System

•Semi-alive objects•Let them initialize themselves!

jueves 31 de octubre de 13

Hazelnut - Results

What do we use it for:

• Bootstrap Pharo: building a small reproducible kernel that will let us evolve.

• Let’s improve our research: build crazy stuff not dying in the process (i.e. we built a 80kb image).

jueves 31 de octubre de 13

[0] Now

• Mainly working on bootstrap paper :(

• Preparing for Smalltalks Conference: Will present Hazelnut + give a Smalltalk introductory talk over there (but I don’t know the subject yet)

jueves 31 de octubre de 13

(0, ...) The future steps

Object Spaces - a not so clear idea

• references in scientific venues?

• How do they communicate?

• How autonomous and isolated should they be?

jueves 31 de octubre de 13