Search Results - ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management/D.4.1.5: Synchronization

Papers from the Third ACM Symposium on Operating Systems Principles.

Authors: Denning, Peter J. Randell, Brian

Source: Communications of the ACM; Mar1972, Vol. 15 Issue 3, p133-134, 2p

Subject Terms: COMPUTER operating systems, RESEARCH, CONFERENCES & conventions, COMPUTER software, SYSTEMS software

Company/Entity: ASSOCIATION for Computing Machinery

HARS: A Hardware-Assisted Runtime Software for embedded many-core architectures

Authors: Lhuillier, Y. Ojail, M. Guerre, A. et al.

Contributors: Lhuillier, Y. Ojail, M. Guerre, A. et al.

Source: ISSN: 1539-9087.

Subject Terms: B.5.0 [Register-Transfer-Level Implementation]: General, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.1: Process Management, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.4: Parallel Architectures, ACM: B.: Hardware/B.5: REGISTER-TRANSFER-LEVEL IMPLEMENTATION, [INFO]Computer Science [cs]

Availability: https://cea.hal.science/cea-01818892
https://doi.org/10.1145/2517311

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

A Large Semaphore Based Operating System.

Authors: Lauesen, Soren

Source: Communications of the ACM; Jul1975, Vol. 18 Issue 7, p377-389, 13p, 4 Diagrams

Subject Terms: COMPUTER operating systems, QUEUEING networks, COMMUNICATION, SYNCHRONIZATION, COMPUTER simulation, TIME-sharing computer systems, COMPUTER software, COMPUTER multitasking, COMPUTER scheduling

Operating System Models in a Concurrent Pascal Environment: Complexity and Performance Considerations.

Authors: Pashtan, Ariel

Source: IEEE Transactions on Software Engineering; Jan85, Vol. 11 Issue 1, p136-141, 6p, 1 Color Photograph, 2 Diagrams, 4 Charts, 1 Graph

Subject Terms: COMPUTER operating systems, COMPUTER multitasking, CONCURRENT Pascal (Computer program language), SYNCHRONIZATION, COMPUTATIONAL complexity, COMPUTER programming

Synchronization with Eventcounts and Sequencers.

Authors: Reed, David P. Kanodia, Rajendra K. Gaines, R.S.

Source: Communications of the ACM; Feb1979, Vol. 22 Issue 2, p115-123, 9p

Subject Terms: SYNCHRONIZATION, COMPUTER software, COMPUTER operating systems

TxLinux and MetaTM: Transactional Memory and the Operating System.

Authors: Rossbach, Christopher J. Ramadan, Hany E. Hofmann, Owen S. et al.

Source: Communications of the ACM; Sep2008, Vol. 51 Issue 9, p83-91, 9p, 3 Charts, 2 Graphs

Subject Terms: COMPUTER operating system software, ARCHITECTURE, COMPUTER operating systems, SYNCHRONIZATION, MEMORY, DATA protection

Evolution of Temporal Multimedia Synchronization Principles: A Historical Viewpoint.

Authors: ZIXIA HUANG NAHRSTEDT, KLARA STEINMETZ, RALF

Source: ACM Transactions on Multimedia Computing, Communications & Applications; Oct2013 Supplement 1, Vol. 9, p1-23, 23p

Subject Terms: MULTIMEDIA systems, SYNCHRONIZATION software, APPLICATION software, COMMUNICATION, COMPUTER software, INTERACTIVE multimedia, MULTIMEDIA communications

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

User-Level Implementations of Read-Copy Update.

Authors: Desnoyers, Mathieu McKenney, Paul E. Stern, Alan S. et al.

Source: IEEE Transactions on Parallel & Distributed Systems; Feb2012, Vol. 23 Issue 2, p375-382, 0p

Subject Terms: COMPUTER users, SYNCHRONIZATION, DATA structures, SOFTWARE engineering, COMPUTER operating systems, PERFORMANCE evaluation, KERNEL functions

What Every Computer Scientist Should Know About Floating-Point Arithmetic Numerical Computation Guide Appendix D What Every Computer Scientist Should Know About Floating-Point Arithmetic

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://sar.informatik.hu-berlin.de/teaching/2010-w/2010-w%20GdP/readings/m0-b-about-floating-point-arithmetic_.pdf.

