Abstract
Modern hard real-time systems evolved from isolated single-core architectures to complex multi-core architectures which are often connected in a distributed manner. With the increasing influence of interconnections in hard real-time systems, the access behavior to shared resources of single tasks or cores becomes a crucial factor for the system’s overall worst-case timing properties. Traffic shaping is a powerful technique to decrease contention in a network and deliver guarantees on network streams. In this paper we present a novel approach to automatically integrate a traffic shaping behavior into the code of a program for different traffic shaping profiles while being as least invasive as possible. As this approach is solely depending on modifying programs on a code-level, it does not rely on any additional hardware or operating system-based functions.
We show how different traffic shaping profiles can be implemented into programs using a greedy heuristic and an evolutionary algorithm, as well as their influences on the modified programs. It is demonstrated that the presented approaches can be used to decrease worst-case execution times in multi-core systems and lower buffer requirements in distributed systems.
- The Motor Industry Software Reliability Association. 2013. MISRA C: 2012 Guidelines for the use of the C language in critical systems.Google Scholar
- S. K. Baruah. 2003. Dynamic- and static-priority scheduling of recurring real-time tasks. Real-Time Systems 24 (2003).Google Scholar
- S. Bleuler, M. Laumanns, L. Thiele, et al. 2003. PISAâa platform and programming language independent interface for search algorithms. In Proceedings of EMO 2003.Google Scholar
- C. G. Lee, P. Chow and M. G. Stoodley. [n.d.]. UTDSP Benchmark Suite. Retrieved 2019-04-05 from http://www.eecg.toronto.edu/ corinna/DSP/infrastructure/UTDSP.html.Google Scholar
- M. Potkonjak C. Lee and W. H. Mangione-Smith. 1997. MediaBench: A tool for evaluating and synthesizing multimedia and communications systems. In Proceedings of MICRO 1997.Google Scholar
- C. Chiasserini and R. R. Rao. 2001. Improving battery performance by using traffic shaping techniques. IEEE Journal on Selected Areas in Communications 19, 7 (2001).Google Scholar
Digital Library
- Robert I. Davis and Nicolas Navet. 2012. Traffic shaping to reduce jitter in controller area network (CAN). SIGBED Rev. 9, 4 (2012).Google Scholar
Digital Library
- H. Falk, S. Altmeyer, P. Hellinckx, et al. 2016. TACLeBench: A benchmark collection to support worst-case execution time research. In Proceedings of the WCET 2016.Google Scholar
- H. Falk and P. Lokuciejewski. 2010. A compiler framework for the reduction of worst-case execution times. Real-Time Systems 46, 2 (2010).Google Scholar
- L. Georgiadis, R. Guerin, V. Peris, and K. N. Sivarajan. 1996. Efficient network QoS provisioning based on per node traffic shaping. IEEE/ACM Transactions on Networking 4, 4 (1996).Google Scholar
Digital Library
- J. Gustafsson, A. Betts, A. Ermedahl, et al. 2010. The Mälardalen WCET Benchmarks -- Past, Present and Future. In Proceedings of WCET 2010.Google Scholar
- M. R. Guthaus, J. S. Ringenberg, D. Ernst, et al. 2001. MiBench: A free, commercially representative embedded benchmark suite. In Proceedings of IISWC 2001.Google Scholar
Cross Ref
- B. Hu, K. Huang, G. Chen, et al. 2015. Adaptive runtime shaping for mixed-criticality systems. In Proceedings of EMSOFT 2015.Google Scholar
Cross Ref
- ISO 11898-2:2016 2016. Road Vehicles -- Controller Area Network (CAN) -- Part 2: High-speed Medium Access Unit. Standard. International Organization for Standardization, Geneva, CH.Google Scholar
- M. Jacobs, S. Hahn, and S. Hack. 2015. WCET analysis for multi-core processors with shared buses and event-driven bus arbitration. In Proceedings of RTNS 2015.Google Scholar
Digital Library
- M. Joseph and P. Pandya. 1986. Finding response times in a real-time system. Comput. J. 29, 5 (1986).Google Scholar
Cross Ref
- A. Kostrzewa, S. Saidi, L. Ecco, et al. 2016. Dynamic admission control for real-time networks-on-chips. In Proceedings of ASP-DAC 2016.Google Scholar
Digital Library
- M.-A. Kourtis, H. Koumaras, G. Xilouris, et al. 2017. An NFV-based video quality assessment method over 5G small cell networks. IEEE MultiMedia (2017).Google Scholar
- P. Kumar and L. Thiele. 2011. Cool shapers: Shaping real-time tasks for improved thermal guarantees. In Proceedings of DAC 2011.Google Scholar
- L. Pouchet. [n.d.]. PolyBench/C - The Polyhedral Benchmark Suite. Retrieved 2019-04-05 from http://www.cs.ucla.edu/˜pouchet/software/polybench/.Google Scholar
- G. Laporte and S. Martello. 1990. The selective travelling salesman problem. Discrete Applied Mathematics (1990).Google Scholar
- J.-Y. Le Boudec and P. Thiran. 2001. Network Calculus: A Theory of Deterministic Queuing Systems for the Internet.Google Scholar
Digital Library
- J. Lehoczky. 1990. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings of RTSS 1990.Google Scholar
Cross Ref
- Y.-T. S. Li and S. Malik. 1995. Performance analysis of embedded software using implicit path enumeration. In Proceedings of DAC 1995.Google Scholar
- G. Memik, W. H. Mangione-Smith, and W. Hu. 2001. NetBench: A benchmarking suite for network processors. In Proceedings of ICCAD 2001.Google Scholar
- T. Nolte, H. Hansson, and L. L. Bello. 2005. Automotive communications-past, current and future. In Proceedings of ETFA 2005.Google Scholar
- D. Oehlert, S. Saidi, and H. Falk. 2018. Compiler-based extraction of event arrival functions for real-time systems analysis. In Proceedings of ECRTS 2018.Google Scholar
- C. H. Papadimitriou. 1981. On the complexity of integer programming. J. ACM (1981).Google Scholar
- L. T. X. Phan and I. Lee. 2013. Improving schedulability of fixed-priority real-time systems using shapers. In Proceddings of RTAS 2013.Google Scholar
- Y. Qian, X. Li, S. Ihara, et al. 2017. A configurable rule based classful token bucket filter network request scheduler for the lustre file system. In Proceedings of the SC 2019.Google Scholar
Digital Library
- M. Rahmani, K. Tappayuthpijarn, B. Krebs, et al. 2009. Traffic shaping for resource-efficient in-vehicle communication. IEEE Transactions on Industrial Informatics 5, 4 (2009).Google Scholar
Cross Ref
- J. Reineke, B. Wachter, S. Thesing, et al. 2006. A definition and classification of timing anomalies. In Proceedings of WCET 2006.Google Scholar
- S. Shenker, C. Partridge, and R. Guerin. 1997. Specification of Guaranteed Quality of Service. IETF.Google Scholar
- StreamIt Community. 2018. The StreamIt Benchmark Suite. http://groups.csail.mit.edu/cag/streamit/shtml/benchmarks.shtml.Google Scholar
- J. Turner. 1986. New directions in communications (or which way to the information age?). IEEE Communications Magazine 24, 10 (1986).Google Scholar
Digital Library
- R. Underwood, J. Anderson, and A. Apon. 2018. Measuring network latency variation impacts to high performance computing application performance. In Proceedings of the ICPE 2018.Google Scholar
- E. Wandeler. 2006. Modular Performance Analysis and Interface-Based Design for Embedded RealTime Systems. Ph.D. Dissertation. ETH Zürich.Google Scholar
- E. Wandeler, A. Maxiaguine, and L. Thiele. 2006. Performance analysis of greedy shapers in real-time systems. In Proceedings of DAC Europe 2006.Google Scholar
- J. Wang, C. Sung, and C. Wang. 2019. Mitigating power side channels during compilation. arXiv e-prints (2019).Google Scholar
- M. Wu, Sh. Guo, P. Schaumont, et al. 2018. Eliminating timing side-channel leaks using program repair. arXiv e-prints (2018).Google Scholar
- Y. Zhou and D. Wentzlaff. 2016. MITTS: Memory inter-arrival time traffic shaping. In Proceedings of ISCA 2016.Google Scholar
- E. Zitzler, M. Laumanns, and L. Thiele. 2001. SPEA2: Improving the Strength Pareto Evolutionary Algorithm. Technical Report. ETH Zürich.Google Scholar
- V. Zivojnović, J. M. Velarde, C. Schläger, et al. 1994. DSPSTONE: A DSP-oriented benchmarking methodology. In Proceedings of IC-SPAT 1994.Google Scholar
Index Terms
Code-Inherent Traffic Shaping for Hard Real-Time Systems
Recommendations
Traffic shaping in real-time distributed systems: a low-complexity approach
In real-time systems, one generally identifies two types of timing requirements, hard and soft constraints. In this study, it is assumed that the Hard Real-Time traffic (HRT) is periodic with deadlines that must be guaranteed, while the Soft Real-Time ...
Traffic shaping measurements and analyses in 3G network
HP-MOSys '13: Proceedings of the 2nd ACM workshop on High performance mobile opportunistic systemsTraffic shaping effect may have significant impact on end-to-end Quality of Service (QoS) provisioning. Therefore, it should be carefully studied in order to allow the creation of appropriate traffic models to be used for simulations. First, to ...
Traffic shaping of a tagged stream in an ATM network: approximate end-to-end analysis
INFOCOM '95: Proceedings of the Fourteenth Annual Joint Conference of the IEEE Computer and Communication Societies (Vol. 1)-Volume - Volume 1Traffic streams-originally shaped to comply with desired traffic descriptors-may suffer substantial distortion within an ATM network due to statistical multiplexing. As a consequence, traffic re-shaping within the network may be necessary. In this work ...






Comments