Compositional multiprocessor scheduling: the GMPR interface

Composition is a practice of key importance in software engineering. When real-time applications are composed, it is necessary that their timing properties (such as meeting the deadlines) are guaranteed. The composition is performed by establishing an interface between the application and the physical platform. Such an interface typically contains information about the amount of computing capacity needed by the application. For multiprocessor platforms, the interface should also present information about the degree of parallelism. Several interface proposals have recently been put forward in various research works. However, those interfaces are either too complex to be handled or too pessimistic. In this paper we propose the generalized multiprocessor periodic resource model (GMPR) that is strictly superior to the MPR model without requiring a too detailed description. We then derive a method to compute the interface from the application specification. This method has been implemented in Matlab routines that are publicly available.

Vascularização do útero: estudo morfológico e experimental

RESUMO Os trabalhos de investigação, conducentes à elaboração do presente estudo morfofuncional, subordinado ao tema da "VASCULARIZAÇÃO ARTERIAL DO ÚTERO",fundamenta-se em conceitos da anatomia descritiva clássica, complementados por técnicas de estudo mais modernas, permitindo-nos observações originais. O principal objectivo é de definir um padrão descritivo da vascularização uterina e de estabelecer uma correlação anatomo-fisiológica e anatomo-clínica na descrição da angiomorfologia uterina, actualizando as descrições clássicas da artéria com dados de observação originais, segundo as técnicas de estudo angiomorfológicas correntemente empregues no Departamento de Anatomia da Faculdade de Ciências Médicas da Universidade Nova de Lisboa. Correlacionam-se as observações com os mais recentes dados publicados, no âmbito da imuno-histoquímica e da moderna bioquímica endocrinológica, uma vez que os conceitos modernos de fisiologia uterina e ginecológica praticamente dominam a vasta literatura científica mundial. Como objectivos particulares, ou linhas orientadoras da tese, escolhemos: - A definição de parâmetros descritivos do padrão genérico da vascularização uterina, actualizando a nomenclatura descritiva de acordo com a moderna Nomina Anatomica mundialmente debatida, desde o XIV Congresso Internacional da Federação Internacional das Associações de Anatomistas, sob a presidência do Prof. Doutor J.A. Esperança Pina (1994) e publicada em 1999-2001. - A comparação do caso humano com o do animal de experiência, por observação meticulosa do maior número de casos possíveis, realizando um estudo comparativo que nos permita extrapolar dados de experimentação animal para o caso humano; - O estabelecimento de uma correlação anatomo-fisiológica, por análise do comportamento da vascularização uterina, ao longo da vida, desde o nascimento até à menopausa, e perante as influências hormonais a que se encontra exposta. A tese constrói-se em torno de três núcleos fundamentais: 1. Um capítulo introdutório, de contextualização teórica, por enquadramento histórico dos estudos dos órgãos genitais femininos e da evolução das técnicas de diagnóstico e terapêutica do útero, focando as primeiras referências à técnica da histerotomia (Cesariana) (com a lenda persa do nascimento do herói Rostam, ou do nascimento do deus Asclepius), as primeiras representações da vascularização uterina (por LEONARDO e iii VESÁLIO), ou as primeiras descrições anatómicas do útero, da autoria de Portugueses (RODRIGO DE CASTRO, 1516 e AMATO LUSITANO, 1551). Prossegue a contextualização teórica com breve referência à recente evolução das técnicas de diagnóstico e terapêutica dos fibromiomas uterinos, mencionando de modo particular a evolução das técnicas de embolização arterial uterina, por nos parecer corresponder a um campo de aplicação imediata dos estudos da vascularização do útero. Termina este capítulo com breve referência aos trabalhos do Prof. Doutor J. MARTINS PISCO que tem actualmente, no nosso País uma das mais extensas listas de trabalhos efectuados com sucesso a nível mundial, no campo da embolização arterial de fibromiomas uterinos. 2. O segundo núcleo fundamental, intitulado "Angiomorfologia uterina" corresponde a extensa revisão bibliográfica dos estudos descritivos da vascularização uterina, desde logo ilustrando a resenha teórica com algumas imagens fotográficas de úteros humanos, seleccionadas da nossa colecção. A descrição da vascularização uterina, fundamentada em 1500 citações bibliográficas, organiza-se, de acordo com o paralelismo entre a estratificação histológica e angiológica do órgão, e a hierarquia funcional, regulada pelas cíclicas variações hormonais. Descreve-se a camada serosa e correspondente vascularização; a camada muscular e vascularização do miométrio; e, por fim, a camada mucosa e os vasos endometriais. Verifica-se, perante os dados colhidos da literatura mundial, o interesse do aprofundamento dos estudos morfológicos da microvascularização endometrial e da adaptação das descrições aos resultados dos modernos estudos funcionais obtidos por técnicas da imuno-histoquímica. 3. Fundamentados nos dados colhidos das revisões bibliográficas, elaborámos um projecto de investigação original, visando o estabelecimento da relação morfo-funcional resultante do aprofundamento dos estudos descritivos da angiomorfologia e da microvascularização do útero. O capítulo de trabalho experimental organiza-se em três principais passos: – No capítulo de Materiais e métodos, procede-se à escolha, por um lado do animal de experiência mais adequado para os estudos da vascularização uterina (por estudo comparativo ao longo da escala animal) e, por outro lado, à escolha de três das técnicas disponíveis no Laboratório de Anatomia Experimental e aplicáveis à investigação angiomorfológica do útero; iv - No capítulo de Resultados, procedemos à exposição das nossas observações de 25 úteros humanos e de 154 úteros de animais de experiência, segundo as três técnicas seleccionadas (dissecção, Injecção-corrosão-fluorescência, Injecção-diafanização e injecção-corrosão paraobservação de moldes vasculares em microscopia electrónica de varrimento), organizando aselecção da vasta iconografia coleccionada em três novos subcapítulos: o útero humano, oútero do animal de experiência e um estudo comparativo, essencial para validar osresultados do trabalho experimental. - O capítulo de trabalho experimental, inteiramente efectuado por estudos na artéria uterina do rato Wistar, abrange primeiramente a tentativa de definição macroscópica de territórios de vascularização, seguido das observações microscópicas conducentes à definição dos parâmetros angiomorfológicos característicos de cada uma das etapas da grande variabilidade a que se sujeita a vascularização uterina, ao longo da vida, incluindo a infância, a gravidez, a paridade e o envelhecimento, e consoante as fases do ciclo hormonal ovárico. Aperfeiçoámos essa tarefa com a elaboração de três experiências distintas, para análise dos efeitos microvasculares uterinos da administração exógena de preparados comerciais hormonais, por observação em microscopia electrónica de varrimento. De acordo com as leituras da literatura clássica sobre a metodologia do trabalho científico, completamos os trabalhos por um capítulo de síntese e critica dos resultados, sequencialmente organizado consoante cada um dos passos experimentais atrás referidos. SUMMARY The aim of the present thesis is the description of the uterine arterial network, complementing the classical concepts of descriptive Anatomy with modern techniques of anatomical research, thus achieving original final results and observations. One of the main objectives of the research is to establish physiological and clinical correlations in the description of the uterine angiomorphology, with the techniques currently available for angiomorphological research in the Department of Anatomy of Faculty of Medical Sciences of the New University of Lisbon. As guidelines to our research, we established the following specific objectives: - defining the descriptive parameters of the standard pattern of the uterine vasculature, according to the modern Nomina Anatomica, as underlined in the latest Federative Congresses of the International Federation of the Associations of Anatomists, one of which took place in Lisbon, in 1994, under the presidency of Professor J.A. Esperança Pina, the supervisor of the present works; - comparing the human uterus with the uterus of the experimental animal, to extrapolate the experimental observations in animals to the particular case of the human uterus; - establishing a correlation between the physiology and the anatomical observations of the uterine vasculature throughout life, from childhood to menopause and in relation to the hormonal influences to which the uterus is exposed. The thesis is built around three main chapters: 1) The introduction chapter defines the historical framework of the studies of the female genital anatomy and the historical evolution of the clinical management of common uterine diseases, focusing on the first historical references to the Caesarean section (such as the Persian legend of the birth of the hero ROSTAM, or that of the birth of ASCLEPIUS, the Greek god of Medicine); the first depictions of the uterine vasculature (by LEONARDO and VESALIUS) or the first anatomical descriptions of the uterus, by Portuguese authors (RODRIGO DE CASTRO, 1517, or AMATUS LUSITANUS, 1551). The theoretical context proceeds, with reference to the recent evolution of the clinical and surgical management of uterine fibroids, and a particular mention to the modern techniques of Uterine Fibroid Embolisation, which corresponds to one of the fields of interest of the anatomic studies of uterine arterial vascularization. 2) The second chapter, devoted to the anatomical description of the Uterine Angiomorphology, is based on an extensive review of the available Medical literature,illustrated by a selection of our own research observations of the human uterine vasculature. The description is organized in view of the parallelism between histological and angiological stratification and the functional hierarchy, under the control of the cyclic hormonal variations. Each layer of the uterine wall is depicted with photographs of the human uterus and descriptions of its specific vascular network: the serosa, the muscular Myometrium, and the mucosa, or endometrium. This classical description, based on extensive quotations of the international scientific literature, enhances our interest for the research of a more detailed knowledge of the endometrial microvascular network, accordingly to the modern physiologic results obtained through immunohistochemical studies. 3) The results of our experimental research, aiming to establish the intimate relationship between the anatomical and functional studies of uterine vasculature, are organized in three main steps: - The chapter of Materials and Methods debates the choice of the experimental animal, based on a short review of the comparative anatomy of the uterus, and uterine physiology, throughout the animal scale. The selection of three fundamental techniques of anatomic research is made from the current variety available in the Laboratory of Experimental Anatomy of the Lisbon School of Medical Sciences. - The Results of our personal research and observations of 25 human and 154 animal uteri,after dissection, and the techniques of arterial injection for the preparation of fluorescent corrosion casts, of vascular injection and clearing, and of arterial injection and preparation of corrosion casts for Scanning Electron Microscopy are rganized in terms of human or animal macroscopic anatomy and microvascular network, followed by a summary of the comparative anatomy of human and rat uteri, which is essential to validate the resultant experimental observations of the rat endometrial microvasculature. - The experimental research is entirely devoted to the uterine artery of the Wistar rat. The first step consists of the attempt to define macroscopic territories of vascularization, followed by microscopic observations for the definition of the angiomorphological pattern that is characteristic of each stage of the extreme variations to which the uterus is subject throughout life, from childhood to sexual maturity, throughout the hormonal cycle, in pregnancy, according to parity, and through ageing. We complete these observations with the experimental exposure of the Wistar rat uterus to pharmacologic preparations of hormones, currently available in clinical practice, and observations of the vascular uterine changes in Scanning Electron Microscopy. The outcome results of our anatomical observations are followed by a critical synthesis of the results.

