io緩存

原文鏈接:http://www.sohu.com/a/121592647_505818

前言

  在最近看了APUE的標準IO部分之後感覺對標準IO的緩存太模糊,沒有搞明白,APUE中關於緩存的部分一筆帶過,沒有深究緩存的實現原理,這樣一本被吹上天的書爲什麼不講透徹呢?今天早上爬起來趕緊找了幾篇文章看看,直到發現了這篇博客:http://blog.sina.com.cn/s/blog_6592a07a0101gar7.html。講的很不錯。

一、IO緩存

  系統調用:只操作系統提供給用戶程序調用的一組接口-------獲得內核提供的服務。

  在實際中程序員使用的通常不是系統調用,而是用戶編程接口API,也稱爲系統調用編程接口。它是遵循Posix標準(Portable operation system interface),API函數可能要一個或者幾個系統調用才能完成函數功能,此函數通過c庫(libc)實現,如read,open。

  fsync是把內核緩衝刷到磁盤上。

  fflush:是把C庫中的緩衝調用write函數寫到磁盤[其實是寫到內核的緩衝區]。

 

  linux對IO文件的操作分爲:

  • 不帶緩存:open  read。posix標準,在用戶空間沒有緩衝,在內核空間還是進行了緩存的。數據-----內核緩存區----磁盤。假設內核緩存區長度爲100字節,你調用ssize_t write (int fd,const void * buf,size_t count);寫操作時,設每次寫入count=10字節,那麼你要調用10次這個函數才能把這個緩存區寫滿,沒寫滿時數據還是在內核緩衝區中,並沒有寫入到磁盤中,內核緩存區滿了之後或者執行了fsync(強制寫入硬盤)之後,才進行實際的IO操作,吧數據寫入磁盤上。
  • 帶緩存區:fopen fwrite fget 等,是c標準庫中定義的。數據-----流緩存區-----內核緩存區----磁盤。假設流緩存區長度爲50字節,內核緩存區100字節,我們用標準c庫函數fwrite()將數據寫入到這個流緩存中,每次寫10字節,需要寫5次流緩存區滿後調用write()(或調用fflush()),將數據寫到內核緩存區,直到內核緩存區滿了之後或者執行了fsync(強制寫入硬盤)之後,才進行實際的IO操作,吧數據寫入磁盤上。標準IO操作fwrite()最後還是要掉用無緩存IO操作write。

  以fgetc / fputc 爲例,當用戶程序第一次調用fgetc 讀一個字節時,fgetc 函數可能通過系統調用 進入內核讀1K字節到I/O緩衝區中,然後返回I/O緩衝區中的第一個字節給用戶,把讀寫位置指 向I/O緩衝區中的第二個字符,以後用戶再調fgetc ,就直接從I/O緩衝區中讀取,而不需要進內核 了,當用戶把這1K字節都讀完之後,再次調用fgetc 時,fgetc 函數會再次進入內核讀1K字節 到I/O緩衝區中。在這個場景中用戶程序、C標準庫和內核之間的關係就像在“Memory Hierarchy”中 CPU、Cache和內存之間的關係一樣,C標準庫之所以會從內核預讀一些數據放 在I/O緩衝區中,是希望用戶程序隨後要用到這些數據,C標準庫的I/O緩衝區也在用戶空間,直接 從用戶空間讀取數據比進內核讀數據要快得多。另一方面,用戶程序調用fputc 通常只是寫到I/O緩 衝區中,這樣fputc 函數可以很快地返回,如果I/O緩衝區寫滿了,fputc 就通過系統調用把I/O緩衝 區中的數據傳給內核,內核最終把數據寫回磁盤或設備。有時候用戶程序希望把I/O緩衝區中的數據立刻 傳給內核,讓內核寫回設備或磁盤,這稱爲Flush操作,對應的庫函數是fflush,fclose函數在關閉文件 之前也會做Flush操作。

  雖然write 系統調用位於C標準庫I/O緩衝區的底 層,被稱爲Unbuffered I/O函數,但在write 的底層也可以分配一個內核I/O緩衝區,所以write 也不一定是直接寫到文件的,也 可能寫到內核I/O緩衝區中,可以使用fsync函數同步至磁盤文件,至於究竟寫到了文件中還是內核緩衝區中對於進程來說是沒有差別 的,如果進程A和進程B打開同一文件,進程A寫到內核I/O緩衝區中的數據從進程B也能讀到,因爲內核空間是進程共享的, 而c標準庫的I/O緩衝區則不具有這一特性,因爲進程的用戶空間是完全獨立的.

 

  下面是一個利用buffered I/O讀取數據的例子:

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void)
{
  char buf[5];
  FILE *myfile = stdin;
  fgets(buf, 5, myfile);
  fputs(buf, myfile);
  
  return 0;
}

