[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[patch #5916] error propagation layer

From: Ben Pfaff
Subject: [patch #5916] error propagation layer
Date: Fri, 04 May 2007 04:01:35 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20061205 Iceweasel/ (Debian-


                 Summary: error propagation layer
                 Project: PSPP
            Submitted by: blp
            Submitted on: Thursday 05/03/07 at 21:01
                Category: None
              Item Group: None
                  Status: Ready For Test/Review
             Assigned to: None
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any



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 []).  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?


File Attachments:

Date: Thursday 05/03/07 at 21:01  Name: taint.tar.gz  Size: 5kB   By: blp



Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]