第4章アルゴリズムの言語による実現：低水準プログラミング言語

technique that derives simpler high-level conceptual models for a computer while exploring the science of what new algorithms can or cannot do

memory region set aside to hold a value

.a file that contains a static library

hardware platform intended for creating simple, low-cost hardware for educational or hobbyist purposes

program that translates assembly language source code into machine code

low-level language in which every statement corresponds directly to a machine instruction

early high-level programming language

program in the native format that is understood by a CPU, which is a long series of 0s and 1s

middle-level language that has been in wide use since the 1970s

middle-level object-oriented language based upon C

computer chip capable of executing machine code programs

thread that is started by the parent thread, and only runs for a limited period in a parallel section

scientific theory stating that an algorithm can be converted from any reasonable computational model to another

open-source C compiler developed by the LLVM project

merges separate code and data sections into single sections (one for code and one for data)

(also: interpreter) program that translates source code from a middle-level or high-level language into something a computer can read

system for defining what an algorithm does and how to run it

situation where multiple programs or tasks are running at the same time, regardless of whether they are using multiple processors or sharing one processor

individual processor built into a CPU chip

paradigm in which code dictates a desired outcome without specifying how that outcome is achieved

piece of code that is responsible for connecting to a hardware component such as a video card or keyboard

specific form of parallel programming where processors are working together in parallel, but the processors are in multiple connected computers, not a single computer

standard binary format for object code

symbol that is used in a module, but not defined in that module, so is expected to be defined in some other module

very low-level code that communicates directly with hardware, providing a convenient interface for other software

memory that is given back to be reused when a value is no longer needed

paradigm in which algorithms are written as mathematical functions

open-source C compiler developed by the GNU Project

widely-used version control system

website that allows free storage of public git repositories

non-structured operation that instructs a computer to jump to an entirely different part of the program

massively-parallel processor that supplements a CPU; GPUs were originally designed for rendering real-time graphics in video games

design for a how a specific physical computer executes algorithms

programming language that operates at a high level of abstraction, meaning that low-level details such as the management of memory are automated

paradigm in which the programmer writes a series of steps that must be followed in order

type of hardware model that defines a list of operations that a CPU can execute

program with a graphical user interface that includes a text editor, compiler, and other tools, all in one application

(also: compiler) program that translates source code from a middle-level or high-level language into something a computer can read

pointer that does not hold a valid location

core part of an operating system that is responsible for managing and interfacing with hardware components

abstract computational model defined by Alonzo Church that inspired the functional programming paradigm

degree to which a computational model, programming language, or piece of software relates to computer hardware

file that contains object code for functions and global variables that are intended to be reused

program that performs linking

process of collecting and combining various pieces of object code into a single program file that can be loaded into memory and executed

open-source operating system kernel that is Unix-compatible

when dynamic linking happens at the same time a program executable is first run

programming language that operates at a low level of abstraction, meaning that code is similar to machine code

sequence of binary digits (bits) that can be understood and executed directly by a computer

occurs when some memory is allocated but never freed

process of allocating and freeing memory

parallel programming approach where separate processes communicate only by sending messages, not sharing memory

message-passing interface that was first developed in the 1990s

programming language that is somewhat abstracted above low-level, but not as much as a high-level programming language; allows direct hardware access

property of code that allows it to be divided into a small, reusable piece

CPU chip that contains more than one core

a program value that has both data, or variables, and procedures that work together to represent a specific human concept

paradigm in which code is organized into objects, where each object has both data and procedures

library for parallel programming in the SMP model

software that provides a platform for applications and manages hardware components

fundamental programming operation that combines values

multiple-processor system that supports parallel programming

practice of making productive use of parallel computers

computer programming technique that provides for executing code in parallel on multiple processors

thread that runs from the program beginning through the end, and starts and manages child threads

variable that holds the memory address of another variable and points to that variable

paradigm in which code is organized into procedures

function in the context of programming

philosophy and approach for organizing code

design for humans to read and write

abstract computational model used to analyze the efficiency of algorithms

container for files and related information stored in a version control tool

when linking occurs after a program has already started running

a relatively new middle-level programming language created by the Mozilla Foundation in the 2010s

occurs if the subscript is very far out of range

when code compiles and runs, but does not behave as it should

library file that can be shared by multiple programs at the same time

programming model in which processes/tasks share a common address space, which they read and write to asynchronously

Internet connection between two computers

text of a program written in a programming language

simple kind of library that that copies the contents of object files into a single file called an “archive”

paradigm in which control flow is always controlled with conditionals (“if”) or loops (“while”) and never GOTO

identifier for a function or global variable

during the symbol resolution step, the linker associates each symbol reference with exactly one symbol definition

array of structures in which each entry includes name, size, and location of symbol

model in which there are multiple parallel processors that are practically identical

programs that provide infrastructure and platforms that other programs rely upon

light-weight parallel execution path that shares memory with other threads

operating system that has been used widely, primarily in servers and software development since the 1970s

tools that are used to store and improve multiple versions of project files and support team collaboration, and the ability to revert to an earlier versions

proprietary-license C and C++ compiler developed by Microsoft