当前位置:

首页 > 编程开发 > 系统编程是什么

系统编程是什么

系统编程:从抽象接口到物理实现 说起Unix编程的历史,其实并没有严格的“系统”与“应用”之分。即便是开发像X Window这样复杂的图形界面,也都是在系统级(system-level)上进行的,开发者需要直面整个系统的API。而到了现代,操作系统编程才逐渐分化出所谓的“系统级编程”,它使用一套与“

系统编程:从抽象接口到物理实现

说起Unix编程的历史,其实并没有严格的“系统”与“应用”之分。即便是开发像X Window这样复杂的图形界面,也都是在系统级(system-level)上进行的,开发者需要直面整个系统的API。而到了现代,操作系统编程才逐渐分化出所谓的“系统级编程”,它使用一套与“应用编程”不同的API(System programming API)。

单从编程的形式和耗费的心力来看,系统编程与应用编程并没有本质的差别。这意味着,一位经验丰富的应用程序员转向系统编程,门槛其实并不算高。那么,两者的核心区别究竟在哪里呢?

首先,系统编程离硬件更近。系统程序员必须对硬件环境和操作系统环境了如指掌。相比之下,应用程序员则更多地是熟悉应用本身的环境。其次,两者使用的函数库和调用方法也存在差异。例如,系统编程在调用系统调用(syscall)时,采用的是所谓的“陷入”机制,也就是软中断方式。

近年来,随着计算应用的不断深化,应用编程确实有逐渐远离底层系统的趋势。但是,这绝不意味着系统编程的末日即将到来。道理很简单:有人用Ja vaScript或C#编写高级应用,就必须有人去编写它们的解释器和运行时环境。更何况,操作系统内核本身的代码,只能通过系统级编程来完成。

系统编程的核心三要素

要进行Linux系统编程,必须熟悉三大块内容:系统调用、C库和C编译器。这三者构成了系统编程的基石。

系统调用(System Calls)

简单来说,系统调用就是用户空间程序与内核进行对话的函数接口,目的是为了向内核请求服务和资源。与其他许多操作系统相比,Linux实现的系统调用数量要精简得多。例如,Linux为i386体系结构实现了大约300个系统调用,而据传Microsoft Windows的系统调用数量则数以千计。当然,Linux内核在不同硬件平台上的实现会有些许差异,但大约90%的系统调用是共通的。

出于安全等因素的考虑,应用程序的代码是不能直接调用内核函数的。它必须通过一种特殊的“陷入”(trap)机制。你可以把它理解为一种“知会”内核工作的特殊函数调用方式(从系统论的角度看,这种较弱的耦合方式也很有意思)。具体如何“陷入”,则因处理器体系结构而异。以i386为例,应用程序通过触发软中断指令(int 0x80)来发起系统调用。那么,0x80代表什么呢?是中断向量号吗?答案是否定的。应用程序必须通过处理器的寄存器来告诉内核要调用哪个服务以及参数是什么。比如,调用`open()`函数时,需要将eax寄存器设置为5,然后把实际的参数放在另外五个寄存器:ebx, ecx, edx, esi和edi中(这也意味着Linux的系统调用最多支持五个参数)。这些寄存器中保存的是用户空间的地址,指向实际的参数数据。

不过,作为一名系统程序员,你通常不需要直接干预这个过程。因为整个调用流程是由硬件体系结构定义的,并且由C库和C编译器自动处理好了。

C库(The C Library)

C库是所有UNIX类系统上应用程序的核心。无论你使用Python、Ja va还是其他任何高级语言,你的代码最终都会调用到C库。其他语言的运行时库,本质上都是构建在C库之上,或者说,是对C库功能的一层包装。在现代Linux系统中,使用的C库是GNU libc,也就是大家常说的glibc。glibc不仅仅是一个遵循C标准的程序语言库,它更是一个强大的系统库,一个现代操作系统的库,其函数涵盖了系统调用的包装、线程支持、底层内存管理、网络支持等诸多方面。

C编译器(The C Compiler)

在Linux世界,C编译器的代名词就是gcc。最初,gcc代表GNU C Compiler,是cc编译器在GNU项目下的实现。如今,gcc已扩展为GNU Compiler Collection,但它仍然是编译C代码的主要入口。在Unix系统(包括Linux)中,编译器与系统编程的关系异常紧密,因为编译器负责实现C语言标准,同时也负责生成符合特定系统ABI(应用二进制接口)的代码,这直接关系到程序能否正确运行。

API与ABI:逻辑约定与物理实现

每个开发者都希望自己编写的程序具有良好的可移植性,能够在不同的软件平台(如操作系统)、硬件平台(如CPU架构)甚至不同的开发版本上运行。影响可移植性的因素很多,其中有两组关键的“系统接口”至关重要:一组是应用编程接口(API),另一组是应用二进制接口(ABI)。

API:源码级的逻辑约定

