Bruno Rocha Coutinho

Email: coutinho arroba dcc.ufmg.br

Aula de Pthreads

Disciplina de Sistemas Paralelos Distribuídos

Projeto Tamandua - Servico de Mineração de Dados pela Internet

API do Anthill

Documentação em Doxygen do Anthill

Manual do Anthill
Transparências do Matheus
Fonte do Anthill

Resumos de artigos

Páginas:

Meus links no delicious

UFMG
DCC
E-commerce, Systems Performance Evaluation and Experimental Development Lab (e-speed)

Dicionários:

http://educom.sce.fct.unl.pt/proj/casa-comum/2/biblioteca/dicionarios.html
LOGOS
Pedro's Dictionaries

C/C++:

The multithreaded programming FAQ - Usenet FAQ on multithreaded programming
The Protothreads Library - extremely lightweight stackless threads
Opensourcetesting.org - Open source tools for software testing professionals
IBM Memory Interceptor Library - It works like mtrace
Exceptions in C - Try-catch em C. O cara que fez isso é ninja demais!!!!
Object Oriented Programming in C
Object Oriented Programming in C
Qual a diferença entre Associação, Aggregação e Composição no UML
AspectC++ - Aspect-Oriented Software Development in C++
Aspect Oriented Programming Tutorial
Tutorial de programação orientada a aspectos
The Boost web site - Free peer-reviewed portable C++ source libraries
The Boost MPL Library - High-level C++ template metaprogramming framework
NOBLE - A Library of Non-blocking Synchronization
AMD Core Math Library (ACML)
Optimized gcc compiling
Auto-vectorization in GCC
Dicionário de algoritmos e estruturas de dados
Sourcebank
Programmers Heaven
Cprogramming.com
codewriters.net
cplusplus resources
coding-zone.co.uk
Code Beach

Static Souce Code Analysis:

Splint - Annotation-Assisted Lightweight Static Checking
Smatch - A C source checker (just a set of scripts, not a true model checking tool)
PMD - scans Java source code and looks for potential problems
    CPD - Find duplicate code
Secure Software Free Tools
ITS4 - A program that examines source code and reports possible security weaknesses ("flaws") sorted by risk level
    Flawfinder - Free version of ITS4
UNO - A simple tool for source code analysis
BANSHEE - A toolkit for building constraint-based analyses
DIDUCE - A Java error-finding tool
RTL-Check - a famework for static analysis of programs from a safety and security perspective
    xGCC - Generates the RTL low-level intermediate representation of programs
HOL-TestGen a test case generator for specification based unit testing
Cqual - A tool for adding type qualifiers to C
    Daniel Wilkerson's C/C++ analysis tools - some of them use Cqual

Software Model Checking:

Berkeley Lazy Abstraction Software Verification Tool (BLAST)
MOPS - MOdelchecking Programs for Security properties
CBMC - Bounded Model Checking for ANSI-C
Verisoft - a tool for Systematic Software Testing
MAGIC - Modular Analysis of proGrams In C
Bogor - An extensible software model checking framework
The BOOP Toolkit - Uses abstraction and refinement to determine the reachability of program points in a C program
Java PathFinder (JPF) - a system to verify executable Java bytecode programs

Linux:

Doxygen - Ferramenta de geração automática de documentação para c/c++/java, tipo Javadoc
Cross-Referencing Linux - Código do kernel com referências cruzadas, ótimo para entendimento do kernel
Valgrind - A system for debugging and profiling x86-Linux programs
AMD CodeAnalyst for Linux
Linux Desktop: Using DPMS to reduce your power-bill
Linux Software Encyclopedia
Biblioteca de scripts da Sun
Software TestingAutomation Framework (STAF) - Automatiza distribuição, execução e análise de testes
Linux Test Project (LTP)
The Linux Kernel Janitor Project - Projeto de verificação do código do Kernel
MPlayer - Omelhor reprodutor de mídia no Linux
K3B - Programa gráfico de gravação de CD/DVD no Linux, com interface amigável, parecido com o Nero
Linux Compatible
Video for Linux - Captura de Vídeo no Linux

Documentação:

Linux Device Drivers
Kernel Newbies
    The Linux Kernel API
    Linux IP Networking - A Guide to the Implementation and Modification of the Linux Protocol Stack
    A jornada de um pacote pela pilha de protocolos do Linux 2.4
    Como adicionar uma chamada de sistema no kernel do Linux
LinuxHQ
    Tutoriais de programação no kernel
Linux Devices
    Writing Portable Device Drivers
Linux Kernel Documentation Project
Linux Documentation Project (LDP)
Index of Documentation for People Interested in Writing and/or Understanding the Linux Kernel
The Operating System Resource Center
Faqts - FAQs de tudo
Canivete Suíço do Programador Shell (bash)
The 60 Minute Network Security Guide (First steps towards a secure network environment)

Artigos:

Study showed that the Linux kernel has much fewer bugs than most proprietary software
Using Mtrace to Identify Memory Leaks
Migrating apps to the 2.6 kernel and NPTL
Linux Magazine - Melhor revista de linux que existe!
Linux Weekly News
O que tem de novo no kernel 2.6

