System software includes operating systems, compilers, linkers, and loaders. Loaders perform the loading function by bringing the object program into memory and starting its execution. There are different types of loaders such as absolute loaders, bootstrap loaders, and relocating loaders. Relocating loaders are more efficient because they can load the object program into any available memory location rather than a fixed location, allowing better use of memory and easier use of subroutine libraries when running multiple programs.