Distribuídas no Ambiente VPE-qGM

Transcrição

1 Análise e Validação das Simulações Quânticas Paralelas e Distribuídas no Ambiente VPE-qGM Murilo F. Schmalfuss 1, Anderson B. de Avila 1, Renata H. S. Reiser 1, Maurício L. Pilla 1 1 Centro de Desenvolvimento Tecnológico Universidade Federal de Pelotas (UFPel) Caixa Postal Pelotas RS Brazil {mfschmalfuss,abdavila,reiser,pilla}@inf.ufpel.edu.br Abstract. This article presents an analysis of the results of quantum simulation times in the VPE-qGM enviroment. Hadamards transformations performed in qgm C -Analyzer library were parallelized with OpenMP and JCUDA in VirD- GM. The results of the simulations were compared with two other quantum simulators, the Libquantum library and the QuiDDPro. Resumo. Este artigo apresenta uma análise dos resultados dos tempos de simulações quânticas no ambiente VPE-qGM. As simulações analisadas foram transformações Hadamards executadas na biblioteca qgm C -Analyzer paralelizada com OpenMP e em GPUs através da implementação em JCUDA na VirD- GM. Os resultados das simulações foram comparados com outros dois simuladores quânticos, a biblioteca Libquantum e o QuiDDPro. 1. Introdução A Computação Quântica (CQ) é um paradigma fundamentado nos fenômenos da mecânica quântica [Nielsen and Chuang 2000]. A aplicação destes conceitos na computação permite alcançar um desempenho que pode chegar a ser exponencialmente maior do que computadores clássicos. Apesar de todos os esforços, vários desafios técnicos limitam os sistemas atuais à apenas alguns bits quânticos [Steeb and Hardy 2004]. Devido à indisponibilidade de hardware quântico, o estudo e desenvolvimento de aplicações na CQ usualmente é feito estritamente pela especificação matemática das computações ou por meio de ferramentas de simulação. Este último caracteriza a abordagem mais prática, entretanto a complexidade computacional associada à simulação de sistemas quânticos a partir de computadores clássicos limita o tamanho dos sistemas que podem ser simulados. O objetivo deste trabalho é analisar e validar os resultados obtidos com as implementações paralela e distribuída das bibliotecas responsáveis pela geração dos resultados das transformações quânticas, comparando com resultados obtidos com o estado da arte dos simuladores quânticos. Este artigo está dividido da seguinte forma. Conceitos básicos de Computação Quântica são apresentados na Seção 2. O ambiente em que este trabalho foi realizado, o VPE-qGM, é discutido na Seção 3. Após, a implementação da qgm C -Analyzer é detalhada na Seção 4 e os resultados são discutidos na Seção 6. Trabalhos relacionados são discutidos na Seção 5. Finalmente, as conclusões e trabalhos futuros são analisados na Seção

