Teaching: DM519

Feel free to send me e-mails at hejfelix on gmail or add me on facebook/google+ for questions/corrections.

Some general stuff you shouldn’t need by now.
How to write a report
TeX Template
dm502_template.ps

Week 15

Weekly Note
solutions

Week 16

Weekly Note

Updated 30-04-2012

Week 17

Weekly Note
solutions

Week 18

Weekly Note

Week 19

Weekly Note

Rule of thumb: Always start by deciding which processes are monitors and which are threads. Below is an example of translation from monitor to java code.

Example FSP model:

Example corresponding java model for the above FSP:

Notice that the expressions used in the while loops are the exact negations of the guards in the FSP model.
Also, notice that enums can be used to model a process containing sub processes.

The following is an example implementation of a synchronized variable:


Leave a Reply

Your email address will not be published. Required fields are marked *