C/C++内存问题检查利器―Purify （三）

五、             文件描述符问题

在上面的内存问题表中，对于大多数的内存问题来说，相信对于熟悉 C/C++ 的程序员，并不陌生。有一些关于 Watchpoint 和文件描述符的内容，可能会让你看得比较模糊，对于 Watchpoint ，我会在后面讲述。这一节，我就一个示例说一说文件描述述问题是如何产生的，并由此介绍一下 Purify 的一些特性。

 

先查看下面这段程序：

 

#include <stdio.h>   main() {     FILE* fp;     int num;       fp = fopen("./test.txt", "r");     if ( fp == NULL){         perror("Error:");         exit(-1);     }       fscanf(fp, "%d", &num);     if ( num < 0 ){        printf("Error: the num should be greater than 0!\n");        exit(-1);     }       fclose(fp); }

 

在当前目录下建一个 test.txt 的文件，并设置其内容为 -20 。使用 Purify 编译并运行程序：

>  purify gcc -g -o testfd testfd.c

Purify 2003.06.00 Solaris 2 (32-bit) Copyright (C) 1992-2002 Rational Software Corp.  All rights reserved. 

Instrumenting: ccqqF6pY.o  Linking

 

>./testfd

 

出现以下画面：

 

 

由图中，我们可以看到， Purify 报告有 FIU 错误，意思是，我们在程序退出时，没有关闭文件描述符。还有一些算是安全的文件描述符信息，那就是关于 0 ， 1 ， 2 这三个标准文件描述符的 FIU ，这些信息是正常的，所以在其前面也就没有小三角符号了。

 

通过这个例子，我们可以看到， Purify 不但可以找到内存的操作错误，还可以找到文件描述符的错误。

 

如果你不想让Purify显示FIU信息，你可以设置Purify的 -fds-inuse-at-exit=no 选项，如：

 

>  purify �Cfds-inuse-at-exit gcc -g -o testfd testfd.c

 

或者使用 Purify 的 API 函数 purify_clear_fds_inuse 来阻止显示，你可以在你的程序中调用 Purify 的 API 函数。有关 Purify 的 API 函数的细节，我会在后面给你讲述。

 

 

六、             控制Purify的输出

1 、产生ASCII 文本文件

 

在默认情况下， Purify 会显示出一个图形窗口来报告信息。当然，如果你的环境所限，你不想 Purify 出现图形界面，只是生成文本文件来报告，能过设置 Purify 的参数，你可以很容易做到这一点。

 

在程序编译时，你只需简单的调置 Purify 的编译参数 �Cwindows=no 即可做到，如：

 

> purify �Cwindows=no gcc �Cg �Co hello hello.c

 

Purify 会把其报告信息写到标准错误设备上，在文本方式下， Purify 就不报告同种错误出现在个数，而只是报告的信息了。

 

我们可以使用两种方式让 Purify 的信息输出到文本文件中。

 

第一种是使用操作系统的重定向功能，如：

在 csh 下： % a.out.pure >& a.out.messages

在 sh 和 ksh 下： $ a.out.pure 2> a.out.messages

 

第二种是指定 Purify 的日志文件参数，如：

-log-file=<filename>.plog

 

下面，是一个 Purify 生成的 ASCII 文本文件的样子：

