46 3.4.2 Implémentations logicielles (STM), p.48 ,
Scheduling real-time transactions : a performance evaluation, pp.1-12, 1988. ,
Disentangling multi-object operations (extended abstract), Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing , PODC '97, pp.111-120, 1997. ,
DOI : 10.1145/259380.259431
Unbounded transactional memory, pp.316-327, 2005. ,
Early-release fair scheduling, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000, pp.35-43, 2000. ,
DOI : 10.1109/EMRTS.2000.853990
Implementing Hard Real-Time Transactions on Multiprocessors, pp.247-260, 1997. ,
DOI : 10.1007/978-1-4615-6069-2_14
Universal constructions for multi-object operations, PODC '95 : Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing, pp.184-193, 1995. ,
Universal constructions for large objects, IEEE Trans. Parallel Distrib. Syst, vol.10, pp.1317-1332, 1999. ,
Implementing wait-free objects on priority-based systems, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing , PODC '97, pp.229-238, 1997. ,
DOI : 10.1145/259380.259443
Real-time computing with lock-free shared objects, ACM Transactions on Computer Systems, vol.15, issue.2, pp.134-165, 1997. ,
DOI : 10.1145/253145.253159
Pfair scheduling : beyond periodic task systems, RTCSA '00 : Proceedings of the Seventh International Conference on Real-Time Systems and Applications, p.297, 2000. ,
Static-priority scheduling on multiprocessors, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), 2001. ,
DOI : 10.1109/REAL.2001.990610
The utilization bounds of partitioned and pfair static-priority scheduling on multiprocessors are 50%, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., p.33, 2003. ,
DOI : 10.1109/EMRTS.2003.1212725
Deadline monotonic scheduling, 1990. ,
Stack-based scheduling for realtime processes. Real-Time Syst, pp.67-99, 1991. ,
A method for implementing lock-free shared-data structures, Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures , SPAA '93, pp.261-270, 1993. ,
DOI : 10.1145/165231.165265
Proportionate progress, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.600-625, 1996. ,
DOI : 10.1145/167088.167194
Optimal utilization bounds for the fixed-priority scheduling of periodic task systems on identical multiprocessors, IEEE Trans. Comput, vol.53, issue.6, pp.781-784, 2004. ,
Multiprocessor fixed-priority scheduling with restricted interprocessor migrations, J. Embedded Comput, vol.1, issue.2, pp.169-178, 2005. ,
Fast scheduling of periodic tasks on multiple resources, 1995. ,
Specification and Analysis of Weakly Hard Real-Time Systems, 1998. ,
Speculative concurrency control Rapport technique, 1992. ,
DOI : 10.1007/978-1-4615-2271-3_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.276
A Flexible Real-Time Locking Protocol for Multiprocessors, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), pp.47-56, 2007. ,
DOI : 10.1109/RTCSA.2007.8
Deconstructing transactions : The subtleties of atomicity, Fourth Annual Workshop on Duplicating, Deconstructing, and Debunking, 2005. ,
Software transactional memory for large scale clusters, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.247-258, 2008. ,
DOI : 10.1145/1345206.1345242
Real-time synchronization on multiprocessors : To block or not to block, to suspend or spin, Embedded Technology and Applications Symposium, pp.342-353, 2008. ,
Litmus?rt : A testbed for empirically comparing real-time multiprocessor schedulers, pp.111-126, 2006. ,
A categorization of real-time multiprocessor scheduling problems and algorithms. Dans Handbook on Scheduling Algorithms, Methods, and Models, pp.3-23, 2004. ,
Real-time transaction scheduling : a framework for synthesizing static and dynamic factors. Rapport technique, 1994. ,
Unbounded page-based transactional memory, ASPLOS-XII : Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, pp.347-358, 2006. ,
DOI : 10.1145/1168917.1168901
Hybrid transactional memory, pp.336-346, 2006. ,
DOI : 10.1145/1168917.1168900
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.1906
A survey of hard real-time scheduling for multiprocessor systems, ACM Comput. Surv, vol.433544, pp.1-35, 2011. ,
Control Robotics : The Procedural Control of Physical Processes, Proceedings of IFIP Congress (IFIP'74), pp.807-813, 1974. ,
Transactional Locking II, Shlomi Dolev, pp.194-208, 2006. ,
DOI : 10.1007/11864219_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.811
The notions of consistency and predicate locks in a database system, Communications of the ACM, vol.19, issue.11, pp.624-630, 1976. ,
DOI : 10.1145/360363.360369
Response time analysis of software transactional memory-based distributed real-time systems, Proceedings of the 2009 ACM symposium on Applied Computing, pp.334-338, 2009. ,
Transactifying applications using an open compiler framework, 2007. ,
Practical lock freedom Also available as, pp.47-67, 2003. ,
Concurrent programming without locks, ACM Transactions on Computer Systems, vol.25, issue.2, pp.45-54, 2007. ,
DOI : 10.1145/1233307.1233309
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.129.9977
On-line scheduling on uniform multiprocessors, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), pp.183-192, 2001. ,
DOI : 10.1109/REAL.2001.990609
A comparison of mpcp and msrp when sharing resources in the janus multiple-processor on a chip platform, Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS '03, p.189, 2003. ,
Bases de données objet & relationnel, 2000. ,
Priority-driven scheduling of periodic task systems on multiprocessors. Real-Time Syst, pp.187-205, 2003. ,
Polymorphic Contention Management, DISC '05 : Proceedings of the nineteenth International Symposium on Distributed Computing, pp.303-323, 2005. ,
DOI : 10.1007/11561927_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.72.7346
Transactional memory coherence and consistency, Proceedings of the 31st Annual International Symposium on Computer Architecture, p.102, 2004. ,
DOI : 10.1109/isca.2004.1310767
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.8108
On being optimistic about real-time constraints, PODS, pp.331-343, 1990. ,
Data access scheduling in firm real-time database systems, Real-Time Systems, vol.4, issue.3, pp.203-241, 1992. ,
Language support for lightweight transactions, Oriented Programming, Systems, Languages, and Applications, pp.388-402, 2003. ,
( m k )-firm real-time distributed transactions, Proc. of the 16th WIP Euromicro Conference on Real-Time Systems (ECRTS), pp.61-65, 2004. ,
Obstruction-free synchronization: double-ended queues as an example, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings., pp.522-552, 2003. ,
DOI : 10.1109/ICDCS.2003.1203503
Software transactional memory for dynamic-sized data structures, Proceedings of the twenty-second annual symposium on Principles of distributed computing , PODC '03, pp.92-101, 2003. ,
DOI : 10.1145/872035.872048
Transactional memory : Architectural support for lock-free data structures, proc. the 20th Annual International Symposium on Computer Architecture, pp.289-300, 1993. ,
Distributed transactional memory for metric-space networks, Distributed Computing, vol.1, issue.4, pp.195-208 ,
DOI : 10.1007/s00446-007-0037-x
Memory management for real-time java : An efficient solution using hardware support. Real-Time Systems, pp.63-87, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00414804
Guaranteeing Pfair supertasks by reweighting, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420), pp.203-212, 2001. ,
DOI : 10.1109/REAL.2001.990612
Supporting lock-free synchronization in Pfair-scheduled real-time systems, Journal of Parallel and Distributed Computing, vol.66, issue.1, pp.47-67, 2006. ,
DOI : 10.1016/j.jpdc.2005.06.011
Real-time transaction scheduling, ACM SIGMOD Record, vol.22, issue.2, pp.197-206, 1993. ,
DOI : 10.1145/170036.170071
Concurrency control in real-time database system : Optimistic scheme vs. two-phase locking. Rapport technique, UM- CS-1990-066, pp.35-73, 1990. ,
Fast algorithms for bin packing, Journal of Computer and System Sciences, vol.8, issue.3, pp.272-314, 1974. ,
DOI : 10.1016/S0022-0000(74)80026-7
Hybrid transactional memory, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '06, pp.209-220, 2006. ,
DOI : 10.1145/1122971.1123003
On optimistic methods for concurrency control, ACM Transactions on Database Systems, vol.6, issue.2, pp.1981-2016 ,
DOI : 10.1145/319566.319567
Concurrent reading and writing, Communications of the ACM, vol.20, issue.11, pp.806-811, 1977. ,
DOI : 10.1145/359863.359878
Transactional Memory, 2007. ,
Using dynamic adjustment of serialization order for real-time database systems, 1993 Proceedings Real-Time Systems Symposium, pp.66-75, 1993. ,
DOI : 10.1109/REAL.1993.393514
Dynamic adjustment of serialization order using timestamp intervals in real-time databases. Real-Time Computing Systems and Applications, 1999. ,
Extensions to optimistic concurrency control with time intervals. Dans 7th International Workshop on Real-Time Computing and Applications, IEEE Computer Society, pp.39-78, 2000. ,
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973. ,
DOI : 10.1145/321738.321743
Real-Time Systems, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00544464
Process structuring, synchronization, and recovery using atomic actions, ACM Conference on Language Design for Reliable Software, pp.128-137, 1977. ,
Utilization bounds for edf scheduling on real-time multiprocessor systems. Real-Time Syst, pp.39-68, 2004. ,
An object-oriented real-time database system for multiprocessors, 1994. ,
Exploiting distributed version concurrency in a transactional memory cluster, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '06, pp.198-208, 2006. ,
DOI : 10.1145/1122971.1123002
Preemptible atomic regions for realtime java, RTSS '05 : Proceedings of the 26th IEEE International Real- Time Systems Symposium, pp.62-71, 2005. ,
Ordonnancement temps réel avec contraintes de qualité de service, 2006. ,
TLSF: a new dynamic memory allocator for real-time systems, Proceedings. 16th Euromicro Conference on Real-Time Systems, 2004. ECRTS 2004., pp.79-86, 2004. ,
DOI : 10.1109/EMRTS.2004.1311009
Transparent support for wait-free transactions, WDAG '97 : Proceedings of the 11th International Workshop on Distributed Algorithms, pp.305-319, 1997. ,
DOI : 10.1007/BFb0030692
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.489
Pfair scheduling of fixed and migrating periodic tasks on multiple resources, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054), pp.24-27, 1999. ,
DOI : 10.1109/REAL.1999.818857
Multiprocessor scheduling in a hard realtime environment, Seventh Texas Conference on Computing System, 1978. ,
LogTM: Log-based Transactional Memory, The Twelfth International Symposium on High-Performance Computer Architecture, 2006., pp.254-265, 2006. ,
DOI : 10.1109/HPCA.2006.1598134
Nested transactional memory : model and architecture sketches, Sci. Comput. Program, vol.63, issue.2, pp.186-201, 2006. ,
Utilization bounds for n-processor rate monotone scheduling with static processor assignment. Real-Time Systems : The International Journal of Time-Critical Computing, pp.183-192, 1998. ,
Principles of Distributed Data-base Systems, 2011. ,
Non-blocking realtime synchronization protocols for multicore systems. Software : Practice and Experience (en cours de soumission, pp.2012-2020 ,
Synchronization in real-time systems : A priority inheritance approach, 1991. ,
DOI : 10.1007/978-1-4615-4000-7
Virtualizing transactional memory, pp.494-505, 2005. ,
Overload management in real-time control applications using (m, k)-firm guarantee, IEEE Transactions on Parallel and Distributed Systems, vol.10, issue.6, pp.549-559, 1999. ,
DOI : 10.1109/71.774906
A dynamic priority assignment technique for streams with (m, k)-firm deadlines, IEEE Trans. Comput, vol.44, issue.12, pp.1443-1451, 1995. ,
Real-time scheduling of transactions in multicore systems, Workshop on Massively Multiprocessor and Multicore Computers, pp.8-54, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00368996
Real-Time Support for Software Transactional Memory, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.477-485, 2009. ,
DOI : 10.1109/RTCSA.2009.57
URL : https://hal.archives-ouvertes.fr/hal-00422596
Software transactional memory : Worst case execution time analysis, Chetto et Mikael Sjodin, éditeurs, 17th International Conference on Real-Time and Network Systems, pp.107-114, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00422598
Advanced contention management for dynamic software transactional memory, pp.240-248, 2005. ,
Contention management in dynamic software transactional memory, the ACM PODC Workshop on Concurrency and Synchronization in Java Programs, 2004. ,
Towards transactional memory for real-time systems, Research Report, vol.19, 1040. ,
Sequential specification of transactional memory semantics, Dans ACM SIGPLAN Workshop on Transactional Computing, 2006. ,
Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990. ,
DOI : 10.1109/12.57058
Software transactional memory, proc. the 12th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp.204-213, 1995. ,
Sur la problématique de l'ordonnancement dans les systèmes informatiques temps réel, 1993. ,
Matrix-DBP for (m,k)-firm real time guarantee, Séminaire du Programme de Recherches Avancées Franco-Chinois PRA SI01- 04, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00107605
Analysis of deadline scheduled real-time systems, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00073920
Misconceptions about real-time computing, IEEE Computer, vol.20, issue.10, pp.10-19, 1988. ,
DOI : 10.1007/0-306-46988-x_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.4790
A third-generation 65nm 16-core 32-thread plus 32-scout-thread cmt sparc r processor. IEEE International Solid-State Circuits Conference, 2008. ,
Locking without blocking, Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems , PODS '92, pp.212-222, 1992. ,
DOI : 10.1145/137097.137873
Survey of Weakly-Hard Real Time Schedule Theory and Its Application, International Symposium on Distributed Computing and Applications to Business . Engineering and Science (DCABES), 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00107602
Adaptive transaction scheduling for transactional memory systems, Friedhelm Meyer auf der Heide et Nir Shavit, pp.169-178, 2008. ,