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