Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) Toccata ForTesSE
Freedom Before Commitment – A Lightweight Type System for Object Initialization
Peter Muller

14 October 2011, 11h00 - 14 October 2011, 12h00
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche :

Résumé :
One of the main purposes of object initialization is to establish invariants such as a field being non-null or an immutable data structure containing specific values. These invariants are then implicitly assumed by the rest of the implementation, for instance, to ensure that a field may be safely dereferenced or that immutable data may be accessed concurrently.
Consequently, letting an object escape from its constructor is dangerous; the escaping object might not yet satisfy its invariants, which may lead to errors in code that relies on them. Nevertheless, preventing objects entirely from escaping from their constructors is too restrictive; it is often useful to call auxiliary methods on the object under initialization or to pass it to another constructor to set up mutually-recursive structures.
This talk presents a type system that tracks which objects are fully initialized and which are still under initialization. The type system can be used to prevent objects from escaping, but also to allow safe escaping by making explicit, which objects might not yet satisfy their invariants. We designed, formalized, and implemented our type system as an extension to a non-null type system, but it is not limited to this application. Our system is conceptually simple and requires little annotation overhead; it is sound and sufficiently expressive for many common programming idioms. Therefore, we believe it to be suitable for mainstream use.

Pour en savoir plus : http://www.pm.inf.ethz.ch/people/pmueller
Séminaires
Recent advances in high-performance computing
Calcul à haute performance
Friday 29 September 2017 - 09h30
Salle : 465 - PCRI-N
Jose Roman, Lokmane Abbas Turki, Camille Coti .............................................

Modélisation énergétique qualitative de l'organism
Biologie des systèmes
Thursday 21 September 2017 - 14h30
Salle : 465 - PCRI-N
Marc Irigoin-Guichandut .............................................

Involution Delay Model: Faithful Delay Prediction
Tuesday 25 July 2017 - 14h00
Salle : 465 - PCRI-N
Jürgen Maier .............................................

Building Distributed Computing Abstractions in the
Algorithmique distribuée
Tuesday 11 July 2017 - 10h30
Salle : 465 - PCRI-N
Antonella Del Pozzo .............................................

Slow Molecule Revolution
Algorithmique distribuée
Wednesday 05 July 2017 - 10h30
Salle : 465 - PCRI-N
David Doty .............................................