Assembly language

Assembly language. It is a low-level programming language that provides a symbolic representation of the machine code instructions understood by a computer's central processing unit. Each assembly language is specific to a particular computer architecture, such as x86, ARM, or MIPS, and is designed for direct hardware manipulation. The language uses mnemonics to represent basic operations, making it more human-readable than pure binary, and is converted into executable machine code by a program called an assembler.

Overview

Assembly language serves as a critical bridge between high-level software and the physical hardware of a central processing unit. Its development was closely tied to the work of early computer scientists like Kathleen Booth, who created one of the first assembly systems. Unlike languages such as C or Python, it offers minimal abstraction, providing programmers with direct control over registers, memory addresses, and ALU operations. This direct correspondence allows for highly optimized code essential in systems where resources are constrained, such as in embedded systems or operating system kernels like those from the Linux kernel project.

Syntax and structure

The fundamental syntax of an assembly language is defined by the instruction set architecture of the target processor. A typical instruction consists of an opcode mnemonic, such as `MOV` or `ADD`, followed by operands that specify data sources and destinations, which can be immediate values, registers, or memory locations. Programs are organized into sections like `.text` for code and `.data` for initialized variables, following conventions set by the assembler and linker. Directives, also known as pseudo-ops, are used to guide the assembly process and are provided by assemblers like MASM or the GAS.

Machine code relationship

There is a nearly one-to-one correspondence between assembly instructions and the machine code executed by the central processing unit. Each mnemonic and its operands translate directly into a specific opcode and associated binary patterns defined by the instruction set architecture. This translation is performed by an assembler, such as those included in the GNU Toolchain or NASM, which also resolves symbols and addresses. The process may involve multiple passes to handle forward references and generate relocatable object code for tools like the linker.

Applications and use cases

Due to its efficiency and hardware control, assembly language is employed in performance-critical and resource-constrained domains. It is fundamental in developing operating system kernels, such as early versions of MS-DOS and core components of the Linux kernel, and for writing device drivers that interface directly with hardware like GPUs. In embedded systems, found in devices from Microchip microcontrollers to Raspberry Pi boards, it manages limited RAM and ROM. It is also used for reverse engineering, demoscene creations, and optimizing critical routines in larger applications written in languages like C.

Comparison with high-level languages

Assembly language provides direct hardware manipulation and potential for optimal performance and size, advantages often absent in high-level languages like Java or Python. However, this comes at the cost of portability, as code written for the x86 architecture will not run on an ARM processor without significant revision. Development in assembly is also more error-prone and time-consuming, lacking the advanced abstractions, type safety, and extensive libraries provided by languages such as C++ or the .NET Framework.

Notable assembly languages

Many assembly languages have been defined by major architectures and manufacturers. For the x86 family, prevalent in personal computers from Intel and AMD, common dialects include those for the MASM and NASM assemblers. The ARM family, dominant in mobile devices from Apple and Samsung, uses its own syntax. Others include MIPS assembly, used in historical systems from SGI, and PowerPC assembly for older Apple Macintosh computers and consoles like the Nintendo GameCube. Specialized historical languages exist for architectures like the 6502 in the Commodore 64 and Z80 in the ZX Spectrum.

Category:Programming languages Category:Computer architecture Category:Low-level programming languages