exercises1-withanswers

exercises1-withanswers - COMP30112: Concurrency Exercises...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
COMP30112: Concurrency Exercises Howard Barringer February 2008 Some of these exercises are taken from Magee and Kramer’s book ‘Concurrency’, which contains further exercises for you to attempt. Some of the other exercises were prepared by Mark Jacobson, an ex-student in the School. Important: Clearly, several of the answers to the exercises below can be found by utilising the available tools (LTSA, Java). However, you should do these exercises for the moment just on paper. Try out your own examples : As we progress with the course, please do not constrain yourself to the given exercises and examples alone — try out your own modelling, analysis and implementation examples, e.g. Does your third year project involve concurrency? If so, try building abstract models in FSP. Have you got your Threads tangled in the past? If you have encountered problems then try reconstructing the example and analyse it Other course units Applications Topic 2.1: Basic FSP Processes 1. Make sure you have drawn the three ‘DAY’ LTSs, representing the actions of some- one getting up and going to work: (a) DAY1 : get up (action up ), then have tea (action tea ), then go to work (action work ), then stop (b) DAY2 : do DAY1 repeatedly (c) DAY3 : do DAY2, but choose between tea and coffee 2. Write the FSP process definitions for the above. Later, you can check these using
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 3

exercises1-withanswers - COMP30112: Concurrency Exercises...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online