API是两份软件在源代码级别的接口契约。通过这个标准化的接口(通常以头文件和函数原型的形式提供),客户代码(通常是更上层的软件)可以调用服务代码(通常是更底层的软件,如操作系统或库)的功能。

系统论视角下的接口
接口或端口(port),是处于两个子系统边界上进行信息交换的规格或约定方式。通俗地理解,它定义了信息交换的格式。

应用编程接口
应用编程接口,就是软件系统不同组成部分衔接的约定。由于现代软件规模日益庞大,常需将复杂系统划分为小的组成部分,编程接口的设计就显得尤为重要。良好的接口设计能够合理划分系统职责,提高各组成部分的内聚性,降低它们之间的耦合度,从而提升系统的可维护性和可扩展性。

API本身是抽象的,它只定义了“做什么”,而不涉及“怎么做”。因此,清晰地区分接口定义和接口的具体实现非常重要。例如,C标准库是一个API规范,而uclibc或musl-libc则是它的具体实现;同样,POSIX标准是一个操作系统API规范,而glibc就是它在Linux上的一个主要实现。

那么,API通常包含哪些函数呢?这是个有趣的问题。像C标准库这样的语言库,必须保持高度通用,因此其接口函数不能依赖于特定的软件或硬件特性。相反,POSIX作为操作系统标准,其通用性就相对弱一些,会包含更多与系统管理相关的接口。

ABI:二进制级的物理约定

如果说API是源码级别的、逻辑上的约定,那么ABI就是二进制级别的、物理上的实现约定。它定义了在特定的硬件架构上,两个二进制软件模块(如一个应用程序和一个共享库)之间如何交互的具体细节。这套“物理实现约定”保证了二进制代码的兼容性,也就是说,一段编译好的目标代码,可以在任何遵循相同ABI的系统上直接运行,而无需重新编译源代码。

ABI涵盖的内容非常具体且底层,包括:调用约定(函数参数如何传递、返回值放在哪里、哪些寄存器由调用者保存、哪些由被调用者保存)、字节序(大端还是小端)、寄存器的使用约定、系统调用的具体实现方式、目标文件的链接格式、程序库的行为以及可执行文件的二进制格式等。以调用约定为例,它精确规定了函数如何被调用,参数按什么顺序、通过栈还是寄存器传递,哪些寄存器必须保留原值,以及调用者如何获取返回值。

虽然历史上曾有过为特定架构(尤其是i386)上的不同Unix系统定义一个统一ABI的尝试,但至今未能成功。现实情况是,包括Linux在内的各个操作系统都定义了自己的一套ABI,而这些ABI与硬件架构紧密绑定。大部分ABI规范都涉及机器级别的概念,比如特定寄存器的用途或某条汇编指令的行为。因此,在Linux世界里,我们通常直接用机器架构的名称来指代其ABI,例如“x86-64 ABI”或“ARM ABI”。

Linux编程概念、POSIX与系统库

所有的Unix系统,包括Linux,都提供了一套共同的抽象和接口集合。正是这套共同点定义了什么是“Unix”。例如,对文件、进程、线程的抽象,以及管理管道、套接字、信号的接口等等,这些都是Unix哲学和核心能力的体现。

综上所述,系统编程与应用编程的一个根本区别在于:它们所调用的接口层次和性质不同。系统编程更贴近由ABI和操作系统内核直接提供的底层接口,而应用编程则更多地工作在由API构建的高级抽象层之上。

本文内容来源于互联网,如有侵权请联系删除。
作者最新文章
编程开发 编程
相关文章 更多
仿脑光敏器件拥有可编程“遗忘机制”
仿脑光敏器件拥有可编程“遗忘机制”

美国俄勒冈州立大学研发出集成感知、存储与处理的新型光敏器件,具备可编程遗忘机制。通过栅极电压调控电荷位置,可主动增强或衰减记忆,有效降低能耗,为高效低功耗人工智能硬件提供新方向。

编程之美!从线程池状态管理来看二进制操作之美
编程之美!从线程池状态管理来看二进制操作之美

二进制操作在框架设计中被频繁使用,使用二进制在不同场景有提升计算速度、较少内存占用等多种优点;下面,我们依据线程池的状态管理,来看下怎么通过操作二进制对状态进行管理,过程中会发现编程之美~线程池状态首先,为了文章的完整性,我们还是先了解一下线程池的状态,总结如下如: 线程池状态分为5种:RUNNIN

编程化人类细胞能自主执行计算和决策
编程化人类细胞能自主执行计算和决策

以色列希伯来大学在《自然·通讯》发表研究,利用RNA反式剪接构建模块化人工遗传系统,使人类细胞能自主计算决策。系统内含全加法器与多路复用器,可并行处理多路信号并自带安全机制,未来可用于智能治疗细胞。

结束12天受限预览,GPT-5.6正式发布,Codex与ChatGPT合二为一
结束12天受限预览,GPT-5.6正式发布,Codex与ChatGPT合二为一

