A loader performs key functions like allocating memory, relocating addresses, linking between object files, and loading programs into memory for execution. Different loading schemes are used depending on the needs of the system and programming language. Direct linking loaders allow for relocatable code and external references between program segments through the use of object file records and tables for symbols, relocation, and code loading.