ChCore 构建系统实现思路--技术头条 -- 微博大V帮你宣传技术博文开发者头条码农头条

【简介】

读研期间的一个工作是为实验室的 ChCore 操作系统重写了新的构建系统——ChBuild，主要包括各级 CMake 脚本、配置系统和构建入口脚本。目前构建系统已经跟随第二版 ChCore Lab 开源，所以现在可以尝试分享一下思路。如果你不了解 ChCore Lab，也没有关系，这里主要是想粗浅地介绍一些 CMake 很有趣且有用的特性和技巧，可以只看关于这些的内容。

下面的讨论基于 ChCore Lab v2 的 lab5 分支，因为这里包含了比较完整的操作系统代码结构。在阅读之前，建议你首先理解 Modern CMake By Example 中的绝大部分内容。

点击查看原文 >>

由 @技术头条 2023-12-11 23:07 / 0个评论

赞过的人： @IT技术博客大学习

Go协程池深度解析：原理、实现与最佳实践 (www.zhengwenfeng.com)

文章系统解析 Go 协程池的实现原理和实践，包括为何需要协程池、基本实现方式、协程数设置依据及性能对比测试。示例代码演示如何手动构建协程池，并推荐三种高性能第三方库（如 ants、tunny）。适合进行高并发控制和资源管理优化的场景。

by @技术头条 2025-11-12 00:32 查看详情

合成控制法的原理和扩展实现 (bjt.name)

本文介绍了合成控制法（Synthetic Control Method，SCM）原理及其扩展：首先通过选择多个未受干预单位并加权构建一个“合成对照组”，以模拟受干预单位在无干预情况下的表现；然后详细推导了权重 W 与协变量权重矩阵 V 的嵌套最优化过程；最后介绍了“合并损失函数 + 正则化（Lasso/ElasticNet）”的扩展方案，以增强模型稳健性。适用于政策或市场活动影响评估。

by @技术头条 2025-11-12 00:27 查看详情

WebSocket协议详解与c++&c#实现 - 知然 (www.cnblogs.com)

这篇文章详细介绍了 WebSocket 协议的工作原理，包括握手过程、数据帧格式以及如何在 C++ 和 C# 中实现 WebSocket 通信。作者提供了一个轻量级的 WebSocket 解析库，特点是仅包含一个头文件、逻辑清晰且不依赖特定的网络接口，方便集成。此外，文章还提供了一个在线的 WebSocket 模拟客户端，便于测试和理解 WebSocket 的通信过程。

适合人群：对网络编程感兴趣的开发者，尤其是使用 C++ 或 C# 进行服务器开发，并希望深入理解 WebSocket 协议及其实现的工程师。

by @技术头条 2025-01-19 23:59 查看详情

ThinkPad + Redis：构建亿级数据毫秒级查询的平民方案 (soulteary.com)

如何用普通设备实现海量数据的毫秒级查询？文章分享了在 ThinkPad 上构建 Redis 系统的完整方案，详细解析了数据分片、查询优化和资源调配等关键技术，还提供了针对高效查询的实际案例。轻量化实现，高性能表现，为开发者提供了实用的参考思路，值得深入学习！

by @技术头条 2025-01-02 23:58 查看详情

如何巧妙构建“LDAPS”服务器利用JNDI注入 (www.leavesongs.com)

如何利用 LDAPS 和 JNDI 注入？本文详细讲解了构建恶意 LDAPS 服务器并利用 Java JNDI 漏洞的过程，还介绍了如何通过 TLS 代理和工具组合来实现漏洞利用。如果你对安全测试或漏洞利用感兴趣，这篇文章提供了全面的实战指南！

by @技术头条 2024-09-09 23:39 查看详情

Nginx 反代 SSL_do_handshake 问题解决思路 (dusays.com)

遇到 Nginx 反代时的 SSL_do_handshake 错误？本文深入分析了该问题的原因，并提供了详细的解决方案，包括如何配置 Nginx 以避免 502 错误。如果你在运维中遇到 SSL 问题，这篇文章能帮你快速解决！

by @技术头条 2024-09-09 23:35 查看详情

Android｜使用阿里云推流 SDK 实现双路推流不同画面 (mazhuang.org)

想知道如何在 Android 中通过阿里云 SDK 实现双路推流不同画面？本文介绍了一个巧妙的解决方案，虽然阿里云 SDK 不支持原生多路推流，但通过跨进程调用，实现了同时推送不同区域的画面，适用于直播和录播场景的分离展示。开发者不容错过的实战分享，赶快阅读！

by @技术头条 2024-09-08 23:26 查看详情

让AI 实现一个红黑树 (colobu.com)

文章探讨了使用AI帮助实现红黑树数据结构的过程。作者尝试使用多种AI工具模拟专家（如Rob Pike）实现红黑树，并进行了代码优化、单元测试和Fuzz测试。过程中发现AI生成的代码存在问题，但通过不断调整和AI协作，最终实现了功能完善的红黑树实现。文章强调AI在代码生成、测试和优化方面的潜力与不足。

by @技术头条 2024-08-06 07:52 查看详情

基于多模态信息抽取的菜品知识图谱构建 (tech.meituan.com)

菜品作为到店餐饮各相关业务的基石，提供了更细粒度的视角理解餐饮供给，为到餐精细化运营提供了抓手。美团到店研发平台/数据智能平台部与天津大学刘安安教授团队展开了“基于多模态信息抽取的菜品知识图谱构建”的科研合作，利用多模态检索实现图文食材的识别，扩展了多模态菜品食材识别的范围，提升了食材识别的准确性。

by @技术头条 2024-08-06 07:50 查看详情

如何用简单的Web方法实现图片的马赛克效果 (www.zhangxinxu.com)

文章介绍了如何通过简单的Web技术实现图片的马赛克效果。作者主要讨论了使用SVG滤镜来实现此效果，尤其是通过使用像<feFlood>、<feComposite>和<feMorphology>等SVG元素。此外，文章还探讨了通过CSS属性image-rendering: pixelated来模拟马赛克效果的方法，即通过放大小图片来达到效果。文中提供了详细的示例和代码片段来帮助实现这些效果。

by @技术头条 2024-08-06 07:48 查看详情