期刊文献+
共找到30篇文章
< 1 2 >
每页显示 20 50 100
Quantitative evaluation of multi-process collaborative operation in steelmaking–continuous casting sections 被引量:4
1
作者 Jian-ping Yang Qing Liu +1 位作者 Wei-da Guo Jun-guo Zhang 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 2021年第8期1353-1366,共14页
The quantitative evaluation of multi-process collaborative operation is of great significance for the improvement of production planning and scheduling in steelmaking–continuous casting sections(SCCSs). However, this... The quantitative evaluation of multi-process collaborative operation is of great significance for the improvement of production planning and scheduling in steelmaking–continuous casting sections(SCCSs). However, this evaluation is difficult since it relies on an in-depth understanding of the operating mechanism of SCCSs, and few existing methods can be used to conduct the evaluation, due to the lack of full-scale consideration of the multiple factors related to the production operation. In this study, three quantitative models were developed, and the multiprocess collaborative operation level was evaluated through the laminar-flow operation degree, the process matching degree, and the scheduling strategy availability degree. Based on the evaluation models for the laminar-flow operation and process matching levels, this study investigated the production status of two steelmaking plants, plants A and B, based on actual production data. The average laminar-flow operation(process matching) degrees of SCCSs were obtained as 0.638(0.610) and 1.000(0.759) for plants A and B, respectively, for the period of April to July 2019. Then, a scheduling strategy based on the optimization of the furnace-caster coordinating mode was suggested for plant A. Simulation experiments showed higher availability than the greedy-based and manual strategies. After the proposed scheduling strategy was applied,the average process matching degree of the SCCS of plant A increased by 4.6% for the period of September to November 2019. The multi-process collaborative operation level was improved with fewer adjustments and interruptions in casting. 展开更多
关键词 steelmaking–continuous casting multi-process collaborative operation quantitative evaluation model laminar-flow operation process matching scheduling strategy
下载PDF
Using multi-threads to hide deduplication I/O latency with low synchronization overhead 被引量:1
2
作者 朱锐 秦磊华 +1 位作者 周敬利 郑寰 《Journal of Central South University》 SCIE EI CAS 2013年第6期1582-1591,共10页
Data deduplication, as a compression method, has been widely used in most backup systems to improve bandwidth and space efficiency. As data exploded to be backed up, two main challenges in data deduplication are the C... Data deduplication, as a compression method, has been widely used in most backup systems to improve bandwidth and space efficiency. As data exploded to be backed up, two main challenges in data deduplication are the CPU-intensive chunking and hashing works and the I/0 intensive disk-index access latency. However, CPU-intensive works have been vastly parallelized and speeded up by multi-core and many-core processors; the I/0 latency is likely becoming the bottleneck in data deduplication. To alleviate the challenge of I/0 latency in multi-core systems, multi-threaded deduplication (Multi-Dedup) architecture was proposed. The main idea of Multi-Dedup was using parallel deduplication threads to hide the I/0 latency. A prefix based concurrent index was designed to maintain the internal consistency of the deduplication index with low synchronization overhead. On the other hand, a collisionless cache array was also designed to preserve locality and similarity within the parallel threads. In various real-world datasets experiments, Multi-Dedup achieves 3-5 times performance improvements incorporating with locality-based ChunkStash and local-similarity based SiLo methods. In addition, Multi-Dedup has dramatically decreased the synchronization overhead and achieves 1.5-2 times performance improvements comparing to traditional lock-based synchronization methods. 展开更多
关键词 multi-thread MULTI-CORE parallel data deduplication
下载PDF
An HLA/RTI Architecture Based on Multi-thread Processing 被引量:1
3
作者 管莉 邹汝平 +1 位作者 朱斌 郝重阳 《Defence Technology(防务技术)》 SCIE EI CAS 2010年第3期182-188,共7页
In order to improve the real-time performance of the real-time HLA(high level architecture) in the application of massive data communication volume,multi-thread processing was adopted,thread pool structure was introdu... In order to improve the real-time performance of the real-time HLA(high level architecture) in the application of massive data communication volume,multi-thread processing was adopted,thread pool structure was introduced into the system,different threads to handle corresponding message queues was utilized to respond different message requests.Furthermore,an allocation strategy of semi-complete deprivation of priority was adopted,which reduces thread switching cost and processing burden in the system,provided that the message requests with high priority can be responded in time,thus improves the system's overall performance.The design and experiment results indicate that the method proposed in this paper can improve the real-time performance of HLA in distributed system applications greatly. 展开更多
关键词 computer application HLA/RTI multi-thread distributed interactive simulation system
下载PDF
Dynamically Translating Binary Code for Multi-Threaded Programs Using Shared Code Cache
4
作者 Chia-Lun Liu Jiunn-Yeu Chen +1 位作者 Wuu Yang Wei-Chung Hsu 《Journal of Electronic Science and Technology》 CAS 2014年第4期434-438,共5页
mc211vm is a process-level ARM-to-x86 binary translator developed in our lab in the past several years. Currently, it is able to emulate singlethreaded programs. We extend mc211vm to emulate multi-threaded programs. O... mc211vm is a process-level ARM-to-x86 binary translator developed in our lab in the past several years. Currently, it is able to emulate singlethreaded programs. We extend mc211vm to emulate multi-threaded programs. Our main task is to reconstruct its architecture for multi-threaded programs. Register mapping, code cache management, and address mapping in mc2llvm have all been modified. In addition, to further speed up the emulation, we collect hot paths, aggressively optimize and generate code for them at run time. Additional threads are used to alleviate the overhead. Thus, when the same hot path is walked through again, the corresponding optimized native code will be executed instead. In our experiments, our system is 8.8X faster than QEMU (quick emulator) on average when emulating the specified benchmarks with 8 guest threads. 展开更多
关键词 ARM binary translation hot path mc211vm multi-threaded program QEMU (quickemulator).
下载PDF
On Multi-Thread Crawler Optimization for Scalable Text Searching
5
作者 Guang Sun Huanxin Xiang Shuanghu Li 《Journal on Big Data》 2019年第2期89-106,共18页
Web crawlers are an important part of modern search engines.With the development of the times,data has exploded and humans have entered a“big data era”.For example,Wikipedia carries the knowledge from all over the w... Web crawlers are an important part of modern search engines.With the development of the times,data has exploded and humans have entered a“big data era”.For example,Wikipedia carries the knowledge from all over the world,records the realtime news that occurs every day,and provides users with a good database of data,but because of the large amount of data,it puts a lot of pressure on users to search.At present,single-threaded crawling data can no longer meet the requirements of text crawling.In order to improve the performance and program versatility of single-threaded crawlers,a high-speed multi-threaded web crawler is designed to crawl the network hyper-scale text database.Multi-threaded crawling uses multiple threads to process web pages in parallel,combining breadth-first and depth-first algorithms to control web crawling.The practice project is based on the Python language to achieve multi-threaded optimization network hyper-large-scale text database-Wikipedia book crawling method,the project is inspired by the article on the Wikipedia article in the Big Data Digest public number. 展开更多
关键词 multi-threading text database OPTIMIZATION breadth-first search depth-first search.
下载PDF
Research and Review on the Java Multi-thread Programming and Its Further Development Tendency
6
作者 Jiangtao Geng 《International Journal of Technology Management》 2016年第5期4-6,共3页
In this paper, we conduct research on the Java multi-thread programming and its further development tendency. Multithreading mechanisms can run several programs at the same time, make the program run effi ciency becom... In this paper, we conduct research on the Java multi-thread programming and its further development tendency. Multithreading mechanisms can run several programs at the same time, make the program run effi ciency becomes higher that also can overcome the problem of basic traditional programming language design while its design is the key to the realization of the synchronous thread. Multithreading is a mechanism that allows concurrent execution of multiple instruction stream in the program, each instruction stream is called a thread, independent from each other between each other. Thread is also known as a lightweight process, it have independent execution and process control. Our research starts from the analysis of the corresponding mechanism to enhance the performance that is innovative and meaningful. 展开更多
关键词 REVIEW multi-thread Development TENDENCY PROGRAMMING COMPUTER SCIENCE
下载PDF
Reduction of distortion and improvement of efficiency for gridding of scattered gravity and magnetic data 被引量:1
7
作者 张晨 姚长利 +3 位作者 谢永茂 郑元满 关胡良 洪东明 《Applied Geophysics》 SCIE CSCD 2012年第4期378-390,494,共14页
This paper presents a reasonable gridding-parameters extraction method for setting the optimal interpolation nodes in the gridding of scattered observed data. The method can extract optimized gridding parameters based... This paper presents a reasonable gridding-parameters extraction method for setting the optimal interpolation nodes in the gridding of scattered observed data. The method can extract optimized gridding parameters based on the distribution of features in raw data. Modeling analysis proves that distortion caused by gridding can be greatly reduced when using such parameters. We also present some improved technical measures that use human- machine interaction and multi-thread parallel technology to solve inadequacies in traditional gridding software. On the basis of these methods, we have developed software that can be used to grid scattered data using a graphic interface. Finally, a comparison of different gridding parameters on field magnetic data from Ji Lin Province, North China demonstrates the superiority of the proposed method in eliminating the distortions and enhancing gridding efficiency. 展开更多
关键词 Scattered data gridding parameters analysis of distribution features human-machine interaction multi-thread parallel technology
下载PDF
Panoramic Imaging System Inspired by Insect Compound Eyes 被引量:1
8
作者 邢强 王浩 戴振东 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI 2014年第3期287-292,共6页
Inspired by the unique structure of insect compound eyes,a multi-channel image acquisition system is designed to photograph a cylindrical panorama of its surroundings with one shot. The hardware structure consists of ... Inspired by the unique structure of insect compound eyes,a multi-channel image acquisition system is designed to photograph a cylindrical panorama of its surroundings with one shot. The hardware structure consists of an embedded ARM system and one array of 16 micro-image sensors. The system achieves the synchronization of captured photos in 10 ms,as well as 10 f /s video capture. The software architecture includes the TCP /IP protocol,video capture procedures in"Poll/Read"or"video streaming"modes,thread pool monitoring in multi-threading mutex,synchronization control with the"event""mutex signal"and"critical region"functions,and a synthetic image algorithm characterized by its portability,modularity,and remote transmission. The panoramic imaging system is expected to be a vision sensor for mobile robotics. 展开更多
关键词 multi-channel image acquisition cylindrical panoramic image multi-thread embedded ARM
下载PDF
Fault Detection and Isolation for Low Hardware Redundancy Flight Control System 被引量:2
9
作者 Yongliang Du Yakui Gao 《Journal of Energy and Power Engineering》 2014年第3期543-550,共8页
The problems of current highly redundant flight control system are analyzed in this paper. Our study gives methods of utilizing other information to reduce physical components on the condition of meeting the reliabili... The problems of current highly redundant flight control system are analyzed in this paper. Our study gives methods of utilizing other information to reduce physical components on the condition of meeting the reliability requirements for flight control system. The strategies presented in this paper mainly include information redundancy, multi-thread, time redundancy, geometry space redundancy, etc.. Analysis and simulation show these non-hardware based methods can reduce the requirement of system hardware level and thus reduce the system complexity, weight, space, costs and R&D (research and development) time. 展开更多
关键词 Low hardware redundancy multi-thread wavelet analysis.
下载PDF
Improved Software Implementation for Montgomery Elliptic Curve Cryptosystem
10
作者 Mohammad Al-Khatib Wafaa Saif 《Computers, Materials & Continua》 SCIE EI 2022年第3期4847-4865,共19页
The last decade witnessed rapid increase in multimedia and other applications that require transmitting and protecting huge amount of data streams simultaneously.For such applications,a high-performance cryptosystem i... The last decade witnessed rapid increase in multimedia and other applications that require transmitting and protecting huge amount of data streams simultaneously.For such applications,a high-performance cryptosystem is compulsory to provide necessary security services.Elliptic curve cryptosystem(ECC)has been introduced as a considerable option.However,the usual sequential implementation of ECC and the standard elliptic curve(EC)form cannot achieve required performance level.Moreover,the widely used Hardware implementation of ECC is costly option and may be not affordable.This research aims to develop a high-performance parallel software implementation for ECC.To achieve this,many experiments were performed to examine several factors affecting ECC performance including the projective coordinates,the scalar multiplication algorithm,the elliptic curve(EC)form,and the parallel implementation.The ECC performance was analyzed using the different factors to tune-up them and select the best choices to increase the speed of the cryptosystem.Experimental results illustrated that parallel Montgomery ECC implementation using homogenous projection achieves the highest performance level,since it scored the shortest time delay for ECC computations.In addition,results showed thatNAF algorithm consumes less time to perform encryption and scalar multiplication operations in comparison withMontgomery ladder and binarymethods.Java multi-threading technique was adopted to implement ECC computations in parallel.The proposed multithreaded Montgomery ECC implementation significantly improves the performance level compared to previously presented parallel and sequential implementations. 展开更多
关键词 Elliptic curve cryptosystem parallel software implementation multi-threading scalar multiplication algorithms modular arithmetic
下载PDF
The Double Edge Sword Based Distributed Executor Service
11
作者 Faisal Bahadur Arif Iqbal Umar +2 位作者 Insaf Ullah Fahad Algarni Muhammad Asghar Khan 《Computer Systems Science & Engineering》 SCIE EI 2022年第8期589-604,共16页
Scalability is one of the most important quality attribute of softwareintensive systems,because it maintains an effective performance parallel to the large fluctuating and sometimes unpredictable workload.In order to ... Scalability is one of the most important quality attribute of softwareintensive systems,because it maintains an effective performance parallel to the large fluctuating and sometimes unpredictable workload.In order to achieve scalability,thread pool system(TPS)(which is also known as executor service)has been used extensively as a middleware service in software-intensive systems.TPS optimization is a challenging problem that determines the optimal size of thread pool dynamically on runtime.In case of distributed-TPS(DTPS),another issue is the load balancing b/w available set of TPSs running at backend servers.Existing DTPSs are overloaded either due to an inappropriate TPS optimization strategy at backend servers or improper load balancing scheme that cannot quickly recover an overload.Consequently,the performance of software-intensive system is suffered.Thus,in this paper,we propose a new DTPS that follows the collaborative round robin load balancing that has the effect of a double-edge sword.On the one hand,it effectively performs the load balancing(in case of overload situation)among available TPSs by a fast overload recovery procedure that decelerates the load on the overloaded TPSs up to their capacities and shifts the remaining load towards other gracefully running TPSs.And on the other hand,its robust load deceleration technique which is applied to an overloaded TPS sets an appropriate upper bound of thread pool size,because the pool size in each TPS is kept equal to the request rate on it,hence dynamically optimizes TPS.We evaluated the results of the proposed system against state of the art DTPSs by a clientserver based simulator and found that our system outperformed by sustaining smaller response times. 展开更多
关键词 Software-intensive systems distributed executor service load balancing overload monitoring multi-threading thread pool performance
下载PDF
On Numerical methods for determination of Earth gravity field model using mass satellite gravity gradiometry data
12
作者 Zhu Guangbin Chang Xiaotao +2 位作者 Li Xinfa Zhang Xinhang Li Yuxing 《Geodesy and Geodynamics》 2012年第1期57-62,共6页
On the basis of Space-Wise Least Square method, three numerical methods including Cholesky de- composition, pre-conditioned conjugate gradient and Open Multi-Processing parallel algorithm are applied into the determin... On the basis of Space-Wise Least Square method, three numerical methods including Cholesky de- composition, pre-conditioned conjugate gradient and Open Multi-Processing parallel algorithm are applied into the determination of gravity field with satellite gravity gradiometry data. The results show that, Cholesky de- composition method has been unable to meet the requirements of computation efficiency when the computer hardware is limited. Pre-conditioned conjugate gradient method can improve the computation efficiency of huge matrix inversion, but it also brings a certain loss of precision. The application of Open Multi-Processing parallel algorithm could achieve a good compromise between accuracy and computation efficiency. 展开更多
关键词 satellite gravity gradiometry Cholesky decomposition pre-conditioned conjugate gradient open multi-processing parallel algorithm data processing
下载PDF
Error Robust H.264 Video Transmission Schemes Based on Multi-frame
13
作者 余红斌 余松煜 王慈 《Journal of Shanghai Jiaotong university(Science)》 EI 2004年第3期41-44,54,共5页
Multi-frame coding is supported by the emerging H.264. It is important for the enhancement of both coding efficiency and error robustness. In this paper, error resilient schemes for H.264 based on multi-frame were inv... Multi-frame coding is supported by the emerging H.264. It is important for the enhancement of both coding efficiency and error robustness. In this paper, error resilient schemes for H.264 based on multi-frame were investigated. Error robust H.264 video transmission schemes were introduced for the applications with and without a feedback channel. The experimental results demonstrate the effectiveness of the proposed schemes. 展开更多
关键词 H.264 multi-frame coding adaptive ACK/NACK mode switching periodic enhanced multi-thread coding
下载PDF
Development of Data Processing Software for NBI Spectroscopic Analysis System
14
作者 张小丹 胡纯栋 +3 位作者 盛鹏 赵远哲 吴德云 崔庆龙 《Plasma Science and Technology》 SCIE EI CAS CSCD 2015年第4期327-330,共4页
A set of data processing software is presented in this paper for processing NBI spectroscopic data.For better and more scientific managment and querying these data,they are managed uniformly by the NBI data server.The... A set of data processing software is presented in this paper for processing NBI spectroscopic data.For better and more scientific managment and querying these data,they are managed uniformly by the NBI data server.The data processing software offers the functions of uploading beam spectral original and analytic data to the data server manually and automatically,querying and downloading all the NBI data,as well as dealing with local LZO data.The set software is composed of a server program and a client program.The server software is programmed in C/C++under a CentOS development environment.The client software is developed under a VC6.0 platform,which offers convenient operational human interfaces.The network communications between the server and the client are based on TCP.With the help of this set software,the NBI spectroscopic analysis system realizes the unattended automatic operation,and the clear interface also makes it much more convenient to offer beam intensity distribution data and beam power data to operators for operation decision-making. 展开更多
关键词 NBI data query TCP multi-threading LZO
下载PDF
Implement of the Production Monitoring and Control System for Coning,Drawing and Twisting's Workshop
15
作者 邵景峰 李永刚 +2 位作者 张奎 李波 李佳 《Journal of Donghua University(English Edition)》 EI CAS 2010年第5期687-693,共7页
To achieve the production information management of the coning,drawing and twisting's workshop,and promote a good and fast development of the textile enterprise,firstly,we analyze the information technology develo... To achieve the production information management of the coning,drawing and twisting's workshop,and promote a good and fast development of the textile enterprise,firstly,we analyze the information technology development status of the textile enterprise at home and abroad,study the weaknesses of the existing computer monitoring system,introduce the system design project,and propose a system network model based on client/server(C/S)mode.Secondly,a multi-agent production monitoring and control system is developed,and the communication of the single-port-multi-protocol and a multi-thread data collection technology are studied via the multi-thread and standard template library(STL)technologies.Thirdly,the system management functions,the structure design of the database,and the technical difficulties in the process of software design are also introduced.As proved in practice,the system satisfies the production management requirements of the workshop,and implements the network management of the production information. 展开更多
关键词 monitoring system CONING drawing and twisting's workshop communication multi-thread client/server(C/S)
下载PDF
An Approach to Parallel Simulation of Ordinary Differential Equations
16
作者 Joshua D. Carl Gautam Biswas 《Journal of Software Engineering and Applications》 2016年第5期250-290,共41页
Cyber-physical systems (CPS) represent a class of complex engineered systems where functionality and behavior emerge through the interaction between the computational and physical domains. Simulation provides design e... Cyber-physical systems (CPS) represent a class of complex engineered systems where functionality and behavior emerge through the interaction between the computational and physical domains. Simulation provides design engineers with quick and accurate feedback on the behaviors generated by their designs. However, as systems become more complex, simulating their behaviors becomes computation all complex. But, most modern simulation environments still execute on a single thread, which does not take advantage of the processing power available on modern multi-core CPUs. This paper investigates methods to partition and simulate differential equation-based models of cyber-physical systems using multiple threads on multi-core CPUs that can share data across threads. We describe model partitioning methods using fixed step and variable step numerical in-tegration methods that consider the multi-layer cache structure of these CPUs to avoid simulation performance degradation due to cache conflicts. We study the effectiveness of each parallel simu-lation algorithm by calculating the relative speedup compared to a serial simulation applied to a series of large electric circuit models. We also develop a series of guidelines for maximizing performance when developing parallel simulation software intended for use on multi-core CPUs. 展开更多
关键词 Parallel and multi-thread Programming Ordinary Differential Equations SIMULATION
下载PDF
A Generic Graph Model for WCET Analysis of Multi-Core Concurrent Applications
17
作者 Robert Mittermayr Johann Blieberger 《Journal of Software Engineering and Applications》 2016年第5期182-198,共17页
Worst-case execution time (WCET) analysis of multi-threaded software is still a challenge. This comes mainly from the fact that synchronization has to be taken into account. In this paper, we focus on this issue and o... Worst-case execution time (WCET) analysis of multi-threaded software is still a challenge. This comes mainly from the fact that synchronization has to be taken into account. In this paper, we focus on this issue and on automatically calculating and incorporating stalling times (e.g. caused by lock contention) in a generic graph model. The idea that thread interleavings can be studied with a matrix calculus is novel in this research area. Our sparse matrix representations of the program are manipulated using an extended Kronecker algebra. The resulting graph represents multi-threaded programs similar as CFGs do for sequential programs. With this graph model, we are able to calculate the WCET of multi-threaded concurrent programs including stalling times which are due to synchronization. We employ a generating function-based approach for setting up data flow equations which are solved by well-known elimination-based dataflow analysis methods or an off-the-shelf equation solver. The WCET of multi-threaded programs can finally be calculated with a non-linear function solver. 展开更多
关键词 Worst-Case Execution Time Analysis Program Analysis CONCURRENCY multi-threaded Programs Kronecker Algebra
下载PDF
不可逾越的长城——由IDF 2003再谈Hyper Threading技术的未来
18
作者 白慧 《电脑》 2003年第12期72-74,共3页
自从Intel推出Hyper Threading(超线程)技术以来,以超强的性能改变了以往一切,桌面处理器又一次改朝换代,Intel并不只是在频率上提升处理器性能,同时在其它领域也让处理器有质的飞跃,继MMX、SSE、SSEII之后,Intel把原来只用在工作站上的... 自从Intel推出Hyper Threading(超线程)技术以来,以超强的性能改变了以往一切,桌面处理器又一次改朝换代,Intel并不只是在频率上提升处理器性能,同时在其它领域也让处理器有质的飞跃,继MMX、SSE、SSEII之后,Intel把原来只用在工作站上的Xeon CPU的Hyper Threading技术也引入到桌面处理器中,HT技术可以让一个CPU当成两个使用?这也许在以往一些HT技术中就介绍过,但今天写这个文章,主要是分析HT的工作原理以及Single Threading与Mutil-Tasking的区别,在多核心处理器时代HT又将会如何?以此来对HT的未来做一个最后的展望。 展开更多
关键词 Intel公司 超线程技术 处理器 多任务处理 multi-processing技术 工作原理
下载PDF
Review on residual stress and its effects on manufacturing of aluminium alloy structural panels with typical multi-processes 被引量:3
19
作者 Yong LI Wanni GAN +1 位作者 Wenbin ZHOU Dongsheng LI 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2023年第5期96-124,共29页
In the aerospace industry,integrated aluminium alloy plates and stiffened panels with high accuracy and performance attract significant interest.To manufacture these panels as integrity with high accuracy,multiple pro... In the aerospace industry,integrated aluminium alloy plates and stiffened panels with high accuracy and performance attract significant interest.To manufacture these panels as integrity with high accuracy,multiple processes need to be utilised,such as machining,welding and forming.During the whole manufacturing chain,residual stresses can be generated and redistributed in the components among different processes.The residual stress would significantly affect the shapes and properties of the final products.Currently,these great effects are not well considered in the design and manufacturing processes.This paper aims to draw a general understanding of the residual stress generated in the pre-manufacturing processes and its effects on subsequent manufacturing processes.The mechanisms and distributions of residual stresses generated in typical premanufacturing processes of structural panels,including machining,welding and additive manufacturing(AM),are firstly summarised.The detailed effects of generated residual stresses on distortion and application properties in subsequent manufacturing processes are then concluded.In addition,current methods developed for the investigation of residual stress effect in multi-processes manufacturing are critically reviewed,including experimental,analytical,finite element(FE)and machine learning methods.Furthermore,the future development trend of methods for residual stress consideration and control in the design of manufacturing processes is summarised,providing comprehensive guidance to achieve the high accurate manufacturing of aluminium alloy structural components. 展开更多
关键词 Residual stress Stiffened panel Aluminium alloy multi-processes manufacturing Machining Welding Additive manufacturing
原文传递
Multi-threaded code generation from Signal program to OpenMP 被引量:2
20
作者 Kai HU Teng ZHANG Zhibin YANG 《Frontiers of Computer Science》 SCIE EI CSCD 2013年第5期617-626,共10页
The use of multi-core processors will become a trend in safety critical systems. For safe execution of multi- threaded code, automatic code generation from formal spec- ification is a desirable method. Signal, a synch... The use of multi-core processors will become a trend in safety critical systems. For safe execution of multi- threaded code, automatic code generation from formal spec- ification is a desirable method. Signal, a synchronous lan- guage dedicated for the functional description of safety crit- ical systems, provides soundness semantics for determinis- tic concurrency. Although sequential code generation of Sig- nal has been implemented in Polychrony compiler, deter- ministic multi-threaded code generation strategy is still far from mature. Moreover, existing code generation methods use certain multi-thread library, which limits the cross plat- form executions. OpenMP is an application program inter- face (API) standard for parallel programming, supported by several mainstream compilers from different platforms. This paper presents a methodology translating Signal program to OpenMP-based multi-threaded C code. First, the intermedi- ate representation of the core syntax of Signal using syn- chronous guarded actions is defined. Then, according to the compositional semantics of Signal equations, the Signal pro- gram is synthesized to dependency graph (DG). After par- allel tasks are extracted from dependency graph, the Signal program can be finally translated into OpenMP-based C code which can be executed on multiple platforms. 展开更多
关键词 multi-thread synchronous language Signal code generation OPENMP
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部