文章提交注意事项:
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
solidot新版网站常见问题,请点击这里查看。
Solidot 公告
投 票
热门文章
-
- 植物遇险如何通知邻居? (0)
- 首例定制基因编辑疗法治愈婴儿的罕见遗传病 (0)
- 史前人类如何从北亚向北美和南美扩张 (0)
- Rust 庆祝十周年,发布 Rust 1.87 (0)
- 年轻恒星系统发现结晶水冰 (0)
- 研究发现 AI 无法预测股市 (0)
- 研究发现无论是否运动久坐会损害大脑 (0)
- 太空计算卫星星座发射首批 12 颗卫星 (0)
- 中国二氧化碳排放首次在电力需求增长的情况下下降 (0)
- 特朗普要求苹果停止在印度扩大制造业务 (0)
热门评论
- 笑看外挂 (1 points, 一般) by cnma_001 在 2025年04月03日13时47分 星期四 评论到 韩国游戏工作室竞争开发星际争霸新作
- 一个数据参考 (1 points, 一般) by hhding 在 2025年03月31日09时06分 星期一 评论到 AI 数据中心太多了
- 非技术的说法 (1 points, 一般) by hhding 在 2025年03月31日08时56分 星期一 评论到 AI 数据中心太多了
- 主体错误 (1 points, 一般) by solidot1740402558 在 2025年02月24日21时10分 星期一 评论到 Starlink 面临越来越多的竞争
- 先能过了小米高考再说 (1 points, 一般) by ooxx 在 2025年01月06日15时43分 星期一 评论到 小米修改了引导程序解锁政策
- (1 points, 一般) by 18611782246 在 2024年12月18日18时06分 星期三 评论到 司机死于阿尔茨海默病的可能性较低
- BaD kEyBoArD: eXtRa SpAcE (1 points, 一般) by lot 在 2024年12月11日04时10分 星期三 评论到 高温环境可能加速衰老
- BaD kEyBoArD: tYpO (1 points, 一般) by lot 在 2024年12月11日04时09分 星期三 评论到 Goolge 宣布了新量子芯片 Willow
- 喵喵喵 (1 points, 一般) by solidot1733326472 在 2024年12月04日23时35分 星期三 评论到 澳大利亚面临太阳能供大于求
- 懂了 这就去安装刺客信条 (1 points, 一般) by Craynic 在 2024年11月27日19时36分 星期三 评论到 微软临时阻止安装刺客信条等育碧游戏的 PC 更新 Windows 11 24H2
即将发布的 Linux 6.15 将停止支持有 36 年历史的 486 以及第一代奔腾处理器。微软早在 2001 年发布 Windows XP 后就停止了对 486 的支持。Linux 作者 Linus Torvalds 在内核邮件列表上表示是时候放弃支持 i486 了,不值得在 i486 上浪费开发精力。资深内核开发者 Ingo Molnar 解释说,为了支持已经很少有人使用的旧 x86-32 架构,内核开发者花费了很多力气去实现兼容性。这种兼容性粘合常常会带来需要大量精力解决的问题,这些时间本可以做其它事情。Linux 是在 2012 年停止支持 386。未来对 x86 CPU 的支持最低将是 P5 微架构的奔腾处理器。
修正:
风之影 写道: Intel 80486处理器发布于1989年。486处理器缺少CX8(CMPXCHG8B)指令和TSC(时间戳计数器),为了支持486处理器,操作系统必须包含模拟CX8和TSC的逻辑,这带来了额外的维护工作。Linus Torvalds在2022年曾提议停止支持486处理器,但被投票否决了。近期,Linus Torvalds再次提议放弃对486处理器的支持,随后,内核老将Ingo Molnar提交了一组补丁,移除了对缺少CX8和TSC功能的CPU的支持。受影响的处理器除486以外,还包括部分早期的586处理器,如AMD K5和Elan系列、Cyrix的5x86/6x86/6x86MX、IDT的WinChip系列等。早在2012年的Linux 3.8中,就是Ingo Molnar编写的补丁终止了支持386处理器。
386和486处理器可用于嵌入式系统、工业电脑和航天领域,二者持续生产到了2007年才停产,但若停止支持486处理器的补丁获准通过,并不会对此产生影响,这是因为嵌入式系统使用的486处理器(如Intel Quark)支持CX8和TSC,而更原始的486处理器则搭载旧版Linux。
Windows操作系统早在2001年的Windows XP就因为要求CX8而停止支持486处理器。
修正:
风之影 写道: Intel 80486处理器发布于1989年。486处理器缺少CX8(CMPXCHG8B)指令和TSC(时间戳计数器),为了支持486处理器,操作系统必须包含模拟CX8和TSC的逻辑,这带来了额外的维护工作。Linus Torvalds在2022年曾提议停止支持486处理器,但被投票否决了。近期,Linus Torvalds再次提议放弃对486处理器的支持,随后,内核老将Ingo Molnar提交了一组补丁,移除了对缺少CX8和TSC功能的CPU的支持。受影响的处理器除486以外,还包括部分早期的586处理器,如AMD K5和Elan系列、Cyrix的5x86/6x86/6x86MX、IDT的WinChip系列等。早在2012年的Linux 3.8中,就是Ingo Molnar编写的补丁终止了支持386处理器。
386和486处理器可用于嵌入式系统、工业电脑和航天领域,二者持续生产到了2007年才停产,但若停止支持486处理器的补丁获准通过,并不会对此产生影响,这是因为嵌入式系统使用的486处理器(如Intel Quark)支持CX8和TSC,而更原始的486处理器则搭载旧版Linux。
Windows操作系统早在2001年的Windows XP就因为要求CX8而停止支持486处理器。
Shawn the R0ck 写道:“Memory safety 近年来成为热门话题。但在讨论“memory safety”时,我们需要先明确究竟在探讨什么、追求什么目标。你是在关注通过编译器完成静态分析(如 Clang Static Analyzer、rustc 等)来在编译阶段捕获潜在问题,还是更信任编译器让代码顺利编译,通过运行时机制(比如 Go 或 Java 中的垃圾回收)来解决所有问题?或者,你仅仅关注于安全加固的最终目标——即防止系统遭受攻击?内存安全问题的复杂性正反映了安全领域的本质:安全是一门交叉学科,融合了计算机科学和复杂性理论,这使得要完全掌控其复杂性变得异常困难。因此,企图通过单一或者几种 “memory-safe language” 重写现有软件,从而彻底杜绝所有安全隐患,并非现实可行的方案。
一门编程语言在设计时可能就倾向于提供内存安全机制,例如自动垃圾回收、数组边界检查等,这些机制在规范层面上勾画了一个理想状态。但在现实中,不同的实现者会出于需求和性能指标的考虑采取不同的策略。例如,虽然 Lisp 通常配备垃圾回收机制、支持灵活的数据操作和动态类型系统,但这并不意味着所有 Lisp 解释器都能完全消除内存安全问题。如果由于特定需求或追求性能而对部分安全检查作出妥协,那么内存越界或非法指针访问等安全隐患依然有可能出现。
同样,C/C++ 被长期视为“不安全”的语言,因为它允许程序员直接操作内存和执行指针运算。然而,通过严谨的工程化手段(如静态分析工具、严格的代码审查、运行时检测机制等),使得 C/C++ 在特定环境下无限接近无 Bug 状态也是可能的。本文将以 HardenedLinux 过去数十年中在对抗系统复杂性、提升内存安全方面的一些做法为背景进行探讨。总体来看,内存安全不仅关乎编译器或运行时单一环节的责任,而是需要在语言设计、工具支持、工程实践等多方面协同努力,以实现最终“系统不被攻陷”的安全目标。本文不涉足强制访问控制,沙箱,Linux内核加固等议题。”
一门编程语言在设计时可能就倾向于提供内存安全机制,例如自动垃圾回收、数组边界检查等,这些机制在规范层面上勾画了一个理想状态。但在现实中,不同的实现者会出于需求和性能指标的考虑采取不同的策略。例如,虽然 Lisp 通常配备垃圾回收机制、支持灵活的数据操作和动态类型系统,但这并不意味着所有 Lisp 解释器都能完全消除内存安全问题。如果由于特定需求或追求性能而对部分安全检查作出妥协,那么内存越界或非法指针访问等安全隐患依然有可能出现。
同样,C/C++ 被长期视为“不安全”的语言,因为它允许程序员直接操作内存和执行指针运算。然而,通过严谨的工程化手段(如静态分析工具、严格的代码审查、运行时检测机制等),使得 C/C++ 在特定环境下无限接近无 Bug 状态也是可能的。本文将以 HardenedLinux 过去数十年中在对抗系统复杂性、提升内存安全方面的一些做法为背景进行探讨。总体来看,内存安全不仅关乎编译器或运行时单一环节的责任,而是需要在语言设计、工具支持、工程实践等多方面协同努力,以实现最终“系统不被攻陷”的安全目标。本文不涉足强制访问控制,沙箱,Linux内核加固等议题。”
模仿 Windows 11 主题的 Linux 发行版 AnduinOS 最近因为进入了 DistroWatch 排行榜而引起了关注,它的唯一维护者 Anduin Xue 公开了身份:他是一名微软工程师,但工作与 Windows 操作系统不相干。他是在空闲时间维护这个基于 Ubuntu 的发行版的,每个月只抽出几小时时间维护它,因此没有计划商业化,也没考虑接受捐赠。他来自中国,因此有人担心该发行版可能会含有后门。Anduin Xue 说发行版的源代码是公开的,为政府植入后门是很容易曝光的。他表示如果未来有赞助或企业合作,他可能会全职维护该发行版。
有些植物吸引传粉媒介的方式并非依靠馥郁的甜香,而是浓烈的腐臭。一项新研究展示了植物是如何成功做到这一点的。研究人员报告,在细辛属植物(Asarum)的花朵中,一种通常用于解毒恶臭化合物的基因反而会演化出产生难闻气味的功能。这些发现揭示了植物会如何利用广泛保守的代谢途径来获取生态优势。气味难闻花朵的一个关键特征是它们会释放挥发性的恶臭化合物,特别是二甲基二硫 (DMDS) 和二甲基三硫 (DMTS) 等寡聚硫化物。这些化合物会模拟腐烂物质所发出的化学信号。这些演变出来的特性为了吸引各类传粉昆虫。
印度政府下令 X/Twitter 对印度用户屏蔽逾 8000 个账号,否则可能会面临巨额罚款,甚至可能拘留 X 在印度办事处的员工。被屏蔽的账号包括知名的国际新闻机构,而印度政府也没有给出屏蔽理由。X 表示它将遵守命令开始屏蔽相关账号。此举可能与印度和巴基斯坦之间的武装冲突有关,印度政府试图控制对这起冲突的叙事。
罗马天主教会选出美国籍枢机 Robert Prevost 为新任教宗,其封号为良十四世(Pope Leo XIV)。69 岁的新任教宗发表演讲呼吁信众与全球罗马天主教徒构筑桥梁,以对话和平团结人类。Prevost 出生于芝加哥,职业生涯早期在芝加哥的圣奥古斯丁修道会工作;1985 年派至秘鲁服务,1988 年至 1998 年间历任教区司铎、教区官员、神学院教师和行政人员等职。他精通英语、西班牙语、意大利语、法语和葡萄牙语,可读拉丁语和德语。2023年由教宗方济各擢升为枢机。他是首位美国出身的教宗,也是首位奥古斯丁会出身的教宗。
华为透露了首款搭载 HarmonyOS 5 的笔记本电脑。它拥有的微软 Windows 许可证已在今年 3 月过期。新电脑尚未命名,它搭配了华为的 AI 助手小艺(Celia),能执行创建幻灯片、总结会议摘要以及检索本地文档信息等功能。HarmonyOS 5 提供了 MS Office 的替代 WPS,阿里巴巴旗下的企业协作平台钉钉,社交媒体小红书,视频分享网站哔哩哔哩,以及字节跳动旗下的飞书等流行娱乐和办公应用。《南方日报》报道称,到年底 PC 版 HarmonyOS 操作系统将支持逾 2000 款应用。