Awesome GitHub RepositoriesMulti-Threaded Debugging

The C/C++ extension for Visual Studio Code provides language support for C and C++ programming, including IntelliSense-powered code editing, navigation, and debugging capabilities. It enables syntax highlighting, code completion, hover information, and error checking for C and C++ source files, along with features like semantic colorization, symbol search, and call hierarchy exploration. The extension offers comprehensive debugging support for C/C++ programs, including launching debug sessions with breakpoints, stepping through code, and inspecting variables. It supports debugging multi-threa

CppGuide is a curated collection of educational resources and practical guides focused on C++ server development, Linux kernel internals, concurrent programming, network protocols, and security exploitation. It provides structured learning paths for backend developers, covering everything from interview preparation to building high-performance network servers and understanding operating system fundamentals. The guide distinguishes itself by offering in-depth, hands-on tutorials that walk through real-world implementations, including building a Redis-like server from scratch, designing custom

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Booster 是一个 Android 应用构建优化器和字节码操作工具，旨在减小二进制体积、修复系统级崩溃并提升应用性能。它作为一个可扩展的构建流程插件，通过修改已编译的类文件和构建产物来注入稳定性修复和优化，而无需更改原始源代码。 该项目的差异化优势在于利用底层字节码操作来修补 OS 级 Bug，并在编译阶段管理线程池。它还提供了一个性能分析工具包，用于识别主线程阻塞操作并分析资源相关的稳定性问题。 该工具涵盖了广泛的包优化能力，包括 PNG 和 WebP 的图像压缩、冗余资源剔除以及资源索引优化。其他功能包括针对线程管理、异步偏好设置写入的性能调优，以及用于扫描构建产物以检测安全风险和瓶颈的静态分析。 该系统利用服务提供者接口（SPI）进行自定义插件集成，并可作为与主要构建环境解耦的独立应用程序执行。

这是一个专为 C++ 应用程序设计的线程安全异步日志库。它提供了一个全面的诊断工具包，使开发者能够记录系统事件、跟踪跨多个线程的执行流，并通过基于严重性的过滤和自动文件维护来管理日志输出。通过将日志格式化和磁盘输入/输出卸载到后台工作线程，该库最大限度地减少了主执行路径上的延迟，确保了时间关键型系统中的高性能。 该框架通过其灵活的配置和诊断能力脱颖而出。它支持通过外部配置文件进行运行时设置，允许在无需重新编译的情况下调整日志级别和输出模式。除了标准日志记录外，它还包括内置的崩溃分析工具，可捕获系统信号和堆栈跟踪以促进事后调试，以及用于测量函数执行时间并识别瓶颈的性能分析工具。 该库提供了一个多功能的路由系统，可将诊断消息分发到多个目的地（包括文件、控制台和网络套接字），或通过自定义拦截回调进行处理。它使用模板元编程处理复杂数据类型和标准容器，确保应用程序状态的一致检查。此外，它还通过条件逻辑、频率限制和模块特定的详细程度设置，提供了对日志量的细粒度控制。

HyperDbg is a hardware-assisted kernel-mode debugging platform that leverages virtualization to monitor and control system execution. By utilizing hypervisor-level primitives, it enables deep system analysis and instrumentation without relying on standard operating system debugging interfaces. The framework provides a comprehensive environment for inspecting both kernel and user-mode processes, allowing for granular control over execution flow and system state. The project distinguishes itself through a transparent debugging layer designed to remain invisible to the target environment. It emp

Blackmagic is a GDB server for embedded hardware that translates GDB remote protocol messages into JTAG and SWD commands. It functions as an ARM and RISC-V debugger and hardware debug probe manager, enabling users to inspect memory, control execution, and manage registers on ARM Cortex and RISC-V cores. The project distinguishes itself by acting as a remote hardware debugging bridge that can stream GDB server traffic over TCP/IP to control physical hardware from a remote machine. It also provides a JTAG and SWD interface to connect host computers to target hardware and serves as an embedded f