FSP help

Chardee MacDennis

hey guys,
studying for repeats here and majorly stuck on some finite state process stuff any chance of a hand?

Q1 Complete the following FSP model by providing a definition for the TWO_BUFFER process that uses process labelling and action prefixing to model a system in which the output of a BUFFER, a, is connected to the input of a BUFFER, b. Provide a structure diagram for the system.

range T = 0..3
BUFFER = (in[i:T] -> out -> BUFF).
||TWO_BUFFER = <insert definition here>

Q2 Modify the CLIENT process in the following model of client-server behaviour to allow the client's call to timeout before a reply is received from the server and describe any problems that arise from this mod.

const N = 2

CLIENT = (call -> wait -> continue -> CLIENT).

SERVER = (request -> service -> reply -> SERVER).

||CLIENT_SERVER = (client[1..N]:CLIENT || SERVER)
/ {client[1..N].call/request,
client[1..N].wait/reply}.


and one last question LTSA is it available on MAC OSX.

any help at all is appreciated. Thanks.

Chardee MacDennis

no one?

anyone even got a link to good FSP tutorial and/or concurrent programming tutorial?

thanks