待验证50% 置信事实精确时间

8087 支持四种舍入模式：就近舍入、向零舍入、向正无穷舍入、向负无穷舍入。

1

来源数

50%

置信度

长期有效

时效性

2026/10/18

首次发现

来源

Intel 8087 浮点加减法：老芯片的硬核智慧

涉及实体

Intel 8087product

相关事实

待验证并发理论中的进度保证分为无阻塞（obstruction-free）、无锁（lock-free）和无等待（wait-free）三个层级63% 相似待验证浮点指数提取方法中零值输入会产生 -∞（指数全零），需要额外处理59% 相似待验证Loop 规范定义了五种终止状态：Success、No-op、Blocked、Stalled、Exhausted57% 相似待验证EB 18 是短跳转指令，90 是 NOP 填充，组合相当于用无条件跳转绕过有问题的探测代码56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1062550

API

curl https://kongchang.com/api/v1/knowledge/claims/1062550

MCP

get_claim(id=1062550)