Proceedings of 1994 International Conference on Parallel and Distributed Systems最新文献_第2页

Extracting the parallelism in program with unstructured control statements 利用非结构化控制语句提取程序中的并行性

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590307

Fubo Zhang, E. D'Hollander

引用次数: 5

Storage design and retrieval of continuous multimedia using multi-disks 多磁盘连续多媒体的存储设计与检索

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590069

Wen-Jiin Tsai, Suh-Yin Lee

引用次数: 3

A kernel-level DSVM controller for the diskless cluster system 用于无磁盘集群系统的内核级DSVM控制器

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590414

Feng-Ming Hsieh, Ying-Nan Chen, L. Tseng

引用次数: 0

Branch prediction for enhancing fine-grained parallelism in Prolog 分支预测增强Prolog中的细粒度并行性

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590462

Ruey-Liang Ma, C. Chung

引用次数: 0

A discrete-event simulation model for characterizing parallel file transfers 表征并行文件传输的离散事件模拟模型

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590071

C. Chee, E. Im, C. Ramamoorthy

引用次数: 0

A distributed memory multiprocessor implementation of C-with-Ease C-with-Ease的分布式内存多处理器实现

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590304

T. MacKenzie, T. Dix

引用次数: 2

A mesh partitioning tool and its applications to parallel processing 网格划分工具及其在并行处理中的应用

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590080

S. Hsieh

引用次数: 5

On the embedding of a class of regular graphs in a faulty hypercube 一类正则图在故障超立方体中的嵌入

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590360

Y. Tseng, T. Lai

引用次数: 9

An assertional proof of a lock synchronization algorithm using fetch and store atomic instructions 使用获取和存储原子指令的锁同步算法的断言证明

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590470

Ting-Lu Huang, Jann-Hann Lin

{"title":"An assertional proof of a lock synchronization algorithm using fetch and store atomic instructions","authors":"Ting-Lu Huang, Jann-Hann Lin","doi":"10.1109/ICPADS.1994.590470","DOIUrl":"https://doi.org/10.1109/ICPADS.1994.590470","url":null,"abstract":"A new lock synchronization algorithm, proposed independently by Craig and the authors, not only eliminates memory contention caused by process spinning but also preserves first in first out property. A previous result, the MCS lock algorithm, requires both compare and swap and fetch and store instructions, or the FIFO property is lost and hence starvation may occur. The new one requires only fetch and store. We provide an assertional proof for the new algorithm. Most of behavioral proofs of concurrent programs are error-prone since it is difficult and tedious to take all possibilities of interleaving among the processes into consideration. An assertional proof replaces a large number of possibilities of interleaving by a small number of invariants. New techniques in this proof are: an assertional characterization of token bit accessibility; the definition of effective assignments that brings about the notion of token creation/destruction; the definition of token count that derives the mutual exclusion theorem; and the constructing procedure of a token-list that faithfully records the arrival time sequence of lock requests so that FIFO ordering can be enforced.","PeriodicalId":154429,"journal":{"name":"Proceedings of 1994 International Conference on Parallel and Distributed Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126587467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Exploiting communication latency hiding for parallel network computing: model and analysis 利用通信延迟隐藏实现并行网络计算:模型与分析

Proceedings of 1994 International Conference on Parallel and Distributed Systems Pub Date : 1994-12-19 DOI: 10.1109/ICPADS.1994.590409

V. Strumpen, T. Casavant

引用次数: 7