Abstract
This paper proposes a transitional actor model from legacy code to decidable dataflow. In addition, the proposed actor model provides dynamic behavior and top down design with static analysis such as deadlock detection and buffer memory size computation by combining Kahn process network (KPN) model and decidable dataflow (DCDF) model. In the proposed model, each port can have its own model of computation, which is different from the existing actor based models, so that it is called port based actor (PBA) model. Each port has either Kahn process network model or decidable dataflow model. A port group for KPN ports is introduced to specify KPN ports that are internally related. The proposed port based actor model is a generalized actor model extended from constant rate dataflow with intermediate ports (CRDF-IP) in which through the intermediate ports, an actor can consume and produce samples arbitrary times per execution. The decomposition of a PBA graph into DCDF graphs allows to apply static analysis, scheduling, and code generation methods developed for DCDF model. This paper explains formal definitions and static analysis for PBA model. Moreover, scheduling and efficient code generation methods are also explained. To validate that the proposed model works, PBA model has been implemented and an H.263 video encoder algorithm is specified and synthesized in PBA model.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Lee, E. A., & Parks, T. M. (1995). Dataflow process network. In Proceedings of the IEEE, vol. 83 (pp. 773–799), May.
Hwang, H., Oh, T., Jung, H., & Ha, S. (2006). Conversion of reference C code to dataflow model: H.264 encoder case study. 11th Asia and South Pacific Design Automation Conference, ASP-DAC 2006, Jan, 24–27.
Kwon, S., Jung, H., & Ha, S. (2004). H.264 decoder algorithm specification and simulation in Simulink and PeaCE. In Proc. International SoC Design Conference (pp. 9–12) Oct. 25–26.
Zadrija, V. (2009). Survey of formal models of computation for multi-core systems. Technical Report, March.
Bhattacharyya, S., Deprettere, E. F., Leupers, R., & Takala, J. (2010). Handbook of signal processing systems. Springer.
Lee, E. A., & Messerschmitt, D. G. (1987). Static scheduling of synchronous dataflow programs for digital signal processing. In IEEE Transaction on Computer, vol. C-36 (pp. 24–35), January.
Oh, H., & Ha, S. (2004). Fractional rate dataflow model for memory efficient synthesis. Journal of VLSI Signal Processing, 37, 41–51.
Bilsen, G., Engles, M., Lauwereins, R., & Peperstraete, J. A. (1995). Cyclo-static data flow. In International Conference on Acoustics, Speech, and Signal Processing, vol. 5 (pp. 3255–3258), May.
Bhattacharyya, S., Lee, E., & Murthy, P. (1996). Software synthesis from dataflow graphs. Kluwer.
Sriram, S., & Bhattacharyya, S. (2009). Embedded multiprocessors: Scheduling and synchronization (2nd ed.) CRC Press.
Buck, J. T. (1994). Static scheduling and code generation from dynamic dataflow graphs with integer-valued control systems. In Asilomar Conf. on Singals, Systems, and Computers, Oct.
Ha, S., & Lee, E. A. (1997). Compile-time scheduling of dynamic constructs in dataflow program graphs. In IEEE Trans. on Computers, vol. 46, July.
Plishker, W., Sane, N., & Bhattacharyya, S. S. (2009). Mode grouping for more effective generalized scheduling of dynamic dataflow applications. In Proceedings of the Design Automation Conference (pp. 923–926), San Francisco, July.
Choi, C., & Ha, S. (1997). Software synthesis for dynamic data flow graph. In 8th IEEE Internal Workshop on Rapid System Prototyping, June, 72–79.
Kahn, G. (1974). The semantics of a simple language for parallel programming. In I 74.
Bhattacharya, B., & Bhattacharyya, S. S. (2001). Parameterized dataflow modeling for DSP systems. IEEE Transactions on Signal Processing, 49(10), 2408–2421.
Geilen, M. (2011). Synchronous dataflow scenarios. ACM Transactions on Embedded Computing Systems.
Eker, J., & Janneck, J. (2003). CAL language report specification of the CAL actor language. Tech. Rep. UCB/ERL M03/48, EECS Department, University of California, Berkeley.
Shen, C.-C., Plishker, W., Wu, H.-H., & Bhattacharyya, S. (2010). A lightweight dataflow approach for design and implementation of SDR systems. In Proceedings of the Wireless Innovation Conference and Product Exposition, Washington DC, USA, November.
Tripakis, S., Bui, D., Geilen, M., Rodiers, B., & Lee, E. (2010). Compositionality in synchronous data flow: modular code generation from hierarchical SDF graphs. EECS Department, University of California, Berkeley, UCB/EECS-2010-52, May.
Oh, H. (2008). Constant rate dataflow model with intermediate ports for efficient code synthesis with top-down design and dynamic behavior. In International Symposium on Quality Electronic Design (pp. 190–193).
Buck, J., Ha, S., Lee, E., & Messerschmitt, D. (1994). Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special Issue on Simulation Software Development, 4, 155–182.
Ha, S., Kim, S., Lee, C., Yi, Y., Kwon, S., & Joo, Y. (2007). Peace: A hardware-software codesign environment for multimedia embedded systems. In ACM Transactions on Design Automation of Electronic Systems (TODAES), volume 12, August.
Telenor Research. (1997). TMN (H.263) Encoder/Decoder, Version 2.0. Download via anonymous ftp to bonde.nta.no, June.
Acknowledgements
This work was supported by the research fund of Hanyang University (HY-2008-8026).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Oh, H. Port Based Actor Model with Kahn Process Network Model and Decidable Dataflow Model. J Sign Process Syst 71, 75–88 (2013). https://doi.org/10.1007/s11265-012-0682-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11265-012-0682-6