Acceleration of physics simulation engine through OpenCL

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

TEA: Timing and Energy Aware compression architecture for Efficient Configuration in CGRAs

Coarse Grained Reconfigurable Architectures (CGRAs) are emerging as enabling platforms to meet the high performance demanded by modern applications (e.g. 4G, CDMA, etc.). Recently proposed CGRAs offer time-multiplexing and dynamic applications parallelism to enhance device utilization and reduce energy consumption at the cost of additional memory (up to 50% area of the overall platform). To reduce the memory overheads, novel CGRAs employ either statistical compression, intermediate compact representation, or multicasting. Each compaction technique has different properties (i.e. compression ratio, decompression time and decompression energy) and is best suited for a particular class of applications. However, existing research only deals with these methods separately. Moreover, they only analyze the compaction ratio and do not evaluate the associated energy overheads. To tackle these issues, we propose a polymorphic compression architecture that interleaves these techniques in a unique platform. The proposed architecture allows each application to take advantage of a separate compression/decompression hierarchy (consisting of various types and implementations of hardware/software decoders) tailored to its needs. Simulation results, using different applications (FFT, Matrix multiplication, and WLAN), reveal that the choice of compression hierarchy has a significant impact on compression ratio (up to 52%), decompression energy (up to 4 orders of magnitude), and configuration time (from 33 n to 1.5 s) for the tested applications. Synthesis results reveal that introducing adaptivity incurs negligible additional overheads (1%) compared to the overall platform area.

