AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79494942
Accepted
Alphin Thomas
Alphin Thomas
Asked: 2025-03-09 03:44:30 +0800 CST2025-03-09 03:44:30 +0800 CST 2025-03-09 03:44:30 +0800 CST

Por que meu processo bifurcado às vezes substitui dados em um arquivo?

  • 772

Tenho o seguinte código C que grava em um arquivo tanto do processo pai quanto do filho após um fork(). No entanto, a saída em testfile.txtàs vezes é corrompida ou está em uma ordem inesperada.

Estou anexando o código:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <fcntl.h>

int main() {
    int fd = open("testfile.txt", O_WRONLY | O_CREAT, 0644);
    if (fd == -1) {
        perror("open");
        return 1;
    }

    if (fork() == 0) { 
        // Child process
        write(fd, "Child\n", 6);
        close(fd);
    } else {
        // Parent process
        write(fd, "Parent\n", 7);
        close(fd);
    }

    return 0;
}

Emitir :

  • O arquivo às vezes contém "Child\nParent\n"e outras vezes"Parent\nChild\n"
  • Em alguns casos, a saída é corrompida ou misturada
  • Eu esperava que cada processo fosse escrito separadamente, mas eles parecem interferir um no outro

Pergunta:

  1. Por que isso está acontecendo?
  2. Como posso garantir gravações corretas e separadas de cada processo?
c
  • 2 2 respostas
  • 81 Views

2 respostas

  • Voted
  1. Best Answer
    Wiimm
    2025-03-09T13:11:22+08:002025-03-09T13:11:22+08:00

    Abra o arquivo com o sinalizador `O_APPEND` para evitar corrupção:

    A página do manual diz: "O arquivo é aberto no modo append. Antes de cada write(2), o deslocamento do arquivo é posicionado no final do arquivo, como se fosse com lseek(2). A modificação do deslocamento do arquivo e a operação de gravação são realizadas como uma única etapa atômica."

    A ordem de saída não é controlada por este sinalizador.

    • 3
  2. Marco Bonelli
    2025-03-09T04:53:49+08:002025-03-09T04:53:49+08:00

    Seus processos pai e filho são executados simultaneamente sem nenhuma medida em vigor para garantir a sincronização da operação de gravação. Isso significa que a ordem das duas gravações será arbitrária e pode variar dependendo de qual processo é agendado primeiro pelo sistema.

    Além disso, as duas operações de gravação podem ocorrer ao mesmo tempo e o conteúdo pode ficar misturado. Isso é tecnicamente impossível em um sistema compatível com POSIX para gravações pequenas como a sua, porque uma operação de gravação deve ser atômica em relação a outros gravadores concorrentes para buffers de até PIPE_SIZEbytes. No entanto, para buffers maiores, é uma possibilidade.

    Se você quiser evitar isso, você terá que usar alguma forma de sincronização. Maneiras comuns de fazer isso são:

    1. Memória compartilhada, onde você pode definir mutexes ou semáforos.
    2. IPC (comunicação entre processos) por vários meios, incluindo outros descritores de arquivo (pipes, sockets, eventfd), sinais, etc.
    3. Bloqueios de arquivo.

    Se você só quer garantir exclusividade mútua (ou seja, sem conteúdo misto, uma gravação será executada completamente antes da outra), então um simples bloqueio de arquivo via flocksyscall é o suficiente. Tecnicamente, isso já deveria ser o caso sem um bloqueio porque, como eu disse acima, essas pequenas gravações devem ser atômicas no Linux.

    Aqui está um exemplo:

    #include <err.h>
    #include <sys/file.h>
    
    /* ... */
    
        if (fork() == 0) {
            // Child process
    
            // Acquire exclusive lock
            if (flock(fd, LOCK_EX) != 0)
                err(1, "child: flock failed");
    
            write(fd, "Child\n", 6);
    
            // Closing automatically releases the lock
            close(fd);
        } else {
            // Parent process
    
            // Acquire exclusive lock
            if (flock(fd, LOCK_EX) != 0)
                err(1, "parent: flock failed");
    
            write(fd, "Parent\n", 7);
    
            // Closing automatically releases the lock
            close(fd);
        }
    

    Quando um dos dois processos estiver segurando o bloqueio, o outro processo bloqueará a flockchamada, que só será concluída quando o bloqueio for liberado pelo outro processo. Isso garante que as seções críticas entre o flocke o closesejam executadas. Você sempre verá ou Child\nParent\n, Parent\nChild\nnunca algum conteúdo misto.


    Se, em vez disso, você também quiser garantir a ordem das duas operações, você terá que usar algo mais complexo. Um pipe ou um eventfd (este último é somente para Linux) são algumas das ferramentas mais simples que você pode usar para conseguir isso.

    Aqui está um exemplo usando um pipe criado via pipesyscall:

    #include <err.h>
    #include <unistd.h>
    
    /* ... */
        
        // Create pipe for communication between parent and child
        int pipefds[2];
        if (pipe(pipefds) != 0)
            err(1, "pipe failed");
    
        if (fork() == 0) {
            // Child process
    
            // Wait for parent to write first
            char tmp;
            if (read(pipefds[0], &tmp, 1) != 1)
                err(1, "child: read from pipe failed");
    
            write(fd, "Child\n", 6);
            close(fd);
        } else {
            // Parent process
    
            write(fd, "Parent\n", 7);
            close(fd);
    
            // Signal child that it can now proceed
            if (write(pipefds[1], "x", 1) != 1)
                err(1, "parent: write to pipe failed");
        }
    

    Neste caso você deve sempre ver Parent\nChild\nem seu arquivo.


    Como nota final: lembre-se de sempre verificar o valor de retorno de fork, writee outras syscalls ou chamadas de função de biblioteca que podem falhar . Uma única writegeralmente não garante que o buffer inteiro seja escrito, mais de uma escrita pode ser necessária.

    • 1

relate perguntas

  • Multiplicação mais rápida que *

  • Usando uma macro para comprimento de string no especificador de formato scanf () em C

  • Como você pode definir o tipo de dados de #define para long double?

  • Ponteiros const incompatíveis

  • Mudança de cor não gradual no OpenGL

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve