ASE2 CARD CATALOG ENTRY

Instructions:

• Scroll forward and backward through this Card Catalog Entry to view it.
• Strike the PRINT button on your browser to print this Card Catalog Entry.
• Go to the FILE SPECS section of this Card Catalog Entry to find out where the associated directories and files are. If they are on this Website, you can transfer to them by clicking on the indicated hyperlinks. Note: the FILE SPECS hyperlink in this bullet will take you directly to the FILE SPECS section.
• Use the FIND command of your browser to search this Card Catalog Entry.
• Click here to go to the Card Catalog Taxonomy.
• Click here to go to the Card Catalog Index. Warning: the index file is large, so this may take a while on slower systems.
• Click here to go to the Title Page.

---

ASSET OVERVIEW

UNIT NAME

DINE

VERSION

1.0

REVIEW CODE

CS(Verdix Ada/Sun);ES;AR;C1 1.0 A

INET ADDRESS

AUTHOR

Michael Feldman
George Washington University

RIGHTS

PUBLIC DOMAIN

COPYRIGHT

DATE CREATED

1990

DATE RELEASED

Feb 1991

DATE LAST UPDATED

Feb 1991

LOCATION

ASR
PAL
AdaNET

ENVIRONMENT

Verdix Ada 6.0/Sun3; others

LIMITATIONS

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

---

CLASSIFICATION

KEYWORD

Dining Philosophers

INDEX

Feldman, Michael B.
George Washington University

DEPENDENCIES

SEE ALSO

SHORT DESCRIPTION

Desc and sol of the Dining Philosophers problem

TAXONOMY

Courseware

DINING PHILOSOPHERS PROBLEM

---

FILE LISTING

FILE SPECS

Click here to enter Asset Directory/transfer Asset File(s): ../../ase02_01/crsware/dine

DIRECTORY DISPLAY

Follow path to see directory

---

ABSTRACT

Dining Philospher's Problem

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.

---

ASE CARD CATALOG ENTRY NAVIGATION

• Go to Title Page
• Go to Taxonomy
• Go to Index (warning: the index file is large, so this may take a while on slower systems)
• Go to Top of this Page

Powered by the Generic Web-Based Reuse Library (GWRL)