PAL CARD CATALOG ENTRY

SHORT DESCRIPTION

Desc and sol of the Dining Philosophers problem


MOVEMENT WITHIN THE PAL CARD CATALOG
Move to top-level taxonomy
Move to keyword list

ASSET PROFILE

UNIT NAME
DINE
VERSION
1.0
REVIEW CODE
CS(Verdix Ada/Sun);ES;AR;C1 1.0 A
INET ADDRESS
Not documented in PAL database
AUTHOR
Michael Feldman
George Washington University
RIGHTS
PUBLIC DOMAIN
COPYRIGHT
Not documented in PAL database
DATE CREATED
1990
DATE RELEASED
Feb 1991
DATE LAST UPDATED
Feb 1991
LOCATION
ASR
PAL
AdaNET
ENVIRONMENT
Verdix Ada 6.0/Sun3; others
LIMITATIONS
Not documented in PAL database
CERTIFICATION
Ada System Certifier_1 1.0
Date/Time of Processing: Wednesday 25 May       1994 04:36:16Pm
Overall Assessment of System: OK
Classification of System: A
Basis of Classification --
Syntax Errors                               PASS
Completeness                                PASS
Independence from External Libraries        PASS
Independence from a Specific Ada Compiler   PASS

Number of ...
Files               1
Library Units      18
Lines             714
Statements        286
Comments          145

Subunits and Parent Units --
1 parent program units
0 missing parent units
3 subunits
0 subunits found but not specified
0 subunits specified but not found

FILE LISTING

Directory Display


languages/ada/asr/educate/dine:
  File Name                 Size
  ---------                 ----
  dine.zip                 8,959


Totals
  ==============  ==============
    1 Files                8,959

ABSTRACT

    This is a description and solution to the Dining Philosophers
problem.
    A major design goal is machine/compiler independence. 


REVISION HISTORY

DATE         VERSION	AUTHOR                  HISTORY
Feb 1991       1.0   Michael Feldman         Initial Release


RELEASE NOTICE

This prologue must be included in all copies of this software.

This software is released to the Public Domain.


DISCLAIMER

	This software and its documentation are provided "AS IS" and
without any expressed or implied warranties whatsoever.  No warranties
as to performance, merchantability, or fitness for a particular
purpose exist.
	The user is advised to test the software thoroughly before
relying on it.  The user must assume the entire risk and liability of
using this software.  In no event shall any person or organization of
people be held responsible for any direct, indirect, consequential or
inconsequential damages or lost profits.