patchPSPP - Patches: patch #5916, error propagation layer

 
 

You are not allowed to post comments on this tracker with your current authentication level.

patch #5916: error propagation layer

Submitter:  Ben Pfaff <blp>
Submitted:  Fri 04 May 2007 04:01:34 AM UTC
   
 
Category:  None Item Group:  None
Status:  Done Assigned to:  None
Open/Closed:  Closed

Thu 07 Jun 2007 05:19:47 AM UTC, comment #1: 

Checked into main.

Ben Pfaff <blp>
Group administrator
Fri 04 May 2007 04:01:34 AM UTC, original submission:  

I've written some code to help simplify error handling in the new implementation of procedures in the simpler-proc branch.  I think it is ready for review.  I've attached it.

It's based on the idea of "taint propagation" that can be found in various tools (e.g. Valgrind) and academic papers (e.g. one that I was involved in, available via http://www.stanford.edu/~blp/papers/taint.html).  The basic rule of taint propagation (in this case) is "garbage in, garbage out".  That is, any operation based on corrupted input has corrupted output.

Naming is something of a problem here.  Currently the object is called a "taint" and so is the property of "being tainted" and the action of "tainting".  Ideally these should be more distinct.  One idea is to name the objects "gigo" (for garbage in, garbage out),  the property "corrupted", and the action "spoil".  Or whatever.  I'm open to opinions.

What do you think?

Ben Pfaff <blp>
Group administrator

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attached Files
file #12690:  taint.tar.gz added by blp (5KiB - application/gzip)

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by blp (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2007-06-07 blp StatusReady For Test/Review Done
        Open/ClosedOpen Closed
    2007-05-04 blp Attached File- Added taint.tar.gz, #12690

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code