来自C标准的未定义行为的示例之一(J.2):
- 数组下标超出范围,即使一个对象显然可以使用给定的下标访问(如左边的表达式a [1] [7],给出声明int a [4] [5])(6.5.6)
如果声明从更改int a[4][5]为unsigned char a[4][5],访问a[1][7]仍会导致未定义的行为吗？我的意见是,它没有,但我从其他人那里听到了不同意见,我想看看其他一些想成为专家的想法.
我的推理:
根据6.2.6.1第4段和第6.5段第7段的通常解释,对象的表示a是sizeof (unsigned char [4][5])*CHAR_BIT位,可以作为unsigned char [20]与对象重叠的类型数组进行访问.
a[1]将type unsigned char [5]作为左值,但在表达式中使用(作为运算[]符的操作数,或等效地作为运算+符的操作数*(a[1]+7)),它衰减为类型的指针unsigned char *.
值a[1]也是指向a表单中"表示"的字节的指针unsigned char [20].以这种方式解释,添加7 a[1]是有效的.
我正在努力在Linux上实现pthread取消,而不会在我最近的一些其他问题中讨论任何"不愉快的行为"(有些人可能会说错误).到目前为止,取消pthread取消的Linux/glibc方法一直将它视为不需要内核支持的东西,并且可以在库级别处理,纯粹通过在进行系统调用之前启用异步取消,并恢复先前的取消状态在系统调用返回后.这至少有两个问题,其中一个非常严重:
我解决问题的第一个想法是设置一个标志,线程处于取消点,而不是启用异步取消,并且当设置此标志时,让取消信号处理程序检查保存的指令指针,看它是否指向系统调用指令(特定于arch).如果是这样,这表示系统调用未完成,并且在信号处理程序返回时将重新启动,因此我们可以取消.如果没有,我认为系统调用已经返回,并推迟取消.但是,还存在竞争条件 - 线程可能根本没有到达syscall指令,在这种情况下,系统调用可能会阻塞并且永远不会响应取消.另一个小问题是,如果在输入信号处理程序时设置了取消点标志,则从信号处理程序执行的不可取消的系统调用会被错误地取消.
我正在寻找一种新的方法,并寻找有关它的反馈.必须满足的条件:
我想到的想法需要为可取消的系统调用包装器进行专门的组装.基本想法是:
取消操作将涉及:
取消信号处理程序然后:
到目前为止我看到的唯一问题是信号处理程序的第1步:如果它决定不动作,那么在信号处理程序返回之后,线程可能会在系统调用上被阻塞,忽略待处理的取消请求.为此,我看到了两个可能的解决方案:
关于哪种方法最好的想法,或者是否还有其他更基本的缺陷？
显然,标准对此没有任何说明,但我对实际/历史观点更感兴趣:使用非二进制补码算法的系统是否使用了char无符号的普通类型？否则你可能有各种各样的怪异,比如null终结符的两个表示,以及无法表示所有"byte"值char.做这么奇怪的系统真的存在吗？
Ulrich Drepper关于线程本地存储的论文概述了几种不同cpu架构的TLS ABI,但我发现它不足以作为实现TLS的基础,原因有两个:
例如,i386唯一的实际ABI要求是:
%gs:0 指向指向自身的指针.___tls_get_addr并且__tls_get_addr函数必须以正确的语义存在,以便查找任意TLS段.特别是,DTV的存在或布局不是 ABI的一部分,也不是主程序之外的TLS段的排序/布局.
似乎任何使用"TLS变体II"的拱门都具有大致上述ABI要求.但我完全不了解"TLS变体I"的要求,而且从阅读来源(在uClibc和glibc中)看来,甚至可能存在"变体I"的几种变体.
有没有更好的文件我应该看一下,或者熟悉TLS工作的人能向我解释ABI的要求吗？
我希望在我的进程中为以前使用但目前不需要的内存保留虚拟地址空间.我对主机内核是Linux的情况感兴趣,并且它被配置为防止过度使用(通过详细计算所有已提交的内存来实现).
如果我只是想阻止我的应用程序不再使用的数据占用物理内存或交换到磁盘(无论哪种方式浪费资源),我可以madvise在内核中不需要它,或者mmap新的零页面.但是这些方法都不一定会减少计数为已提交的内存量,然后阻止其他进程使用.
如果我将页面替换为标记为只读的新零页怎么办？我的意图是它们不计入已提交的内存,并且我可以在以后使用它mprotect来使它们可写,并且如果使它们可写将失败将超过提交的内存限制.我的理解是否正确？这会有用吗？
可以将某些类型的类型泛型函数作为C中的宏来执行,例如:
#define SQRT(x) (sizeof(x) == sizeof(float) ? sqrtf((x)) : \
sizeof(x) == sizeof(double) ? sqrt((x)) : \
sqrtl((x)) )
只要x是浮点类型,这(大多数)就可以正常工作.
但是,如果我想要一个可以采用整数类型或指针类型的类型通用宏,它可能具有相同的大小.有没有一种聪明的方法来测试宏参数是整数还是指针？整数与浮点类型怎么样？
此相关问题是关于在编译时确定签名类型的最大值:
但是,我已经意识到在运行时确定有符号类型(例如time_t或off_t)的最大值似乎是一项非常困难的任务.
我能想到的最接近解决方案的是:
uintmax_t x = (uintmax_t)1<<CHAR_BIT*sizeof(type)-2;
while ((type)x<=0) x>>=1;
只要type没有填充位,这就避免了任何循环,但是如果type确实有填充位,则强制转换会调用实现定义的行为,这可能是信号或无意义的实现定义转换(例如,剥离符号位).
在我看来,我开始认为问题是无法解决的,这有点令人不安,并且会成为C标准的缺陷.证明我错的任何想法？
在C99中,我们有复合文字,它们可以传递给函数,如:
f((int[2]){ 1, 2 });
但是,如果f不是函数而是函数式宏,gcc barfs由于预处理器解析它不是作为一个参数而是作为两个参数" (int[2]){ 1"和" 2 }".
这是gcc或C标准中的错误吗？如果它是后者,那几乎排除了所有透明使用类似函数的宏,这似乎是一个巨大的缺陷......
编辑:作为一个例子,人们会期望以下是一个符合要求的程序片段:
fgetc((FILE *[2]){ f1, f2 }[i]);
但是因为fgetc可以实现为宏(虽然需要保护其参数而不是多次评估它),但这段代码实际上是不正确的.这对我来说似乎很令人惊讶.
有没有办法用i387 fsqrt指令进行正确的舍入？...
... 除了改变 x87控制字中的精度模式 - 我知道这是可能的,但它不是一个合理的解决方案,因为它有令人讨厌的重入类型问题,如果sqrt操作被中断,精度模式将是错误的.
我正在处理的问题如下:x87 fsqrt操作码在fpu寄存器的精度中执行正确舍入(按IEEE 754)平方根操作,我假设它是扩展(80位)精度.但是,我想用它来实现高效的单精度和双精度平方根函数,并且结果正确舍入(按照当前的舍入模式).由于结果具有过高的精度,因此将结果转换为单精度或双精度的第二步再次舍入,可能会留下不正确舍入的结果.
通过一些操作,可以通过偏差来解决这个问题.例如,我可以通过以2的幂的形式添加偏置来避免过度结果的过度精度,该偏置将双精度值的52个有效位强制为63位扩展精度尾数的最后52位.但我没有看到任何明显的方法用平方根做这样的技巧.
任何聪明的想法？
(还标记为C,因为预期的应用程序是C sqrt和sqrtf函数的实现.)
是否有任何合理完整的列表,其中POSIX中的哪些功能在EINTR接收或处理信号时被中断,即使没有信号处理程序或者处理程序是否已安装SA_RESTART？一些例子:
selectnanosleep