Differences

This shows you the differences between two versions of the page.

--- assignments:a3 [2010/12/31 16:30] – franck
+++ assignments:a3 [2015/04/03 19:39] (current) – franck
@@ Line 1: / Line 1: @@
+~~NOTOC~~
 ====== Assignment 3 ======
-===== Verify your implementation =====
+===== Measure the performance of your implementation =====
-Verify some properties of your implementation using Java PathFinder (JPF). Just running JPF on your code is not enough. Either you add something to your code that enables you to check a property (for example, add a few assertions). Or you consider minor variations on your implementation (showing, for example, that a particular lock is essential to guarantee deadlock freedom).   Etcetera.  Feel free to be creative.
+Design experiments to measure the performance of the implementation of your concurrent algorithm and the implementations of related algorithms.  Run the experiments on MTL.  Analyze the results.
 ===== Write a report =====
-In your report, describe the properties you checked.  Also explain how you checked them.  Furthermore, report the results of your verification effort.
+In your report, describe your experiments.  Discuss the results.  Use graphs.  This time, there is no need for an abstract, an introduction and a discussion of related work.
 The report should be roughly between 3 and 8 pages. These bounds are not absolute (but one page is probably not enough and 20 pages is too much).