Understanding Processes: Characteristics, Creation, and Common Pitfalls

What Is a Process?

A process is a running instance of a program that operates on a set of data; it is the basic unit for resource allocation and scheduling in an operating system. A program is a static file stored on disk, while a process is the dynamic execution of that program with allocated memory, stack, heap, and other resources.

Key Characteristics of Processes

Concurrency: multiple processes can progress simultaneously at a macro level.

Dynamic nature: processes are created, evolve, and terminate dynamically.

Independence: each process is the fundamental unit for resource allocation.

Interaction: processes can communicate and interact with each other.

Asynchrony: progress is not synchronized across processes.

Structure: each process has a control block (PCB).

Parallelism: true simultaneous execution occurs only on multi‑CPU/multi‑processor systems.

Concurrency vs. Parallelism

Concurrency refers to the appearance of simultaneous progress at a macro level; the OS schedules CPU time slices (e.g., 10 ms) among processes, making them seem to run together. Parallelism is the actual simultaneous execution of multiple processes on different CPUs, which requires a multi‑CPU machine.

Creating Multiple Processes

Processes can be created by the operating system itself or by a parent process. When a parent creates a child, a hierarchical “process family” forms, and the child inherits most of the parent’s resources.

Orphan Processes

An orphan process is one whose parent has terminated before it. The init process (PID 1) adopts such orphaned children, ensuring they continue to run.

Zombie Processes

A zombie process occurs when a child has terminated but its parent has not yet performed a wait operation to read the exit status. The kernel retains minimal information about the child until the parent reaps it, causing the zombie to occupy resources.

Process Termination Methods

Returning from main() (implicit return).

Calling exit().

Calling _exit() or _Exit().

The last thread returning from its start routine.

The last thread calling pthread_exit().

Calling abort() (generates SIGABRT).

Receiving a terminating signal.

The last thread responding to a cancellation request.

Process Groups and Sessions

A process group is a collection of one or more processes, typically associated with the same job and sharing a common terminal for signal handling. Each group has a unique process group ID, and the process whose PID equals the group ID is the group leader.

A session is a collection of one or more process groups.

Race Conditions

When multiple processes access shared data and the final result depends on the order of execution, a race condition occurs. Forked processes may exhibit nondeterministic scheduling, making it impossible to predict whether the parent or child runs first.

Typical mitigation strategies include using wait() or waitpid() to synchronize parent and child (though this reduces concurrency), employing signals, or leveraging inter‑process communication (IPC) mechanisms to coordinate access.