This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: CS3211 Parallel and Concurrent Programming – Guidelines for tutorial 3 (8-12 Feb 2010) Content: Discussion on Processes Threads, Concurrent Execution (Lecture 4). The prefix operator (->), choice operator (|), recursion operator and parallel composition operator (||) have been discussed so far in class. Sample Exercises: [Please conduct these as an interactive discussion, rather than an evaluation. Please also make it clear to the students that they are not being evaluated for their performance in these exercises, so that they are not afraid to make mistakes while answering.] 1. A digital circuit receives a sequence of trigger inputs and alternately outputs 0 and 1. Model the process CIRCUIT using FSP, and check that it produces the required output, i.e., it should perform the actions given by the trace: trigger ->1->trigger->0->trigger->1->trigger->0… CIRCUIT = trigger -> 1 -> trigger -> 0 -> CIRCUIT [Discuss the state machine description as well during the tutorial, it can be easily constructed...
View Full Document
- Spring '11
- Recursion, shared memory, Concurrent computing, state machine description