UpScale
From Inherent Concurrency to Massive Parallelism through Type-based Optimizations
| Coordinatore | STICHTING CENTRUM VOOR WISKUNDE EN INFORMATICA
Organization address
address: Science Park 123 contact info |
| Nazionalità Coordinatore | Netherlands [NL] |
| Totale costo | 2˙299˙305 € |
| EC contributo | 1˙757˙005 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2013-X |
| Funding Scheme | CP |
| Anno di inizio | 2014 |
| Periodo (anno-mese-giorno) | 2014-02-01 - 2017-01-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
STICHTING CENTRUM VOOR WISKUNDE EN INFORMATICA
Organization address
address: Science Park 123 contact info |
NL (AMSTERDAM) | coordinator | 0.00 |
| 2 |
IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE
Organization address
address: Exhibition Road, South Kensington Campus contact info |
UK (LONDON) | participant | 0.00 |
| 3 |
UNIVERSITETET I OSLO
Organization address
address: Problemveien contact info |
NO (OSLO) | participant | 0.00 |
| 4 |
UPPSALA UNIVERSITET
Organization address
address: St Olofsgatan contact info |
SE (UPPSALA) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (Objective)
In a radical paradigm shift, manufacturers are now moving from multicore chips to so-called manycore chips with up to a million independent processors on the same silicon real estate. However, software cannot benefit from the revolutionary potential power increase, unless the design and code is polluted by an unprecedented amount of low-level, fine-grained concurrency detail.Concurrency in mainstream object-oriented languages is based on multithreading. Due to the complexity of balancing work evenly across cores, the thread model is of little benefit for efficient processor use or horizontal scalability. Problems are exacerbated in languages with shared mutable state and a stable notion of identity -- the very foundations of object-orientation. The advent of manycore chips threatens to make not only the object-oriented model obsolete, but also the accumulated know-how of a generation of programmers.Our vision is to provide the means for industry to efficiently develop applications that seamlessly scale to the available parallelism of manycore chips without abandoning the object-oriented paradigm and the associated software engineering methodologies.We will realise this vision by a breakthrough in how parallelism and concurrency are integrated into programming languages, substantiated by a complete inversion of the current canonical language design: constructs facilitating concurrent computation will be default while constructs facilitating synchronised and sequential computation will be explicitly expressed. UpScale will exploit this inversion for a novel agile development methodology based on incremental type-based program annotations specifying ever-richer deployment-related information, and for innovative type-based deployment optimisations both at compile time and at runtime in the runtime system devised in UpScale for massively parallel execution.The targeted breakthrough will profoundly impact software development for the manycore chips of the future.