Cat x >> x neden döngü yapar?

Aşağıdaki bash komutları bir infinte döngüsüne girer:

$ echo hi > x
$ cat x >> x

Sanırım stdout'a yazmaya başladıktan sonra da catokumaya devam ediyor x. Bununla birlikte, kafa karıştırıcı olan şey, kedinin kendi test uygulamamın farklı davranışlar göstermesidir:

// mycat.c
#include <stdio.h>

int main(int argc, char **argv) {
  FILE *f = fopen(argv[1], "rb");
  char buf[4096];
  int num_read;
  while ((num_read = fread(buf, 1, 4096, f))) {
    fwrite(buf, 1, num_read, stdout);
    fflush(stdout);
  }

  return 0;
}

Eğer koşarsam:

$ make mycat
$ echo hi > x
$ ./mycat x >> x

It does not döngü. Davranışları catve daha stdoutönce temizlediğim gerçeği göz önüne alındığında, freadbu C kodunun bir döngüde okumaya ve yazmaya devam etmesini beklerdim.

Bu iki davranış nasıl tutarlıdır? catYukarıdaki mekanizma neden olmasa da hangi mekanizma neden döngüler açıklıyor ?

Elimde eski bir RHEL sisteminde, /bin/catdoes not için döngü cat x >> x. cat"cat: x: girdi dosyası çıktı dosyası" hata iletisini verir. Bunu /bin/catyaparak kandırabilirim cat < x >> x. Yukarıdaki kod denemek, ben tarif "döngü" olsun. Ayrıca "cat" tabanlı bir sistem çağrısı yazdım:

#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>
int
main(int ac, char **av)
{
        char buf[4906];
        int fd, cc;
        fd = open(av[1], O_RDONLY);
        while ((cc = read(fd, buf, sizeof(buf))) > 0)
                if (cc > 0) write(1, buf, cc);
        close(fd);
        return 0;
}

Bu da döngüler. Burada sadece arabelleğe alma (stdio tabanlı "mycat" aksine) çekirdekte devam ediyor.

Ben ne oluyor dosya tanımlayıcı 3 (sonucu open(av[1])) 0 dosyasına bir mahsup olduğunu düşünüyorum. Dosyalı tanımlayıcı 1 (stdout) 3 ofset vardır, çünkü ">>" çağıran kabuk yapmak için nedenlseek() üzerinde dosya tanımlayıcısını catalt sürece teslim etmeden önce .

Bir Doing read()olsun bir stdion tampon içine, herhangi bir tür ya da düz char buf[]bir Doing dosya tanımlayıcı 3. pozisyonunu gelişmeler write()gelişmeler bu iki uzaklıklar farklı sayılardır dosya tanımlayıcı 1'in konumu. ">>" nedeniyle, dosya tanıtıcısı 1 her zaman dosya tanıtıcısı 3 telafisinden daha büyük veya ona eşit bir sapma değerine sahiptir. Kendi ara belleğini içeren bir FILE *(sembollerin türü stdoutve fkodunuzda) stdio uygulaması olabilir . fread()fiili read()dahili tamponu doldurmak için sistem çağrısı yapabilir f.stdout . Arayan fwrite()üzerindestdoutiçindeki herhangi bir şeyi değiştirebilir veya değiştirmeyebilir f. Yani stdio tabanlı bir "kedi" dönmeyebilir. Veya olabilir. Çok çirkin, çirkin libc kodu okumadan söylemek zor.

Ben straceRHEL üzerinde bir yaptım cat- sadece bir dizi read()ve write()sistem çağrıları yapar. Ama cata'nın bu şekilde çalışması gerekmez. Bu mümkün olacağını mmap()giriş dosyasının, sonra yapın write(1, mapped_address, input_file_size). Çekirdek bütün işi yapardı. Veya sendfile()Linux sistemlerinde giriş ve çıkış dosyası tanımlayıcıları arasında bir sistem çağrısı yapabilirsiniz. Eski SunOS 4.x sistemleri, bellek eşleme hile yapmak için söylentilere sahipti, ancak hiç kimsenin sendfile tabanlı bir kedi yaptığını bilmiyorum. Her iki durumda da, "döngü" her ikisi de olduğu gibi olmaz write()ve sendfile()aktarım uzunluğu parametresi gerektirir.

Modern bir kedi uygulaması (sunos-4.0 1988) tüm dosyayı eşlemek için mmap () kullanır ve sonra bu alan için 1x write () öğesini çağırır. Sanal bellek tüm dosyayı eşlemeye izin verdiği sürece böyle bir uygulama döngü yapmaz.

Diğer uygulamalar için, dosyanın G / Ç arabelleğinden daha büyük olup olmamasına bağlıdır.

Yazılı olarak Bash tuzaklar , aynı boru hattında buna bir dosya ve yazma okuma yapamıyor.

Boru hattınızın ne yaptığına bağlı olarak, dosya gizlenebilir (0 bayta veya muhtemelen işletim sisteminizin boru hattı arabelleğinin boyutuna eşit sayıda bayta kadar) veya kullanılabilir disk alanını doldurana veya işletim sisteminizin dosya boyutu sınırlaması veya kotanız vb.

Çözüm, metin düzenleyici veya geçici değişken kullanmaktır.

İkisi arasında bir çeşit yarış durumu var x. Bazı uygulamalar cat(örn. Coreutils 8.23) şunları yasaklamaktadır:

$ cat x >> x
cat: x: input file is output file

Bu algılanmazsa, davranış açıkça uygulamaya (arabellek boyutu vb.) Bağlıdır.

Kodunuzda, dosya sonu göstergesi ayarlanmışsa bir sonraki hatanın hata vermesi durumunda, clearerr(f);arkasından bir tane eklemeyi deneyebilirsiniz .fflushfread