SPINning Parallel Systems Software

Details SPINning Parallel Systems Software SPINning Parallel Systems Software

2002-03-06

arxiv.org/abs/cs/0203009v1

Computer Science

Logic in Computer Science

19 pages; 8 figures; 3 tables

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

SPINning Parallel Systems Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with SPINning Parallel Systems Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and SPINning Parallel Systems Software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-124773