A tool for generating partition schedules of multiprocessor systems

A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.

Metadaten
Verfasserangaben:	Hans-Joachim Goltz, Norbert Pieth
URN:	urn:nbn:de:kobv:517-opus-41556
Publikationstyp:	Konferenzveröffentlichung
Sprache:	Englisch
Erscheinungsjahr:	2010
Veröffentlichende Institution:	Universität Potsdam
Beteiligte Körperschaft:	Gesellschaft für Logische Programmierung e.V.
Datum der Freischaltung:	04.03.2010
Quelle:	Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 167 - 176
Organisationseinheiten:	Extern / Extern
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlung(en):	Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Practice of Logic Programming
Lizenz (Deutsch):	Keine öffentliche Lizenz: Unter Urheberrechtsschutz