2 2. Conceitos Básicos de CQ Na CQ, o qubit é a unidade básica de informação, definido por um vetor de estado, unitário e bidimensional, genericamente descrito, na notação de Dirac [Nielsen and Chuang 2000], pela expressão ψ = α 0 + β 1. Os coeficientes α e β são números complexos correspondentes às amplitudes dos respectivos estados, respeitando a condição de normalização α 2 + β 2 = 1, a qual garante a unitariedade do vetor de estado do sistema, nesta expressão representado por (α, β) t. As amplitudes permitem que o sistema represente, simultaneamente, estados distintos, configurando um estado de superposição quântica, característica que origina o fenômeno do paralelismo quântico [Nielsen and Chuang 2000]. O espaço de estados de um sistema quântico de múltiplos qubits é compreendido pelo produto tensorial do espaço de estados de seus sistemas componentes. Considerando um sistema quântico de dois qubits, ψ = α 0 + β 1 e ϕ = γ 0 + δ 1, o espaço de estados é composto pelo produto tensor ψ ϕ, ou seja α 00 + β 01 + γ 10 + δ 11. A mudança de estado em um sistema quântico é feita por transformações quânticas unitárias, associadas a matrizes quadradas ortonormalizadas de ordem 2 N, sendo N a quantidade de qubits da transformação. 3. Ambiente VPE-qGM O ambiente VPE-qGM (Visual Programming Environment for the qgm Model) [Maron et al. 2013], fundamentado no modelo de processos qgm (Quantum Geometric Machine Model) [Reiser and Amaral 2010], é constituído de construtores para modelagem e simulação gráfica de aplicações quânticas. De acordo com o modelo qgm, a noção de portas quânticas pode ser substituída pelo conceito de sincronização de processos elementares (PEs). No ambiente VPE-qGM, o PE é um elemento estruturado por três atributos: (i) Ação: corresponde às transformações quânticas aplicadas a diferentes qubits em um mesmo instante de tempo; (ii) Parâmetros: contém dados auxiliares associados à definição das transformações quânticas; (iii) Posição: referente à posição de escrita em um espaço de memória global e compartilhada, na qual é armazenado o resultado do PE. Neste contexto, uma transformação quântica, aplicada à N qubits, pode ser modelada pela sincronização de 2 N PEs, cujas parametrizações satisfazem as condições equivalentes à definição dos vetores componentes da matriz (transformação unitária ou de medida) associada. Assim, durante a simulação, ocorre a execução (sequencial ou síncrona) dos PEs, os quais têm suas correspondentes computações efetuadas pela biblioteca qgm C - Analyzer, manipulando os dados presentes nas posições de memória e simulando o comportamento de um sistema quântico. 4. Biblioteca qgm C -Analyzer A biblioteca de execução dos PEs desenvolvida neste trabalho, denominada qgm C - Analyzer, implementa otimizações que controlam o aumento exponencial dos vetores componentes das Matrizes de Definição do Operador (MDOs) de múltiplos qubits, conforme introduzido em [Maron et al. 2011]. 333

