Concurrent Programming with Fair Threads
The LOFT Language

Frédéric Boussinot
EMP-CMA/INRIA - Mimosa Project
2004 route des Lucioles - BP 93
F-06902 Sophia-Antipolis
<frederic.boussinot@sophia.inria.fr>


Chapters

1. Introduction
2. The Language LOFT
3. Examples - 1
4. Programming Style
5. Semantics
6. FairThreads in C
7. Implementations
8. Examples - 2
9. Related Work
10. Conclusion
11. Annex A: API of FairThreads
12. Annex B: LOFT Reference Manual
13. Annex C: the LOFT Compiler
  Glossary
  Index
1. Introduction
2. The Language LOFT
3. Examples - 1
4. Programming Style
5. Semantics
6. FairThreads in C
7. Implementations
8. Examples - 2
9. Related Work
10. Conclusion
11. Annex A: API of FairThreads
12. Annex B: LOFT Reference Manual
13. Annex C: the LOFT Compiler
  Glossary
  Index

[1] Bigloo Web Site .

[2] CAML Web Site .

[3] Java Web Site .

[4] LinuxThreads Web Site .

[5] Next Generation POSIX Threading Web Site .

[6] Reactive Programming Web Site .

[7] Acosta-Bermejo, R. -- Thesis -- ENSMP, 2003.

[8] Arnold, Ken and Goslin, James -- The Java Programming Language -- Addison-Wesley, 1996.

[9] Berry, G. and Gonthier G. -- The Esterel Synchronous Programming Language: Design, Semantics, Implementation -- Science of Computer Programming, 19(2), 1992, pp. 87-152.

[10] Boudol G. and Berry G. -- Chemical Abstract Machines -- .

[11] Boussinot, F. -- Reactive C: An Extension of C to Program Reactive Systems -- Software-Practice and Experience, 21(4), 1991.

[12] Boussinot, F. -- Java Fair Threads -- Inria research report, RR-4139, 2001.

[13] Boussinot, F. and Susini, J-F. -- The SugarCubes Tool Box: A Reactive Java Framework -- Software Practice and Experience, 18(14), 1998, pp. 1531-1550.

[14] Brinch Hansen, P. -- The Origin of Concurrent Programming -- Springer, 2002.

[15] Christopher, Thomas W. and Thiruvathukal, George K. -- High Performance Java Platform Computing: Multithreaded and Networked Programming -- Sun Microsystems Press Java Series, Prentice Hall, 2001.

[16] Eager, Derek L. and Zahorjan, John -- Chores: Enhanced run-time support for shared memory parallel computing -- ACM Transaction on Computer Systems, 11(1), 1993.

[17] Engelschall, Ralf S. -- Portable Multithreading -- Proc. USENIX Annual Technical Conference, San Diego, California, 2000.

[18] Gardner, M. -- Lucky Numbers and 2187 -- Math. Intell., 19(26), 1997.

[19] Halbwachs, Nicolas -- Synchronous Programming of Reactive Systems -- Kluwer Academic Publishers, New York, 1993.

[20] Harel, D. and Pnueli A. -- .

[21] Hazard, L. and Susini, J-F. and Boussinot, F. -- The Junior reactive kernel -- Inria Research Report, (3732), 1999.

[22] Hollub, A. -- Taming Java Threads -- Apress, 2000.

[23] Kahn, G. and MacQueen, D.B. -- Coroutines and Networks of Parallel Processes -- Proceeding of the IFIP'74 Congress, 1974.

[24] Keppel, D. -- Tools and Techniques for Building Fast Portable Threads Packages -- Technical Report UWCSE 93-05-06, University of Washington, 1993.

[25] Larus, James R. and Parkes Michael. -- Using Cohort Scheduling to Enhance Server Performance -- Proc. of USENIX Conference, Monterey Cal., 2002, pp. 103-114.

[26] Lowenthal, David K. and Freech, Vincent W. and Andrews, Gregory R. -- Efficient Support for Fine-Grain Parallelism on Shared-Memory Machines -- TR 96-1, University of Arizona, 1996.

[27] Maraninchi, F. and Remond, Y. -- Running-Modes of Real-Time Systems: A Case-Study with Mode-Automata -- Proc. 12th Euromicro Conference on Real-Time Systems, Stockholm, Sweden, 2000.

[28] Nichols, B. and Buttlar, D. and Proulx Farrell J. -- Pthreads Programming -- O'Reilly, 1996.

[29] Plotkin, G. -- A Structural Approach to Operational Semantics -- Aarhus University Report DAIMI FN-19, 1981.

[30] Reppy, John H. -- Concurrent Programming in ML -- Cambridge University Press, 1999.


This page has been generated by Scribe.
Last update Wed Oct 22 18:41:04 2003