-
Impact of gate-level clustering on automated system partitioning of 3D-ICs
Authors:
Quentin Delhaye,
Eric Beyne,
Joël Goossens,
Geert Van der Plas,
Dragomir Milojevic
Abstract:
When partitioning gate-level netlists using graphs, it is beneficial to cluster gates to reduce the order of the graph and preserve some characteristics of the circuit that the partitioning might degrade. Gate clustering is even more important for netlist partitioning targeting 3D system integration. In this paper, we make the argument that the choice of clustering method for 3D-ICs partitioning i…
▽ More
When partitioning gate-level netlists using graphs, it is beneficial to cluster gates to reduce the order of the graph and preserve some characteristics of the circuit that the partitioning might degrade. Gate clustering is even more important for netlist partitioning targeting 3D system integration. In this paper, we make the argument that the choice of clustering method for 3D-ICs partitioning is not trivial and deserves careful consideration. To support our claim, we implemented three clustering methods that were used prior to partitioning two synthetic designs representing two extremes of the circuits medium/long interconnect diversity spectrum. Automatically partitioned netlists are then placed and routed in 3D to compare the impact of clustering methods on several metrics. From our experiments, we see that the clustering method indeed has a different impact depending on the design considered and that a circuit-blind, universal partitioning method is not the way to go, with wire-length savings of up to 31%, total power of up to 22%, and effective frequency of up to 15% compared to other methods. Furthermore, we highlight that 3D-ICs open new opportunities to design systems with a denser interconnect, drastically reducing the design utilization of circuits that would not be considered viable in 2D.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Metabolic alterations caused by smoking: the use of 1H-NMR in blood plasma analysis to unravel underlying mechanisms of lung cancers leading risk factor
Authors:
Juul Goossens,
Jente Gieghase,
Elien Derveaux,
Peter Adriaensens
Abstract:
Nowadays, the screening methods for the early detection of lung cancer struggle with several limitations such as many false positive results and low sensitivity. The detection of specific biomarkers is of high interest to complement these conventional screening methods. The objective of this study is to prove the power of 1H-NMR in metabolomics for the detection of smoking behavior, which is the l…
▽ More
Nowadays, the screening methods for the early detection of lung cancer struggle with several limitations such as many false positive results and low sensitivity. The detection of specific biomarkers is of high interest to complement these conventional screening methods. The objective of this study is to prove the power of 1H-NMR in metabolomics for the detection of smoking behavior, which is the leading risk factor for lung cancer, and as such gain more insights in the metabolic alterations that are caused by smoking. In this research, 1H-NMR spectra of human blood plasma samples were divided in 110 integration regions, from which the integration values were used to train an OPLS-DA classification model that underwent further data reduction. Results show that a classification model could discriminate between individuals based on their smoking status with a sensitivity of 96 percent and a specificity of 94 percent. This study also demonstrates that by performing a pathway-specific variable reduction of almost 50 percent, the sensitivity and specificity of the model almost remains the same. To conclude, 1H-NMR analyses show that the bloods metabolic profile of a smoker is altered compared to that of a non-smoker. Also, pathway-specific variable reduction shows great potential to perform overall data reduction. This workflow could be interesting to apply in the identification of lung cancer, to potentially detect specific biomarkers.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Detecting cell and protein concentrations by the use of a thermal based sensor
Authors:
Juul Goossens,
Gilles Oudebrouckx,
Seppe Bormans,
Thijs Vandenryt,
Ronald Thoelen
Abstract:
Biosensors are frequently used nowadays for the sake of their attractive capabilities. Because of their high accuracy and precision, they are more and more used in the medical sector. Natural receptors are mostly used, but their use have some specific drawbacks. Therefore, new read-out methods are being developed where there is no need for these receptors. Via a Transient Plane Source (TPS) sensor…
▽ More
Biosensors are frequently used nowadays for the sake of their attractive capabilities. Because of their high accuracy and precision, they are more and more used in the medical sector. Natural receptors are mostly used, but their use have some specific drawbacks. Therefore, new read-out methods are being developed where there is no need for these receptors. Via a Transient Plane Source (TPS) sensor, the thermal properties of a fluid can be determined. These sensors can detect the capability of a fluid to absorb heat i.e. the thermal effusivity. By the way of monitoring this property, many potential bioprocesses can be monitored. The use of this promising technique was further developed in this research for later use of detecting cell growth and protein concentrations. Firstly, the thermal properties of growth medium and yeast cells were determined. Here, it became clear that the thermal properties change in different concentrations. Also, measurements were performed on protein concentration. No unambiguously results were obtained from these tests. But, the overall results from the use of this sensor are very promising, especially in the cell detection compartment. However, further research will tell about the applicability and sensitivity of this type of sensor.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
Data Transmission based on Exact Inverse Periodic Nonlinear Fourier Transform, Part II: Waveform Design and Experiment
Authors:
Jan-Willem Goossens,
Hartmut Hafermann,
Yves Jaouën
Abstract:
The nonlinear Fourier transform has the potential to overcome limits on performance and achievable data rates which arise in modern optical fiber communication systems when nonlinear interference is treated as noise. The periodic nonlinear Fourier transform (PNFT) has been much less investigated compared to its counterpart based on vanishing boundary conditions. In this paper, we design a first ex…
▽ More
The nonlinear Fourier transform has the potential to overcome limits on performance and achievable data rates which arise in modern optical fiber communication systems when nonlinear interference is treated as noise. The periodic nonlinear Fourier transform (PNFT) has been much less investigated compared to its counterpart based on vanishing boundary conditions. In this paper, we design a first experiment based on the PNFT in which information is encoded in the invariant nonlinear main spectrum. To this end, we propose a method to construct a set of periodic waveforms each having the same fixed period, by employing the exact inverse PNFT algorithm developed in Part I. We demonstrate feasibility of the transmission scheme in experiment in good agreement with simulations and obtain a bit-error ratio of $10^{-3}$ over a distance of 2000 km. It is shown that the transmission reach is significantly longer than expected from a naive estimate based on group velocity dispersion and cyclic prefix length, which is explained through a dominating solitonic component in the transmitted waveform. Our constellation design can be generalized to an arbitrary number of nonlinear degrees of freedom.
△ Less
Submitted 22 December, 2020; v1 submitted 28 November, 2019;
originally announced November 2019.
-
Data Transmission based on Exact Inverse Periodic Nonlinear Fourier Transform, Part I: Theory
Authors:
Jan-Willem Goossens,
Hartmut Hafermann,
Yves Jaouën
Abstract:
The nonlinear Fourier transform (NFT) decomposes waveforms propagating through optical fiber into nonlinear degrees of freedom, which are preserved during transmission. By encoding information on the nonlinear spectrum, a transmission scheme inherently compatible with the nonlinear fiber is obtained. Despite potential advantages, the periodic NFT (PNFT) has been studied less compared to its counte…
▽ More
The nonlinear Fourier transform (NFT) decomposes waveforms propagating through optical fiber into nonlinear degrees of freedom, which are preserved during transmission. By encoding information on the nonlinear spectrum, a transmission scheme inherently compatible with the nonlinear fiber is obtained. Despite potential advantages, the periodic NFT (PNFT) has been studied less compared to its counterpart based on vanishing boundary conditions, due to the mathematical complexity of the inverse transform. In this paper we extract the theory of the algebrogeometric integration method underlying the inverse PNFT from the literature, and tailor it to the communication problem. We provide a complete algorithm to compute the inverse PNFT. As an application, we employ the algorithm to design a novel modulation scheme called nonlinear frequency amplitude modulation, where four different nonlinear frequencies are modulated independently. Finally we provide two further modulation schemes that may be considered in future research. The algorithm is further applied in Part II of this paper to the design of a PNFT-based communication experiment.
△ Less
Submitted 22 December, 2020; v1 submitted 28 November, 2019;
originally announced November 2019.
-
Experimental realization of Fermi-Pasta-Ulam-Tsingou recurrence in a long-haul optical fiber transmission system
Authors:
Jan-Willem Goossens,
Hartmut Hafermann,
Yves Jaouën
Abstract:
The integrable nonlinear Schrödinger equation (NLSE) is a fundamental model of nonlinear science which also has important consequences in engineering. The powerful framework of the periodic inverse scattering transform (IST) provides a description of the nonlinear phenomena modulational instability and Fermi-Pasta-Ulam-Tsingou (FPUT) recurrence in terms of exact solutions. It associates the comple…
▽ More
The integrable nonlinear Schrödinger equation (NLSE) is a fundamental model of nonlinear science which also has important consequences in engineering. The powerful framework of the periodic inverse scattering transform (IST) provides a description of the nonlinear phenomena modulational instability and Fermi-Pasta-Ulam-Tsingou (FPUT) recurrence in terms of exact solutions. It associates the complex nonlinear dynamics with invariant nonlinear spectral degrees of freedom that may be used to encode information. While optical fiber is an ideal testing ground of its predictions, maintaining integrability over sufficiently long distances to observe recurrence, as well as synthesizing and measuring the field in both amplitude and phase on the picosecond timescales of typical experiments is challenging. Here we report on the experimental realization of FPUT recurrence in terms of an exact space-time-periodic solution of the integrable NLSE in a testbed for optical communication experiments. The complex-valued initial condition is constructed by means of the finite-gap integration method, modulated onto the optical carrier driven by an arbitrary waveform generator and launched into a recirculating fiber loop with periodic amplification. The measurement with an intradyne coherent receiver after a predetermined number of revolutions provides a non-invasive full-field characterization of the space-time dynamics. The recurrent space-time evolution is in close agreement with theoretical predictions over a distance of 9000 km. Nonlinear spectral analysis reveals an invariant nonlinear spectrum. The space-time scale exceeds that of previous experiments on FPUT recurrence in fiber by three orders of magnitude.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Experimental Demonstration of Data Transmission Based on the Exact Inverse Periodic Nonlinear Fourier Transform
Authors:
Jan-Willem Goossens,
Yves Jaouën,
Hartmut Hafermann
Abstract:
We design a two-dimensional signal constellation based on the exact periodic inverse nonlinear Fourier transform. Feasibility of continuous transmission with periodic signals is experimentally demonstrated over more than 2000 km.
We design a two-dimensional signal constellation based on the exact periodic inverse nonlinear Fourier transform. Feasibility of continuous transmission with periodic signals is experimentally demonstrated over more than 2000 km.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Polarization-Division Multiplexing Based on the Nonlinear Fourier Transform
Authors:
Jan-Willem Goossens,
Mansoor I. Yousefi,
Yves Jaouën,
Hartmut Hafermann
Abstract:
Polarization-division multiplexed (PDM) transmission based on the nonlinear Fourier transform (NFT) is proposed for optical fiber communication. The NFT algorithms are generalized from the scalar nonlinear Schrödinger equation for one polarization to the Manakov system for two polarizations. The transmission performance of the PDM nonlinear frequency-division multiplexing (NFDM) and PDM orthogonal…
▽ More
Polarization-division multiplexed (PDM) transmission based on the nonlinear Fourier transform (NFT) is proposed for optical fiber communication. The NFT algorithms are generalized from the scalar nonlinear Schrödinger equation for one polarization to the Manakov system for two polarizations. The transmission performance of the PDM nonlinear frequency-division multiplexing (NFDM) and PDM orthogonal frequency-division multiplexing (OFDM) are determined. It is shown that the transmission performance in terms of Q-factor is approximately the same in PDM-NFDM and single polarization NFDM at twice the data rate and that the polarization-mode dispersion does not seriously degrade system performance. Compared with PDM-OFDM, PDM-NFDM achieves a Q-factor gain of 6.4 dB. The theory can be generalized to multi-mode fibers in the strong coupling regime, paving the way for the application of the NFT to address the nonlinear effects in space-division multiplexing.
△ Less
Submitted 26 July, 2017;
originally announced July 2017.
-
Comments on "Gang EDF Schedulability Analysis"
Authors:
Pascal Richard,
Joël Goossens,
Shinpei Kato
Abstract:
This short report raises a correctness issue in the schedulability test presented in Kato et al., "Gang EDF Scheduling of Parallel Task Systems", 30th IEEE Real-Time Systems Symposium, 2009, pp. 459-468.
This short report raises a correctness issue in the schedulability test presented in Kato et al., "Gang EDF Scheduling of Parallel Task Systems", 30th IEEE Real-Time Systems Symposium, 2009, pp. 459-468.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks
Authors:
Gilles Geeraerts,
Joël Goossens,
Thi-Van-Anh Nguyen
Abstract:
The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases, which is a priori} unknown to the scheduler. In the multiprocessor setting, this problem is notoriously difficult. The only exact test for this problem has been proposed by Bonifaci and Marchetti-Spaccamela: it consists…
▽ More
The online feasibility problem (for a set of sporadic tasks) asks whether there is a scheduler that always prevents deadline misses (if any), whatever the sequence of job releases, which is a priori} unknown to the scheduler. In the multiprocessor setting, this problem is notoriously difficult. The only exact test for this problem has been proposed by Bonifaci and Marchetti-Spaccamela: it consists in modelling all the possible behaviours of the scheduler and of the tasks as a graph; and to interpret this graph as a game between the tasks and the scheduler, which are seen as antagonistic players. Then, computing a correct scheduler is equivalent to finding a winning strategy for the `scheduler player', whose objective in the game is to avoid deadline misses. In practice, however this approach is limited by the intractable size of the graph. In this work, we consider the classical attractor algorithm to solve such games, and introduce antichain techniques to optimise its performance in practice and overcome the huge size of the game graph. These techniques are inspired from results from the formal methods community, and exploit the specific structure of the feasibility problem. We demonstrate empirically that our approach allows to dramatically improve the performance of the game solving algorithm.
△ Less
Submitted 4 April, 2017;
originally announced April 2017.
-
Covariant computation of effective actions in Horava-Lifshitz gravity
Authors:
Giulio D'Odorico,
Jan-Willem Goossens,
Frank Saueressig
Abstract:
We initiate the systematic computation of the heat-kernel coefficients for Laplacian operators obeying anisotropic dispersion relations in curved spacetime. Our results correctly reproduce the limit where isotropy is restored and special anisotropic cases considered previously in the literature. Subsequently, the heat kernel is used to derive the scalar-induced one-loop effective action and beta f…
▽ More
We initiate the systematic computation of the heat-kernel coefficients for Laplacian operators obeying anisotropic dispersion relations in curved spacetime. Our results correctly reproduce the limit where isotropy is restored and special anisotropic cases considered previously in the literature. Subsequently, the heat kernel is used to derive the scalar-induced one-loop effective action and beta functions of Horava-Lifshitz gravity. We identify the Gaussian fixed point which is supposed to provide the UV completion of the theory. In the present setting, this fixed point acts as an infrared attractor for the renormalization group flow of Newton's constant and the high-energy phase of the theory is screened by a Landau pole. We comment on the consequences of these findings for the renormalizability of the theory.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
Synthesising Succinct Strategies in Safety Games
Authors:
Gilles Geeraerts,
Joël Goossens,
Amélie Stainer
Abstract:
Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems running on multiprocessor platforms, and also for the determinisation of timed automata. In these contexts, games are implicitly defined, and their size is at least exponential in the size of the input. Nevertheless, there…
▽ More
Finite turn-based safety games have been used for very different problems such as the synthesis of linear temporal logic (LTL), the synthesis of schedulers for computer systems running on multiprocessor platforms, and also for the determinisation of timed automata. In these contexts, games are implicitly defined, and their size is at least exponential in the size of the input. Nevertheless, there are natural relations between states of arenas of such games. We first formalise the properties that we expect on the relation between states, thanks to the notion of alternating simulation. Then, we show how such simulations can be exploited to (1) improve the running time of the OTFUR algorithm to compute winning strategies and (2) obtain a succinct representation of a winning strategy. We also show that our general theory applies to the three applications mentioned above.
△ Less
Submitted 6 May, 2014; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Partitioned scheduling of multimode multiprocessor real-time systems with temporal isolation
Authors:
Joël Goossens,
Pascal Richard
Abstract:
We consider the partitioned scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new one. In this paper, we consider a synchronous transition protocol in order to take into account mode-independent tasks, i.e., tasks of w…
▽ More
We consider the partitioned scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new one. In this paper, we consider a synchronous transition protocol in order to take into account mode-independent tasks, i.e., tasks of which the execution pattern must not be jeopardized by the mode changes. We propose two methods for handling mode changes in partitioned scheduling. The first method is offline/optimal and computes a static allocation of tasks schedulable and respecting both tasks and transition deadlines (if any). The second approach is subject to a sufficient condition in order to ensure online First Fit based allocation to satisfy the timing constraints.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.
-
On the periodic behavior of real-time schedulers on identical multiprocessor platforms
Authors:
Emmanuel Grolleau,
Joël Goossens,
Liliana Cucu-Grosjean
Abstract:
This paper is proposing a general periodicity result concerning any deterministic and memoryless scheduling algorithm (including non-work-conserving algorithms), for any context, on identical multiprocessor platforms. By context we mean the hardware architecture (uniprocessor, multicore), as well as task constraints like critical sections, precedence constraints, self-suspension, etc. Since the re…
▽ More
This paper is proposing a general periodicity result concerning any deterministic and memoryless scheduling algorithm (including non-work-conserving algorithms), for any context, on identical multiprocessor platforms. By context we mean the hardware architecture (uniprocessor, multicore), as well as task constraints like critical sections, precedence constraints, self-suspension, etc. Since the result is based only on the releases and deadlines, it is independent from any other parameter. Note that we do not claim that the given interval is minimal, but it is an upper bound for any cycle of any feasible schedule provided by any deterministic and memoryless scheduler.
△ Less
Submitted 16 May, 2013;
originally announced May 2013.
-
Energy Minimization for Parallel Real-Time Systems with Malleable Jobs and Homogeneous Frequencies
Authors:
Nathan Fisher,
Joël Goossens,
Pradeep M. Hettiarachchi,
Antonio Paolillo
Abstract:
In this work, we investigate the potential utility of parallelization for meeting real-time constraints and minimizing energy. We consider malleable Gang scheduling of implicit-deadline sporadic tasks upon multiprocessors. We first show the non-necessity of dynamic voltage/frequency regarding optimality of our scheduling problem. We adapt the canonical schedule for DVFS multiprocessor platforms an…
▽ More
In this work, we investigate the potential utility of parallelization for meeting real-time constraints and minimizing energy. We consider malleable Gang scheduling of implicit-deadline sporadic tasks upon multiprocessors. We first show the non-necessity of dynamic voltage/frequency regarding optimality of our scheduling problem. We adapt the canonical schedule for DVFS multiprocessor platforms and propose a polynomial-time optimal processor/frequency-selection algorithm. We evaluate the performance of our algorithm via simulations using parameters obtained from a hardware testbed implementation. Our algorithm has up to a 60 watt decrease in power consumption over the optimal non-parallel approach.
△ Less
Submitted 7 February, 2013;
originally announced February 2013.
-
Improving Mixed-Criticality System Consistency and Behavior on Multiprocessor Platforms by Means of Multi-Moded Approaches
Authors:
François Santy,
Geoffrey Nelissen,
Joël Goossens
Abstract:
Recent research in the domain of real-time scheduling theory has tackled the problem of scheduling mixed-criticality systems upon uniprocessor or multiprocessor platforms, with the main objective being to respect the timeliness of the most critical tasks, at the expense of the requirements of the less critical ones. In particular, the less critical tasks are carelessly discarded when the computati…
▽ More
Recent research in the domain of real-time scheduling theory has tackled the problem of scheduling mixed-criticality systems upon uniprocessor or multiprocessor platforms, with the main objective being to respect the timeliness of the most critical tasks, at the expense of the requirements of the less critical ones. In particular, the less critical tasks are carelessly discarded when the computation demand of (some of) the high critical tasks increases. This might nevertheless result in system failure, as these less critical tasks could be accessing data, the consistency of which should be preserved. In this paper, we address this problem and propose a method to cautiously handle task suspension. Furthermore, it is usually assumed that the less critical tasks will never be re-enabled once discarded. In this paper, we also address this concern by proposing an approach to re-enable the less critical tasks, without jeopardizing the timeliness of the high critical ones. The suggested approaches apply to systems having two or more criticality levels.
△ Less
Submitted 5 February, 2013;
originally announced February 2013.
-
Sufficient FTP Schedulability Test for the Non-Cyclic Generalized Multiframe Task Model
Authors:
Vandy Berten,
Joël Goossens
Abstract:
Our goal is to provide a sufficient schedulability test -ideally polynomial- for the scheduling of Non-Cyclic Generalized Multiframe Task Model using Fixed-Task-Priority schedulers. We report two first results: (i) we present and prove correct the critical instant for the Non-Cyclic Generalized Multiframe Task Model then (ii) we propose an algorithm which provides a sufficient (but pseudo-polynomi…
▽ More
Our goal is to provide a sufficient schedulability test -ideally polynomial- for the scheduling of Non-Cyclic Generalized Multiframe Task Model using Fixed-Task-Priority schedulers. We report two first results: (i) we present and prove correct the critical instant for the Non-Cyclic Generalized Multiframe Task Model then (ii) we propose an algorithm which provides a sufficient (but pseudo-polynomial) schedulability test.
△ Less
Submitted 26 October, 2011;
originally announced October 2011.
-
Proceedings of the 35th Annual Australian/New Zealand Condensed Matter and Materials Meeting
Authors:
K. Radhanpura,
S. Hargreaves,
R. A. Lewis,
H. Krüger,
E. Rey,
P. -Z. Si,
T. Söhnel,
V. Jovic,
J. B. Metson,
G. I. N. Waterhouse,
A. A. Abiona,
W. J. Kemp,
A. P. Byrne,
M. C. Ridgeway,
H. Timmers,
J. D. Cashion,
W. P. Gates,
T. L. Greaves,
O. Dorjkhaidav,
E. Constable,
L. G. Gladkis,
J. M. Scarvell,
P. N. Smith,
C. J. Hamer,
O. Rojas
, et al. (20 additional authors not shown)
Abstract:
The 35th Australian/New Zealand Annual Condensed Matter and Materials Meeting was held at the Charles Sturt University campus in Wagga Wagga, NSW, Australia from the 1st to the 4th of February 2011. The conference was attended by 92 delegates from a range of universities across Australia, New Zealand and further afield.
There were a total of 9 invited and 21 contributed talks during the three da…
▽ More
The 35th Australian/New Zealand Annual Condensed Matter and Materials Meeting was held at the Charles Sturt University campus in Wagga Wagga, NSW, Australia from the 1st to the 4th of February 2011. The conference was attended by 92 delegates from a range of universities across Australia, New Zealand and further afield.
There were a total of 9 invited and 21 contributed talks during the three days of scientific sessions, as well as 2 poster sessions with a total of 49 poster presentations. All presenters were invited to submit a manuscript for publication in the conference proceedings. The length limits where six pages for invited papers and four pages for contributed papers. Each manuscript was reviewed by two anonymous referees and 18 papers were accepted for publication.
The accepted manuscripts are also available at the online publication section of the Australian Institute of Physics national web site (http://www.aip.org.au/).
△ Less
Submitted 18 July, 2011;
originally announced July 2011.
-
Scheduling of Hard Real-Time Multi-Thread Periodic Tasks
Authors:
Irina Iulia Lupu,
Joël Goossens
Abstract:
In this paper we study the scheduling of parallel and real-time recurrent tasks. Firstly, we propose a new parallel task model which allows recurrent tasks to be composed of several threads, each thread requires a single processor for execution and can be scheduled simultaneously. Secondly, we define several kinds of real-time schedulers that can be applied to our parallel task model. We distingui…
▽ More
In this paper we study the scheduling of parallel and real-time recurrent tasks. Firstly, we propose a new parallel task model which allows recurrent tasks to be composed of several threads, each thread requires a single processor for execution and can be scheduled simultaneously. Secondly, we define several kinds of real-time schedulers that can be applied to our parallel task model. We distinguish between two scheduling classes: hierarchical schedulers and global thread schedulers. We present and prove correct an exact schedulability test for each class. Lastly, we also evaluate the performance of our scheduling paradigm in comparison with Gang scheduling by means of simulations.
△ Less
Submitted 25 May, 2011;
originally announced May 2011.
-
A faster exact multiprocessor schedulability test for sporadic tasks
Authors:
Markus Lindström,
Gilles Geeraerts,
Joël Goossens
Abstract:
Baker and Cirinei introduced an exact but naive algorithm, based on solving a state reachability problem in a finite automaton, to check whether sets of sporadic hard real-time tasks are schedulable on identical multiprocessor platforms. However, the algorithm suffered from poor performance due to the exponential size of the automaton relative to the size of the task set. In this paper, we success…
▽ More
Baker and Cirinei introduced an exact but naive algorithm, based on solving a state reachability problem in a finite automaton, to check whether sets of sporadic hard real-time tasks are schedulable on identical multiprocessor platforms. However, the algorithm suffered from poor performance due to the exponential size of the automaton relative to the size of the task set. In this paper, we successfully apply techniques developed by the formal verification community, specifically antichain algorithms, by defining and proving the correctness of a simulation relation on Baker and Cirinei's automaton. We show our improved algorithm yields dramatically improved performance for the schedulability test and opens for many further improvements.
△ Less
Submitted 7 September, 2011; v1 submitted 25 May, 2011;
originally announced May 2011.
-
Global Scheduling of Multi-Mode Real-Time Applications upon Multiprocessor Platforms
Authors:
Vincent Nelis,
Patrick Meumeu Yomsi,
Björn Andersson,
Joël Goossens
Abstract:
Multi-mode real-time systems are those which support applications with different modes of operation, where each mode is characterized by a specific set of tasks. At run-time, such systems can, at any time, be requested to switch from its current operating mode to another mode (called "new mode") by replacing the current set of tasks with that of the new-mode. Thereby, ensuring that all the timing…
▽ More
Multi-mode real-time systems are those which support applications with different modes of operation, where each mode is characterized by a specific set of tasks. At run-time, such systems can, at any time, be requested to switch from its current operating mode to another mode (called "new mode") by replacing the current set of tasks with that of the new-mode. Thereby, ensuring that all the timing requirements are met not only requires that a schedulability test is performed on the tasks of each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two distinct protocols that manage the mode transitions upon uniform and identical multiprocessor platforms at run-time, each specific to distinct task requirements. For each protocol, we formally establish schedulability analyses that indicate beforehand whether all the timing requirements will be met during any mode transition of the system. This is performed assuming both Fixed-Task-Priority and Fixed-Job-Priority schedulers.
△ Less
Submitted 10 February, 2011;
originally announced February 2011.
-
Exact Schedulability Test for global-EDF Scheduling of Periodic Hard Real-Time Tasks on Identical Multiprocessors
Authors:
Joël Goossens,
Patrick Meumeu Yomsi
Abstract:
In this paper we consider the scheduling problem of hard real-time systems composed of periodic constrained-deadline tasks upon identical multiprocessor platforms. We assume that tasks are scheduled by using the global-EDF scheduler. We establish an exact schedulability test for this scheduler by exploiting on the one hand its predictability property and by providing on the other hand a feasibilit…
▽ More
In this paper we consider the scheduling problem of hard real-time systems composed of periodic constrained-deadline tasks upon identical multiprocessor platforms. We assume that tasks are scheduled by using the global-EDF scheduler. We establish an exact schedulability test for this scheduler by exploiting on the one hand its predictability property and by providing on the other hand a feasibility interval so that if it is possible to find a valid schedule for all the jobs contained in this interval, then the whole system will be stamped feasible. In addition, we show by means of a counterexample that the feasibility interval, and thus the schedulability test, proposed by Leung [Leung 1989] is incorrect and we show which arguments are actually incorrect.
△ Less
Submitted 29 December, 2010;
originally announced December 2010.
-
Semi-Partitioned Hard Real-Time Scheduling with Restricted Migrations upon Identical Multiprocessor Platforms
Authors:
François Dorin,
Patrick Meumeu Yomsi,
Joël Goossens,
Pascal Richard
Abstract:
Algorithms based on semi-partitioned scheduling have been proposed as a viable alternative between the two extreme ones based on global and partitioned scheduling. In particular, allowing migration to occur only for few tasks which cannot be assigned to any individual processor, while most tasks are assigned to specific processors, considerably reduces the runtime overhead compared to global sched…
▽ More
Algorithms based on semi-partitioned scheduling have been proposed as a viable alternative between the two extreme ones based on global and partitioned scheduling. In particular, allowing migration to occur only for few tasks which cannot be assigned to any individual processor, while most tasks are assigned to specific processors, considerably reduces the runtime overhead compared to global scheduling on the one hand, and improve both the schedulability and the system utilization factor compared to partitioned scheduling on the other hand. In this paper, we address the preemptive scheduling problem of hard real-time systems composed of sporadic constrained-deadline tasks upon identical multiprocessor platforms. We propose a new algorithm and a scheduling paradigm based on the concept of semi-partitioned scheduling with restricted migrations in which jobs are not allowed to migrate, but two subsequent jobs of a task can be assigned to different processors by following a periodic strategy.
△ Less
Submitted 14 June, 2010;
originally announced June 2010.
-
Gang FTP scheduling of periodic and parallel rigid real-time tasks
Authors:
Joël Goossens,
Vandy Berten
Abstract:
In this paper we consider the scheduling of periodic and parallel rigid tasks. We provide (and prove correct) an exact schedulability test for Fixed Task Priority (FTP) Gang scheduler sub-classes: Parallelism Monotonic, Idling, Limited Gang, and Limited Slack Reclaiming. Additionally, we study the predictability of our schedulers: we show that Gang FJP schedulers are not predictable and we identif…
▽ More
In this paper we consider the scheduling of periodic and parallel rigid tasks. We provide (and prove correct) an exact schedulability test for Fixed Task Priority (FTP) Gang scheduler sub-classes: Parallelism Monotonic, Idling, Limited Gang, and Limited Slack Reclaiming. Additionally, we study the predictability of our schedulers: we show that Gang FJP schedulers are not predictable and we identify several sub-classes which are actually predictable. Moreover, we extend the definition of rigid, moldable and malleable jobs to recurrent tasks.
△ Less
Submitted 14 June, 2010;
originally announced June 2010.
-
Multi-Criteria Evaluation of Partitioning Schemes for Real-Time Systems
Authors:
Irina Lupu,
Pierre Courbin,
Laurent George,
Joël Goossens
Abstract:
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has been done, the problem reduces to well understood uniprocessor issues. Meanwhile, there is no optimal and polynomial solution to partition tasks on processors. In this paper we analyze partitioning algorithms from several p…
▽ More
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has been done, the problem reduces to well understood uniprocessor issues. Meanwhile, there is no optimal and polynomial solution to partition tasks on processors. In this paper we analyze partitioning algorithms from several points of view such that for a given task set and specific constraints (processor number, task set type, etc.) we should be able to identify the best heuristic and the best schedulability test. We also analyze the influence of the heuristics on the performance of the uniprocessor tests and the impact of a specific task order on the schedulability. A study on performance difference between Fixed Priority schedulers and EDF in the case of partitioning scheduling is also considered.
△ Less
Submitted 21 April, 2010;
originally announced April 2010.
-
Scheduling Multi-Mode Real-Time Systems upon Uniform Multiprocessor Platforms
Authors:
Patrick Meumeu Yomsi,
Vincent Nelis,
Joël Goossens
Abstract:
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together with their schedulability test, and provide the reader with two distinct upper bounds for the length of the transient phases during mode transitions, respectively for the cases where jobs priorities are known and unknown bef…
▽ More
In this paper, we address the scheduling problem of multi-mode real-time systems upon uniform multiprocessor platforms. We propose two transition protocols, specified together with their schedulability test, and provide the reader with two distinct upper bounds for the length of the transient phases during mode transitions, respectively for the cases where jobs priorities are known and unknown beforehand.
△ Less
Submitted 21 April, 2010;
originally announced April 2010.
-
On the Design of an Optimal Multiprocessor Real-Time Scheduling Algorithm under Practical Considerations (Extended Version)
Authors:
Shelby Funk,
Vincent Nelis,
Joel Goossens,
Dragomir Milojevic,
Geoffrey Nelissen
Abstract:
This research addresses the multiprocessor scheduling problem of hard real-time systems, and it especially focuses on optimal and global schedulers when practical constraints are taken into account. First, we propose an improvement of the optimal algorithm BF. We formally prove that our adaptation is (i) optimal, i.e., it always generates a feasible schedule as long as such a schedule exists, an…
▽ More
This research addresses the multiprocessor scheduling problem of hard real-time systems, and it especially focuses on optimal and global schedulers when practical constraints are taken into account. First, we propose an improvement of the optimal algorithm BF. We formally prove that our adaptation is (i) optimal, i.e., it always generates a feasible schedule as long as such a schedule exists, and (ii) valid, i.e., it complies with the all the requirements. We also show that it outperforms BF by providing a computing complexity of O(n), where n is the number of tasks to be scheduled. Next, we propose a schedulability analysis which indicates a priori whether the real-time application can be scheduled by our improvement of BF without missing any deadline. This analysis is, to the best of our knowledge, the first such test for multiprocessors that takes into account all the main overheads generated by the Operating System.
△ Less
Submitted 24 January, 2011; v1 submitted 25 January, 2010;
originally announced January 2010.
-
Piezoresistive heat engine and refrigerator
Authors:
P. G. Steeneken,
K. Le Phan,
M. J. Goossens,
G. E. J. Koops,
G. J. A. M. Brom,
C. van der Avoort,
J. T. M. van Beek
Abstract:
Heat engines provide most of our mechanical power and are essential for transportation on macroscopic scale. However, although significant progress has been made in the miniaturization of electrostatic engines, it has proven difficult to reduce the size of liquid or gas driven heat engines below 10^7 um^3. Here we demonstrate that a crystalline silicon structure operates as a cyclic piezoresistive…
▽ More
Heat engines provide most of our mechanical power and are essential for transportation on macroscopic scale. However, although significant progress has been made in the miniaturization of electrostatic engines, it has proven difficult to reduce the size of liquid or gas driven heat engines below 10^7 um^3. Here we demonstrate that a crystalline silicon structure operates as a cyclic piezoresistive heat engine when it is driven by a sufficiently high DC current. A 0.34 um^3 engine beam draws heat from the DC current using the piezoresistive effect and converts it into mechanical work by expansion and contraction at different temperatures. This mechanical power drives a silicon resonator of 1.1x10^3 um^3 into sustained oscillation. Even below the oscillation threshold the engine beam continues to amplify the resonator's Brownian motion. When its thermodynamic cycle is inverted, the structure is shown to reduce these thermal fluctuations, therefore operating as a refrigerator.
△ Less
Submitted 5 November, 2011; v1 submitted 19 January, 2010;
originally announced January 2010.
-
Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems
Authors:
Liliana Cucu-Grosjean,
Joël Goossens
Abstract:
The multiprocessor Fixed-Job Priority (FJP) scheduling of real-time systems is studied. An important property for the schedulability analysis, the predictability (regardless to the execution times), is studied for heterogeneous multiprocessor platforms. Our main contribution is to show that any FJP schedulers are predictable on unrelated platforms. A convenient consequence is the fact that any F…
▽ More
The multiprocessor Fixed-Job Priority (FJP) scheduling of real-time systems is studied. An important property for the schedulability analysis, the predictability (regardless to the execution times), is studied for heterogeneous multiprocessor platforms. Our main contribution is to show that any FJP schedulers are predictable on unrelated platforms. A convenient consequence is the fact that any FJP schedulers are predictable on uniform multiprocessors.
△ Less
Submitted 25 August, 2009;
originally announced August 2009.
-
MORA: an Energy-Aware Slack Reclamation Scheme for Scheduling Sporadic Real-Time Tasks upon Multiprocessor Platforms
Authors:
Vincent Nelis,
Joel Goossens
Abstract:
In this paper, we address the global and preemptive energy-aware scheduling problem of sporadic constrained-deadline tasks on DVFS-identical multiprocessor platforms. We propose an online slack reclamation scheme which profits from the discrepancy between the worst- and actual-case execution time of the tasks by slowing down the speed of the processors in order to save energy. Our algorithm call…
▽ More
In this paper, we address the global and preemptive energy-aware scheduling problem of sporadic constrained-deadline tasks on DVFS-identical multiprocessor platforms. We propose an online slack reclamation scheme which profits from the discrepancy between the worst- and actual-case execution time of the tasks by slowing down the speed of the processors in order to save energy. Our algorithm called MORA takes into account the application-specific consumption profile of the tasks. We demonstrate that MORA does not jeopardize the system schedulability and we show by performing simulations that it can save up to 32% of energy (in average) compared to execution without using any energy-aware algorithm.
△ Less
Submitted 1 June, 2009;
originally announced June 2009.
-
Spontaneous mechanical oscillation of a DC driven single crystal
Authors:
Kim L. Phan,
Peter G. Steeneken,
Martijn J. Goossens,
Gerhard E. J. Koops,
Greja J. A. M. Verheijden,
Joost T. M. van Beek
Abstract:
There is a large interest to decrease the size of mechanical oscillators since this can lead to miniaturization of timing and frequency referencing devices, but also because of the potential of small mechanical oscillators as extremely sensitive sensors. Here we show that a single crystal silicon resonator structure spontaneously starts to oscillate when driven by a constant direct current (DC).…
▽ More
There is a large interest to decrease the size of mechanical oscillators since this can lead to miniaturization of timing and frequency referencing devices, but also because of the potential of small mechanical oscillators as extremely sensitive sensors. Here we show that a single crystal silicon resonator structure spontaneously starts to oscillate when driven by a constant direct current (DC). The mechanical oscillation is sustained by an electrothermomechanical feedback effect in a nanobeam, which operates as a mechanical displacement amplifier. The displacement of the resonator mass is amplified, because it modulates the resistive heating power in the nanobeam via the piezoresistive effect, which results in a temperature variation that causes a thermal expansion feedback-force from the nanobeam on the resonator mass. This self-amplification effect can occur in almost any conducting material, but is particularly effective when the current density and mechanical stress are concentrated in beams of nano-scale dimensions.
△ Less
Submitted 23 April, 2009;
originally announced April 2009.
-
Mode Change Protocol for Multi-Mode Real-Time Systems upon Identical Multiprocessors
Authors:
Vincent Nélis,
Joël Goossens
Abstract:
In this paper, we propose a synchronous protocol without periodicity for scheduling multi-mode real-time systems upon identical multiprocessor platforms. Our proposal can be considered to be a multiprocessor extension of the uniprocessor protocol called "Minimal Single Offset protocol".
In this paper, we propose a synchronous protocol without periodicity for scheduling multi-mode real-time systems upon identical multiprocessor platforms. Our proposal can be considered to be a multiprocessor extension of the uniprocessor protocol called "Minimal Single Offset protocol".
△ Less
Submitted 30 September, 2008;
originally announced September 2008.
-
Multiprocessor Global Scheduling on Frame-Based DVFS Systems
Authors:
Vandy Berten,
Joël Goossens
Abstract:
In this ongoing work, we are interested in multiprocessor energy efficient systems, where task durations are not known in advance, but are know stochastically. More precisely, we consider global scheduling algorithms for frame-based multiprocessor stochastic DVFS (Dynamic Voltage and Frequency Scaling) systems. Moreover, we consider processors with a discrete set of available frequencies.
In this ongoing work, we are interested in multiprocessor energy efficient systems, where task durations are not known in advance, but are know stochastically. More precisely, we consider global scheduling algorithms for frame-based multiprocessor stochastic DVFS (Dynamic Voltage and Frequency Scaling) systems. Moreover, we consider processors with a discrete set of available frequencies.
△ Less
Submitted 24 September, 2008;
originally announced September 2008.
-
Integrating Job Parallelism in Real-Time Scheduling Theory
Authors:
S. Collette,
L. Cucu,
J. Goossens
Abstract:
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. We prove that the time-complexity of the feasibility problem of these systems is linear relatively to the number of (sporadic) tasks for a fixed number of processors. We propose a scheduling algorithm theoretically opti…
▽ More
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. We prove that the time-complexity of the feasibility problem of these systems is linear relatively to the number of (sporadic) tasks for a fixed number of processors. We propose a scheduling algorithm theoretically optimal (i.e., preemptions and migrations neglected). Moreover, we provide an exact feasibility utilization bound. Lastly, we propose a technique to limit the number of migrations and preemptions.
△ Less
Submitted 21 May, 2008;
originally announced May 2008.
-
(m,k)-firm constraints and DBP scheduling: impact of the initial k-sequence and exact schedulability test
Authors:
Joël Goossens
Abstract:
In this paper we study the scheduling of (m,k)-firm synchronous periodic task systems using the Distance Based Priority (DBP) scheduler. We first show three phenomena: (i) choosing, for each task, the initial k-sequence 1^k is not optimal, (ii) we can even start the scheduling from a (fictive) error state (in regard to the initial k-sequence) and (iii) the period of feasible DBP-schedules is not…
▽ More
In this paper we study the scheduling of (m,k)-firm synchronous periodic task systems using the Distance Based Priority (DBP) scheduler. We first show three phenomena: (i) choosing, for each task, the initial k-sequence 1^k is not optimal, (ii) we can even start the scheduling from a (fictive) error state (in regard to the initial k-sequence) and (iii) the period of feasible DBP-schedules is not necessarily the task hyper-period. We then show that any feasible DBP-schedule is periodic and we upper-bound the length of that period. Lastly, based on our periodicity result we provide an exact schedulability test.
△ Less
Submitted 8 September, 2008; v1 submitted 2 May, 2008;
originally announced May 2008.
-
Exact Feasibility Tests for Real-Time Scheduling of Periodic Tasks upon Multiprocessor Platforms
Authors:
Liliana Cucu,
Joël Goossens
Abstract:
In this paper we study the global scheduling of periodic task systems upon multiprocessor platforms. We first show two very general properties which are well-known for uniprocessor platforms and which remain for multiprocessor platforms: (i) under few and not so restrictive assumptions, we show that feasible schedules of periodic task systems are periodic from some point with a period equal to t…
▽ More
In this paper we study the global scheduling of periodic task systems upon multiprocessor platforms. We first show two very general properties which are well-known for uniprocessor platforms and which remain for multiprocessor platforms: (i) under few and not so restrictive assumptions, we show that feasible schedules of periodic task systems are periodic from some point with a period equal to the least common multiple of task periods and (ii) for the specific case of synchronous periodic task systems, we show that feasible schedules repeat from the origin. We then present our main result: we characterize, for task-level fixed-priority schedulers and for asynchronous constrained or arbitrary deadline periodic task models, upper bounds of the first time instant where the schedule repeats. We show that job-level fixed-priority schedulers are predictable upon unrelated multiprocessor platforms. For task-level fixed-priority schedulers, based on the upper bounds and the predictability property, we provide for asynchronous constrained or arbitrary deadline periodic task sets, exact feasibility tests. Finally, for the job-level fixed-priority EDF scheduler, for which such an upper bound remains unknown, we provide an exact feasibility test as well.
△ Less
Submitted 28 January, 2008;
originally announced January 2008.
-
Power-Aware Real-Time Scheduling upon Identical Multiprocessor Platforms
Authors:
Vincent Nélis,
Joël Goossens,
Nicolas Navet,
Raymond Devillers,
Dragomir Milojevic
Abstract:
In this paper, we address the power-aware scheduling of sporadic constrained-deadline hard real-time tasks using dynamic voltage scaling upon multiprocessor platforms. We propose two distinct algorithms. Our first algorithm is an off-line speed determination mechanism which provides an identical speed for each processor. That speed guarantees that all deadlines are met if the jobs are scheduled…
▽ More
In this paper, we address the power-aware scheduling of sporadic constrained-deadline hard real-time tasks using dynamic voltage scaling upon multiprocessor platforms. We propose two distinct algorithms. Our first algorithm is an off-line speed determination mechanism which provides an identical speed for each processor. That speed guarantees that all deadlines are met if the jobs are scheduled using EDF. The second algorithm is an on-line and adaptive speed adjustment mechanism which reduces the energy consumption while the system is running.
△ Less
Submitted 10 March, 2008; v1 submitted 18 December, 2007;
originally announced December 2007.