複製代碼

  buffered I/O中的"buffer"到底是指什麼呢?這個buffer在什麼地方呢?FILE是什麼呢?它的空間是怎麼分配的呢  要弄清楚這些問題,就要看看FILE是如何定義和運作的了.(特別說明,在平時寫程序時,不用也不要關心FILE是如何定義和運作的,最好不要直接操作它,這裏使用它,只是爲了說明buffered IO)下面的這個是glibc給出的FILE的定義,它是實現相關的,別的平臺定義方式不同.

複製代碼

struct _IO_FILE {
int _flags;
#define _IO_file_flags _flags



char* _IO_read_ptr;
char* _IO_read_end;
char* _IO_read_base;
char* _IO_write_base;
char* _IO_write_ptr;
char* _IO_write_end;
char* _IO_buf_base;
char* _IO_buf_end;

char *_IO_save_base;
char *_IO_backup_base;
char *_IO_save_end;

struct _IO_marker *_markers;

struct _IO_FILE *_chain;

int _fileno;
};

複製代碼

  上面的定義中有三組重要的字段:

複製代碼

1.
char* _IO_read_ptr;
char* _IO_read_end;
char* _IO_read_base;
2.
char* _IO_write_base;
char* _IO_write_ptr;
char* _IO_write_end;
3.
char* _IO_buf_base;
char* _IO_buf_end;

複製代碼

  其中,
  _IO_read_base 指向"讀緩衝區"
  _IO_read_end  指向"讀緩衝區"的末尾
  _IO_read_end - _IO_read_base "讀緩衝區"的長度

  _IO_write_base 指向"寫緩衝區"
  _IO_write_end 指向"寫緩衝區"的末尾
  _IO_write_end - _IO_write_base "寫緩衝區"的長度

  _IO_buf_base  指向"緩衝區"
  _IO_buf_end   指向"緩衝區"的末尾
  _IO_buf_end - _IO_buf_base "緩衝區"的長度

  上面的定義貌似給出了3個緩衝區,實際上上面的_IO_read_base,_IO_write_base, _IO_buf_base都指向了同一個緩衝區.這個緩衝區跟上面程序中的char buf[5];沒有任何關係.他們在第一次buffered I/O操作時由庫函數自動申請空間,最後由相應庫函數負責釋放.(再次聲明,這裏只是glibc的實現,別的實現可能會不同,後面就不再強調了)

  請看下面的程序(這裏給的是stdin,行緩衝的例子):

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void)
{
  char buf[5];
  FILE *myfile =stdin;
  printf("before reading/n");
  printf("read buffer base %p/n", myfile->_IO_read_base);
  printf("read buffer length %d/n", myfile->_IO_read_end - myfile->_IO_read_base);
  printf("write buffer base %p/n", myfile->_IO_write_base);
  printf("write buffer length %d/n", myfile->_IO_write_end - myfile->_IO_write_base);
  printf("buf buffer base %p/n", myfile->_IO_buf_base);
  printf("buf buffer length %d/n", myfile->_IO_buf_end - myfile->_IO_buf_base);
  printf("/n");
  fgets(buf, 5, myfile);
  fputs(buf, myfile);
  printf("/n");
  printf("after reading/n");
  printf("read buffer base %p/n", myfile->_IO_read_base);
  printf("read buffer length %d/n", myfile->_IO_read_end - myfile->_IO_read_base);
  printf("write buffer base %p/n", myfile->_IO_write_base);
  printf("write buffer length %d/n", myfile->_IO_write_end - myfile->_IO_write_base);
  printf("buf buffer base %p/n", myfile->_IO_buf_base);
  printf("buf buffer length %d/n", myfile->_IO_buf_end - myfile->_IO_buf_base);

  return 0;
}

