-
Just a Second -- Scheduling Thousands of Time-Triggered Streams in Large-Scale Networks
Authors:
Heiko Geppert,
Frank Dürr,
Sukanya Bhowmik,
Kurt Rothermel
Abstract:
Deterministic real-time communication with bounded delay is an essential requirement for many safety-critical cyber-physical systems, and has received much attention from major standardization bodies such as IEEE and IETF. In particular, Ethernet technology has been extended by time-triggered scheduling mechanisms in standards like TTEthernet and Time-Sensitive Networking. Although the scheduling…
▽ More
Deterministic real-time communication with bounded delay is an essential requirement for many safety-critical cyber-physical systems, and has received much attention from major standardization bodies such as IEEE and IETF. In particular, Ethernet technology has been extended by time-triggered scheduling mechanisms in standards like TTEthernet and Time-Sensitive Networking. Although the scheduling mechanisms have become part of standards, the traffic planning algorithms to create time-triggered schedules are still an open and challenging research question due to the problem's high complexity. In particular, so-called plug-and-produce scenarios require the ability to extend schedules on the fly within seconds. The need for scalable scheduling and routing algorithms is further supported by large-scale distributed real-time systems like smart energy grids with tight communication requirements. In this paper, we tackle this challenge by proposing two novel algorithms called Hierarchical Heuristic Scheduling (H2S) and Cost-Efficient Lazy Forwarding Scheduling (CELF) to calculate time-triggered schedules for TTEthernet. H2S and CELF are highly efficient and scalable, calculating schedules for more than 45,000 streams on random networks with 1,000 bridges as well as a realistic energy grid network within sub-seconds to seconds.
△ Less
Submitted 13 June, 2023;
originally announced June 2023.
-
Modeling Task Map** for Data-intensive Applications in Heterogeneous Systems
Authors:
Martin Wilhelm,
Hanna Geppert,
Anna Drewes,
Thilo Pionteck
Abstract:
We introduce a new model for the task map** problem to aid in the systematic design of algorithms for heterogeneous systems including, but not limited to, CPUs, GPUs and FPGAs. A special focus is set on the communication between the devices, its influence on parallel execution, as well as on device-specific differences regarding parallelizability and streamability. We show how this model can be…
▽ More
We introduce a new model for the task map** problem to aid in the systematic design of algorithms for heterogeneous systems including, but not limited to, CPUs, GPUs and FPGAs. A special focus is set on the communication between the devices, its influence on parallel execution, as well as on device-specific differences regarding parallelizability and streamability. We show how this model can be utilized in different system design phases and present two novel mixed-integer linear programs to demonstrate the usage of the model.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Dynamic QoS-Aware Traffic Planning for Time-Triggered Flows in the Real-time Data Plane
Authors:
Jonathan Falk,
Heiko Geppert,
Frank Dürr,
Sukanya Bhowmik,
Kurt Rothermel
Abstract:
Many networked applications, e.g., in the domain of cyber-physical systems, require strict service guarantees, usually in the form of jitter and latency bounds, for time-triggered traffic flows. It is a notoriously hard problem to compute a network-wide traffic plan that satisfies these requirements, and dynamic changes in the flow set add even more challenges. Existing traffic-planning methods ar…
▽ More
Many networked applications, e.g., in the domain of cyber-physical systems, require strict service guarantees, usually in the form of jitter and latency bounds, for time-triggered traffic flows. It is a notoriously hard problem to compute a network-wide traffic plan that satisfies these requirements, and dynamic changes in the flow set add even more challenges. Existing traffic-planning methods are ill-suited for dynamic scenarios because they either suffer from high computational cost, can result in low network utilization, or provide no explicit guarantees when transitioning to a new traffic plan that incorporates new flows.
Therefore, we present a novel approach for dynamic traffic planning of time-triggered flows. Our conflict-graph based modeling of the traffic planning problem allows to reconfigure active flows to increase the network utilization, while also providing per-flow QoS guarantees during the transition to the new traffic plan. Additionally, we introduce a novel heuristic for computing the new traffic plans. Evaluations of our prototypical implementation show that we can efficiently compute new traffic plans in scenarios with hundreds of active flows for a wide range of scenarios.
△ Less
Submitted 30 June, 2022; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Internal versus external balancing in the evaluation of graph-based number types
Authors:
Hanna Geppert,
Martin Wilhelm
Abstract:
Number types for exact computation are usually based on directed acyclic graphs. A poor graph structure can impair the efficency of their evaluation. In such cases the performance of a number type can be drastically improved by restructuring the graph or by internally balancing error bounds with respect to the graph's structure. We compare advantages and disadvantages of these two concepts both th…
▽ More
Number types for exact computation are usually based on directed acyclic graphs. A poor graph structure can impair the efficency of their evaluation. In such cases the performance of a number type can be drastically improved by restructuring the graph or by internally balancing error bounds with respect to the graph's structure. We compare advantages and disadvantages of these two concepts both theoretically and experimentally.
△ Less
Submitted 21 August, 2019; v1 submitted 3 April, 2019;
originally announced April 2019.
-
ADWISE: Adaptive Window-based Streaming Edge Partitioning for High-Speed Graph Processing
Authors:
Christian Mayer,
Ruben Mayer,
Muhammad Adnan Tariq,
Heiko Geppert,
Larissa Laich,
Lukas Rieger,
Kurt Rothermel
Abstract:
In recent years, the graph partitioning problem gained importance as a mandatory preprocessing step for distributed graph processing on very large graphs. Existing graph partitioning algorithms minimize partitioning latency by assigning individual graph edges to partitions in a streaming manner --- at the cost of reduced partitioning quality. However, we argue that the mere minimization of partiti…
▽ More
In recent years, the graph partitioning problem gained importance as a mandatory preprocessing step for distributed graph processing on very large graphs. Existing graph partitioning algorithms minimize partitioning latency by assigning individual graph edges to partitions in a streaming manner --- at the cost of reduced partitioning quality. However, we argue that the mere minimization of partitioning latency is not the optimal design choice in terms of minimizing total graph analysis latency, i.e., the sum of partitioning and processing latency. Instead, for complex and long-running graph processing algorithms that run on very large graphs, it is beneficial to invest more time into graph partitioning to reach a higher partitioning quality --- which drastically reduces graph processing latency. In this paper, we propose ADWISE, a novel window-based streaming partitioning algorithm that increases the partitioning quality by always choosing the best edge from a set of edges for assignment to a partition. In doing so, ADWISE controls the partitioning latency by adapting the window size dynamically at run-time. Our evaluations show that ADWISE can reach the sweet spot between graph partitioning latency and graph processing latency, reducing the total latency of partitioning plus processing by up to 23-47 percent compared to the state-of-the-art.
△ Less
Submitted 30 May, 2018; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Confined Contextuality in Neutron Interferometry: Observing the Quantum Pigeonhole Effect
Authors:
Mordecai Waegell,
Tobias Denkmayr,
Hermann Geppert,
David Ebner,
Tobias Jenke,
Yuji Hasegawa,
Stephan Sponar,
Justin Dressel,
Jeff Tollaksen
Abstract:
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observable…
▽ More
Previous experimental tests of quantum contextuality based on the Bell-Kochen-Specker (BKS) theorem have demonstrated that not all observables among a given set can be assigned noncontextual eigenvalue predictions, but have never identified which specific observables must fail such assignment. We now remedy this shortcoming by showing that BKS contextuality can be confined to particular observables by pre- and postselection, resulting in anomalous weak values that we measure using modern neutron interferometry. We construct a confined contextuality witness from weak values, which we measure experimentally to obtain a $5σ$ average violation of the noncontextual bound, with one contributing term violating an independent bound by more than $99σ$. This weakly measured confined BKS contextuality also confirms the quantum pigeonhole effect, wherein eigenvalue assignments to contextual observables apparently violate the classical pigeonhole principle.
△ Less
Submitted 19 October, 2017; v1 submitted 20 September, 2016;
originally announced September 2016.
-
Experimental demonstration of direct path state characterization by strongly measuring weak values in a matter-wave interferometer
Authors:
Tobias Denkmayr,
Hermann Geppert,
Hartmut Lemmel,
Mordecai Waegell,
Justin Dressel,
Yuji Hasegawa,
Stephan Sponar
Abstract:
A novel method was recently proposed and experimentally realized for characterizing a quantum state by directly measuring its complex probability amplitudes in a particular basis using so-called weak values. Recently Vallone and Dequal showed theoretically that weak measurements are not a necessary condition to determine the weak value [Phys. Rev. Lett. 116, 040502 (2016)]. Here we report a measur…
▽ More
A novel method was recently proposed and experimentally realized for characterizing a quantum state by directly measuring its complex probability amplitudes in a particular basis using so-called weak values. Recently Vallone and Dequal showed theoretically that weak measurements are not a necessary condition to determine the weak value [Phys. Rev. Lett. 116, 040502 (2016)]. Here we report a measurement scheme used in a matter-wave interferometric experiment in which the neutron path system's quantum state was characterized via direct measurements using both strong and weak interactions. Experimental evidence is given that strong interactions outperform weak ones. Our results are not limited to neutron interferometry, but can be used in a wide range of quantum systems.
△ Less
Submitted 14 April, 2016;
originally announced April 2016.
-
Improvement of the polarized neutron interferometer setup demonstrating violation of a Bell-like inequality
Authors:
Hermann Geppert,
Tobias Denkmayr,
Stephan Sponar,
Hartmut Lemmel,
Yuji Hasegawa
Abstract:
For precise measurements with polarized neutrons high efficient spin-manipulation is required. We developed several neutron optical elements suitable for a new sophisticated setup, i.e., DC spin-turners and Larmor-accelerators which diminish thermal disturbances and depolarisation considerably. The gain in performance is exploited demonstrating violation of a Bell-like inequality for a spin-path e…
▽ More
For precise measurements with polarized neutrons high efficient spin-manipulation is required. We developed several neutron optical elements suitable for a new sophisticated setup, i.e., DC spin-turners and Larmor-accelerators which diminish thermal disturbances and depolarisation considerably. The gain in performance is exploited demonstrating violation of a Bell-like inequality for a spin-path entangled single-neutron state. The obtained value of S=2.365(13), which is much higher than previous measurements by neutron interferometry, is 28 $σ$ above the limit of S=2 predicted by contextual hidden variable theories. The new setup is more flexible referring to state preparation and analysis, therefore new, more precise measurements can be carried out.
△ Less
Submitted 14 April, 2014;
originally announced April 2014.
-
General complex Spin Weak Values obtained in Matter-Wave Interferometer Experiments
Authors:
Stephan Sponar,
Tobias Denkmayr,
Hermann Geppert,
Hartmut Lemmel,
Alexandre Matzkin,
Yuji Hasegawa
Abstract:
Weak values of the spin operator Sz of massive particles, more precisely neutrons, have been experimentally determined by applying a novel measurement scheme. This is achieved by coupling the neutron's spin weakly to its spatial degree of freedom in a single-neutron interferometer setup. The real and imaginary parts as well as the modulus of the weak value are obtained by a systematical variation…
▽ More
Weak values of the spin operator Sz of massive particles, more precisely neutrons, have been experimentally determined by applying a novel measurement scheme. This is achieved by coupling the neutron's spin weakly to its spatial degree of freedom in a single-neutron interferometer setup. The real and imaginary parts as well as the modulus of the weak value are obtained by a systematical variation of pre- and post-selected ensembles, which enables to study the complex properties of spin weak values.
△ Less
Submitted 8 April, 2014;
originally announced April 2014.
-
Observation of a quantum Cheshire Cat in a matter wave interferometer experiment
Authors:
Tobias Denkmayr,
Hermann Geppert,
Stephan Sponar,
Hartmut Lemmel,
Alexandre Matzkin,
Jeff Tollaksen,
Yuji Hasegawa
Abstract:
From its very beginning quantum theory has been revealing extraordinary and counter-intuitive phenomena, such as wave-particle duality, Schrödinger cats and quantum non-locality. In the study of quantum measurement, a process involving pre- and postselection of quantum ensembles in combination with a weak interaction was found to yield unexpected outcomes. This scheme, usually referred to as "weak…
▽ More
From its very beginning quantum theory has been revealing extraordinary and counter-intuitive phenomena, such as wave-particle duality, Schrödinger cats and quantum non-locality. In the study of quantum measurement, a process involving pre- and postselection of quantum ensembles in combination with a weak interaction was found to yield unexpected outcomes. This scheme, usually referred to as "weak measurements", can not only be used as an amplification technique and for minimal disturbing measurements, but also for the exploration of quantum paradoxes. Recently the quantum Cheshire Cat has attracted attention: a quantum system can behave as if a particle and its property (e.g. its polarization) are spatially separated. Up to now most experiments studying weak measurements were done with photonic setups. To reveal the peculiarities of a quantum Cheshire Cat the use of non-zero mass particles is most appealing, since no classical description is possible. Here, we report an experiment using a neutron interferometer to create and observe a purely quantum mechanical Cheshire Cat. The experimental results suggest that the system behaves as if the neutrons went through one beam path, while their spin travelled along the other.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.