並行性
並行システムにおける計算は実行中に互いにやりとりできるため、考えられる実行経路は極めて多くなり、結果としてシステム全体が不確定(英語版)となる。共有リソースの並行使用が不確定性の源となる可能性もあり、デッドロックやリソーススタベーションといった問題を引き起こす。
並行システムの設計では応答時間を最小化しスループットを最大化するため、データ交換、メモリ割り当て、実行スケジューリングなどに関わる技術の信頼性を追求する。