OpenAI发布GPT-5.6系列模型(Sol、Terra、Luna),结束12天受限预览。独立运行近一年的Codex应用并入ChatGPT桌面端,整合对话、编程与长程任务执行。新模型强调性能、速度与成本平衡,Sol在编程和Agent场景表现领先,但综合推理仍不及Claude系列。同步推出ChatGPTWork智能体,并实现Luna后训练由Sol自主完成。

java游戏高级编程 用不好怎么办?问题排查指南
java游戏高级编程 用不好怎么办?问题排查指南

Java游戏开发中常见性能卡顿、逻辑错误、维护困难及兼容性问题。应使用剖析工具定位性能瓶颈,关注并发与事件处理逻辑,通过单元测试验证。代码需遵循设计模式,保持模块独立。环境应确保JDK与依赖库版本兼容,并建立从单元到压力的多层次测试体系,结合重构持续优化。

java游戏高级编程 入门:从基础认知到上手使用
java游戏高级编程 入门:从基础认知到上手使用

Java游戏开发凭借跨平台特性广泛应用于移动端、网页及独立游戏领域。入门需掌握核心特性与框架选择,搭建开发环境。关键环节包括理解游戏循环、架构设计与图形渲染,并高效处理输入、更新与渲染。之后实现交互逻辑,进行性能与游戏性优化,最终打包发布,完成开发闭环。

using namespace 使用中遇到的问题怎么解决
using namespace 使用中遇到的问题怎么解决

命名空间的基本概念与常见引入问题在C++等编程语言中,命名空间(namespace)是一种将代码标识符(如变量、函数、类名)封装在特定名称下的机制,其主要目的是避免命名冲突,尤其是在大型项目或使用多个第三方库时。使用“using namespace”指令可以将指定命名空间中的所有名称引入当前作用域,

c语言函数递归 实操经验总结:这些技巧很实用
c语言函数递归 实操经验总结:这些技巧很实用

理解递归的基本原理在C语言中,递归是一种函数调用自身的编程技术。要掌握它,首先需要理解其核心思想:将一个复杂的大问题,分解为一个或几个与原问题相似但规模更小的子问题,直到子问题足够简单,可以直接求解。这个过程通常包含两个关键部分:递归出口和递归体。递归出口定义了问题何时不再继续分解,即最简单、可直接

c语言函数递归 怎么选?常见方案对比分析
c语言函数递归 怎么选?常见方案对比分析

递归函数的基本概念与适用场景在C语言编程中,递归是一种函数调用自身的编程技巧。它并非适用于所有问题,但在处理某些具有自相似结构的问题时,能提供极其清晰和优雅的解决方案。递归的核心思想是将一个大规模问题分解为一个或多个同类型但规模更小的子问题,直到子问题简单到可以直接求解。典型的适用场景包括树形结构的

Objective-C 内存管理入门:从 alloc 到 dealloc 的生命周期详解
Objective-C 内存管理入门:从 alloc 到 dealloc 的生命周期详解

理解内存管理的基石在Objective-C的编程世界中,内存管理是开发者必须掌握的核心技能之一。它直接关系到应用的性能、稳定性与资源利用效率。与一些采用自动垃圾回收机制的语言不同,Objective-C在很长一段时间里,依赖一套基于引用计数的、需要开发者部分介入的管理规则。这套规则的核心思想是明确的

查看更多
精品专题 更多
装机必备
装机必备

正软商城装机必备专区,精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件,帮助用户快速完成新电脑软件配置。

Windows
Windows

正软商城Windows软件专区,汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件,提供软件介绍、系统要求、正版授权及购买下载服务。

macOS软件
macOS软件

正软商城macOS软件专区,精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具,提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。

Mac软件 更多
灵活计算器
灵活计算器
macOS/iOS/Android

灵活计算器是一款笔记式算数应用,支持实时计算、动态关联和云端同步功能。记录、整理和输出之间的过渡会更自然,适合长期写作、做笔记或持续沉淀个人内容。

赤友清理大师
赤友清理大师
macOS

赤友清理大师是一款为 Mac 设计的智能清理优化工具,可精准扫描垃圾、大文件、重复文件等,释放磁盘空间。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

极度公式
极度公式
Windows/macOS/Linux

极度公式是一款跨平台专业LaTeX公式识别编辑软件,支持OCR公式识别和多平台编辑。和使用说明,避免使用,享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

WINDOWS 更多
Windows 10
Windows 10
Windows

Windows 10 是一款微软推出的经典操作系统,拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起,适合需要持续观察和微调设备状态的场景。

极度公式
极度公式
Windows/macOS/Linux

极度公式是一款跨平台专业LaTeX公式识别编辑软件,支持OCR公式识别和多平台编辑。和使用说明,避免使用,享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时,它能把识别后的处理步骤接得更顺,资料录入这类场景会省下不少时间。

密码键盘
密码键盘
Windows/macOS/iOS/Android

密码键盘是一款兼具安全性与便捷性的高效密码管理器。日常使用里的持续防护和信息管理会更突出,适合把安全控制放进长期使用流程中的场景。