Online Admission of Parallel Real-Time Tasks

6th Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

A Multi-DAG Model for Real-Time Parallel Applications with Conditional Execution

The 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015). 13 to 17, Apr, 2015, Embedded Systems. Salamanca, Spain.

Avaliação dos mecanismos de concorrência na API do Java 8

As plataformas com múltiplos núcleos tornaram a programação paralela/concorrente num tópico de interesse geral. Diversos modelos de programação têm vindo a ser propostos, facilitando aos programadores a identificação de regiões de código potencialmente paralelizáveis, deixando ao sistema operativo a tarefa de as escalonar dinamicamente em tempo de execução, explorando o maior grau possível de paralelismo. O Java não foge a esta tendência, disponibilizando ao programador um número crescente de bibliotecas de mecanismos de sincronização e paralelização de código. Neste contexto, esta tese apresenta e discute um conjunto de resultados obtidos através de testes intensivos à eficiência de algoritmos de ordenação implementados com recurso aos mecanismos de concorrência da API do Java 8 (Threads, Threadpools, ExecutorService, CountdownLach, ExecutorCompletionService e ForkJoinPools) em sistemas com um número de núcleos variável. Para cada um dos mecanismos, são apresentadas conclusões sobre o seu funcionamento e discutidos os cenários em que o seu uso pode ser rentabilizado de modo a serem obtidos melhores tempos de execução.

