Finalmente, o cluster

Fui apresentado ao cluster menor que deve ser minha plataforma de testes; apenas 16 máquinas. Infelizmente, algumas máquinas estão mal configuradas ou nem dando boot (kernel panic). E as que funcionam estão com RedHat 8, então o primeiro passo vai ser instalar Debian em todas. Pena o Debian estar tão desatualizado, mas para essa aplicação, não será problema. A parte mais interessante, para não usar outra palavra, é que o compilador Haskell# (a linguagem funcional paralela criada pelo grupo de pesquisa do qual eu faço parte) não está disponível em lugar nenhum. Que ótimo. Vamos ver no que dá.

Hiatus Prolongadus

O blog está parado, é o tipo da coisa que uma mudança faz com a pessoa... Fora o início do mestrado, estou lendo alguns livros interessantes sobre os quais comentarei em breve. Além disso, uma nova versão do plugin OCaml para Eclipse também está no forno.

Semestre 1/3 - Disciplinas

Só duas: Métodos Matemáticos 1C (processos estocásticos, transformada de Fourier e transformada Z) e Teoria da Informação. Poucas aulas, muito trabalho; mas os assuntos não são totalmente novos. Espero que sobre um bom tempo para pesquisa.

Leituras iniciais

Como início da investigação, uma lista de leituras e assuntos que pretendo pesquisar de início, por ordem de prioridade.

1. Fundamentos

• Concepts, Techniques and Models of Computer Programming
• Communicating Sequential Processes
• Communicating Mobile Systems: The pi-calculus
• Introduction to Process Algebra
• Theories of Programming Languages
• Types and Programming Languages

2. Bases matemáticas

• Lógica (lambda-calculus, etc)
  
• Álgebra
• Topologia (domínios, lattices)
• Teoria das categorias
• Teoria da computação
  

3. Acessórios

• Compiladores (dragão, Grune et al., Gough, etc)
• Fundamentos de Linguagem de Programação (Essentials of Programming Languages)
• Foundations for Programming Languages
• Programação funcional (Paulson, Reade, Okasaki, etc)
  

Eu sei que é muita coisa (principalmente na parte matemática), e que provavelmente não vai dar tempo de estudar tudo, quando começarem as obrigações formais do mestrado. Mas para isso servem as prioridades e leitura rápida.

Ordem !

Hora de começar a por ordem nesta birosca. Comecei falando sobre processamento paralelo, a coisa se desviou para alguns artigos sobre linguagens de programação, e aqui estamos. As aulas começam em duas semanas, mas só na quarta eu saberei quais serão as disciplinas. Meu programa de pesquisa pessoal não precisa depender disso.

A área de pesquisa é processamento paralelo. Ainda não sei em que tópico, exatamente. A minha idéia é desenvolver um trabalho na área de processamento paralelo, de preferência relacionado a linguagens de programação. Ainda não sei se será algo teórico ou aplicado, embora a ênfase em um lado não exclua o outro. O que eu preciso fazer, em termos gerais:

1. estudar a teoria da concorrência e computação paralela
2. estudar a teoria e aspectos práticos das linguagens de programação
3. procurar um problema interessante e relevante para resolver na área de processamento paralelo; isso pode ou não já envolver linguagens de programação
4. buscar uma solução para o problema; a solução poderá ser no nível das linguagens e usar métodos e técnicas da área

Por que estudar a teoria das linguagens de programação ? Porque é um objetivo relacionar minha dissertação com essa área; estudando a teoria eu vou saber que soluções e técnicas estão disponíveis, e onde ir para saber mais sobre elas.

Os passos 1 e 2 são para construir a fundação, e o 3 e 4 para "executar" o plano em si. Em seguida vou detalhar melhor o que eu já tenho planejado, principalente para os passos 1 e 2.