Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency*

A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition

Authors: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Contributors: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Source: https://inria.hal.science/inria-00362844 ; [Research Report] PI 1923, 2009, pp.23.

Subject Terms: Atomic object, Causal past, Commit/abort, Concurrency control, Consistency condition, Consistent global state, Lock, Read-from relation, Regular Read/write object, Serializability, Shared memory, Software transactional memory, Vector clock, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1923

Availability: https://inria.hal.science/inria-00362844
https://inria.hal.science/inria-00362844/document
https://inria.hal.science/inria-00362844/file/PI-1923.pdf

On the Consistency Conditions of Transactional Memories

Authors: Imbs, Damien de Mendivil Moreno, José Ramón González Raynal, Michel et al.

Contributors: Imbs, Damien de Mendivil Moreno, José Ramón González Raynal, Michel et al.

Source: https://inria.hal.science/inria-00350131 ; [Research Report] PI 1917, 2008, pp.23.

Subject Terms: Atomic operation, Concurrency control, Concurrent programming, Consistent global state, Consistency condition, Incremental snapshot, Linearizability, Lock, Opacity, Serializability, Shared object, Software transactional memory, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1917

Availability: https://inria.hal.science/inria-00350131
https://inria.hal.science/inria-00350131v1/document
https://inria.hal.science/inria-00350131v1/file/PI-1917.pdf

BlobSeer: Bringing High Throughput under Heavy Concurrency to Hadoop Map-Reduce Applications

Authors: Nicolae, Bogdan Moise, Diana Antoniu, Gabriel et al.

Contributors: Nicolae, Bogdan Moise, Diana Antoniu, Gabriel et al.

Source: 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2010)
https://inria.hal.science/inria-00456801
24th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2010), IEEE and ACM, Apr 2010, Atlanta, United States. ⟨10.1109/IPDPS.2010.5470433⟩
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5470433

Subject Terms: Large-scale distributed computing, Data-intensive, Map-Reduce-based application, Distributed file systems, High Throughput, Heavy access concurrency, Hadoop, BlobSeer, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: E.: Data/E.5: FILES/E.5.2: Organization/structure, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.3: File Systems Management, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.2: Storage Management, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Subject Geographic: Atlanta, United States

Availability: https://inria.hal.science/inria-00456801
https://inria.hal.science/inria-00456801v1/document
https://inria.hal.science/inria-00456801v1/file/PID1126243.pdf
https://doi.org/10.1109/IPDPS.2010.5470433

Real-World Concurrency.

Authors: CANTRILL, BRYAN BONWICK, JEFF

Source: Communications of the ACM; Nov2008, Vol. 51 Issue 11, p34-39, 6p, 1 Color Photograph, 1 Illustration

Subject Terms: COMPUTER software development, COMPUTER multitasking, COMPUTER operating systems, COMPUTER programming management, COMPUTER programming, ELECTRONIC data processing

A Lock-based Protocol for Software Transactional Memory

Authors: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Contributors: Imbs, Damien Raynal, Michel As Scalable As Possible: foundations of large scale dynamic distributed systems (ASAP) et al.

Source: https://inria.hal.science/inria-00277378 ; [Research Report] PI 1893, 2008, pp.26.

Subject Terms: Atomic operation, Commit/abort, Concurrency control, Consistent global state, Lock, Opacity, Shared object, Software transactional memory, Transaction, ACM: D.: Software/D.4: OPERATING SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1893

Availability: https://inria.hal.science/inria-00277378
https://inria.hal.science/inria-00277378/document
https://inria.hal.science/inria-00277378/file/PI-1893.pdf

Process-oriented device driver development.

Authors: Barnes, F. R. M. Ritson, C. G.

Source: Concurrency & Computation: Practice & Experience; Jun2010, Vol. 22 Issue 8, p995-1006, 12p, 6 Diagrams

Subject Terms: COMPUTER operating systems, SYSTEMS software, EMBEDDED computer systems, COMPUTER input-output equipment, PROGRAMMING languages, COMPUTER programming

Performance Analysis of Concurrency Control Using Locking with Deferred Blocking.

Authors: Yu, Philip S. Dias, Daniel M.

Source: IEEE Transactions on Software Engineering; Oct93, Vol. 19 Issue 10, p982-996, 15p, 1 Color Photograph, 2 Charts, 11 Graphs

Subject Terms: SOFTWARE engineering, COMPUTER software development, COMPUTER programming, DATABASES, DATABASE management, TRANSACTION systems (Computer systems)

A Study of the Concurrency Control and Recovery Algorithms in Nested Transaction Environment.

Authors: Madria, S. K.

Source: Computer Journal; 1997, Vol. 40 Issue 10, p630-639, 10p

Subject Terms: CONCURRENT engineering, TRANSACTION systems (Computer systems), COMPUTER-aided design, WORKFLOW software, OBJECT-oriented databases

Concurrency bugs in open source software: a case study.

