21. Több szálú programok elmélete