複製代碼

  可以看到,在讀操作之前,myfile的緩衝區是沒有被分配的,在一次讀之後,myfile的緩衝區才被分配.這個緩衝區既不是內核中的緩衝區,也不是用戶分配的緩衝區,而是有用戶進程空間中的由buffered I/O系統負責維護的緩衝區.(當然,用戶可以可以維護該緩衝區,這裏不做討論了)

  上面的例子只是說明了buffered I/O緩衝區的存在,下面從全緩衝,行緩衝和無緩衝3個方面看一下buffered I/O是如何工作的.


二、 全緩衝

  下面是APUE上的原話:全緩衝"在填滿標準I/O緩衝區後才進行實際的I/O操作.對於駐留在磁盤上的文件通常是由標準I/O庫實施全緩衝的"書中這裏"實際的I/O操作"實際上容易引起誤導,這裏並不是讀寫磁盤,而應該是進行read或write的系統調用,下面兩個例子會說明這個問題:

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void)
{
  char buf[5];
  char *cur;
  FILE *myfile;
  myfile = fopen("bbb.txt", "r");
  printf("before reading, myfile->_IO_read_ptr: %d/n", myfile->_IO_read_ptr - myfile->_IO_read_base);
  fgets(buf, 5, myfile); //僅僅讀4個字符
  cur = myfile->_IO_read_base;
  while (cur <</span> myfile->_IO_read_end) //實際上讀滿了這個緩衝區
  {
    printf("%c",*cur);
    cur++;
  }
  printf("/nafter reading, myfile->_IO_read_ptr: %d/n", myfile->_IO_read_ptr - myfile->_IO_read_base);
  return 0;
}

複製代碼

  上面提到的bbb.txt文件的內容是由很多行的"123456789"組成上例中,fgets(buf, 5, myfile); 僅僅讀4個字符,但是,緩衝區已被寫滿,但是_IO_read_ptr卻向前移動了5位,下次再次調用讀操作時,只要要讀的位數不超過myfile->_IO_read_end - myfile->_IO_read_ptr那麼就不需要再次調用系統調用read,只要將數據從myfile的緩衝區拷貝到buf即可(從myfile->_IO_read_ptr開始拷貝)

  全緩衝讀的時候,_IO_read_base始終指向緩衝區的開始,_IO_read_end始終指向已從內核讀入緩衝區的字符的下一個(對全緩衝來說,buffered I/O讀每次都試圖都將緩衝區讀滿),IO_read_ptr始終指向緩衝區中已被用戶讀走的字符的下一個(_IO_read_end < (_IO_buf_base-_IO_buf_end)) && (_IO_read_ptr == _IO_read_end)時則已經到達文件末尾其中_IO_buf_base-_IO_buf_end是緩衝區的長度
  一般大體的工作情景爲:第一次fgets(或其他的)時,標準I/O會調用read將緩衝區充滿,下一次fgets不調用read而是直接從該緩衝區中拷貝數據,直到緩衝區的中剩餘的數據不夠時,再次調用read.在這個過程中,_IO_read_ptr就是用來記錄緩衝區中哪些數據是已讀的,
哪些數據是未讀的.

  

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void)
{
  char buf[2048]={0};
  int i;
  FILE *myfile;
  myfile = fopen("aaa.txt", "r+");
  i= 0;
  while (i<</span>2048)
  {
    fwrite(buf+i, 1, 512, myfile);
    i +=512;
    //註釋掉這句則可以寫入aaa.txt
    myfile->_IO_write_ptr = myfile->_IO_write_base;
    printf("%p write buffer base/n", myfile->_IO_write_base);
    printf("%p buf buffer base /n", myfile->_IO_buf_base);
    printf("%p read buffer base /n", myfile->_IO_read_base);
    printf("%p write buffer ptr /n", myfile->_IO_write_ptr);
    printf("/n");
  }
  return 0;
}