Authors: Abbaspour Asadollah, Sara Sundmark, Daniel Eldh, Sigrid et al.

Source: Journal of Internet Services & Applications; 4/4/2017, Vol. 8 Issue 1, p1-15, 15p

Subject Terms: OPEN source software, MALWARE, COMPUTER software testing, COMPUTER debugging software, COMPUTER programming

A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques.

Authors: Fu, Haojie Wang, Zan Chen, Xiang et al.

Source: Software Quality Journal; Sep2018, Vol. 26 Issue 3, p855-889, 35p

Subject Terms: DEFECT tracking (Computer software development), MULTICORE processors, CONCURRENT error detection, COMPUTER repair, COMPUTER software correctness

Intermittent-Aware Distributed Concurrency Control.

Authors: Tsai, Wei-Che Chen, Wei-Ming Kuo, Tei-Wei et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Nov2022, Vol. 41 Issue 11, p3721-3732, 12p

Subject Terms: ENERGY harvesting, INTERNET of things, DATA management, NONVOLATILE memory, TASK analysis

Company/Entity: TEXAS Instruments Inc.

Improving Execution Concurrency of Large-Scale Matrix Multiplication on Distributed Data-Parallel Platforms.

Authors: Gu, Rong Tang, Yun Tian, Chen et al.

Source: IEEE Transactions on Parallel & Distributed Systems; Sep2017, Vol. 28 Issue 9, p2539-2552, 14p

Subject Terms: DISTRIBUTED computing, ELECTRONIC data processing, COMPUTER networks, GRAPHICS processing units, MANAGEMENT information systems

A Study of Concurrency Bugs in an Open Source Software.

Authors: Abbaspour Asadollah, Sara Sundmark, Daniel Eldh, Sigrid et al.

Source: Open Source Systems: Integrating Communities; 2016, p16-31, 16p

Experience with Processes and Monitors in Mesa.

Authors: Lampson, Butler W. Redell, David D.

Source: Communications of the ACM; Feb1980, Vol. 23 Issue 2, p105-117, 13p, 2 Diagrams

Subject Terms: OBJECT monitors (Computer software), COMPUTER operating systems

Convoider: A Concurrency Bug Avoider Based on Transparent Software Transactional Memory.

Authors: Yu, Zhen Zuo, Yu Zhao, Yong

Source: International Journal of Parallel Programming; Feb2020, Vol. 48 Issue 1, p32-60, 29p

Subject Terms: TRANSACTION systems (Computer systems), SOURCE code, MEMORY, COMPUTER software, PROBLEM solving

Energy-Optimizing Source Code Transformations for Operating System-Driven Embedded Software.

Authors: Yunsi Fei Ravi, Srivaths Raghunathan, Anand et al.

Source: ACM Transactions on Embedded Computing Systems; Dec2007, Vol. 7 Issue 1, p1-26, 26p, 10 Diagrams, 7 Charts, 2 Graphs

Subject Terms: SOURCE code, COMPUTER operating systems, EMBEDDED computer systems, ENERGY consumption, LINUX operating systems

CONCURRENT OBJECT-ORIENTED PROGRAMMING.

Source: Communications of the ACM; Sep93, Vol. 36 Issue 9, p35-36, 2p

Subject Terms: OBJECT-oriented programming, MANAGEMENT information systems, OBJECT-oriented methods (Computer science), COMPUTER industry, DISTRIBUTED computing, APPLICATION software, COMPUTER multitasking

Single-Site and Distributed Optimistic Protocols for Concurrency Control.

Authors: Bassiouni, M. A.

Source: IEEE Transactions on Software Engineering; Aug88, Vol. 14 Issue 8, p1071-1080, 10p, 1 Diagram, 4 Graphs

Subject Terms: ELECTRONIC data processing, DATABASES, COMPUTER software, ELECTRONIC systems, ENGINEERING, SOFTWARE engineering

Towards power-elastic systems through concurrency management.

Authors: Xia, F. Mokhov, A. Zhou, Y. et al.

Source: IET Computers & Digital Techniques (Institution of Engineering & Technology); Jan2012, Vol. 6 Issue 1, p33-42, 10p, 11 Diagrams, 4 Charts, 1 Graph

Subject Terms: ELASTICITY, ENERGY consumption, FEEDBACK control systems, RUN time systems (Computer science), MICROELECTRONICS

Compositional verification of asynchronous concurrent systems using CADP

Authors: Garavel, Hubert Lang, Frédéric Mateescu, Radu et al.

Contributors: Garavel, Hubert Lang, Frédéric Mateescu, Radu et al.

Source: Acta Informatica. 52:337-392

Subject Terms: Concurrency theory, Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Verificati, Formal method, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Temporal logic, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, 0202 electrical engineering, electronic engineering, information engineering, Bisimulation, Network of automata, Partial model checking, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Semi-composition, Mu-calcu lus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Process algebra, Projection interface, 16. Peace & justice, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking, Labeled Transition System, Model minimization, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.8: Validation, Model generation