Subject Terms: Categories and Subject Descriptors, Primary) C.0 [Computer Systems Organization, General-- instruction set design, D.3.4 [Programming Languages, Processors-- compilers, optimization, G.1.0 [Numerical Analysis, General-- computer arithmetic, error analysis, numerical algorithms (Secondary) D.2.1 [Software Engineering, Requirements/Specifications-- languages, D.3.4 Programming Languages, Formal Definitions and Theory-- semantics, D.4.1 Operating Systems, Process Management-- synchronization. General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, Denormalized number, exception, floating-point, floating-point standard, gradual underflow, guard digit, NaN, overflow, relative error, rounding error, rounding mode, ulp

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.3861

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.3861
http://sar.informatik.hu-berlin.de/teaching/2010-w/2010-w%20GdP/readings/m0-b-about-floating-point-arithmetic_.pdf

Distributed Software-Defined Networking Management: An Overview and Open Challenges.

Authors: Alsheikh, Rawan S. Fadel, Etimad A. Akkari, Nadine T.

Source: ARO: The Scientific Journal of Koya University; Dec2024, Vol. 12 Issue 2, p157-166, 10p

Subject Terms: SOFTWARE-defined networking, NETWORK performance, SCALABILITY, SYNCHRONIZATION, TOPOLOGY

Coordinating multiple administration loops using discrete control

Authors: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric et al.

Contributors: Gueye, Soguy Mak-Karé de Palma, Noël Rutten, Eric et al.

Source: ACM SIGOPS Operating Systems Review. 47:18-25

Subject Terms: [INFO.INFO-DC]Computer Science [cs]/Distributed, coordination, reconfiguration, reactive programming, Autonomic managers, administration loops, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures/D.2.11.1: Domain-specific architectures, discrete controller synthesis, 02 engineering and technology, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques, Parallel, components, [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], and Cluster Computing [cs.DC], [INFO.INFO-OS] Computer Science [cs]/Operating Systems [cs.OS], [INFO.INFO-PF] Computer Science [cs]/Performance [cs.PF], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS], model-based approach, ACM: K.: Computing Milieux/K.6: MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS/K.6.4: System Management

Access URL: https://dl.acm.org/doi/10.1145/2553070.2553074
https://hal.inria.fr/hal-00949555

Thread Synchronization: From Mutual Exclusion to Transactional Memory.

Authors: Kamakoti, V. Korgaonkar, Kunal

Source: IETE Technical Review; Jul/Aug2011, Vol. 28 Issue 4, p302-315, 14p

Subject Terms: SYNCHRONIZATION, TIME measurements, TELECOMMUNICATION, INTELLIGENT agents, SOFTWARE configuration management, SOFTWARE engineering

Design of real-time periodic control systems through synchronization and fixed priorities.

Authors: Simon, D. Benattar, F.

Source: International Journal of Systems Science; 2/10/2005, Vol. 36 Issue 2, p57-76, 20p

Subject Terms: COMPUTER operating systems, CARRIER control systems, COMPUTER technical support, ELECTRONIC modulation, AUTOMATIC control systems, ELECTRONIC data processing

What every computer scientist should know about floating-point arithmetic

Authors: David Goldberg The Pennsylvania State University CiteSeerX Archives

Contributors: David Goldberg The Pennsylvania State University CiteSeerX Archives

Source: https://www.ualberta.ca/~kbeach/phys420_580_2010/docs/ACM-Goldberg.pdf.

Subject Terms: Categories and Subject Descriptors, Primary) C.0 [Computer Systems Organization, General – instruction set design, D.3.4 [Programming Languages, Processors —compders, optirruzatzon, G. 1.0 [Numerical Analysis, General—computer arithmetic, error analysis, numerzcal algorithms (Secondary) D. 2.1 [Software Engineering, Requirements/Specifications – languages, 3.1 [Programming Languages, Formal Definitions and Theory —semantZcs D, 4.1 [Operating Systems, Process Management—synchronization General Terms, Algorithms, Design, Languages Additional Key Words and Phrases, denormalized number, exception, floating-point, floating-point standard, gradual underflow, guard digit, NaN, overflow, relative error, rounding error

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.4807

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.4807

The notion of Timed Registers and its application to Indulgent Synchronization

Authors: Raynal, Michel Taubenfeld, Gadi Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Contributors: Raynal, Michel Taubenfeld, Gadi Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) et al.

Source: https://inria.hal.science/inria-00108970 ; [Research Report] PI 1820, 2006, pp.17.

Subject Terms: Asynchronous shared memory system, Atomic register, Concurrent object, Consensus, Contention manager, Mutual exclusion, Process crash, Renaming, Simplicity, Test&Set, Timing assumption, Timing constraint, Universal object, Wait-free implementation, ACM: D.: Software/D.4: OPERATING SYSTEMS, ACM: C.: Computer Systems Organization/C.4: PERFORMANCE OF SYSTEMS, [INFO.INFO-OS]Computer Science [cs]/Operating Systems [cs.OS]

Relation: Report N°: PI 1820

Availability: https://inria.hal.science/inria-00108970
https://inria.hal.science/inria-00108970/document
https://inria.hal.science/inria-00108970/file/PI-1820.pdf

Designing synchronizer module in CMMS software based on lean smart maintenance and process mining.

Authors: Hosseinizadeh Mazloumi, Seyed Hesam Moini, Alireza Agha Mohammad Ali Kermani, Mehrdad

Source: Journal of Quality in Maintenance Engineering; 2023, Vol. 29 Issue 2, p509-529, 21p

Subject Terms: PROCESS mining, MANAGEMENT information systems, BUSINESS process management, INFORMATION resources management, DECISION support systems, SOFTWARE maintenance

Retrospective on DACNOS.

Authors: Geihs, Kurt Hollberg, Ulf

Source: Communications of the ACM; Apr90, Vol. 33 Issue 4, p439-448, 10p, 1 Diagram

Subject Terms: COMPUTER operating systems, NETWORK operating system, COMPUTER network architectures, SYSTEMS software, RESOURCE allocation, COMPUTER software

On the Design and Implementation of an Effective Prefetch Strategy for DSM Systems.

Authors: Hsiao-Hsi Wang Kuan-Ching Li Kuo-Jen Wang et al.

Source: Journal of Supercomputing; Jul2006, Vol. 37 Issue 1, p91-112, 22p, 7 Diagrams, 7 Graphs

Subject Terms: DISTRIBUTED shared memory, DISTRIBUTED computing, COMPUTER memory management, MULTIPROCESSORS, COMPUTER systems, SYNCHRONIZATION, TIME measurements, COMPUTER networks, COMPUTER software