「Hello World」中的「bug」

Hello World 能够是许多人编写的第一个步伐。这么简单的步伐按理说应该不 bug 吧?一位叫「sunfishcode」的开发者给出了令人意外的结论。

C 说话中的 Hello World

用 C 说话写 Hello World 有很多种不同的方式,比如维基百科里记录的版本、K&R book 中介绍的版本,甚至还有 1974 年的原始版本。

「Hello World」中的「bug」

这里展示一个 ANSI C 的版本:

/* Hello World in C, Ansi-style */#include <stdio.h>#include <stdlib.h>int main(void){      puts("Hello World!");      return EXIT_SUCCESS;}

这个版本应用 (void) 来确保 main 是一个新型的声明。它应用 EXIT_SUCCESS 宏,而不是假设平台应用 0 表示 success,根据 C 的尺度,这是不必要的。但我们在这里不会冒任何风险。它应用适当的头文献以避免隐式声明 puts。

这个版本试图把每件事都做好,但它仍然有一个缺陷。

上边提到的所有版本都有一个 bug。

bug 在哪儿?

Linux 有一个有趣的设备文献,叫做「/dev/full」,就像它更著名的表亲「/dev/null」一样。但是当你写入「/dev/full」时,它不会丢弃数据,而是会失败。它的作用就像文献系统中一个刚刚耗尽空间的文献:

$ echo "Hello World!" > /dev/fullbash: echo: write error: No space left on device$ echo $?1

这是一个很好的小工具,用于测试步伐能否正确处理 I/O 正确。如果不剩余的空间,或者磁盘出现妨碍,那么创建实际的文献系统是很不方便的,但是让一个步伐将其输入写入「/dev/full」,然后看看会发生什么,这是非常容易的。

让我们测试一下上边的 C 说话例子:

$ gcc hello.c -o hello$ ./hello > /dev/full$ echo $?0

与在上边的 shell 中应用 echo 不同,这里不输入,退出状态为零。这意味着 hello 步伐演讲了乐成执行。然而,它实际上并不乐成。我们可以通过应用 strace 确认它遇到了妨碍。

$ strace -etrace=write ./hello > /dev/fullwrite(1, "Hello World!\n", 13)          = -1 ENOSPC (No space left on device)+++ exited with 0 +++

操作系统演讲了「No space」正确,但没关系,步伐默默地接受它并前往 0,这是乐成的代码。这是一个 bug!

这个 bug 有多严重?可以说,hello world 在任何地方都不会是安全的。然而,hello world 确实做了一些现实世界的步伐所做的事情:打印到尺度输入,这能够会被重定向到一个文献。在现实世界中,文献能够会耗尽空间。如果一个步伐不检测到这种正确并通过其前往代码演讲该正确,那么它的父进程将不知道子进程失败了,并且将继续运行,就像不任何正确一样,即使它期望产生的输入已经悄悄地丢失了数据。

例如,考虑一个将 yaml 文献打印到尺度输入的步伐。如果尺度输入耗尽空间,则输入能够会在某个任意点被截断,尽管它能够仍然是有效的 yaml。因此,我们应该期待步伐能够检测和演讲这种情况。

如果换成其他说话呢?

在前面的内容中,我们重点看了 bash 和 C,那如果换成 Python 呢?Python 处理正确的原则可是「Errors should never pass silently」。以下是 Python 2 的情况:

$ python2 hello.py > /dev/fullclose failed in file object destructor:sys.excepthook is missinglost sys.stderr$ echo $?0

它确实向 stderr 打印了一条音讯,尽管这是一条令人困惑的音讯。但是,它也前往 0,这意味着它告诉运行它的人它已经乐成退出。

幸运的是,Python 3 正确地演讲了正确,并打印了一个更好的正确音讯:

$ python3 hello.py > /dev/fullException ignored in: <_io.TextIOWrapper name='<stdout>' mode='w' encoding='utf-8'>OSError: [Errno 28] No space left on device$ echo $?120

最后,作者又尝试了几种说话,结果如下:

「Hello World」中的「bug」

「Hello World」中的「bug」

原文链接:https://blog.sunfishcode.online/bugs-in-hello-world/

封面出自:https://lmichelin.fr/hello-world/

给TA打赏
共{{data.count}}人
人已打赏
AI

用什么tricks能让模型训练得更快?先了解下这个问题的第一性原理

2022-3-22 14:26:00

AI

英伟达新架构发布,AI芯片上限提升了九倍,20块带宽就等于全球互联网

2022-3-23 7:39:00

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
今日签到
搜索