Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms