ECE 440 · Week 9
Modern Computer: Full Stack
The checkpoint shows one path on the project image: the power-pull path or the bad-update path.
Week 9 of 10 · Solitude
ECE 440 · Week 9 · In class
The checkpoint shows one path on the project image: the power-pull path or the bad-update path.
- Pick one.
- Name the path you will not show, and leave it unrun.
- The proof is one command that shows the path you did pick.
- Write the path name and that command before you run the checkpoint.
ECE 440 · Week 9 · In class
The checkpoint shows one path on the project image: the power-pull path or the bad-update path. (continued)
- That pair is the homework.
ECE 440 · Week 9 · In class
The checkpoint note says which path works on the project image.
- It does not have to show both.
ECE 440 · Week 9 · Lecture
A checkpoint is one claim with proof
- Pick one path: the power-pull path or the bad-update path. Show it, do not describe it.
- Run it on the project image, the one you will demo, not the lab card from that week.
- Name the path you are not showing and leave it unrun; that is a decision, not a gap.
ECE 440 · Week 9 · Lecture
Evidence that holds up
| Weak | Strong |
|---|---|
| "It worked when we tried it" | A transcript with the command and its output |
| Output with no command | The command, then what it printed |
| A screenshot of the end | The log from before the event to after it |
| A run on another image | The image name in the same log |
ECE 440 · Week 9 · Lecture
Choose the proof before the run
- Write the path and the one command that proves it, then run the checkpoint.
- A proof chosen after the run tends to be whatever happened to print.
- One command that shows the property beats ten that show the board is on.
- If the proof fails, that is the result: write it down and do not swap paths mid-run.
ECE 440 · Week 9 · Lecture
The checkpoint note
Path shown: <power-pull | bad-update>
Path not shown: <the other one>
Image: <project image name>
Proof command: <command>
Result: <works | does not work>
Evidence: <transcript file>The note says which path works on the project image. It does not have to show both.
ECE 440 · Week 9 · Lab
Lab
- On the project image, show either the week-6 power-pull path or the week-7 bad-update path.
- Second pass: name the path you did not show, and leave it unrun.
- Assemble the lab hand-in: A checkpoint note that the power-pull path or the bad-update path works on the project image.
ECE 440 · Week 9 · Lab
Hand in
A checkpoint note that the power-pull path or the bad-update path works on the project image.
ECE 440 · Week 9 · Homework
Homework
- Write which path you will show, and the one command that proves it, before you run the checkpoint.
ECE 440 · Week 9 · Homework
Turn in
The path name and the proof command.
ECE 440 · Week 9 · Read
Read
On the lab site: Module 12, A whole system, has no checkpoint hand-in for those paths. This week does.
ECE 440 · Week 9 · Next
Week 10
The demo, the repository, and a maintenance note.