Multicore Scheduling of Real-Time Irregular Parallel Algorithms in Linux

Face à estagnação da tecnologia uniprocessador registada na passada década, aos principais fabricantes de microprocessadores encontraram na tecnologia multi-core a resposta `as crescentes necessidades de processamento do mercado. Durante anos, os desenvolvedores de software viram as suas aplicações acompanhar os ganhos de performance conferidos por cada nova geração de processadores sequenciais, mas `a medida que a capacidade de processamento escala em função do número de processadores, a computação sequencial tem de ser decomposta em várias partes concorrentes que possam executar em paralelo, para que possam utilizar as unidades de processamento adicionais e completar mais rapidamente. A programação paralela implica um paradigma completamente distinto da programação sequencial. Ao contrário dos computadores sequenciais tipificados no modelo de Von Neumann, a heterogeneidade de arquiteturas paralelas requer modelos de programação paralela que abstraiam os programadores dos detalhes da arquitectura e simplifiquem o desenvolvimento de aplicações concorrentes. Os modelos de programação paralela mais populares incitam os programadores a identificar instruções concorrentes na sua lógica de programação, e a especificá-las sob a forma de tarefas que possam ser atribuídas a processadores distintos para executarem em simultâneo. Estas tarefas são tipicamente lançadas durante a execução, e atribuídas aos processadores pelo motor de execução subjacente. Como os requisitos de processamento costumam ser variáveis, e não são conhecidos a priori, o mapeamento de tarefas para processadores tem de ser determinado dinamicamente, em resposta a alterações imprevisíveis dos requisitos de execução. `A medida que o volume da computação cresce, torna-se cada vez menos viável garantir as suas restrições temporais em plataformas uniprocessador. Enquanto os sistemas de tempo real se começam a adaptar ao paradigma de computação paralela, há uma crescente aposta em integrar execuções de tempo real com aplicações interativas no mesmo hardware, num mundo em que a tecnologia se torna cada vez mais pequena, leve, ubíqua, e portável. Esta integração requer soluções de escalonamento que simultaneamente garantam os requisitos temporais das tarefas de tempo real e mantenham um nível aceitável de QoS para as restantes execuções. Para tal, torna-se imperativo que as aplicações de tempo real paralelizem, de forma a minimizar os seus tempos de resposta e maximizar a utilização dos recursos de processamento. Isto introduz uma nova dimensão ao problema do escalonamento, que tem de responder de forma correcta a novos requisitos de execução imprevisíveis e rapidamente conjeturar o mapeamento de tarefas que melhor beneficie os critérios de performance do sistema. A técnica de escalonamento baseado em servidores permite reservar uma fração da capacidade de processamento para a execução de tarefas de tempo real, e assegurar que os efeitos de latência na sua execução não afectam as reservas estipuladas para outras execuções. No caso de tarefas escalonadas pelo tempo de execução máximo, ou tarefas com tempos de execução variáveis, torna-se provável que a largura de banda estipulada não seja consumida por completo. Para melhorar a utilização do sistema, os algoritmos de partilha de largura de banda (capacity-sharing) doam a capacidade não utilizada para a execução de outras tarefas, mantendo as garantias de isolamento entre servidores. Com eficiência comprovada em termos de espaço, tempo, e comunicação, o mecanismo de work-stealing tem vindo a ganhar popularidade como metodologia para o escalonamento de tarefas com paralelismo dinâmico e irregular. O algoritmo p-CSWS combina escalonamento baseado em servidores com capacity-sharing e work-stealing para cobrir as necessidades de escalonamento dos sistemas abertos de tempo real. Enquanto o escalonamento em servidores permite partilhar os recursos de processamento sem interferências a nível dos atrasos, uma nova política de work-stealing que opera sobre o mecanismo de capacity-sharing aplica uma exploração de paralelismo que melhora os tempos de resposta das aplicações e melhora a utilização do sistema. Esta tese propõe uma implementação do algoritmo p-CSWS para o Linux. Em concordância com a estrutura modular do escalonador do Linux, ´e definida uma nova classe de escalonamento que visa avaliar a aplicabilidade da heurística p-CSWS em circunstâncias reais. Ultrapassados os obstáculos intrínsecos `a programação da kernel do Linux, os extensos testes experimentais provam que o p-CSWS ´e mais do que um conceito teórico atrativo, e que a exploração heurística de paralelismo proposta pelo algoritmo beneficia os tempos de resposta das aplicações de tempo real, bem como a performance e eficiência da plataforma multiprocessador.

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A public transport bus assignment problem: parallel metaheuristics assessment

