Scheduling-independent threads and exceptions in SHIM

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 142-151

  Tardieu, Olivier ^a   Edwards, Stephen A ^a  

^a Columbia University ^*  (United States)

Author keywords

Deterministic model of computation; Hardware software codesign

Indexed keywords

CONCURRENT LANGUAGES; DETERMINISTIC MODELS; HARDWARE/SOFTWARE CODESIGN;

CONCURRENT ENGINEERING; EMBEDDED SYSTEMS; MULTIPROGRAMMING; SCHEDULING ALGORITHMS; SOFTWARE ENGINEERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34547419102     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176908     Document Type: Conference Paper

References (32)

1. G. R. Andrews and F. B. Schneider. Concepts and notations for concurrent programming. ACM Computing Surveys, 15(1):3-43, Mar. 1983.
2. C. Artho, K. Havelund, and A. Biere. High-level data races. In Proceedings of the Workshop on Verification and Validation of Enterprise information Systems (VVEIS), pages 82-93, Angers, France, Apr. 2003.
3. D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 382-400, Minneapolis, Minnesota, Oct. 2000.
4. A. Benveniste and G. Berry. The synchronous approach to reactive real-time systems. Proceedings of the IEEE, 79(9): 1270-1282, Sept. 1991.
5. A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64-83, Jan. 2003.
6. G. Berry. Preemption in concurrent systems. In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 761 of Lecture Notes in Computer Science, pages 72-93, Bombay, India, Dec. 1993. Springer-Verlag.
7. G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, Nov. 1992.
8. F. Boussinot. FairThreads: mixing cooperative and preemptive threads in C. RR 5039, INRIA, 2003.
9. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 56-69, Tampa Bay, Florida, Oct. 2001.
10. P. Brinch Hansen. The programming language Concurrent-Pascal. IEEE Transactions on Software Engineering, 1(2):199-207, June 1975.
11. P. Brinch Hansen. Monitors and concurrent Pascal: A personal history. In History of Programming Languages II, pages 1-35, Cambridge, Massachusetts, Apr. 1993.
12. M. Burrows, K. Rustan, and M. Leino. Finding stale-value errors in concurrent programs. Technical Report 2002-004, Systems Research Center, Compaq, May 2002.
13. J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceedings of the ACM SIGPLAN Conference on Program Language Design and Implementation (PLDI), pages 258-269, Berlin, Germany, June 2002.
14. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 48-64, Vancouver, British Columbia, Canada, Oct. 1998.
15. S. A. Edwards and O. Tardieu. SHIM: A deterministic model for heterogeneous embedded systems. In Proceedings of the International Conference on Embedded Software (Emsoft), pages 37-44, Jersey City, New Jersey, Sept. 2005.
16. S. A. Edwards and O. Tardieu. SHIM: A deterministic model for heterogeneous embedded systems. IEEE Transactions on Very Large Scale Integrated (VLSI) Systems, 2006. To appear.
17. C. Flanagan and S. N. Freund. Type-based race detection for Java. In Proceedings of the ACM SIGPLAN Conference on Program Language Design and Implementation (PLDI), pages 219-232, Vancouver, British Columbia, Canada, June 2000.
18. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In Proceedings of the Symposium on Principles of Programming Languages (POPL), pages 256-267, Venice, Italy, Jan. 2004.
19. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In Proceedings of the ACM SIGPLAN Conference on Program Language Design and Implementation (PLDI), pages 338-349, San Diego, California, June 2003.
20. C. Fournet and G. Gonthier. The join calculus: a language for distributed mobile programming. In Applied Semantics. International Summer School (APPSEM), volume 2395 of Lecture. Notes in Computer Science, pages 268-332, Caminha, Portugal, Aug. 2002. Springer-Verlag.
21. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, Upper Saddle River, New Jersey, 1985.
22. J. D. Ichbiah, B. Krieg-Brueckner, B. A. Wichmann, J. G. P. Barnes, O. Roubine, and J.-C. Heliard. Rationale for the design of the Ada programming language. SIGPLAN Notices, 14(6b): 1-261, June 1979.
23. INMOS Limited, occam 2 Reference Manual. Prentice Hall, 1988.
24. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C.,. In Proceedings of the USENIX Annual Technical Conference, pages 275-288, Monterey, California, June 2002.
25. G. Kahn. The semantics of a simple language for parallel programming. In Information Processing 74: Proceedings of IFIP Congress 74, pages 471-475, Stockholm., Sweden, Aug. 1974. North-Holland.
26. R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, 1999.
27. G. C. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In Proceedings of the Symposium on Principles of Programming Languages (POPL), pages 128-139, Portland, Oregon, Jan. 2002.
28. T. M. Parks. Bounded Scheduling of Process Networks. PhD thesis, University of California, Berkeley, 1995. Available as UCB/ERL M95/105.
29. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Åarhus, Denmark, 1981.
30. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, Nov. 1997.
31. The Coq Development Team.. The Coq Proof Assistant Reference Manual. INRIA. http://coq.inria.fr/doc/main.html.
32. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In Proceedings of the Symposium on Principles of Programming Languages (POPL), pages 334-345, Charleston, South Carolina, Jan. 2006.