1/4/2024 0 Comments Copyless softwareCarla Ferreira, Ivan Lanese, Antonio Ravara, Hugo Torres Vieira, and Gianluigi Zavattaro.In Proceedings of EuroSys'06, pages 177-190. Language Support for Fast and Reliable Message-based Communication in Singularity OS. Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R.In Proceedings of ICFP'06, pages 124-135. In Proceedings of CONCUR'08, LNCS 5201, pages 402-417. Structured interactional exceptions in session types. Marco Carbone, Kohei Honda, and Nobuko Yoshida.Sara Capecchi, Elena Giachino, and Nobuko Yoshida.Logical Methods in Computer Science, 8:1-50, 2012. To formalize the semantics of processes we draw inspiration from software transactional memories: in our case a transaction is a process that is meant to accomplish some exchange of messages and that should either be executed completely, or should have no observable effect if aborted by an exception. In this paper we study a type discipline for copyless messaging that, together with some minimal support from the runtime system, is able to guarantee the absence of communication errors, memory faults, and memory leaks in presence of exceptions. However, the very same mechanism fosters the proliferation of programming errors due to the explicit use of pointers and to the sharing of data. Because of its intrinsically low overhead, copyless messaging can be profitably adopted for the development of complex software systems where processes have access to a shared address space. Copyless messaging is a communication mechanism in which only pointers to messages are exchanged between sender and receiver processes.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |