Formal Modeling of Process Migration

This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a group of processors modeled as finite state machines. The model is motivated by a migration application between software and field programmable gate array (FPGA) hardware, and the theorems of the model guide the use of FPGA resources while guaranteeing complete and correct execution of a process. By defining different types of migration realms this paper also develops a migration realm taxonomy.

[1]  Dejan S. Milojicic,et al.  Process migration , 1999, ACM Comput. Surv..

[2]  Alain Greiner,et al.  Cycle precise core based hardware/software system simulation with predictable event propagation , 1997, EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167).

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[4]  Shiyong Lu,et al.  A formal framework for agent itinerary specification, security reasoning and logic analysis , 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops.

[5]  Gruia-Catalin Roman,et al.  Mobile UNITY: reasoning and specification in mobile computing , 1997, TSEM.

[6]  Daniel Brand,et al.  On Communicating Finite-State Machines , 1983, JACM.