Abstract
In most cases of safety-related systems, the network is an indispensable part. At this point, the system reliability is as important as the system communication quality. With the emergence of multi-core architectures, the first generation usually aims to provide reliable and deterministic computing resources. Therefore, with the boost requirement of reliability and throughput that cannot be satisfied by general single-core processors, the deployment of safety-related systems is transferred and processed in multi-core environments. This paper proposes Reliable Communication Server on SPU (RCSoS), which is a server model for reliable communication utilizing SPU (Synergistic Processor Unit) in Cell/B.E. (Cell Broadband Engine). It simulates SPU as a communication server and guarantees the reliability and determinacy by the isolation mode of SPU and contract model. RCSoS has been implemented in PlayStation 3. It could dynamically adjust parameters, and inform applications on contract violations. The building process conforms IEC 61508, which guarantees the reliability of the life cycle. Besides, experiments show that the performance of this model is acceptable for the application requirements of network communication. And also the formal verification on the model theoretically guarantees the functional safety of the system.
Similar content being viewed by others
References
International Electrotechnical Commission. (2000). Functional safety of electrical/electronic/programmable electronic safety-related systems. Switzerland: IEC 61508.
Silvano, M., & Schmidt, D. C. (1997). Constructing reliable distributed communication systems with CORBA. IEEE Communications Magazine, 35(2), 56–60.
Bataineh, S. M., & Allosl, B. Y. (2001). Fault-tolerant multistage interconnection network. Telecommunication Systems, 17(4), 455–472.
Garcia, M., Sendra, S., Lloret, J., & Canovas, A. (2013). Saving energy and improving communications using cooperative group-based wireless sensor networks. Telecommunication Systems, 52(4), 2489–2502.
Rizzo, L. (1997). Effective erasure codes for reliable computer communication protocols. ACM SIGCOMM Computer Communication Review, 27(2), 24–36.
Ding, J.-H., Chang, Y.-T., Guo, Z.-D., Li, K.-C., & Chung, Y.-C. (2014). An efficient and comprehensive scheduler on asymmetric multicore architecture systems. Journal of Systems Architecture, 60(3), 305–314.
Scarpino, M. (2008). Programming the cell processor: For games, graphics, and computation. New Jersey: Pearson Education, Inc.
Kourai, K., Nagata, T. (2012): A Secure Framework for Monitoring Operating Systems Using SPEs in Cell/B.E., 2012 I.E. 18th Pacific Rim International Symposium on Dependable Computing (PRDC), 41–50.
Zhou, R., Chen, H. M., Liu, Q., Sheng, Y., Zhou, Q. G., Wang, X., & Li, K.-C. (2013). A server model for reliable communication on cell/B.E. In In conjunction with the 42nd international conference on parallel processing (ICPP 2013) (pp. 1022–1029). Lyon: International Workshop on Embedded Multicore Systems. doi:10.1109/ICPP.2013.121.
International Business Machines Corporation, Sony Computer Entertainment Incorporated and Toshiba Corporation. (2007). Cell BE programming tutorial version 3.1. Rochester: International Business Machines Corporation, Sony Computer Entertainment Incorporated and Toshiba Corporation.
Shimizu, K., Hofstee, H. P., & Liberty, J. S. (2007). Cell broadband engine processor vault security architecture. IBM Journal of Research and Development, 51(5), 521–528.
Baldassin, A., Goldstein, F., & Azevedob, R. (2012). A transactional runtime system for the Cell/BE architecture. Journal of Parallel and Distributed Computing, 72(12), 1535–1546.
Altevogt, P., Kiss, T., Kistler, M., & Rangan, R. (2013). Mesoscale performance simulation of multicore processor systems. Software & Systems Modeling, 12(4), 731–744.
Tănase, C. A., & Găitan, V. G. (2012). Dynamic, unbalanced distribution of tasks on a PS3 cluster system for double precision calculation. The Journal of Supercomputing, 62(3), 1502–1518.
Khoury, R., Burgstaller, B., & Scholz, B. (2011). Accelerating the execution of matrix languages on the cell broadband engine architecture. IEEE Transactions on Parallel and Distributed Systems, 22(1), 7–21.
Bhatt, V. P., & Pradhan, S. N. (2012). Designing image processing algorithms on cell broadband engine: programming strategies and performance analysis. International Conference on Recent Advances in Computing and Software Systems (RACSS), 2012, 242–249.
Ungurean, I., Gaitan, N. (2012): Speech analysis for medical predictions based on Cell Broadband Engine, 2012 Proceedings of the 20th European Signal Processing Conference (EUSIPCO), 1733–1736.
Kai, N., Nishinohara, R., Koide, H. (2012): A SIMD Parallelization Method for an Application for LSI Logic Simulation, 2012 41st International Conference on Parallel Processing Workshops (ICPPW), 375–381.
Arunkumar, A., Panday, A., Joshi, B., Ravindran, A., & Zaveri, H. P. (2012). Estimating correlation for a real-time measure of connectivity. Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2012, 5190–5193.
Keller, J., & Varbanescu, A. L. (2012). Performance impact of task mapping on the cell BE multicore processor, computer architecture. Lecture Notes in Computer Science, 6161, 13–23.
Kroshko, A., & Spiteri, R. J. (2013). Efficient SIMD solution of multiple systems of stiff IVPs. Journal of Computational Science, 4(5), 377–385.
Diaz, D., Abreu, S., & Codognet, P. (2012). Targeting the cell broadband engine for constraint-based local search. Concurrency and Computation: Practice and Experience, 24(6), 647–660.
Benkrid, K., Akoglu, A., Ling, C., Song, Y., Liu, Y., & Tian, X. (2012). High performance biological pairwise sequence alignment: FPGA versus GPU versus cell BE versus GPP. Volume: International Journal of Reconfigurable Computing. doi:10.1155/2012/752910. 2012.
Pratas, F., Trancoso, P., Sousa, L., Stamatakis, A., Shi, G. C., & Kindratenko, V. (2012). Fine-grain parallelism using multi-core, Cell/BE, and GPU Systems. Parallel Computing, 38(8), 365–390.
Xu, M., Thulasiraman, P., & Noghanian, S. (2012). Microwave tomography for breast cancer detection on cell broadband engine processors. Journal of Parallel and Distributed Computing, 72(9), 1106–1116.
Sibai, F. N., Mohammad, S., Kidwai, H. K., Qamar, B., Awwad, F. (2012): Parallel Implementation and Performance Analysis of a 3D Oil Reservoir Data Visualization Tool on the Cell Broadband Engine and CUDA GPU, 2012 I.E. 14th International Conference on High Performance Computing and Communication & 2012 I.E. 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 970–975.
Shahbahrami, A., Pham, T. A., & Bertels, K. (2012). Parallel implementation of gray level Co-occurrence matrices and haralick texture features on cell architecture. The Journal of Supercomputing, 59(3), 1455–1477.
Çetinkaya, E. K., Broyles, D., Dandekar, A., Srinivasan, S., & Sterbenz, J. P. G. (2013). Modelling communication network challenges for Future Internet resilience, survivability, and disruption tolerance: a simulation-based approach. Telecommunication Systems, 52(2), 751–766.
Harbour, M. G., & Esteban, M. T. (2005). Framework for Real-time Embedded Systems based on COntRacts (FP6/2005/IST/5-034026): Architecture and contract model for integrated resources II, Technical Report. Spain: Universidad de Cantabria.
Olivier, S., Prins, J., Derby, J., Vu, K. (2007): Porting the GROMACS Molecular Dynamics Code to the Cell Processor, 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2007), IEEE Press, 1–8
Zhou, Q. G., Bai, S. W., McGuire, N., Chen, J. W. (2009): Isolated Network Model based on Cell for Software Radio System, Proc. 2009 IEEE International Symposium on Circuits and Systems (ISCAS 2009), IEEE Press, 2069–2072.
Mueller, F.: Sony PS3 Cluster, http://moss.csc.ncsu.edu/~mueller/cluster/ps3/, Accessed on May 5, 2014.
Shann, C. H., Huang, T. L., Cheng, C. (2000): A Practical Nonblocking Queue Algorithm using Compare-and-Swap, 7th International Conference on Parallel and Distributed Systems (ICPADS'00), IEEE Press, 470–475.
Ladan-Mozes, E., & Shavit, N. (2004). An optimistic approach to lock-free FIFO queues, distributed computing. Lecture Notes in Computer Science, 3274, 117–131.
OProfile, http://en.wikipedia.org/wiki/OProfile, Accessed Nov. 6, 2013
Holzmann, G. J. (2004). The SPIN model checker: primer and Reference Manual. New Jersey: Addison Wesley Publisher. September 2004.
Spin Online References, http://spinroot.com/spin/Man/, Accessed on December 6, 2013
Basmadjian, R., De Meer, H. (2012): Evaluating and modeling power consumption of multi-core processors, 3rd International Conference on Future Energy Systems (e-Energy 2012), IEEE, 1–10.
Zhou, R., Zhou, Q. G., Sheng, Y., & Li, K.-C. (2013). XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors. Journal of Supercomputing, 63(2), 593–610.
Zhou, R., Ai, Z., Yang, J. M., Chen, Y. C., Li, J., Zhou, Q. G., Li, K.-C. (2013): A Hypervisor for MIPS-based Architecture Processors - a Case Study in Loongson Processors, The 15th IEEE International Conference on High Performance Computing and Communications (HPCC 2013), 865–872, doi: 10.1109/HPCC.and.EUC.2013.124.
Acknowledgments
This work is supported in part by National Natural Science Foundation of China under Grant No. 60973137, Program for New Century Excellent Talents in University under Grant No. NCET-12-0250, Gansu Sci. & Tech. Program under Grant No. 1104GKCA049, 1204GKCA061 and 1304GKCA018, The Fundamental Research Funds for the Central Universities under Grant No. lzujbky-2013-k05, lzujbky-2013-43, lzujbky-2013-44 and lzujbky-2014-49, Gansu Telecom Cuiying Research Fund under Grant No. lzudxcy-2013-4, Gansu Telecom Cuiying Research Fund under Grant No. lzudxcy-2013-4, Google Research Awards, Google Faculty Award, and Providence University research program, under grant PU102-11100-A12.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhou, R., Chen, X., Chen, H. et al. RCSoS: An IEC 61508 Compatible Server Model for Reliable Communication. J Sign Process Syst 80, 323–337 (2015). https://doi.org/10.1007/s11265-014-0914-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11265-014-0914-z