P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Paper/Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Parallel run-time for CO-OPN

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

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Balancing and lot-sizing mixed-model lines in the footwear industry

This report describes the full research proposal for the project \Balancing and lot-sizing mixed-model lines in the footwear industry", to be developed as part of the master program in Engenharia Electrotécnica e de Computadores - Sistemas de Planeamento Industrial of the Instituto Superior de Engenharia do Porto. The Portuguese footwear industry is undergoing a period of great development and innovation. The numbers speak for themselves, Portugal footwear exported 71 million pairs of shoes to over 130 countries in 2012. It is a diverse sector, which covers different categories of women, men and children shoes, each of them with various models. New and technologically advanced mixed-model assembly lines are being projected and installed to replace traditional mass assembly lines. Obviously there is a need to manage them conveniently and to improve their operations. This work focuses on balancing and lot-sizing stitching mixed-model lines in a real world environment. For that purpose it will be fundamental to develop and evaluate adequate effective solution methods. Different objectives may be considered, which are relevant for the companies, such as minimizing the number of workstations, and minimizing the makespan, while taking into account a lot of practical restrictions. The solution approaches will be based on approximate methods, namely by resorting to metaheuristics. To show the impact of having different lots in production the initial maximum amount for each lot is changed and a Tabu Search based procedure is used to improve the solutions. The developed approaches will be evaluated and tested. A special attention will be given to the solution of real applied problems. Future work may include the study of other neighbourhood structures related to Tabu Search and the development of ways to speed up the evaluation of neighbours, as well as improving the balancing solution method.

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.

Identification of CNVs on the genome of Brazilian chicken lines.

2016

Establishment of HTLV-I-infected cell lines from peripheral blood mononuclear cells of Brazilian patients

To investigate epidemiological and pathogenetic features of HTLV-I infection, a cohort of carriers has been followed at the USP Teaching Hospital since 1991. This study describes the establishment of cell lines from peripheral blood mononuclear cells (PBMC) of infected subjects. Ex vivo PBMC were cultured with those from a seronegative donor and morphologic evidence of cell transformation was obtained after 90 days with detection of multinucleated cells exhibiting cerebriform nuclei. Integration of HTLV-I proviral DNA and expression of viral antigens was demonstrated in culture by PCR and immunofluorescence. Cell lines were maintained for 240 days, gradually weaned from exogenous IL-2. Immunophenotyping of cell lines on flow cytometry yielded evidence of cell activation. Establishment of HTLV-I-infected cell lines from ex vivo PBMC is feasible and may be useful for studies on lymphocyte phenotypic changes and on mechanisms of HTLV-induced cell proliferation. Moreover they may be used with diagnostic purposes in immunofluorescence tests.

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

Optimization of breast tomosynthesis image reconstruction using parallel computing

Breast cancer is the most common cancer among women, being a major public health problem. Worldwide, X-ray mammography is the current gold-standard for medical imaging of breast cancer. However, it has associated some well-known limitations. The false-negative rates, up to 66% in symptomatic women, and the false-positive rates, up to 60%, are a continued source of concern and debate. These drawbacks prompt the development of other imaging techniques for breast cancer detection, in which Digital Breast Tomosynthesis (DBT) is included. DBT is a 3D radiographic technique that reduces the obscuring effect of tissue overlap and appears to address both issues of false-negative and false-positive rates. The 3D images in DBT are only achieved through image reconstruction methods. These methods play an important role in a clinical setting since there is a need to implement a reconstruction process that is both accurate and fast. This dissertation deals with the optimization of iterative algorithms, with parallel computing through an implementation on Graphics Processing Units (GPUs) to make the 3D reconstruction faster using Compute Unified Device Architecture (CUDA). Iterative algorithms have shown to produce the highest quality DBT images, but since they are computationally intensive, their clinical use is currently rejected. These algorithms have the potential to reduce patient dose in DBT scans. A method of integrating CUDA in Interactive Data Language (IDL) is proposed in order to accelerate the DBT image reconstructions. This method has never been attempted before for DBT. In this work the system matrix calculation, the most computationally expensive part of iterative algorithms, is accelerated. A speedup of 1.6 is achieved proving the fact that GPUs can accelerate the IDL implementation.

Thomsen-Friedenreich antigens in bladder cancer: evaluation of their prognostic value

