Re: Purify patent (was Re: gawk memory leak)

Duncan Smith <dds@flavors.com>
9 May 1997 00:52:44 -0400

          From comp.compilers

Related articles
[2 earlier articles]
Re: gawk memory leak albaugh@agames.com (1997-04-03)
Re: gawk memory leak bobduff@world.std.com (1997-04-06)
Re: gawk memory leak pfoxSPAMOFF@lehman.com (Paul David Fox) (1997-04-13)
Purify patent (was Re: gawk memory leak) elan@jeeves.net (Elan Feingold) (1997-05-04)
Re: Purify patent (was Re: gawk memory leak) krish@cs.purdue.edu (Sailesh Krishnamurthy) (1997-05-08)
Re: Purify patent (was Re: gawk memory leak) clark@quarry.zk3.dec.com (1997-05-08)
Re: Purify patent (was Re: gawk memory leak) dds@flavors.com (Duncan Smith) (1997-05-09)
Re: Purify patent (was Re: gawk memory leak) pfox@lehman.com (Paul David Fox) (1997-05-13)
Re: Purify patent (was Re: gawk memory leak) boehm@mti.mti.sgi.com (Hans-Juergen Boehm) (1997-05-17)
| List of all articles for this month |

From: Duncan Smith <dds@flavors.com>
Newsgroups: comp.compilers
Date: 9 May 1997 00:52:44 -0400
Organization: Flavors Technology, Inc.
References: 97-03-165 97-04-020 97-04-022 97-04-037 97-04-070 97-05-019 97-05-090
Keywords: legal, linker, debug

Sailesh Krishnamurthy wrote:
>
> Paul David Fox wrote:
> >> I did some research into the Purify patent. There are
> >> actually 3 inter-related ones. I havent got the reference
> >> to hand but the substance of the patent is 'Use of object
> >> code modification to facilitate memory tracking and
> >> leakage detection'.


Anthony V. Ingenoso and I wrote a simple one of these in 1984 at the New
Technology Division of Interactive Data Corp, Waltham, MA. I am
surprised someone obtained a patent on somthing like this.


It was called the Pointer Checker and inserted bounds checks for FAR
pointer stores for Lattice C 2.5 object files. FAR writes and RMWs were
recognizable by their ES segment overrides. As a bonus it generated
optimized (packed and threaded) object files.


The reaching code walker had to understand the 3 different forms of
"switch" statements in order to walk the "case" branch tables embedded
in the code segments. It was a nice utility and saved the C programmers
a lot of debugging time. This right around the time of the PCAT and DOS
3.x.


I wanted inline checks, but Tony opted for out of line which eliminated
motion of the surrounding code.


-Duncan Smith
Flavors Technology, Inc.
[Software patents are a notorious morass, and one of the worst problems is
that the patent office completely unfamiliar with the prior art. -John]


--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.