HMC CS 156 Parallel & Real-Time Computing Links

Quick References

• Reference on Diagonal Dominance, etc.
• HMC Beowulf Cluster
• PP home page
• Errata for PP (pdf file, 18 or more pages)
• Glossary

Libraries and Tools

• MPI
  • MPI function Index
  • MPI User Guide
  • MPICH Home page
  • MPI, The Complete Reference (book on-line)
  • MPI Course Notes
  • Mississippi State MPI Page
  • MPI Performance Comparison on Distributed and Shared Memory Machines
• PVM
  • PVM examples
  • CPPvm (C++ Interface to PVM)
  • PVM++ (another C++ Interface to PVM)
• Threads
• CILK
• Getting Started with POSIX Threads
• Threads FAQ
• Solaris threads
• Creating and Using threads
• Applications
• Threadmon
• Inside Solaris articles:
  • part 1 | part 2 | part 3 | part 4 | part 5 | part 6 | part 7
  • Priorities revisited
  • Sleep and Wakeup
  • Index to SunWorld Columns
• Parallelizing STL
• OpenMP
• Parallel Matlab
• VAST-F Parallel
• Integrated Net Analyzer

Reference Books

• Parallel Computing Works (ON-LINE), Geoffrey Fox, et al.
• Designing and Building Parallel Programs (ON-LINE), Ian Foster, Addison-Wesley, 1995. (errata)
• Michael J. Quinn. Parallel computing: Theory and practice. Second Edition. McGraw-Hill, 1994.
• Joseph Já Já. An introduction to parallel algorithms, Addision-Wesley, 1992.
• Guy E. Blelloch. Vector models for data-parallel computing, MIT Press, 1990.
• Vipin Kumar, et al., Introduction to parallel computing, design and analysis of algorithms, Benjamin/Cummings, 1994.
• F. Thomas Leighton, Introduction to Parallel Algorithms and Architectures: Arrays, Trees, and Hypercubes
• Geoffrey Fox, et al., Parallel computing works!, Morgan-Kauffman, 1994. (On-Line Version)
• Dimitri P. Bertsekas and John N. Tsitsiklis, Parallel and Distributed Computation: Numerical Methods, Athena Scientific, 1997.
• Michael Wolfe, High Performance Compilers for Parallel Computing
• Parallel Computer Architecture: A Hardware/Software ApproachDavid E. Culler, Jaswinder Pal Singh, with Anoop Gupta
• Real-Time Systems, C.M. Krishna and Kang G. Shin, McGraw-Hill, 1997.
• Books and Journals on Distributed and Parallel Computing

Misc. Documents

• Parallel Computing Links
• Parallel Computing Archive
• History of Parallel Computing, 1955-1993
• PRAM Simulations: #1 | #2 | #3
• Formal Methods for the Specification and Design of Real-Time Safety Critical Systems (Jonathan Ostroff)
• Real-Time Terms
• Distributing Scientific Computation

Applications

• Monte Carlo Simulation for Statistical Physics
• Iterative equation solvers, FFT
• Traveling Salesperson
  • Solving the Traveling Salesman Problem
  • TSPLIB
  • TSPBIB
  • TSP Links
• NP Optimization Problems
• Ant Colony Optimzation
• N-body problem
• Berkeley, CS267
• From "Parallel Computing Works"
• CMU Parallel N-body using NESL
• Other N-body Sources
• Functional Algorithm Simulation of the Fast Multipole Method: Architectural Implications
• A Parallel Adaptive Fast Multipole algorithm for N-body problems
• Parallelization of the Fast Multipole Algorithm: Algorithm and Architecture Design
• Parallel Genetic Algorithms
• Parallel Sorting Algorithm Demos
• Parallel Algorithm Animations

Machines

• Top 500 Supercomputing Sites
• Appleseed
• Beowulf machines
• Cray T3E
• SB PRAM
• IBM SP
• Intel
• Meiko CS-2
• SGI Origin
• Tera MTA
• Linux Parallel Processing Using Clusters

Sorting Networks

• Sorting Networks and the END search algorithm

Networks