Combinatorial Optimization Problems occur in a wide variety of contexts and generally are NP-hard problems. At a corporate level solving this problems is of great importance since they contribute to the optimization of operational costs. In this thesis we propose to solve the Public Transport Bus Assignment problem considering an heterogeneous fleet and line exchanges, a variant of the Multi-Depot Vehicle Scheduling Problem in which additional constraints are enforced to model a real life scenario. The number of constraints involved and the large number of variables makes impracticable solving to optimality using complete search techniques. Therefore, we explore metaheuristics, that sacrifice optimality to produce solutions in feasible time. More concretely, we focus on the development of algorithms based on a sophisticated metaheuristic, Ant-Colony Optimization (ACO), which is based on a stochastic learning mechanism. For complex problems with a considerable number of constraints, sophisticated metaheuristics may fail to produce quality solutions in a reasonable amount of time. Thus, we developed parallel shared-memory (SM) synchronous ACO algorithms, however, synchronism originates the straggler problem. Therefore, we proposed three SM asynchronous algorithms that break the original algorithm semantics and differ on the degree of concurrency allowed while manipulating the learned information. Our results show that our sequential ACO algorithms produced better solutions than a Restarts metaheuristic, the ACO algorithms were able to learn and better solutions were achieved by increasing the amount of cooperation (number of search agents). Regarding parallel algorithms, our asynchronous ACO algorithms outperformed synchronous ones in terms of speedup and solution quality, achieving speedups of 17.6x. The cooperation scheme imposed by asynchronism also achieved a better learning rate than the original one.

Decentralization and privatization in Portuguese health reforms

ABSTRACT - The Portuguese National Health Service (SNS), a universal, centralized and public owned health care system, exhibits an extraordinary record of equalization in the access to health care and health gains in the late thirty years. However, the most recent history of the Portuguese health reform is pervaded by the influence of decentralization and privatization. Decentralization has been present in the system design since the 1976 Constitution, at least in theory. Private ownership of health care suppliers and out-ofpocket expenditures, on the financing side, both have a long tradition of relevance in the NHS mix of services. The initial aim of this study was to demonstrate expected parallelism between health reforms and public administration reforms, where a common pattern of joint decentralization and privatization was observed in many countries. Observers would be tempted to consider these two movements as common signs of new public management (NPM) developments. They have common objectives, are established around the core concepts of gains in effectiveness, efficiency, equity and quality of public services, through improved accountability. However, in practice, in Portugal, each movement was developed in a totally separated way. Besides those rooted in the NPM theory, there are few visible signs of association between decentralization and privatization. Decentralization, in the Portuguese SNS, was never intended to be followed by a privatization movement; it was seen merely as a public administration tool. Private management of health services, as stated in the most recent SNS legislation, was never intended to have decentralization as a condition or as a consequence. Paradoxically, in the Portuguese context, it has led invariably to centralized control. While presented as separate instruments for a common purpose, the association between decentralization and privatization still lacks a convincing demonstration. Many common health care management stereotypes remain to be checked out if we want to look for eventual associations between these two organizational tools.

Operacionalização do processo de raciocínio no estudo para o desenvolvimento técnico do violino

Relatório de estágio de mestrado em Ensino de Música

Estudo de viabilidade de paralelização de códigos de análise de dados em PROOF

Dissertação de mestrado em Engenharia Informática

A violência sexual e de género nos campos de população refugiada: análise e enquadramento legal

Dissertação de mestrado em Direitos Humanos