National Technical Reports Library - NTRL

National Technical Reports Library

The National Technical Information Service acquires, indexes, abstracts, and archives the largest collection of U.S. government-sponsored technical reports in existence. The NTRL offers online, free and open access to these authenticated government technical reports. Technical reports and documents in its repository may be available online for free either from the issuing federal agency, the U.S. Government Publishing Office’s Federal Digital System website, or through search engines.




Details
Actions:
Download PDFDownload XML
Download

SPINning Parallel Systems Software.


DE200242204

Publication Date 2002
Personal Author Matlin, O. S.; Lusk, E.; McCune, W.
Page Count 24
Abstract We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connected by Unix network sockets. MPD is dynamic processes and connections among them are created and destroyed as MPD is initialized, runs user processes, recovers from faults, and terminates. This dynamic nature is easily expressible in the Spin/Promela framework but poses performance and scalability challenges. We present here the results of expressing some of the parallel algorithms of MPD and executing both simulation and verification runs with Spin.
Keywords
  • Parallel processing
  • Computer software
  • Performance
  • Computerized simulation
  • Verification
  • Memory management
  • Algorithms
  • Spinning parallel systems
  • Multi Purpose Daemon(MPD)
Source Agency
  • Technical Information Center Oak Ridge Tennessee
Corporate Authors Argonne National Lab., IL. Mathematics and Computer Science Div.; Department of Energy, Washington, DC.
Supplemental Notes Sponsored by Department of Energy, Washington, DC.
Document Type Technical Report
NTIS Issue Number 200221
SPINning Parallel Systems Software.
SPINning Parallel Systems Software.
DE200242204

  • Parallel processing
  • Computer software
  • Performance
  • Computerized simulation
  • Verification
  • Memory management
  • Algorithms
  • Spinning parallel systems
  • Multi Purpose Daemon(MPD)
  • Technical Information Center Oak Ridge Tennessee
Loading