RESUMO: Introdução. O cancro de bexiga é uma patologia comum que representa o 6° e o 5° cancro mais incidente em Portugal e na Itália, respetivamente. Em mais de metade dos casos ocorre reincidência durante o primeiro ano, requerendo acompanhamento clínico ao longo da vida. A instilação intravesical de Bacillus Calmette-Guérin (BCG) (uma estirpe atenuada do Mycobacterium bovis) representa uma imunoterapia eficaz no combate ao cancro de bexiga, no entanto, muitos aspetos da interação de BCG com as células tumorais bem como com as células do sistema imunitário permanecem por desvendar. As células tumorais de bexiga expressam frequentemente as formas sialiladas dos antigénios de Thomsen-Friedenreich (TF), i.e., sialil-T (sT) e sialil-Tn (sTn). Contudo ainda se desconhece o significado da sua expressão na malignidade tumoral e se afeta a eficácia da terapêutica BCG. Objetivo do estudo. Investigar o papel dos antigénios sT e sTn no fenótipo maligno de células de cancro de bexiga bem como na resposta mediada pelo sistema imunitário à terapia com BCG. Metodologia. Para tal, foram utilizadas as linhas celulares de cancro da bexiga HT1376 e MCR, geneticamente modificadas por transdução com vetores codificantes para as sialiltransferases ST3GAL1 ou ST6GALNAC1, de forma a expressar homogeneamente os antigénios sT ou sTn respetivamente. Estes modelos celulares foram estudados após confronto com BCG. O nível de BCG internalizado foi avaliado por citometria de fluxo. O perfil global de expressão genética dos modelos celulares antes e após incubação com BCG foi analisado pela tecnologia de microarray. O perfil de citocinas secretadas pelos modelos celulares após incubação com BCG, bem como de macrófagos estimulados pelo secretoma de células de cancro de bexiga que por sua vez foram estimuladas previamente por BCG, foi estudado pelo sistema multiplex de “imuno-esferas”. Resultados. A análise do transcritoma dos modelos celulares revelou que grupos de genes envolvidos em funções específicas foram modulados em paralelo nos dois modelos celulares, após transdução, independentemente da sialiltransferase expressa. Ou seja, em células que expressavam a sialiltransferase ST3GAL1 ou ST6GALNAC1, os genes envolvidos na regulação da segregação cromossómica e na reparação do DNA foram consistentemente regulados negativamente. Genes descritos na literatura como marcadores para o cancro de bexiga foram também modulados. A incubação com BCG resultou numa tendência ao aumento da expressão de genes relevantes na preservação e estabilidade genómica e menor malignidade, no entanto, apenas em células que expressavam sT ou sTn. Entre as dez citocinas testadas, apenas a IL-6 e IL-8 foram expressas pelas linhas celulares de cancro da bexiga, com indução destas após estimulação com BCG, e principalmente em células que expressavam ST3GAL1 ou ST6GALNAC1. Em macrófagos, citocinas inflamatórias, tais como IL-1β, IL-6 e TNFα, e a citocina anti-inflamatória IL-10, foram induzidas apenas pelo secretoma de células de cancro da bexiga confrontadas com BCG, com maior relevância quando estas expressavam ST3GAL1 ou ST6GALNAC1, prevendo a estimulação de macrófagos semelhantes aos de tipo M1 e uma melhor resposta à terapia com BCG. Conclusões. O efeito geral da expressão destas sialiltransferases e dos produtos enzimáticos sT ou sTn nas células de cancro de bexiga conduz a um fenótipo de maior malignidade. Contudo, a maior avidez de estas na produção de citocinas inflamatórias após confronto com BCG, bem como a maior capacidade de estimulação de macrófagos, predirá uma resposta à terapia com BCG mais eficaz em tumores que expressem os antigénios de TF sialilados. Tais conclusões são totalmente concordantes com os nossos mais recentes dados clínicos obtidos em colaboração, que mostram que em doentes com cancro de bexiga que expressam sTn respondem melhor a terapia BCG. ----------ABSTRACT: Background. Bladder cancer is a common malignancy representing the 6th and the 5th most incident cancer in Portugal and in Italy, respectively. More than half of the cases relapse within one year, requiring though a lifelong follow-up. Intravesical instillation of Bacillus Calmette-Guérin (BCG) (an attenuated strain of Mycobacterium bovis) represents an effective immunotherapy of bladder cancer, although many aspects of the interaction of BCG with cancer cells and host immune cells remain obscure. Bladder cancer cells often express the sialylated forms of the Thomsen-Friedenreich (TF), i.e., sialil-T (sT) e sialil-Tn (sTn). However, it’s still unknown the sense of such expression in tumour malignancy and in the BCG therapy efficacy. Aim of the study. To investigate the role of the sT and sTn antigens on the malignant phenotype of bladder cancer cells and the immune mediated response to BCG therapy. Experimental. We have utilized populations of the bladder cancer cell lines HT1376 and MCR, genetically modified by transduction with the sialyltransferases ST3GAL1 or ST6GALNAC1 to express homogeneously sT or sTn antigens. The level of BCG internalized was assessed by flow cytometry. The whole gene expression profile of BCG-challenged or unchallenged bladder cancer cell lines was studied by microarray technology. The profile of cytokines secreted by BCG-challenged bladder cancer cells and that of macrophages challenged by the secretome of BCG-challenged bladder cancer cells was studied by multiplex immune-beads assay. Results. Transcriptome analysis of the sialyltransferase-transduced cells revealed that groups of genes involved in specific functions were regulated in parallel in the two cell lines, regardless the sialyltransferase expressed. Namely, in sialyltransferase-expressing cells, genes involved in the proper chromosomal segregation and in the DNA repair were consistently down-regulated, while genes reported in literature as markers for bladder cancer were modulated. BCG-challenging induced a tendency to up-regulation of the genes preserving genomic stability and reducing malignancy, but only in cells expressing either sT or sTn. Among the ten cytokines tested, only IL-6 and IL-8 were expressed by bladder cancer cell lines and up-regulated by BCG-challenging, mainly in sialyltransferases-expressing cells. In macrophages, inflammatory cytokines, such as IL-1β, IL-6 and TNFα, and the antinflammatory IL-10 were induced only by the secretome of BCG-challenged bladder cancer cells, particularly when expressing either sialyltransferase, predicting the stimulation of M1-like macrophages and a better response to BCG therapy. Conclusions. The general effect of the expression of the two sialyltransferases and their products in the bladder cancer cells is toward a more malignant phenotype. However, the stronger ability of sialyltransferase expressing cells to produce inflammatory cytokines upon BCG-challenging and to stimulate macrophages predicts a more effective response to BCG in tumours expressing the sialylated TF antigens. This is fully consistent with our recent clinical data obtained in collaboration, showing that patients with bladder cancer expressing sTn respond better to BCG therapy.

Establishment and evaluation of flexible insect cell lines for rapid production of recombinant proteins

Fundação para a Ciência e a Tecnologia (FCT) - (PTDC/EBB-EBI/102266/2008 and SFRH/BD/43830/2008, respectively) and by European Community’s FP7/2007-2013 (grant agreement nº 270089)