VipCore
Virtual Processor-based Multicore Scheduling
| FCOMP-01-0124-FEDER-015006 PTDC/EIA-CCO/111799/2009 40 months (Feb 2011 to May 2014) | |
| Summary: | Scheduling on multicores is a much harder problem than those studied under single processor scheduling theories, largely because of the inherent non-parallelism in workload tasks. Although a multicore platform may execute different tasks from a workload at the same time, it is typically not allowed to execute the same task on more than one core simultaneously. This project plans to research multiprocessor frameworks and platforms to tackle these issues. One important concept is the notion of virtual processors, which allow to use a three-step scheduling strategy: partitioning of workload tasks and assigning virtual processors to each partition, scheduling of tasks on virtual processors within each cluster, and scheduling of virtual processors on the physical cores. Another important concept is the notion of pJobs, which allow tasks to be executed in parallel in the physical cores, increasing the potential parallelism of applications. The project will also research into architectures and platforms for supporting these concepts, and the underlying resource sharing paradigms. |
| Funding: | Global: 111KEUR, CISTER: 111KEUR |
| Sponsors: |     |
| Partners: | |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory CISTER-TR-151005
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
Logic-based schedulability analysis for compositional hard real-time embedded systems CISTER-TR-150411
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoSIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoSIGBED Review (SIGBED Rev.), ACM. Feb 2015, Volume 12, Issue 1, pp 56-64.
Conference or Workshop Papers/Talks
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
PDFA Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems CISTER-TR-131111
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Logic-based Schedulability Analysis for Compositional Hard Real-Time Embedded Systems CISTER-TR-131201
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS'13).
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS'13).
Real-Time Programming on Accelerator Many-Core Processors CISTER-TR-131112
Stephen Michell, Brad Moore, Luis Miguel PinhoACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..
Stephen Michell, Brad Moore, Luis Miguel PinhoACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..
Are Virtual Channels the Bottleneck of Priority-Aware Wormhole-Switched NoC-Based Many-Cores? CISTER-TR-130901
Borislav Nikolic, Hazem Ali, Stefan M. Petters, Luis Miguel Pinho21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 13-22. Sophia Antipolis, France.
Borislav Nikolic, Hazem Ali, Stefan M. Petters, Luis Miguel Pinho21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 13-22. Sophia Antipolis, France.
Desarrollo de aplicaciones con requisitos de criticidad temporal mixta utilizando C-Forge CISTER-TR-130702
Francisco Sanchez, Luis Miguel Pinho, Diego Alonso, Juan Pastor4th Spanish Symposium of Real-Time Systems. 17 to 19, Sep, 2013. Madrid, Spain.
Francisco Sanchez, Luis Miguel Pinho, Diego Alonso, Juan Pastor4th Spanish Symposium of Real-Time Systems. 17 to 19, Sep, 2013. Madrid, Spain.
Critical-Path-First Based Allocation of Real-Time Streaming Applications on 2D Mesh-Type Multi-Cores CISTER-TR-130606
Hazem Ali, Luis Miguel Pinho, Benny Åkesson19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013). 19 to 21, Aug, 2013. Taipei, Taiwan.
Hazem Ali, Luis Miguel Pinho, Benny Åkesson19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013). 19 to 21, Aug, 2013. Taipei, Taiwan.
Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications CISTER-TR-130202
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), IEEE. 19 to 21, Jun, 2013, Work-In-Progress Session, pp 114-117. Porto, Portugal.
Ricardo Garibay-Martínez, Luis Lino Ferreira, Cláudio Maia, Luis Miguel Pinho8th IEEE International Symposium on Industrial Embedded Systems (SIES 2013), IEEE. 19 to 21, Jun, 2013, Work-In-Progress Session, pp 114-117. Porto, Portugal.
Tasklettes – a Fine Grained Parallelism for Ada on Multicores CISTER-TR-130304
Stephen Michell, Brad Moore, Luis Miguel Pinho18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.
Stephen Michell, Brad Moore, Luis Miguel Pinho18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.
Parallelism in Ada: General Model and Ravenscar CISTER-TR-130405
Brad Moore, Stephen Michell, Luis Miguel Pinho16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 14-32. York, United Kingdom.
Brad Moore, Stephen Michell, Luis Miguel Pinho16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 14-32. York, United Kingdom.
Ada and Many-core Platforms CISTER-TR-130404
Luis Miguel Pinho, Stephen Michell, Brad Moore16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 40-48. York, United Kingdom.
Luis Miguel Pinho, Stephen Michell, Brad Moore16th International Real-Time Ada Workshop (IRTAW 2013), ACM New York. 17 to 19, Apr, 2013, 33, 2, pp 40-48. York, United Kingdom.
On the use of Work-Stealing Strategies in Real-Time Systems CISTER-TR-130110
Luis Miguel Nogueira, Luis Miguel Pinho, José Fonseca, Cláudio MaiaHigh-performance and Real-time Embedded Systems (HiRES 2013). 23, Jan, 2013. Berlin, Germany.In conjunction with the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2013)
Luis Miguel Nogueira, Luis Miguel Pinho, José Fonseca, Cláudio MaiaHigh-performance and Real-time Embedded Systems (HiRES 2013). 23, Jan, 2013. Berlin, Germany.In conjunction with the 8th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2013)
Server-based Scheduling of Parallel Real-Time Tasks HURRAY-TR-121001
Luis Miguel Nogueira, Luis Miguel Pinho12th International Conference on Embedded Software (EMSOFT 2012), ACM New York. 7 to 12, Oct, 2012, pp 73-82. Tampere, Finland.
Luis Miguel Nogueira, Luis Miguel Pinho12th International Conference on Embedded Software (EMSOFT 2012), ACM New York. 7 to 12, Oct, 2012, pp 73-82. Tampere, Finland.
Real-Time Scheduling of Parallel Tasks in the Linux Kernel HURRAY-TR-120714
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems HURRAY-TR-120403
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel Pinho38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), IEEE. 5 to 8, Sep, 2012, pp 39-46. Cesme, Türkiye.
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel Pinho38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), IEEE. 5 to 8, Sep, 2012, pp 39-46. Cesme, Türkiye.
A Parallel Programming Model for Ada HURRAY-TR-110902
Hazem Ali, Luis Miguel PinhoACM's Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGAda 2011), ACM New York. 6 to 10, Nov, 2011, pp 19-26. Denver, U.S.A..
Hazem Ali, Luis Miguel PinhoACM's Annual International Conference on Ada and Related Technologies Engineering Safe, Secure, and Reliable Software (SIGAda 2011), ACM New York. 6 to 10, Nov, 2011, pp 19-26. Denver, U.S.A..
Revisiting Transactions in Ada HURRAY-TR-110707
António Barros, Luis Miguel Pinho15th International Real-Time Ada Workshop (IRTAW-15), ACM New York. 14 to 16, Sep, 2011, 33, pp 84-92. Liébana, Spain.
António Barros, Luis Miguel Pinho15th International Real-Time Ada Workshop (IRTAW-15), ACM New York. 14 to 16, Sep, 2011, 33, pp 84-92. Liébana, Spain.
Software transactional memory as a building block for parallel embedded real-time systems HURRAY-TR-110706
António Barros, Luis Miguel Pinho37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), IEEE. 30, Aug to 2, Sep, 2011, pp 251-255. Oulu, Finland.
António Barros, Luis Miguel Pinho37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2011), IEEE. 30, Aug to 2, Sep, 2011, pp 251-255. Oulu, Finland.
Conference or Workshop Posters/Demos
Parallel Real-time Support for Distributed Adaptive Embedded Applications HURRAY-TR-120101
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel PinhoPoster presented in Design Tools and Architectures for Multi-Core Embedded Computing Platforms (PARMA-DITAM). 24, Jan, 2012. Paris, France.Workshop in conjunction with the 7th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2012).
Ricardo Garibay-Martínez, Luis Lino Ferreira, Luis Miguel PinhoPoster presented in Design Tools and Architectures for Multi-Core Embedded Computing Platforms (PARMA-DITAM). 24, Jan, 2012. Paris, France.Workshop in conjunction with the 7th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2012).