Changeset 2873

Timestamp:

Feb 23, 2012 4:20:16 AM (15 months ago)

Author:

quozl

Message:

OLPC fs-verify - add fs-verify-quick for abort on first mismatch, report accidental use of zd file, and rethrow exception after cleanup to allow caller to see it.

File:

• cpu/x86/pc/olpc/via/fsverify.fth (modified) (5 diffs)

cpu/x86/pc/olpc/via/fsverify.fth

@@ -1 +1 @@
 \ Boot script for post-audit testing
 [ifndef] fs-verify
+false value fs-verify-quick?
 vocabulary fs-verify-commands
 also fs-verify-commands definitions
 
+false value data?
 : zblocks:  ( "eblock-size" "#eblocks" ... -- )
+   data? 0= " Not a zsp file" ?nand-abort
    get-hex# to /nand-block
    get-hex# to #image-eblocks
@@ -12 +15 @@
 
 : zblocks-end:  ( -- )
+   false to data?
 ;
 
 \ This could be a no-op ...
 : data:  ( "filename" -- )
+   true to data?
    safe-parse-word fn-buf place
    " ${DN}${PN}\${CN}${FN}" expand$  image-name-buf place
@@ -32 +37 @@
 ;
 
+: ?mismatch
+   cr
+   fs-verify-quick? " One block mismatch, remainder not checked" ?nand-abort
+;
+
 : zblock: ( "eblock#" "comprlen" "hashname" "hash-of-128KiB" -- )
    get-hex#                              ( eblock# )
@@ -45 +55 @@
 
    verify-hash                           ( eblock# okay? )
-   swap .d  if  (cr  else  cr  then
+   swap .d  if  (cr  else  ?mismatch  then
 ;
 
@@ -62 +72 @@
    t-hms(
    also fs-verify-commands
-   ['] include-file catch  ?dup  if               ( x error )
-      nip .error
-   then
+   ['] include-file catch                         ( 0 | x error# )
    previous
    show-done
    close-nand-ihs
    )t-hms
+   throw                                          ( )
 ;
 
-: fs-verify  ( "devspec" -- )
+: fs-verify  ( "fs.zsp" -- )  \ test blocks
+   false to fs-verify-quick?
+   safe-parse-word $fs-verify
+;
+
+: fs-verify-quick  ( "fs.zsp" -- )  \ test blocks until a mismatch
+   true to fs-verify-quick?
    safe-parse-word $fs-verify
 ;