Suchergebnisse - acm: d.: software/d.4: operating system/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

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

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

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

Schlagwörter: 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

Verfügbarkeit: https://inria.hal.science/inria-00362844
https://inria.hal.science/inria-00362844/document
https://inria.hal.science/inria-00362844/file/PI-1923.pdf

Real-World Concurrency.

Autoren: CANTRILL, BRYAN BONWICK, JEFF

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

Schlagwörter: COMPUTER software development, COMPUTER multitasking, COMPUTER operating systems, COMPUTER programming management, COMPUTER programming, ELECTRONIC data processing

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

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

Weitere Verfasser: Nicolae, Bogdan Moise, Diana Antoniu, Gabriel et al.

Quelle: 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

Schlagwörter: 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]

Geographisches Schlagwort: Atlanta, United States

Verfügbarkeit: 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

On the Consistency Conditions of Transactional Memories

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

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

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

Schlagwörter: 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

Verfügbarkeit: https://inria.hal.science/inria-00350131
https://inria.hal.science/inria-00350131v1/document
https://inria.hal.science/inria-00350131v1/file/PI-1917.pdf

A Lock-based Protocol for Software Transactional Memory

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

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

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

Schlagwörter: 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

Verfügbarkeit: 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.

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

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

Schlagwörter: COMPUTER operating systems, SYSTEMS software, EMBEDDED computer systems, COMPUTER input-output equipment, PROGRAMMING languages, COMPUTER programming

Intermittent-Aware Distributed Concurrency Control.

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

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

Schlagwörter: ENERGY harvesting, INTERNET of things, DATA management, NONVOLATILE memory, TASK analysis

Firma/Körperschaft: TEXAS Instruments Inc.

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

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

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

Schlagwörter: DEFECT tracking (Computer software development), MULTICORE processors, CONCURRENT error detection, COMPUTER repair, COMPUTER software correctness

A Study of Concurrency Bugs in an Open Source Software.

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

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

Concurrency bugs in open source software: a case study.

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

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

Schlagwörter: OPEN source software, MALWARE, COMPUTER software testing, COMPUTER debugging software, COMPUTER programming

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

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

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

Schlagwörter: SOURCE code, COMPUTER operating systems, EMBEDDED computer systems, ENERGY consumption, LINUX operating systems

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

Autoren: Madria, S. K.

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

Schlagwörter: CONCURRENT engineering, TRANSACTION systems (Computer systems), COMPUTER-aided design, WORKFLOW software, OBJECT-oriented databases

Experience with Processes and Monitors in Mesa.

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

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

Schlagwörter: OBJECT monitors (Computer software), COMPUTER operating systems

SELF-ASSESSMENT PROCEDURE XXI - A self-assessment procedure on concurrency I.

Autoren: Rudolph, Brian A.

Quelle: Communications of the ACM; May90, Vol. 33 Issue 5, p563-576, 14p

Schlagwörter: COMPUTER multitasking, QUESTIONS & answers, EVALUATION, PROFESSIONAL employees, MICROPROCESSORS, ALGORITHMS

Signature-Free Asynchronous Binary Byzantine Consensus with t$

Autoren: Mostéfaoui, Achour Moumen, Hamouma Raynal, Michel et al.

Weitere Verfasser: Mostéfaoui, Achour Moumen, Hamouma Raynal, Michel et al.

Schlagwörter: Consensus, Byzantine process, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, Optimal resilience, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.3: Network operating systems, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming, Broadcast abstraction, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Signature-free algorithm, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems/C.2.4.1: Distributed applications, [INFO.INFO-DC]Computer Science [cs]/Distributed, Randomized algorithm, Distributed algorithm, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.2: Computability theory, Parallel, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F.1.1.3: Relations between models, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, Asynchronous message-passing system, Simplicity, and Cluster Computing [cs.DC], [INFO.INFO-IR]Computer Science [cs]/Information Retrieval [cs.IR], ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.0: Alternation and nondeterminism, [INFO.INFO-IR] Computer Science [cs]/Information Retrieval [cs.IR], Common coin

Dateibeschreibung: application/pdf

Synchronous byzantine agreement with nearly a cubic number of communication bits

Autoren: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool et al.

Weitere Verfasser: Kowalski, Dariusz R. Mostefaoui, Achour Department of Computer Science Liverpool et al.

Quelle: ACM symposium on Principles of distributed computing (PODC'13) ; https://hal.science/hal-01151136 ; ACM symposium on Principles of distributed computing (PODC'13), Jul 2013, New-York, United States. pp.84-91, ⟨10.1145/2484239.2484271⟩

Schlagwörter: Agreement problem, Synchronous distributed system, Byzantine process, Message-passing model, Round-based protocol, EIG, Consensus, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures/C.1.4.0: Distributed architectures, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.1: Distributed systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability/D.4.5.2: Fault-tolerance, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.0: Concurrency, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Geographisches Schlagwort: New-York, United States

Verfügbarkeit: https://hal.science/hal-01151136
https://hal.science/hal-01151136v1/document
https://hal.science/hal-01151136v1/file/podc%20final.pdf
https://doi.org/10.1145/2484239.2484271

CONCURRENT OBJECT-ORIENTED PROGRAMMING.

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

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

CoopREP: Cooperative record and replay of concurrency bugs.

Autoren: Machado, Nuno Romano, Paolo Rodrigues, Luís

Quelle: Software Testing: Verification & Reliability; Jan2018, Vol. 28 Issue 1, pn/a-1, 27p

Schlagwörter: DEBUGGING, COMPUTER software, COMPUTER programming, COMPUTER architecture, HEURISTIC programming

Single-Site and Distributed Optimistic Protocols for Concurrency Control.

Autoren: Bassiouni, M. A.

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

Schlagwörter: ELECTRONIC data processing, DATABASES, COMPUTER software, ELECTRONIC systems, ENGINEERING, SOFTWARE engineering

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

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

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

Schlagwörter: DISTRIBUTED computing, ELECTRONIC data processing, COMPUTER networks, GRAPHICS processing units, MANAGEMENT information systems