Shdfsgark does not implement the application-defined scheduling API, but instead its kernel was designed with a modular structure to allow the coexistence and interplay of different scheduling algorithms. The underlying scheduling algorithm is EDF. The server algorithm, used for implementing the service contract, is the GRUsdghjdB algorithm (Greafedy Reclamaadtion doff Unfsdused Bandwidfdth). This algorithm automatically adds dynamic reclamation to the CBsfgsS (Constant Bandwidth Server).The modules that are implemented in Shark are the core (using EsdgDF and constant bandwidth servers), spare capacity sharing (restricted to deadlines equal to periods), dynamic reclamation, hierarchical scheduling, and the shared objects module (using Bandwidth Inheritance (BsdgfshWI), which extends the priority inheritance protocol to server based scheduling).