複製代碼

  上面這個是關於全緩衝寫的例子.全緩衝時,只有當標準I/O自動flush(比如當緩衝區已滿時)或者手工調用fflush時,標準I/O纔會調用一次write系統調用.例子中,fwrite(buf+i, 1, 512, myfile);這一句只是將buf+i接下來的512個字節寫入緩衝區,由於緩衝區未滿,標準I/O並未調用write.此時,myfile->_IO_write_ptr = myfile->_IO_write_base;會導致標準I/O認爲沒有數據寫入緩衝區,所以永遠不會調用write,這樣aaa.txt文件得不到寫入.註釋掉myfile->_IO_write_ptr = myfile->_IO_write_base;前後,看看效果

  全緩衝寫的時候:_IO_write_base始終指向緩衝區的開始,_IO_write_end全緩衝的時候,始終指向緩衝區的最後一個字符的下一個(對全緩衝來說,buffered I/O寫總是試圖在緩衝區寫滿之後,再系統調用write),_IO_write_ptr始終指向緩衝區中已被用戶寫入的字符的下一個,flush的時候,將_IO_write_base和_IO_write_ptr之間的字符通過系統調用write寫入內核


三、 行緩衝

  下面是APUE上的原話:行緩衝"當輸入輸出中遇到換行符時,標準I/O庫執行I/O操作. "書中這裏"執行O操作"也容易引起誤導,這裏不是讀寫磁盤,而應該是進行read或write的系統調用
  下面兩個例子會說明這個問題
  第一個例子可以用來說明下面這篇帖子的問題
  http://bbs.chinaunix.net/viewthread.php?tid=954547
  

複製代碼

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

int main(void)
{
  char buf[5];
  char buf2[10];
  
  fgets(buf, 5, stdin); //第一次輸入時,超過5個字符

  puts(stdin->_IO_read_ptr);//本句說明整行會被一次全部讀入緩衝區,

                                         //而非僅僅上面需要的個字符
  stdin->_IO_read_ptr = stdin->_IO_read_end; //標準I/O會認爲緩衝區已空,再次調用read
                                             //註釋掉,再看看效果
  printf("/n");
  puts(buf);
  
  fgets(buf2, 10, stdin);
  puts(buf2);
  
  return 0;
}

複製代碼

  上例中, fgets(buf, 5, stdin); 僅僅需要4個字符,但是,輸入行中的其他數據也被寫入緩衝區,但是_IO_read_ptr向前移動了5位,下次再次調用fgets操作時,就不需要再次調用系統調用read,只要將數據從stdin的緩衝區拷貝到buf2即可(從stdin->_IO_read_ptr開始拷貝)stdin->_IO_read_ptr = stdin->_IO_read_end;會導致標準I/O會認爲緩衝區已空,再次fgets則需要再次調用read.比較一下將該句註釋掉前後的效果


  行緩衝讀的時候,
  _IO_read_base始終指向緩衝區的開始
  _IO_read_end始終指向已從內核讀入緩衝區的字符的下一個
  _IO_read_ptr始終指向緩衝區中已被用戶讀走的字符的下一個
  (_IO_read_end < (_IO_buf_base-_IO_buf_end)) && (_IO_read_ptr == _IO_read_end)時則已經到達文件末尾
  其中_IO_buf_base-_IO_buf_end是緩衝區的長度

  

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

char buf[5]={'1','2', '3', '4', '5'}; //最後一個不要是/n,是/n的話,標準I/O會自動flush的
                                                    //這是行緩衝跟全緩衝的重要區別

void writeLog(FILE *ftmp)
{
  fprintf(ftmp, "%p write buffer base/n", stdout->_IO_write_base);
  fprintf(ftmp, "%p buf buffer base /n", stdout->_IO_buf_base);
  fprintf(ftmp, "%p read buffer base /n", stdout->_IO_read_base);
  fprintf(ftmp, "%p write buffer ptr /n", stdout->_IO_write_ptr);
  fprintf(ftmp, "/n");
}

