Mach giao diện máy phát điện. Một ngôn ngữ để tạo ra các giao diện (cuộc gọi thủ tục từ xa) RPC cho interprocess truyền thông giữa Mach nhiệm vụ.