> ./hello ****  Purify instrumented hello (pid 25698 at Wed Dec 10 22:29:33 2003)   * Purify 2003.06.00 Solaris 2 (32-bit) Copyright (C) 1992-2002 Rational Software Corp.  All rights reserved.    * For contact information type: "purify -help"   * Options settings: -follow-child-processes=yes -purify -windows=no \     -purify-home=/usr/rational/releases/purify.sol.2003.06.00 \     -gcc3_path=/usr/local/bin/gcc \     -cache-dir=/usr/rational/releases/purify.sol.2003.06.00/cache \     -demangle_program=/usr/local/bin/c++filt   * License successfully checked out.   * Command-line: ./hello   ****  Purify instrumented hello (pid 25698)  **** ABR: Array bounds read:   * This is occurring while in:         strlen         [rtlib.o]         _doprnt        [libc.so.1]         printf         [libc.so.1]         main           [hello.c:11]         _start         [crt1.o]   * Reading 13 bytes from 0x8ea08 in the heap (1 byte at 0x8ea14 illegal).   * Address 0x8ea08 is at the beginning of a malloc'd block of 12 bytes.   * This block was allocated from:         malloc         [rtlib.o]         main           [hello.c:8]         _start         [crt1.o] Hello, World   ****  Purify instrumented hello (pid 25698)  **** Current file de.ors in use: 5 FIU: file de.or 0: <stdin> FIU: file de.or 1: <stdout> FIU: file de.or 2: <stderr> FIU: file de.or 26: <reserved for Purify internal use> FIU: file de.or 27: <reserved for Purify internal use>   ****  Purify instrumented hello (pid 25698)  **** Purify: Searching for all memory leaks...   Memory leaked: 12 bytes (100%); potentially leaked: 0 bytes (0%)   MLK: 12 bytes leaked at 0x8ea08   * This memory was allocated from:         malloc         [rtlib.o]         main           [hello.c:8]         _start         [crt1.o]   Purify Heap Analysis (combining suppressed and unsuppressed blocks)                          Blocks        Bytes               Leaked          1           12   Potentially Leaked          0            0               In-Use          0            0   ----------------------------------------      Total Allocated          1           12   ****  Purify instrumented hello (pid 25698)  ****   * Program exited with status code 13.   * 1 access error, 1 total occurrence.   * 12 bytes leaked.   * 0 bytes potentially leaked.   * Basic memory usage (including Purify overhead):     351348 code     101724 data/bss     8192 heap (peak use)     1272 stack   * Shared library memory usage (including Purify overhead):     992 libpure_solaris2_init.so.1 (shared code)     280 libpure_solaris2_init.so.1 (private data)     1079516 libc.so.1_pure_p3_c0_111202132_58_32_1158500S (shared code)     31404 libc.so.1_pure_p3_c0_111202132_58_32_1158500S (private data)     2324 libdl.so.1_pure_p3_c0_111202132_58_32_4624S (shared code)     4 libdl.so.1_pure_p3_c0_111202132_58_32_4624S (private data)     14048 libinternal_stubs.so.1 (shared code)     940 libinternal_stubs.so.1 (private data)

 

 

2 、产生Purify 自己的文件

 

通过查看 ASCII 文本文件，我们发现其很不容易查看，特别是当错误很多时，而用在文件中没有源代码，看起来就是不如图形界面的好。但是我们为了把 Purify 的报告信息通过电子邮件传送给别人查看时，文件和图形界面兼得，我们可以使用 Purify 自己的文件，叫 Purify View 文件。我们可以使用 Purify 的图形界面打开这个文件，而来在图形化的窗口下查看。

 

我们可以有两种方式得到这个文件。一种是在 Purify 的图形界面的菜单中点击“ File -> Save as ”来生成。第二种方法是使用 Purify 的 -view-file=<filename>.pv 参数来设置 Purify View 文件。

 

而要打开这个文件时，要么简单地在 Purify 的菜单中选取“ Open ”菜单，要么使用这样的命令：

       % purify �Cview <filename>.pv

 

3 、自动发送邮件

 

使用 Purify 的 -mail-to-user 参数可以方便地让 Purify 自动发送报告邮件。如：

 

% purify -mail-to-user=chris  gcc ...

% purify -mail-to-user=chris,pat  gcc ...

% purify -mail-to-user=devgrp  gcc ...

 

在默认情况下，只要你设置了这个参数， Purify 是不会打开图形界面窗口的，如果你要 Purify 打开图形窗口，那么你就一同使用 �Cwindows=yes 参数。

 

4 、输出自己的信息

 

如果你想在 Purify 中输出自己的信息，你可以在你的程序中使用 Purify 的 API 函数：

l         purify_printf(const char *fmt, ...)  使用这个函数可以在 Purify 的图形界面，文件文件中输出你的自己的信息。

l         purify_logfile_printf(const char *fmt, ...)   使用这个函数可以在 Purify 的 ASCII 文本文件中输出你自己的信息。

l         purify_printf_with_call_chain(const char *fmt, ...) 使用这个函数可以在 Purify 的输出的同时，打印出函数调用栈的信息。这个函数和 purify_printf 很类似。

注意，以上三个函数和标准 C 中的 printf 函数几乎是一样的，不过，这几个函数并不支持像 printf函数中的所有%的格式，它仅支持： %d , %u , %n , %s , %c , %e , %f , 和 %g 这几种格式，并且就 %e %f %g 而且，并不支持其精度定义。