int main(void)
{
  int i;
  FILE *ftmp;
  ftmp = fopen("ccc.txt", "w");
  i= 0;
  while (i<</span>4)
  {
    fwrite(buf, 1, 5, stdout);
    i++;
    *stdout->_IO_write_ptr++ = '/n';//可以單獨把這句打開,看看效果
    //getchar();//getchar()會標準I/O將緩衝區輸出
    //打開下面的註釋,你就會發現屏幕上什麼輸出也沒有
    //stdout->_IO_write_ptr = stdout->_IO_write_base;
    writeLog(ftmp); //這個只是爲了查看緩衝區指針的變化  
  }
  return 0;
}

複製代碼

  這個例子將將FILE結構中指針的變化寫入的文件ccc.txt,

  運行後可以有興趣的話,可以看看.

  上面這個是關於行緩衝寫的例子.stdout->_IO_write_ptr = stdout->_IO_write_base;會使得標準I/O認爲緩衝區是空的,從而沒有任何輸出.可以將上面程序中的註釋分別去掉,看看運行結果

  行緩衝時,下面3個條件之一會導致緩衝區立即被flush
  1. 緩衝區已滿
  2. 遇到一個換行符;比如將上面例子中buf[4]改爲'/n'時
  3. 再次要求從內核中得到數據時;比如上面的程序加上getchar()會導致馬上輸出

  行緩衝寫的時候:
  _IO_write_base始終指向緩衝區的開始
  _IO_write_end始終指向緩衝區的開始
  _IO_write_ptr始終指向緩衝區中已被用戶寫入的字符的下一個

  flush的時候,將_IO_write_base和_IO_write_ptr之間的字符通過系統調用write寫入內核

四、無緩衝
  無緩衝時,標準I/O不對字符進行緩衝存儲.典型代表是stderr。這裏的無緩衝,並不是指緩衝區大小爲0,其實,還是有緩衝的,大小爲1

複製代碼

#include <</span>stdlib.h>
#include <</span>stdio.h>
#include <</span>sys/types.h>
#include <</span>sys/stat.h>
#include <</span>fcntl.h>

int main(void)
{
  fputs("stderr", stderr);
  printf("%d/n", stderr->_IO_buf_end - stderr->_IO_buf_base);

  return 0;
}

複製代碼

  對無緩衝的流的每次讀寫操作都會引起系統調用


五、 feof的問題

  這裏從緩衝區的角度去考察一下.對於一個空文件,爲什麼要先讀一下,才能用feof判斷出該文件到了結尾了呢?

複製代碼

#include <stdlib.h>
#include <stdio.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void)
{
  char buf[5];
  char buf2[10];

  fgets(buf, sizeof(buf), stdin);//輸入要於4個,少於13個字符才能看出效果
  puts(buf);

  //交替註釋下面兩行
  //stdin->_IO_read_end = stdin->_IO_read_ptr+1;

  stdin->_IO_read_end = stdin->_IO_read_ptr + sizeof(buf2)-1;
   
  fgets(buf2, sizeof(buf2), stdin);
  puts(buf2);
  if (feof(stdin))
    printf("input end/n");
  return 0;
}

複製代碼

 

  運行上面的程序,輸入多於4個,少於13個字符,並且以連按兩次ctrl+d爲結束(不要按回車),從上面的例子,可以看出,每當滿足(_IO_read_end < (_IO_buf_base-_IO_buf_end)) && (_IO_read_ptr == _IO_read_end)時,標準I/O則認爲已經到達文件末尾,feof(stdin)纔會被設置其中_IO_buf_base-_IO_buf_end是緩衝區的長度。

  也就是說,標準I/O是通過它的緩衝區來判斷流是否要結束了的.這就解釋了爲什麼即使是一個空文件,標準I/O也需要讀一次,才能使用feof判斷釋放爲空。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章