stdio 用 FILE 对象提供格式化、缓冲、流状态和位置管理。缓冲能把很多小操作合并,但并不保证每次 fwrite 都不进入内核,也不保证无缓冲时每次 API 恰好对应一次系统调用。要判断数据到了哪里,应分清库接口、底层 I/O 和持久化层次。
FILE 与文件描述符
fd 是进程描述符表中的整数索引,FILE 还保存缓冲游标、EOF/error 状态、方向和锁等。fread 可能直接从已预取的用户缓冲返回,也可能填充缓冲或进行较大的底层读取;fwrite 同理可走缓冲或直接写入路径。
glibc 的 _IO_FILE 字段有助于阅读实现,但不是跨 libc 的可移植接口,不应在应用代码中修改。FILE 也不一定对应普通文件,例如内存流可有不同底层操作。
三种缓冲策略
| 模式 | 典型用途 | 刷新时机的理解 |
| _IOFBF 全缓冲 | 普通文件、大量小块输出 | 缓冲满、显式刷新、关闭等;不是只能等满 |
| _IOLBF 行缓冲 | 交互终端输出 | 遇换行等条件刷新,也可显式刷新 |
| _IONBF 无缓冲 | 需要尽快推送的短输出 | 不积累常规输出缓冲,但没有落盘承诺 |
Linux 常见 libc 默认让终端 stdout 行缓冲、普通文件输出全缓冲、stderr 无缓冲。重定向到文件或管道后,stdout 行为可能变化,因此同一程序在终端及时输出、在流水线中延后输出并不矛盾。
setvbuf 应在打开流后、对它做其他操作前调用,并检查返回值。BUFSIZ 是实现提供的宏,不是所有 FILE 缓冲区都必定大小相同,也不应把某个 glibc 值写成可移植常量。setvbuf
FILE *fp = tmpfile();
if (fp == NULL) return 1;
char storage[4096];
if (setvbuf(fp, storage, _IOFBF, sizeof storage) != 0) {
fclose(fp);
return 1;
}
if (fclose(fp) == EOF) return 1;
这是函数体内片段,需 <stdio.h>。自定义缓冲必须一直存活到流关闭;把函数局部数组交给一个会被返回的 FILE,会留下失效引用。
fwrite、fflush 与 fsync 保证不同
fwrite 返回完整数量,可能只表示数据已被库接受;fflush 成功表示相应用户缓冲已通过底层写操作提交,不保证已经掉电持久。普通文件需要相应持久化保证时,通常先 fflush,再对 fileno(fp) 调用 fsync,并分别检查错误。fflush(3)
fsync 的对象是内核文件状态,不能替你刷出还停在 FILE 里的数据。新建或重命名文件的崩溃一致性还可能要求同步包含它的目录,这与单个文件内容同步不同。fsync(2)
内核缓存也不会把任意一千次 write 保证合并成恰好一次物理 I/O。写回、文件系统、块大小和设备队列都参与决定。避免写死“固定快 100 倍”或“系统调用必定 200 ns”的数字。
fsync 为什么刷不出 FILE 里的数据?
先追加三个字节,直接 fsync:内核还不知道这三个字节,因此同步保证不会覆盖它们。再 fflush,最后 fsync,三层账目才接上。底层文件行保留已提交内容,不把同步画成从内核“搬走并清空”数据,因为文件缓存仍可保留这些字节。
正在呈现知识画面
fsync 为什么刷不出 FILE 里的数据?fflush 把用户缓冲提交给底层文件;fsync 同步内核已知文件状态。先 fsync 再 fflush,不会为后一次提交补上持久化保证。
{"id":"stdio-durability-boundaries","title":"fsync 为什么刷不出 FILE 里的数据?","summary":"fflush 把用户缓冲提交给底层文件;fsync 同步内核已知文件状态。先 fsync 再 fflush,不会为后一次提交补上持久化保证。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"actions\"><button id=\"append\" data-i18n=\"append\"></button><button id=\"flush\" data-i18n=\"flush\"></button><button id=\"sync\" data-i18n=\"sync\"></button><button id=\"reset\" data-i18n=\"reset\"></button></div><div class=\"track-row\"><span data-i18n=\"user\"></span><div id=\"user\" class=\"track\"></div></div><div class=\"track-row\"><span data-i18n=\"kernel\"></span><div id=\"kernel\" class=\"track\"></div></div><div class=\"track-row\"><span data-i18n=\"durable\"></span><div id=\"durable\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"pending\"></span><strong id=\"pending\"></strong></div><div><span data-i18n=\"safe\"></span><strong id=\"safe\"></strong></div></div><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 var(--viz-font-mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px var(--viz-font-ui)}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 var(--viz-font-mono);white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:var(--viz-font-ui)}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px var(--viz-font-ui);padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui);overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n#user,#kernel,#durable{display:grid;grid-template-columns:repeat(8,minmax(0,1fr))}","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}let total=0,submitted=0,synced=0;function draw(){for(const [id,lo,hi] of [['user',submitted,total],['kernel',0,submitted],['durable',0,synced]])cells(id,Array.from({length:8},(_,i)=>({text:i>=lo&&i<hi?'ABCDEFGH'[i]:'—',cls:i>=lo&&i<hi?(id==='durable'?'gold':'on'):'empty'})));set('pending',total-submitted);set('safe',synced);$('#append').disabled=total===8;$('#kernel').dataset.count=submitted;}$('#append').onclick=()=>{total++;if(total-submitted===8)submitted=total;draw()};$('#flush').onclick=()=>{submitted=total;draw()};$('#sync').onclick=()=>{synced=submitted;draw()};$('#reset').onclick=()=>{total=submitted=synced=0;draw()};draw();","audio":false,"strings":{"append":"追加一个字节","durable":"已获同步保证的前缀","flush":"fflush","heading":"fsync 为什么刷不出 FILE 里的数据?","intro":"任意执行追加、fflush、fsync,比较数据在哪一层。","kernel":"内核已接受的文件内容","pending":"仍在用户缓冲","reset":"重置","safe":"已有同步保证","scope":"已存在普通文件,容量8个示例字节,全缓冲未满前不自动写出,所有 I/O 成功。持久层表示已获同步保证的前缀,不预测实际后台写回。","scopeLabel":"模型范围与约定","sync":"fsync","user":"FILE 中待提交"}}
正确解释返回值与错误
fread/fwrite 返回完成的元素数量,只有 size=1 时数量才等于字节数。需要逐字节处理尾部时,使用 fread(buf, 1, capacity, fp) 更容易表达已得到多少字节。
短读可能是 EOF,也可能是错误,用 feof 和 ferror 区分。EOF 标记是在尝试读取时发现末尾后设置,所以 while (!feof(fp)) 不是正确的读循环条件。fread(3)
下面函数复制两个由调用方打开的流,并在成功结束时刷新输出;它不负责关闭流,也不提供持久化保证:
#include <stdio.h>
int copy_stream(FILE *in, FILE *out) {
unsigned char buf[8192];
size_t n;
while ((n = fread(buf, 1, sizeof buf, in)) != 0) {
if (fwrite(buf, 1, n, out) != n) return -1;
}
if (ferror(in)) return -1;
return fflush(out) == 0 ? 0 : -1;
}
写错误可能在 fwrite 当时出现,也可能延后到 fflush 或 fclose。关闭时即使报告错误,调用方也不能继续把原 FILE 当作有效对象重试 fclose。对错误流是否 clearerr 后重试,要结合原因与位置语义设计,不应盲目无限循环。
写入被接受后,错误仍可能出现在刷新时
Linux 的 /dev/full 对写入返回 ENOSPC,可以用来演示库缓冲把错误推迟到 fflush,而无需填满真实磁盘。以下限定 glibc/Linux,全缓冲中放入三个字符后再显式刷新。full(4)
#include <errno.h>
#include <stdio.h>
int main(void) {
FILE *fp = fopen("/dev/full", "w");
if (fp == NULL) return 1;
char buffer[1024];
if (setvbuf(fp, buffer, _IOFBF, sizeof buffer) != 0) {
fclose(fp); return 1;
}
int accepted = fputc('a', fp) != EOF;
accepted = (fputc('b', fp) != EOF) && accepted;
accepted = (fputc('c', fp) != EOF) && accepted;
errno = 0;
int flushed = fflush(fp);
int saved = errno;
int marked = ferror(fp) != 0;
int closed = fclose(fp);
printf("accepted=%d flush_failed=%d ENOSPC=%d error_mark=%d close=%d\n",
accepted, flushed == EOF, saved == ENOSPC, marked, closed);
return !(accepted && flushed == EOF && saved == ENOSPC && marked);
}
保存为 delayed-error.c,编译运行后,前四个布尔结果应为 1。close 的结果单独展示,不要求它一定重复报告同一次刷新错误。不能只在结束时看 fclose 的返回值而忽略前面已经出现的失败,更不能看到三次 fputc 成功就宣布数据写入完成。
混合读取、写入和底层 fd 操作
更新流(如 r+、w+)从输出切到输入,需要 fflush 或定位操作;从输入切到输出通常需要定位操作,除非刚才的输入已遇 EOF。使用 fseek/fsetpos 等明确同步方向与位置。fopen(3)
stdio 的预读可使底层 fd 偏移先于应用消费位置。直接在 fileno(fp) 上再 read,可能绕过尚未消费的缓冲;混用 write 也可能改变输出顺序。优先在一个对象上统一 I/O 层,必须混用时遵守 POSIX active handle 协调规则。
fflush(stdin) 不是通用的键盘输入清空方法。POSIX 对可定位输入流定义了相应丢弃缓冲行为,但管道与终端不属于同一情况。
在同一个更新流中检查位置、方向和 EOF
保存为 update-stream.c,tmpfile 建立二进制更新流。先写 abcdef,再读前三字节;使用定位操作协调从读到写的切换,将当前位置的 d 替换为 X,最后读回 abcXef。
#include <stdio.h>
#include <string.h>
int main(void) {
FILE *fp = tmpfile();
if (fp == NULL) return 1;
int failed = 1;
char data[7] = {0};
if (fwrite("abcdef", 1, 6, fp) != 6) goto done;
if (fseek(fp, 0, SEEK_SET) != 0) goto done;
if (fread(data, 1, 3, fp) != 3 || memcmp(data, "abc", 3) != 0) goto done;
if (fseek(fp, 0, SEEK_CUR) != 0) goto done;
if (fputc('X', fp) == EOF) goto done;
if (fseek(fp, 0, SEEK_SET) != 0) goto done;
if (fread(data, 1, 6, fp) != 6 || memcmp(data, "abcXef", 6) != 0) goto done;
if (feof(fp) || ferror(fp)) goto done;
if (fgetc(fp) != EOF || !feof(fp) || ferror(fp)) goto done;
clearerr(fp);
if (feof(fp) || ferror(fp)) goto done;
if (fgetc(fp) != EOF || !feof(fp)) goto done;
if (fseek(fp, 0, SEEK_SET) != 0 || feof(fp)) goto done;
if (fgetc(fp) != 'a') goto done;
failed = 0;
puts("update and EOF transitions passed");
done:
if (fclose(fp) == EOF) failed = 1;
return failed;
}
编译运行:cc -Wall -Wextra update-stream.c -o update-stream,然后 ./update-stream。读完恰好 6 字节时,应用请求已满足,还没有额外读取来发现末尾;下一次 fgetc 才设置 EOF。clearerr 只清状态,不移动文件位置,而成功 fseek 既定位又清除 EOF。fseek(3)、流状态
这里的 goto 统一关闭 FILE,避免每个检查分支都漏掉资源。它不能让已经失败的 I/O 自动恢复;如果要报告具体原因,应在跳转前保存错误信息。
fork 会复制尚未刷出的用户缓冲
fork 后父子进程各有 FILE 状态及用户缓冲的副本,底层打开文件描述则可能共享。如果两边都通过正常 exit 刷新,同一段未刷出的内容可能写出两次。
即使 printf("before fork\n") 含换行,stdout 重定向为全缓冲时也未必已刷新。单线程程序可在合适位置显式 fflush 并检查结果;不能以“有换行”推断跨所有输出环境安全。
多线程 fork 后,子进程在 exec 前还受异步信号安全限制,不能任意调用 stdio 来整理锁状态。exec 失败路径通常用适当的低层报告和 _exit,避免重复刷新继承缓冲。_exit 不刷新 stdio 与正常 exit 不同。
顺序、原子性与性能
分别写 stdout 和 stderr,即使都刷新,也不能在所有外部收集器中保证统一的全局显示顺序。需要严格顺序时应采用同一输出通道或带序号的记录协议。
stdio 的单次调用通常有流锁,但多个调用组成的一条日志不自动成为事务。多个进程写管道时,还需考虑真正底层 write 的长度与 PIPE_BUF,不能把“一次 fprintf”直接当作“一次原子管道消息”。
使用 strace 观察底层 write 次数能验证批量效果;用实际吞吐、延迟和错误行为评估缓冲大小。非阻塞网络事件循环通常直接管理 fd 与应用缓冲,详见 epoll 与事件驱动。
关键词:stdio, FILE, setvbuf, fread, fwrite, fflush, fsync, buffering, EOF, fork, active handle