Cili është ndryshimi midis një process dhe një thread?

Question

IT Interview Practice · Accepted Answer

Një **process** është një program që po ekzekutohet me memorien e vet të izoluar (address space); një **thread** është një njësi ekzekutimi *brenda* një process. Një process mund të mbajë shumë thread-e, dhe ato thread-e **ndajnë** memorien e process-it — por çdo process është i izoluar nga çdo tjetër.

## Çfarë zotëron secili

```text
PROCESS A                          PROCESS B
┌─────────────────────────────┐    ┌───────────────┐
│ address space (code/heap)   │    │ address space │
│ file descriptors, PID       │    │  (isolated)   │
│ ┌────────┐ ┌────────┐       │    │  ┌────────┐   │
│ │thread 1│ │thread 2│  ...  │    │  │thread 1│   │
│ │ stack  │ │ stack  │       │    │  │ stack  │   │
│ │ regs/PC│ │ regs/PC│       │    │  └────────┘   │
│ └────────┘ └────────┘       │    └───────────────┘
│  ▲ shared heap, globals, fds│
└─────────────────────────────┘
```

- **Për çdo process:** address space, file descriptor-ët e hapur, PID — të izoluara plotësisht nga kernel-i.
- **Për çdo thread:** **stack**-u i vet, regjistrat (registers), dhe program counter (PC).
- **Të ndara midis thread-eve në një process:** heap-i, variablat globale, dhe file-t e hapur.

## Kompromisi praktik

- **Thread-et** janë të lira për t'u krijuar dhe komunikojnë menjëherë (memorie e përbashkët) — por një bug në një thread (pointer i keq, crash) e rrëzon të gjithë process-in, dhe të dhënat e përbashkëta kanë nevojë për locks.
- **Proceset** janë më të rënda dhe duhet të përdorin IPC për të komunikuar, por izolimi do të thotë që një process që rrëzohet nuk do të dëmtojë një tjetër — modeli që përdorin browser-at për të bërë sandbox tabs.

Context-switching **midis thread-eve** të të njëjtit process është më i lirë sesa midis proceseve, sepse harta e memories (dhe entry-t e saj në TLB) nuk duhet të ndryshojë.

## Pse ka rëndësi

"Process vs thread" është një nga pyetjet më të shpeshta të intervistave për OS sepse përgjigjja drejton vendime reale dizajni: thread-e për paralelizëm me memorie të përbashkët brenda një shërbimi, procese të veçanta për izolim gabimesh dhe sandboxing sigurie. Të dish saktësisht çfarë ndahet (heap, fd-të) përballë asaj që është private (stack, registers) është gjithashtu themeli për të kuptuar race conditions dhe pse nevojitet sinkronizimi.

Çfarë zotëron secili

Kompromisi praktik

Pse ka rëndësi

Pyetje të ngjashme