Linearizable Wait-Free Iteration Operations in Shared Double-Ended Queues

2017 ◽  
Vol 27 (02) ◽  
pp. 1750001 ◽  
Author(s):  
Panagiota Fatourou ◽  
Yiannis Nikolakopoulos ◽  
Marina Papatriantafilou
Keyword(s):  
Data Processing ◽  
Shared Data ◽  
Data Object ◽  
Synchronization Primitives

Shared data object implementations that allow non-blocking concurrent operations are useful for in-memory data-processing, especially when they support consistent bulk operations like iterations. We propose an algorithmic implementation for concurrent iterators on shared double-ended queues (deques), building on and complementing a known lock-free deque implementation by M. Michael. The proposed construction is linearizable and wait-free. Moreover, it is read-only, so it does not execute expensive synchronization primitives and it does not interfere with update operations.

scholarly journals cpalockator: Thread-Modular Analysis with Projections

2021 ◽  
pp. 423-427
Author(s):  
Pavel Andrianov ◽  
Vadim Mutilin ◽  
Alexey Khoroshilov
Keyword(s):  
Software Verification ◽  
Modular Approach ◽  
Shared Data ◽  
Modular Analysis ◽  
Synchronization Primitives ◽  
Special Environment

AbstractOur submission to SV-COMP’21 is based on the software verification framework "Image missing" and implements the extension to the thread-modular approach. It considers every thread separately, but in a special environment which models thread interactions. The environment is expressed by projections of normal transitions in each thread. A projection contains a description of possible effects over shared data and synchronization primitives, as well as conditions of its application. Adjusting the precision of the projections, one can find a balance between the speed and the precision of the whole analysis.Implementation on the top of the "Image missing" framework allows combining our approach with existing algorithms and analyses. Evaluation on the sv-benchmarks confirms the scalability and soundness of the approach.

The Karolinska Hospital Information System

1974 ◽  
Vol 13 (03) ◽  
pp. 125-140 ◽  
Author(s):  
Ch. Mellner ◽  
H. Selajstder ◽  
J. Wolodakski
Keyword(s):  
Information System ◽  
Data Processing ◽  
Data Base ◽  
Hospital Information System ◽  
Care Delivery ◽  
Traditional Approach ◽  
Processing System ◽  
Systems Design ◽  
Data Processing System ◽  
Karolinska Hospital

The paper gives a report on the Karolinska Hospital Information System in three parts.In part I, the information problems in health care delivery are discussed and the approach to systems design at the Karolinska Hospital is reported, contrasted, with the traditional approach.In part II, the data base and the data processing system, named T1—J 5, are described.In part III, the applications of the data base and the data processing system are illustrated by a broad description of the contents and rise of the patient data base at the Karolinska Hospital.

Data Screening Methods – Application to Differential Diagnosis in Pancreatic Pathology from Radiological Signs

1978 ◽  
Vol 17 (01) ◽  
pp. 36-40 ◽  
Author(s):  
J.-P. Durbec ◽  
Jaqueline Cornée ◽  
P. Berthezene
Keyword(s):  
Differential Diagnosis ◽  
Mutual Information ◽  
Data Processing ◽  
Screening Methods ◽  
Automatic Data ◽  
Chronic Calcifying Pancreatitis ◽  
Number Of Patients ◽  
Calcifying Pancreatitis ◽  
Pancreatic Pathology ◽  
Data Screening

The practice of systematic examinations in hospitals and the increasing development of automatic data processing permits the storing of a great deal of information about a large number of patients belonging to different diagnosis groups.To predict or to characterize these diagnosis groups some descriptors are particularly useful, others carry no information. Data screening based on the properties of mutual information and on the log cross products ratios in contingency tables is developed. The most useful descriptors are selected. For each one the characterized groups are specified.This approach has been performed on a set of binary (presence—absence) radiological variables. Four diagnoses groups are concerned: cancer of pancreas, chronic calcifying pancreatitis, non-calcifying pancreatitis and probable pancreatitis. Only twenty of the three hundred and forty initial radiological variables are selected. The presence of each corresponding sign is associated with one or more diagnosis groups.

The Software «MMI–calibration 3.0»

Metrologiya ◽  
2020 ◽  
pp. 16-24
Author(s):  
Alexandr D. Chikmarev
Keyword(s):  
Power Series ◽  
Data Processing ◽  
Statistical Treatment ◽  
Correction Function ◽  
Calibration Function ◽  
Measuring Instrument ◽  
Working Standard ◽  
Calibration Protocol ◽  
Error Probabilities ◽  
Continuous Power

A single program has been developed to ensure that the final result of the data processing of the measurement calibration protocol is obtained under normal conditions. The calibration result contains a calibration function or a correction function in the form of a continuous sedate series and a calibration chart based on typical additive error probabilities. Solved the problem of the statistical treatment of the calibration protocol measuring in normal conditions within a single program “MMI–calibration 3.0” that includes identification of the calibration function in a continuous power series of indications of a measuring instrument and chart calibration. An example of solving the problem of calibration of the thermometer by the working standard of the 3rd grade with the help of the “MMI-calibration 3.0” program.

Sign in / Sign up

Export Citation Format

Share Document