3 Os resultados relacionados comprovam a redução no consumo de memória durante a simulação, suportando algoritmos com 11 qubits. Entretanto, o tempo total de simulação obtido permanece elevado, devido a quantidade de operações necessárias para simular uma transformação quântica. Tendo em vista que o crescimento da complexidade algoritmica se dá de forma exponencial, abordagens paralelas e distribuídas foram estudadas para otimizar os cálculos envolvidos na simulação de uma transformação quântica Funcionamento da Biblioteca A execução de PEs considera uma estratégia de geração dinâmica dos valores associados aos correspondentes vetores componentes da MDO. Para isso, as matrizes associadas às transformações quânticas básicas são substituídas por um conjunto de funções elementares. Para a transformação Hadamard (H), por exemplo, a M DO está caracterizada pela função elementar abaixo, onde a matriz correspondente está representada à esquerda e a função à direita 1 2 ( ) { 1 2, para linha = 0 H(linha, pos) = 1 pos 2, para linha = 1 (1) Todas as transformações suportadas pela biblioteca qgm C -Analyzer são definidas de forma análoga, evitando o armazenamento de estruturas de dados matriciais. Utilizando-se essas funções são construídas pilhas que armazenam os cálculos parciais das transformações. Por fim, todos os valores da última matriz são multiplicados pelos valores contidos na pilha, gerando os valores resultantes Paralelismo com OpenMP A biblioteca OpenMP possui um conjunto de rotinas e diretivas para a implementação do paralelismo. Ela utiliza o modelo fork-join: o código é executado sequencialmente por uma única thread até encontrar uma região paralela. Então, o trabalho é distribuído entre um pool de threads como se fossem realizados forks. Após, as threads são sincronizadas, de forma equivalente ao join. O algoritmo divide os operadores em listas, no caso de uma Hadamard de 15 qubits, são criadas três listas, H 15 [H 5 ] [H 5 ] [H 5 ]. O cálculo dos valores é gerado iterando a última lista com os valores contidos numa pilha. Na implementação paralela, cada thread possui uma cópia privada da pilha, e as memórias de escrita e leitura são compartilhadas entre todas as threads, pois cada valor calculado é escrito em uma posição diferente da memória. A divisão das threads é feita de forma a manter juntos os valores necessários para o cálculo de uma posição. Para isso as iterações são divididas levando em conta o número de colunas da primeira lista envolvida na transformação. Nos casos em que a transformação possui apenas uma lista, as threads são divididas de forma à calcular os valores referenters à própria lista, para que a distribuição do trabalho seja balanceada. A definição do número de threads utilizadas pela biblioteca é definida por uma váriavel de ambiente (OMP NUM THREADS), gerando uma implementação mais 334

4 flexível. Ou seja, dependendo da transformação quântica, tem-se um controle da granulosidade visando melhor desempenho da biblioteca. 5. Trabalhos Relacionados Esta seção apresenta os trabalhos de pesquisa relacionados, mostrando as abordagens utilizadas por outras frentes de pesquisa. Existem vários trabalhos relacionados, dentre os quais se destacam o módulo VirD-GM (Virtual Distributed Geometric Machine) [Avila et al. 2014] do ambiente VPE-qGM, a biblioteca Libquantum [Butscher and Weimer 2003] e o simulador quântico QuiDDPro [Viamontes 2007] VirD-GM A VirD-GM é um módulo do ambiente VPE-qGM responsável pelo gerenciamento transparente da simulação distribuída. Ela é desenvolvida em Java e atualmente conta com suporte à simulação sequencial em CPUs e massivamente paralela através de GPUs, implementada utilizando a interface JCUDA. A execução distribuída de algoritmos quânticos na VirD-GM é controlada por três módulos principais: (i) A VirD-Loader, que é responsável pela interpretação de arquivos descritores contendo o algoritmo a ser simulado e seu vetor de estado inicial; (ii) Escalonamento e controle de fluxo são tratados pelo módulo VirD-Launcher; (iii) O módulo VirD-Exec controla a comunicação e transferência de dados entre os clientes de execução, nomeados VirD-Clients. A simulação em GPUs, auxiliados pelo VirD-GM, consiste em buscar uma distribuição equilibrada das tarefas através dos VirD-Clients Libquantum A biblioteca Libquantum utiliza uma abordagem paralela utilizando OpenMP e otimiza a representação dos valores, omitindo os estados base cujas amplitudes são zero. Esta abordagem requer que os estados de base diferentes de zero sejam armazenadas assim como o número total de estados diferentes de zero. A forma como é projetada a biblioteca, não dá suporte a simulação de emaranhamento quântico, o que reduz a complexidade da biblioteca QuiDDPro O simulador QuiDDPro representa os estados quânticos multidimensionais e as transformações quânticas através de uma estrutura denominada QuIDD (Quantum Information Decision Diagram), definidos por blocos de valores. Os valores seguem padrões, sendo possível representá-los de forma compacta reduzindo os tempos de acesso à informação e consequentemente o tempo de simulação e o consumo de memória. O QuiDDPro também não suporta a simulação de emaranhamento quântico. 6. Resultados Para a realização dos testes foram simuladas transformações Hadamards de 14 a 21 qubits, abrangendo as quatro abordagens mencionadas no trabalho, todas deterministicas. 335

5 O número de qubits utilizados nas simulações foi limitado pela expansão exponencial do espaço de memória. A medida de desempenho analisada foi o tempo médio de simulação, para cada caso de teste foram realizadas 15 simulações. A máquina utilizada para os testes possui as seguintes configurações: Intel Core i7-3770, 8 GiB RAM e GPU NVidia GT640. Os resultados obtidos podem ser observados na Tabela 1, as simulações executadas na qgm C -Analyzer e na VirD-GM tiveram tempos de execução mais elevados que as outras abordagens, no entanto este resultado já era esperado. Devido a forma como a representação do vetor de estados é implementada no QuIDDPro e na Libquantum os tempos de acesso e o número de operações realizadas são muito menores. O desvio padrão das simulações foram omitidos da tabela por estarem todos abaixo de 1,6%. Tabela 1. Tempos de simulação Qubits Tempos de Simulação (s) qgm C -Analyzer VirD-GM (GPU) Libquantum QuiDDPro 14 1,1372 1,679 0, , ,6993 2,083 0, , ,779 2,319 0, , ,78 7,469 0, , ,16 23,604 0, , ,21 86,404 0, , NE 1 345,433 0, , NE ,844 0, , Não executado devido ao elevado tempo de simulação necessário Figura 1. Gráfico dos resultados das simulações nas quatro abordagens. Ainda nestes resultados é possível observar que os tempos de simulação para 14 qubits na qgm C -Analyzer foram menores que na VirD-GM. Sendo a VirD-GM um gerenciador de simulação distribuído, a cópia de grande volume de dados para um número de operações não muito alto interfere no desempenho da simulação. 336

6 A Figura 1 permite analisar a escalabilidade das bibliotecas. As abordagens utilizadas pelo ambiente VPE-qGM apresentaram um crescimento exponencial no tempo de simulação, enquanto as outras abordagens, Libquantum e QuiDDPro, apresentaram um crescimento linear. O ambiente VPE-qGM se propõe a ser um ambiente de simulação quântica completo, simulando os efeitos de superposição quântica e emaranhamento quântico, portanto, a forma como são realizados os cálculos, calculando paralelamente todo o estado, torna a simulação mais complexa. 7. Conclusões Os resultados obtidos pela biblioteca qgm C -Analyzer ainda estão distantes do estado-daarte em simuladores quânticos, porém o objetivo do ambiente VPE-qGM é ser flexível e permitir que o usuário possa modelar e simular seus circuitos de forma gráfica, oferecendo recursos para a criação de novas portas quânticas. Estas características representam a vantagem do ambiente em relação às outras bibliotecas, que oferecem apenas portas já definidas e a modelagem dos circuitos é feita de forma textual. Com a abordagem distribuída da VirD-GM e a paralela da qgm C -Analyzer, um modelo de computação heterogênea englobando as duas abordagens é justificada para otimizar os tempos de simulações. Transformações que necessitam um elevado número de operações seriam destinadas as GPUs enquanto as demais transformações seriam distribuídas entre as CPUs. O desafio desta proposta é o controle do volume de dados transportados para cada máquina do cluster, pois para cada nodo é necessário copiar toda a memória, ocasionando um grande fluxo de dados, limitando o desempenho. Para trabalhos futuros busca-se uma otimização da estrutura que representa o vetor de estados, buscando padrões para a simplificação da estrutura. Referências Avila, A., Maron, A., Reiser, R., Pilla, M., and Yamin, A. (2014). Gpu-aware distributed quantum simulation. In Proc. of the SAC 14, pages 1 6. Butscher, B. and Weimer, H. (2003). Simulation eines quantencomputers. Maron, A., Ávila, A., Reiser, R., and Pilla, M. (2011). Introduzindo uma nova abordagem para simulação quântica com baixa complexidade espacial. In Anais do DINCON 2011, pages 1 6. SBMAC. Maron, A., Reiser, R., and Pilla, M. (2013). High-performance quantum computing simulation for the quantum geometric machine model. In Proc. of CCGRID 2013, pages 1 8. Nielsen, M. A. and Chuang, I. L. (2000). Quantum Computation and Quantum Information. Cambridge University Press. Reiser, R. and Amaral, R. (2010). The quantum states space in the qgm model. In Proc. of the III WEICIQ, pages , Petrópolis/RJ. LNCC Publisher. Steeb, W. H. and Hardy, Y. (2004). Problems and solutions in Quantum Computing and Quantum Information. World Scientific, New Jersey. Viamontes, G. (2007). Efficient Quantum Circuit Simulation. Phd thesis, The University of Michigan. 337