• Packet Switch Architectures
• Myrinet Clos network
• Marconi Rodeo
• Sycamore optical intellect
• Macrame' 1024 node
• IEEE 1355 Overview
• Hypercommunication networks

Parallel Languages

• Charm++
• Concurrent Clean
• GLU
• Fortran
  • High Performance Fortran in Practice, Charles Koelbel
  • Fortran Programmer's Guide
  • PGHPF Documentation (Portland Group)
• NESL
• pSather
• Split-C
• Java possibilities
  • An Introduction to Parallel Computing with Java
  • Java Grande
  • mpiJava
  • ProActive PDC
  • PROJAVA
  • SUIF Compiler System

Real-Time Languages

• Erlang
• Esterel
• Ada 95
  • Resource Page
  • Cetus Links
  • General Code Examples
  • GNAT
    • User Guide
    • Reference Manual
• LabView RT
• Lucid Synchrone
• Lustre
• Argos
• Reactive Project
• sE (Synchronous Eifel)

Parallel Models

• BSP (Bulk Synchronous Parallel) Model
  • Brief description
  • Tutorial
  • Oxford BSP Toolset
  • Applications
  • David Lecomber's Homepage
  • BSP and PRAM
• LogP
• Practical structured parallelism using Bird-Meertens Formalism
• Theory and Practice of Concurrency, Bill Roscoe
• Petri Nets

Real-Time Models

• Steam-Boiler study
• Petri Nets (Bibliography and Newsletter)
• TTM and RTTL (Jonathan Ostroff)
• Model Checking
• Logic in Computer Science (book)
• Cadence SMV (tutorial)
• Edinburgh Concurrency Workbench
• Modecharts (UT Austin Real-Time Systems Group)
• RTL, etc. ( UT Austin Real-Time Systems Group, Al Mok)
• TLA (Temporal Logic of Actions, Leslie Lamport)
• DisCo (Executable specification language)
• Synchronous Automata for Reactive, Real-Time or Embedded Systems (paper)
• Composing Synchronisation and Real-Time Constraints
• Comparison of Formalisms
• PVS
  • Model of Priority Ceiling Protocol
• Priority Ceiling Protocol
• Scheduling Problems
• Specification Patterns (for Temporal Logic)
• Bibliography of Non-Standard Logics
• Stanford Encyclopedia of Philosophy entry on Temporal Logic
• STeP (Stanford Temporal Prover)
• Time Petri Nets
• Alternating Bit Protocol Demo
• Time Petri Nets Primer
• Software and Compiler Generation for Embedded Systems
• SPIN
• TimeRover
• Introduction to Model Checking
• Rajeev Alur
• Sérgio Campos
• IMAG VHS
• Formal Methods around the World

Real-Time Operating Systems

• Solaris
• Embedded and Real-Time Systems
• Operating Systems for Real Time Processing

Pages with More Links

• Real-Time Resources
• Various Real-Time Links
• Production Cell study
• Nan Schaller's Parallel Page
• Practical Parallel Computing (U of New Mexico)
• Vendors of Parallel Processing Systems
• Parascope: Listing of Parallel Computing Sites
• Supercomputing and Parallel Computing Research Groups
• Applications to Computer Vision Bibliography
• Papers from LANL
• Second Forum on Parallel Computing Curricula

Projects

• AENEAS
• Condor
• NOW Project
• Mars Pathfinder
  • Photos, etc.
  • Various Accounts

Tutorials

• UCB CS 267
• Alan Edelman's Notes on Parallel Scientific Computing
• Computational Science Education Project (eBook)
• Grand Challenges
• Grand Challenges by Institution
• Educational Materials for High Performance Fortran (HPF)
• An introduction to High Performance Computing
• Vectorization Tutorial
• Overview of Computational Science
• Programming Parallel Algorithms, Guy Blelloch
• Basic Issues and Current Status of Parallel Computing--1995, by Geoffrey Fox
• The Recent Revolution in High-Performance Computing, Horst D. Simon
• Indiana Biblio
• A Seymour Cray Perspective
• Performance Tuning Optimization for Origin2000 and Onyx2

FAQs

• Cellular Automata FAQ
• comp.parallel
• comp.realtime
• Threads FAQ
• VxWorks

Papers

• Axioms for Real-time Logics