| 1 | (* This is a pretty ugly file, which prints an overview of checkpointing.
|
|---|
| 2 | It's interesting because like diskarray.jgr, it makes use of convert.awk
|
|---|
| 3 | to plot disk drives, and computer screens (from srm.awk)
|
|---|
| 4 | *)
|
|---|
| 5 |
|
|---|
| 6 |
|
|---|
| 7 | (* Draw the top time line *)
|
|---|
| 8 |
|
|---|
| 9 | newgraph
|
|---|
| 10 | xaxis min 0 max 13 size 6 nodraw
|
|---|
| 11 | yaxis min 0 max 4 size 2.5 nodraw
|
|---|
| 12 |
|
|---|
| 13 | shell : echo "0 1.5" | awk -f srm.awk
|
|---|
| 14 | newcurve marktype box fill .8 marksize .8 .7 pts 0.9 3.15
|
|---|
| 15 |
|
|---|
| 16 | newline linethickness 3
|
|---|
| 17 | pts 2.5 2.5 3.0 3.0 3.5 3.0 4.0 3.2 4.5 3.0 5.0 3.5
|
|---|
| 18 | 5.5 3.2 6.0 2.7 6.5 2.8 7.0 2.5 7.5 2.8 8.0 3.2
|
|---|
| 19 | 8.5 2.9 9.0 3.1 9.5 2.8 10.0 2.7
|
|---|
| 20 | newline linethickness 3 rarrows asize .3 .2 pts 10.0 2.7 10.5 2.5
|
|---|
| 21 |
|
|---|
| 22 | shell : echo "11 1.5" | awk -f srm.awk
|
|---|
| 23 |
|
|---|
| 24 |
|
|---|
| 25 | (* Draw the middle time line, with checkpoints and a failure *)
|
|---|
| 26 |
|
|---|
| 27 | copygraph
|
|---|
| 28 | y_translate -2.2
|
|---|
| 29 |
|
|---|
| 30 | shell : echo "0 1.5" | awk -f srm.awk
|
|---|
| 31 | newcurve marktype box fill .8 marksize .8 .7 pts 0.9 3.15
|
|---|
| 32 |
|
|---|
| 33 | newline linethickness 3
|
|---|
| 34 | pts 2.5 2.5 3.0 3.0 3.5 3.0 4.0 3.2 4.5 3.0 5.0 3.5
|
|---|
| 35 | 5.5 3.2 6.0 2.7 6.5 2.8 7.0 2.5 7.5 2.8 8.0 3.2
|
|---|
| 36 | newline linethickness 3 rarrows asize .3 .2 pts 8.0 3.2 8.5 2.9
|
|---|
| 37 | newstring x 8.8 y 2.9 hjl vjc fontsize 14 : Failure
|
|---|
| 38 |
|
|---|
| 39 | newline rarrows pts 3.5 3.0 3.4 1.6
|
|---|
| 40 | shell : echo "3.2 1.1" | awk -f disk.awk
|
|---|
| 41 |
|
|---|
| 42 | newline rarrows pts 5.5 3.2 5.4 1.6
|
|---|
| 43 | shell : echo "5.2 1.1" | awk -f disk.awk
|
|---|
| 44 |
|
|---|
| 45 | newline rarrows pts 7.5 2.8 7.4 1.6
|
|---|
| 46 | shell : echo "7.2 1.1" | awk -f disk.awk
|
|---|
| 47 |
|
|---|
| 48 | newstring x 5.5 y 4.5 fontsize 12 hjc vjb : Checkpoints
|
|---|
| 49 | newline rarrows pts 5.5 4.3 3.6 3.2
|
|---|
| 50 | newline rarrows pts 5.5 4.3 5.5 3.4
|
|---|
| 51 | newline rarrows pts 5.5 4.3 7.4 3.0
|
|---|
| 52 |
|
|---|
| 53 |
|
|---|
| 54 | (* Draw the bottom time line, which recovers from the checkpoint *)
|
|---|
| 55 |
|
|---|
| 56 | copygraph
|
|---|
| 57 | y_translate -4.4
|
|---|
| 58 |
|
|---|
| 59 | newline linethickness 3
|
|---|
| 60 | pts 7.5 2.8 8.0 3.2 8.5 2.9 9.0 3.1 9.5 2.8 10.0 2.7
|
|---|
| 61 | newline linethickness 3 rarrows asize .3 .2 pts 10.0 2.7 10.5 2.5
|
|---|
| 62 |
|
|---|
| 63 | shell : echo "11 1.5" | awk -f srm.awk
|
|---|
| 64 |
|
|---|
| 65 | newline larrows pts 7.5 2.7 7.4 1.6
|
|---|
| 66 | shell : echo "7.2 1.2" | awk -f disk.awk
|
|---|
| 67 |
|
|---|
| 68 | newstring fontsize 12 hjr vjc x 7.3 y 2.8 : Recover
|
|---|
| 69 |
|
|---|
