【问题标题】:Check for out of memory error on open_memstream's FILE operation检查 open_memstream 的 FILE 操作的内存不足错误
【发布时间】:2021-05-30 11:56:53
【问题描述】:
  1. POSIX 是否保证在 open_memstream 的 FILE 写入操作中设置了 ferror?
  2. 如果 FILE 是使用 open_memstream 创建的,如何检查 FILE 操作的内存不足情况?

我曾经假设如果内部重新分配失败并且可以使用 ferror 获得错误条件,则应该在流上设置错误,但以下使用 glibc 2.31 的测试表明它没有这样做(Linux overcommit_memory 已禁用) :

#include <stdio.h>
#include <stdlib.h>
#include <errno.h>
#include <string.h>

static char chunk[1024] = {1};

int main(void) {
    size_t sz = 0;
    char *s = NULL;
    FILE *sf = open_memstream(&s, &sz);
    if (!sf) {
        fprintf(stderr, "%d: ERROR open_memstream failed: %s", (int)__LINE__, strerror(errno));
        return -1;
    }

    for (;;) {
        size_t new_n = fwrite(chunk, sizeof chunk, 1, sf);
        if (ferror(sf))
            fprintf(stderr, "%d: ERROR ferror(sf): %s\n", (int)__LINE__, strerror(errno));
        if (new_n == 0)
            break;
    }

    if (fflush(sf))
        fprintf(stderr, "%d: ERROR fflush(sf)\n", (int)__LINE__);
    if (ferror(sf))
        fprintf(stderr, "%d: ERROR ferror(sf)\n", (int)__LINE__);
        
    fprintf(stderr, "%d: writing done %zu\n", (int)__LINE__, sz);
    fclose(sf);
    free(s);
    return 0;
}

user@ws:~$ ./a.out 
30: writing done 4347395995

glibc 问题单: https://sourceware.org/bugzilla/show_bug.cgi?id=26573

【问题讨论】:

  • Linux overcommit_memory is disabled 它在这里做什么? memstream 完全是用户空间实现——不涉及内核。 int new_n = fwrite fwrite 返回一个 size_t(int)__LINE__ 为什么要转换为 int
  • @KamilCuk 1. 但它会重新分配 - 取决于在 overcommit_memory 中设置的内容,在 oom 上,linux 进程将被杀死或从调用中返回 NULL 指针。 2. + 3. LINE 保证为整型常量,但不保证类型。

标签: c linux posix glibc libc


【解决方案1】:

POSIX 是否保证在 open_memstream 的 FILE 写入操作中设置了 ferror?

令我惊讶的是,不,我在 open_memstreamferror 中什么都看不到。

浏览glibc,在glibc/memstream.c中没有设置_IO_ERR_SEEN的flags,所以ferror不会输出。

如果 FILE 是使用 open_memstream 创建的,如何检查 FILE 操作的内存不足情况?

检查sz 是否增加。检查errno

【讨论】:

    【解决方案2】:

    缓冲区只能在fflush 之后观察到,并且

    成功完成后,fflush() 应返回 0;否则,为流设置错误指示符,返回EOF,设置errno表示错误。

    这要求设置错误指示器。

    【讨论】:

    • 据我了解,这表示fflush操作时出错,而不是fwrite
    • fwrite 的行为(除了锁定的原子性)类似于重复的fputc。这个问题的主题都不是特定于内存流的。 fputc 必须要么成功写入或缓冲字节,要么报告错误并设置错误指示器。如果它被缓冲了,fflush 必须报告错误并设置错误指示器,如果它不能被刷新。
    • @R..GitHubSTOPHELPINGICE 如果在流上禁用缓冲会发生什么?
    • @AndrewHenle:根据规范,您仍然需要调用 fflushfclose 才能使用结果。
    猜你喜欢
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2011-09-02
    • 2017-02-26
    • 1970-01-01
    • 2015-09-20
    相关资源
    最近更新 更多