Thumbnail
Access Restriction
Open

Author Börger, Egon ♦ Durdanovic, Igor
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Transputer Code ♦ Occam Daemon ♦ Local Storing Instruction Stl ♦ Transputer Compilation ♦ Appropriate Address ♦ Transputer Instruction ♦ Transputer Ground Rule ♦ Channel Declaration ♦ Abstract Auxiliary Occam Daemon Function ♦ Mint Instruction ♦ Variable Declaration ♦ Register Areg ♦ Init Chan ♦ Pseudo Instruction Init Chan ♦ Occam Statement
Abstract Transputer compilation In this section we define the compilation to Transputer instructions which still uses abstract auxiliary OCCAM daemon functions. We proceed stepwise, defining for each Occam statement S the value of compile together with the TRANSPUTER ground rules for the execution of the code. Each time we show that this implements correctly the semantics of S as compiled to and executed in OCCAM daemon . Declarations The compilation of variable declarations remains the same as in OCCAM daemon . For the channel declarations (see subsection 4.3.) we have to compile the pseudo instruction init chan for the initialization of channels to nil. This is realized by first loading nil into the register Areg (using the MINT instruction) and then storing it from there to the channel (using the local storing instruction STL) with appropriate address: compile(CHAN id 1 ; : : : ; id r : S; e; m;x) = compile(init chan( ~ id); e 0 ; m;x); compile(S; e 0 ; m+ r; x) where ~ i...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study