The Global Feasibility and Schedulability of General Task Models on Multiprocessor Platforms