Non-blocking inter-partition communication with wait-free pair transactions

ACM International Conference Proceeding Series

Volumn , Issue , 2013, Pages 58-67

  Blanton, Ethan ^a   Ziarek, Lukasz ^a,b  

^a Fiji Systems Inc   (Fiji)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION OBJECTS; CONCURRENT THREADS; CONSTANT TIME; DATA CONSISTENCY; MIXED CRITICALITIES; NON-BLOCKING; RUNTIMES; WAIT-FREE;

CONCURRENCY CONTROL; CRITICALITY (NUCLEAR FISSION); DATA PROCESSING; EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; SEMANTICS;

COMMUNICATION;

EID: 84887325306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2512989.2512994     Document Type: Conference Paper

References (23)

1. Paparazzi project. http://paparazzi.enac.fr/wiki/Main-Page.
2. Aicas. JamaicaVM. http://www.aicas.com/jamaica.html, 2010.
3. Aonix. PERC Products. http://www.aoinix.com/perc.html, 2010.
4. Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, and Jan Vitek. A real-time Java virtual machine with applications in avionics. ACM Transactions in Embedded Computing Systems, 7(1):1-49, 2007.
5. Albert M. K. Cheng and James Ras. The implementation of the priority ceiling protocol in Ada-2005. Ada Letters, XXVII(1):24-39, 2007.
6. J. B. Goodenough and L. Sha. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks. In Proceedings of the Workshop on Real-time Ada Issues, IRTAW '87, pages 20-31. ACM, 1988.
7. James Gosling and Greg Bollella. The Real-Time Specification for Java. Addison-Wesley Longman Publishing Co., Inc., 2000.
8. Tim Harris, Simon Marlow, Simon Peyton-Jones, and Maurice Herlihy. Composable memory transactions. In Proceedings of the Symposium on Principles and Practice of Parallel Programming, PPoP '05, pages 48-60. ACM, 2005.
9. Tomas Kalibera, Pavel Parizek, Michal Malohlava, and Martin Schoeberl. Exhaustive testing of safety critical Java. In Proceedings of the Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '10, pages 164-174, 2010.
10. Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, and Jan Vitek. Preemptible atomic regions for real-time Java. In Proceedings of the Real-Time Systems Symposium, RTSS '05, pages 62-71, 2005.
11. Vincenzo Nicosia. Towards hard real-time Erlang. In Proceedings of the SIGPLAN Workshop on ERLANG, ERLANG '07, pages 29-36. ACM, 2007.
12. Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, and Jan Vitek. Schism: fragmentation-tolerant real-time garbage collection. In Proceedings of the Conference on Programming Language Design and Implementation, PLDI '10, pages 146-159, 2010.
13. Filip Pizlo, Lukasz Ziarek, and Jan Vitek. Real time Java on resource-constrained platforms with Fiji VM. In Proceedings of the Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '09, pages 110-119, 2009.
14. John H. Reppy. Concurrent programming in ML. Cambridge University Press, 1999.
15. Martin Schoeberl, Hans Sondergaard, Bent Thomsen, and Anders P. Ravn. A profile for safety critical Java. In Proceedings of the Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC '07, pages 94-101, 2007.
16. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Transactions on Computing, 39(9):1175-1185, 1990.
17. Nir Shavit and Dan Touitou. Software transactional memory. In Proceedings of the Symposium on Principles of Distributed Computing, PODC '95, pages 204-213, 1995.
18. Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, and Bratin Saha. Enforcing isolation and ordering in stm. SIGPLAN Not., 42(6):78-88, 2007.
19. H. R. Simpson. Four-slot fully asynchronous communication mechanism. IEE Proceedings, 137(1):17-30, January 1990.
20. Adam Welc, Antony L. Hosking, and Suresh Jagannathan. Preemption-based avoidance of priority inversion for Java. In Proceedings of the Conference on Parallel Processing, ICPP '04, pages 529-538, 2004.
21. Lukasz Ziarek. PRP: priority rollback protocol - a PIP extension for mixed criticality systems: short paper. In Proceedings of the Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '10, pages 82-84, 2010.
22. Lukasz Ziarek, KC Sivaramakrishnan, and Suresh Jagannathan. Composable asynchronous events. In Proceedings of the Conference on Programming Language Design and Implementation, PLDI '11, pages 628-639, 2011.
23. Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, and Suresh Jagannathan. A uniform transactional execution environment for Java. In Proceedings of the European Conference on Object-Oriented Programming, ECOOP '08, 2008.