Debian:

Repositórios APT não oficiais
giFT-fasttrack:
deb ftp://ftp.berlios.de/pub/gift-fasttrack unstable main
MPlayer:
deb http://marillat.free.fr unstable main
K3B:
deb http://www.planet-moll.de/debian sarge main

Other Operating Systems:

Open Solaris
    Blastwave - Open Source Software for Solaris
    Sunfreeware.com - More Open Source Software for Solaris
yellowTAB - The makers of ZETA operating system, the rebirth of BeOS
    Haiku project - They are creating a open source BeOS clone
        NewOS - NewOS is a open source operating system with an emphasis on design and portability. It's developed by an an ex-Be Inc. engineer. Will be used as Haiku's kernel.
ITRON - Real-time operating system for embedded systems
Plan 9 - A revolutionary OS with lots of new ideas, but unfortunately not get mainstream adoption
Syllable - A reliable and easy-to-use GPLed operating system for the home and small office user
    Syllable Software
    Kamidake - Syllable software repository

X:

X.Org Foundation
Páginas técnicas do X Window System e Motif
Xgl - an X server architecture layered on top of OpenGL
wxWidgets - API multiplataforma para aplicações gráficas
E17library tutorial

OpenGL:

OpenGL.org
OpenGLProgramming Guide - The Official Guide to Learning OpenGL, Version 1.1
OpenGL Extension Registry - Documentação das extensões do OpenGL
Avoiding 16 Common OpenGL Pitfalls
GPGPU - General-Purpose computation on GPUs
    GPGPU at SourceForge - libraries, utility classes, and programming examples intended to aid development of applications that use GPUs for general-purpose computation
    Using GPU for accelerating database operations
    GPGPU at AT&T Labs
Direct Rendering Infrastructure (DRI) - OpenGL acelerada por hardware no Linux
Utah-GLX - Outra implementação de OpenGL acelerada no Linux
Página de desenvolvedores da nVidia
Página de desenvolvedores da ATI
Simple Directmedia Layer (SDL) - Biblioteca para desenvolvimento de jogos multiplataforma

Verificação Formal:

NuSMV
http://www-cad.eecs.berkeley.edu/~kenmcmil/

Bases de Artigos:

ACM Portal - Almost all papaers that CiteSeer with better bibtex references
CiteSeer.IST - Almost all computer science papers
IEEE Xplore
Google Scholar
eBizSearch
Portal de periódicos da Capes
IEEE Distributed Systems Online
DBLP
BDBComp - Biblioteca Digital Brasileira de Computação
Biblioteca Digital da Unicamp
arXiv.org e-Print archive
Citebase
Computing Research Repository (CoRR) - The Computer Science interface of arXiv.org
IEEE Computer Society Digital Library
Computer Science Database
Networked Computer Science Technical Reference Library
The Collection of Computer Science Bibliographies

Research in Web Servers Scalability:

The C10K problem - Como lidar com 10000 clientes simultâneos
Transaction Processing Performance Council (TPC) - Entidade que define testes de desempenho de servidores transacionais
Neptune Project
Laboratório de Computação Paralela (LCP) COPPE/UFRJ
Optimistic Replication for Internet Data Services (2000)
The Ninja Project (Finished in 2000)
BEA Tuxedo

Bancos de dados distribuídos de alto desempenho:

C-JDBC - Clustered JDBC
The STORM Project - Enables execution of SQL-like SELECT queries on datasets stored in files distributed across a network.
MonetDB - Query Processing at Light-Speed

Pesquisa em Disponibilidade:

Non-Blocking Atomic Commitment With an Unreliable Failure Detector
Panic Lab (Rutgers)
    The Vivo Project
       Mendosus - Um ambiente de injeção de falhas para construção de serviços de alta disponibilidade
Dark Lab (Rutgers)
Stanford Software Infrastructures Group (SWIG)
    Crash Only Software/Recursive Microreboots
    Decoupled Storage - Armazenamento temporário de dados em hashs distribuídos
    Pinpoint- Runtime path analysis
    Recovery Oriented Computing (ROC)
The Berkeley/Stanford Recovery-Oriented Computing (ROC) Project
Checkpointing.org - The Home of Checkpointing Packages
DBench project - Dependability Benchmarking
DBench (LAAS)
DBench (Ariedrich-Alexander University)
    FAUmachine Project - Developing an Open Source Virtual Machine
IBM Autonomic Computing - Tenta automatizar manutenção/administração de sistemas de informação
    Kexec - Reinicia o linux ser ter que dar reboot na máquina
    Parallelize Linux system services to improve boot speed
High-Availability Linux Project
MySQL Cluster - diz que tem 99.999% de disponibilidade
Sgi Linux Failsafe

Computer Clusters:

Cluster World
LinuxHPC.org
Super Computing Online
ClusterSSH
MPI COMM WORLD Wiki - MPI community's Wiki
    Open MPI - combines technologies and resources from several MPI projects
        Fault Tolerant MPI - will be part of Open MPI
    MP_Lite - A lightweight message-passing library
    MPICH-G2 - MPI on the grid
Myricom - The creators of Myrinet
Quadrics Cluster Interconnect
Dolphin Cluster Interconnect
aggregate.org - Several researchs about clusters made by the University of Kentucky
    Cluster Design Rules
    The Aggregate's helpme Utility - Audio Diagnostics for Clusters and Server Farms
The Value Cluster Project: KRONOS
IBM Cluster Software
Rocks Linux Distribution
Cluster File Systems, INC. - Faz o Lustre File System, diz que tem uma vazão 100 vezes maior que um cluster NFS.

InfiniBand:

InfiniBand Trade Association - Specify InfiniBand Standards
OpenIB.org - Open-source InfiniBand (IB)
Linux InfiniBand Project
Mellanox
Topspin
Voltaire
InfiniCon
DAT Collaborative - Defines the Direct Access Transport (DAT) API

STI Cell Processor:

Unofficial Cell Processor Site
Some Cell Architecture Datasheets at Sony
Some Cell Processor Papers at IBM
Cell Industries - Supercomputer Applications for the Cell Processor
Cell architecture and programming model transparencies
Cell Architecture Explained
Cell Architecture Explanation at Ars Technica

Pesquisa sobre computação em malha (Grid):

OSU Department of Biomedical Informatics - Develops Datacutter in Ohio.
    DataCutter (Ohio) - Middleware para filtragem de grandes bases de dados científicas em malhas de computadores
        The STORM Project - Enables execution of SQL-like SELECT queries on datasets stored in files distributed across a network.
        The Mobius Project - Develops an array of tools and middleware components to coherently share and manage data and metadata in a Grid and/or distributed computing environment.
        NPackage- Integração do DataCutter com as ferramentas do Globus e do Network Weather Service
        Image Processing for the Grid (IP4G) - Kit de ferramentas que usa o DataCutter para permitir a execução de pipelines gráficos em malhas computacionais
        Image Research Assistant (IRA) - Submete estudos de parâmetro de imagem ao DataCutter
DataCutter (Maryland)
NSF Middleware Initiative(NMI) Release 5 - This addresses a critical need for software infrastructure to support scientific and engineering research. It helps creation and integration of production-quality middleware to helps scientific community use of grid computing infraestructure. Datacutter is part of their toolkit.
Virtual Machine Interface
NetSolve/GridSolve
Grupo de Redes de Computadores e Sistemas Distribuídos - UFBA e UFCG (Universidade Federal de Campina Grande)
    OurGrid - Implementa uma infraestrutura de malha computacional (MyGrid) baseada em Bag-of-Tasks (BoT), financiado pela HP
Grupo de Sistemas Distribuídos da USP
    InteGrade - Middleware de computação em malha orientado a objeto
EasyGrid
    Biblioteca de referência do EasyGrid
CSAG: Concurrent Systems Architecture Group (San Diego)
    High Performance Virtual Machines
GRAIL: Grid Research and Inovation Laboratory (San Diego)
Grid Computing and Distributed Systems (GRIDS) Laboratory
The SNOW Project
GPPD: Grupo de Processamento Paralelo e Distribuído (UFRGS)

Global Grid Forum
Open Grid Services Infrastructure Working Group (OGSI-WG) - Define padrões para computação em malha
The Globus Alliance - Desenvolve o Globus Toolkit
    Globus Toolkit - Primeira implementação completa do OGSI
Grid Engine

Inhambu - Executa aplicações de mineração de dados baseadas no Weka em clusters

Grids:

TeraGrid - Maior malha computacional do mundo, em 2004 tem 20 teraflops de processamento

Ferramentas/Produtos:

NetPIPE: A Network Protocol Independent Performance Evaluator
Sun N1 Grid Engine Software
Oracle 10g for the Grid
CactusCode.org

Notícias:

Grid Computing Planet.com
EnterTheGrid

P2P:

P2P Protocols Documentations
Edonkey Protocol Documentation
Coral Distribution Network
Dijjer - An Open Source P2P Web Cache for large files

Lojas de hardware barato:

WAZ (BH)
DHCP (BH)
Hardplus (BH)
BHInfor (BH, Duhh!)
Euromaster (BH)
Info Vip (BH)
MM Informática (BH)
Astech (São Paulo)
umpoukodetudo (Londrina - PR)
Hotpoint
Desknote - Notebooks montados
Nave Informática

Outros:

O Primeiro Filme Pornô
Filha Eficiente!!! - Todo mundo queria ter uma filha dessas!!!
Putz! Aéreos
Microsoft software caused air traffic shutdown - Vai usar windows, vai!!!
WebQuest Portal - The WebQuest model, a constructivist lesson format used widely around the world.
Incubadora Virtual de Conteúdos Digitais da Fapesp
Kidofspeed - Página de uma DOIDA que anda de moto em Chernobyl com uma câmera e um contador Geiger.
Microsoft Crash Gallery
Internet Archive WayBack Machine - O museu da Internet
Web lens
GetDataBack - Ferramenta de recuperação de arquivos no Windows
Lockabit - Segurança em Sistemas de Infirmação
generation5 (Inteligência Artificial)
Robocode
ItPay$ToLearn.com