skip to content

EECS4315

User Tools

Log In

Site Tools

Recent Changes
Media Manager
Sitemap

You are here: Mission Critical Systems » Lab 8

Trace:

lab11

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Lab 8 ======

Download {{:lab8.zip|lab8.zip}}.  This file contains some code to solve the producer-consumer problem.  The corresponding API can be found [[http://www.eecs.yorku.ca/course_archive/2019-20/W/4315/api/lab8/|here]].  Implement the class BoundedBuffer.  Use Java PathFinder to check some properties of the code.  You may modify the code (add, for example, ghost variables), develop a listener, etc.  Describe which properties you have checked, the changes you have made to the code, etc.

To receive feedback, submit your modified and/or new Java code, the application properties file and a file containing a description of how you addressed the problem, by using
<code>
submit 4315 lab8 <name of file>
</code>
**before** Thursday April 2.

lab11.txt · Last modified: 2020/03/26 22:06 by franck

Page Tools

Show page
Old revisions
Backlinks
Back to top