source: trunk/Jgraph/complex-examples/conc.jgr @ 419

Last change on this file since 419 was 419, checked in by Nicholas Riley, 12 years ago

Jgraph: Debian changes by pzn@…

File size: 1.2 KB
Line 
1(* This is a picture of the concurrent checkpointing algorithm. *)
2
3newgraph
4xaxis min 0 max 3 size 2.5 nodraw
5yaxis min 0 max 2.0 size 2 nodraw
6
7(* Draw the address space *)
8
9newstring fontsize 9 hjc vjt x 0.25 y -0.07 : Address\
10Space
11
12newcurve fill 1 marktype ellipse marksize 0.2 1.4 pts 0.5 1.3
13newcurve marktype box fill 1 marksize 0.5 2.0 pts 0.25 1
14newline pts 0.0 0.6    0.5 0.6
15
16(* Draw the registers *)
17shell : echo "0.7 0" | awk -f regs.awk
18newstring hjc vjc fontsize 7 x 1.3 y 0.3 : . . .
19newstring fontsize 9 hjc vjt x 1.05 y -0.07 : CPU\
20States
21
22(* Draw the second address space *)
23newcurve fill 1 marktype ellipse marksize 0.2 1.5 pts 2.2 1.25
24newcurve marktype box marksize 0.5 2.0 fill 1 pts 1.95 1
25copycurve marksize 0.5 1.4 fill .5 pts 1.95 1.3
26copycurve marksize 0.5 0.1 pts 1.95 0.55
27newstring fontsize 9 hjc vjt x 1.95 y -0.07 : New Address\
28Space
29
30(* Draw all the arrows *)
31newline rarrow asize .07 .04  pts 0.6 1.3   1.60 1.3
32newline pts 1.3 0.575   1.22  0.4
33newline pts 1.3 0.575   1.3  0.4
34newline pts 1.3 0.575   1.38  0.4
35newline rarrow asize .07 .04  pts 1.0 0.6   1.3 0.575   1.6 0.55
36
37newline linetype longdash rarrow asize .07 .04  pts 2.3 1.25 2.6 0.45
38
39(* Draw the disk *)
40shell : echo "2.5 0.0" | awk -f disk.awk
Note: See TracBrowser for help on using the repository browser.