Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "compiler" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-15 z 15
    Tytuł:
    Dynamic tiling optimization for Polly compiler
    Autorzy:
    Adamski, D.
    Szydłowski, M.
    Jabłoński, G.
    Lasoń, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/397761.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    tiling optimization
    compiler optimization
    Polly compiler
    LLVM
    optymalizacja kafelkowa
    optymalizacja kompilatora
    kompilator Polly
    Opis:
    This article presents dynamic tiling optimization for Polly compiler. It describes heuristic technique which can be applied to increase efficiency of tiling optimization. Proposed solution is based on open-source tools (LLVM and Polly compiler) and it proves that dynamic tiling optimization can be achieved by extraction code of tiled loop into seperate function. The compiler can generate multiple versions of the optimzed functions. Each of them is optimized by different tile size. The runtime decides during program’s execution which optimized version of the given function is the most appropriate.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2017, 8, 4; 150-154
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Shared-Semaphored Cache Implementation for Parallel Program Execution in Multi-Core Systems
    Autorzy:
    Milik, Adam
    Walichiewicz, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/27311928.pdf
    Data publikacji:
    2023
    Wydawca:
    Polska Akademia Nauk. Czasopisma i Monografie PAN
    Tematy:
    thread synchronization
    scheduling
    mapping
    parallel execution
    compiler
    Opis:
    The paper brings forward an idea of multi-threaded computation synchronization based on the shared semaphored cache in the multi-core CPUs. It is dedicated to the implementation of multi-core PLC control, embedded solution or parallel computation of models described using hardware description languages. The shared semaphored cache is implemented as guarded memory cells within a dedicated section of the cache memory that is shared by multiple cores. This enables the cores to speed up the data exchange and seamlessly synchronize the computation. The idea has been verified by creating a multi-core system model using Verilog HDL. The simulation of task synchronization methods allows for proving the benefits of shared semaphored memory cells over standard synchronization methods. The proposed idea enhances the computation in the algorithms that consist of relatively short tasks that can be processed in parallel and requires fast synchronization mechanisms to avoid data race conditions.
    Źródło:
    International Journal of Electronics and Telecommunications; 2023, 69, 2; 371--382
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Research on the maritime communication cryptographic chip’s compiler optimization
    Autorzy:
    Li, S.
    Dai, Z. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/259239.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    maritime communication encryption system
    cryptographic SOC
    compiler frontend
    loop unrolling
    Opis:
    In the process of ocean development, the technology for maritime communication system is a hot research field, of which information security is vital for the normal operation of the whole system, and that is also one of the difficulties in the research of maritime communication system. In this paper, a kind of maritime communication cryptographic SOC(system on chip) is introduced, and its compiler framework is put forward through analysis of working mode and problems faced by compiler front end. Then, a loop unrolling factor calculating algorithm based on queue theory, named UFBOQ (unrolling factor based on queue), is proposed to make parallel optimization in the compiler frontend with consideration of the instruction memory capacity limit. Finally, the scalar replacement method is used to optimize unrolled code to solve the memory access latency on the parallel computing efficiency, for continuous data storage characteristics of cryptographic algorithm. The UFBOQ algorithm and scalar replacement prove effective and appropriate, of which the effect achieves the linear speedup.
    Źródło:
    Polish Maritime Research; 2017, S 2; 50-65
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A conversion of "while" and "do-while" loops to allow dependency analysis by existing tools
    Konwersja pętli "while" i "do-while" w celu analizy zależności przez istniejące narzędzia
    Autorzy:
    Poliwoda, M.
    Błaszyński, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/153582.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator
    konwersja pętli
    analiza zależności
    compiler
    loop conversion
    dependency analysis
    Opis:
    In this paper there are presented methods for conversion of "while" and "do-while" loops to the form of "for" loops. The aim of this conversion is to allow dependence analysis by many existing tools. The dependence analysis allows determining which parts of the analyzed program code must be executed sequentially, and which can be executed independently. Such an analysis is used to reduce the use of resources in embedded systems. Automating the analysis also allows specifying types of classes of algorithms and their implementation which can be the subject of optimization. The nature of optimization can also be determined.
    Większość narzędzi analizujących zależności "LooPo", "Clan" i "Petit" posiada możliwość analizy pętli typu for, w których wykonuje się operacje na tablicach za pomocą operatorów indeksowania. W chwili obecnej pętle while są analizowane przez analizator "LooPo". Analizatory zależności "clan" i "petit" analizują jedynie pętle for. Zasadną więc jest koncepcja konwersji konstrukcji typu "while", "do-while" do postaci pętli "for", gdyż po wykonaniu konwersji możliwe staje się użycie dowolnego narzędzia do analizy zależności. Użycie różnych narzędzi do analizy zależności daje możliwość uzyskania wyników analizy w postaci odpowiedniej dla zaimplementowanych algorytmów zrównoleglających, co pozwala na uzyskanie większego zbioru propozycji zrównoleglenia kodu pętli. Wykonanie konwersji umożliwi również zastosowanie szeroko implementowanego popularnego standardu OpenMP w celu podziału przestrzeni iteracji między niezależne wątki. Docelowa postać pętli spełnia wymagania dotyczące pętli for przedstawione w specyfikacji OpenMP v3.0. Zastosowanie zgodności z tym standardem umożliwia analizę zależności w pętli przez większość analizatorów pętli w języku C i zapisanie zrównoleglonej postaci pętli zgodnie ze standardem. Algorytm opisany w tym artykule jest zrealizowany kompilatorze "Stepson", który jest aktualnie rozwijany. Informacje o skompilowanym programie są przechowywane w postaci drzewa. Opisany algorytm pozwala zwiększyć liczbę pętli, które można automatycznie analizować.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1501-1503
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatyczna ekstrakcja zależności i transformacje pętli w języku C do przekształceń optymalizujących w systemach osadzonych
    Automatic extraction of dependencies and loop transformations in C language for optimising transformations in embedded systems
    Autorzy:
    Błaszyński, P.
    Poliwoda, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/154621.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator
    systemy osadzone
    analiza zależności
    compiler
    embedded systems
    dependency analysis
    Opis:
    W poniższym artykule zaprezentowano metody wyszukiwania pętli programowych i zależności między ich iteracjami. Analiza zależności pozwala na określenie, które fragmenty analizowanego kodu programu mogą zostać wykonane niezależnie. Przedstawiono analizę programów w ANSI C, ze wskazaniem możliwości wykorzystania wyników analizy do zmniejszenia użycia zasobów w systemach osadzonych. Zautomatyzowanie analizy pozwala określić klasy algorytmów i ich implementacje, które mogą być optymalizowane, oraz charakter tych optymalizacji.
    In the paper there are presented methods of searching for program loops and dependencies between iteration of these loops. Analysis of the dependencies allows determining which parts of the analysed code of the program must be executed sequentially, and which can be executed independently. There are given the results of the analysis of simple algorithms written in ANSI C language, indicating the possibility of using the analysis to reduce the use of resources in embedded systems. Automating the analysis process also allows specifying the types of algorithm classes and their implementation, which can be subjected to optimisation, as well as the nature of these optimisations. In the introduction there is discussed the range of topics dealt with in the paper. In the second paragraph the method for determining the dependencies between instructions is described. Fig. 2 shows the iteration space of the sample loop. The third paragraph presents the basic techniques of loop transformation, which are possible due to the dependency analysis between iterations. The above (and others obtained during the tests) results show the possibilities of allowing the code designer to improve devices and embedded systems. Transformation selection algorithms need different types of dependence description as an input data. The aim of the project described in the paper, which is devoted to the dependency analysis is to provide a variety of the dependency collection description.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 708-710
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Reprezentacja przestrzeni iteracji pętli i opisu zależności w kompilatorze zrównoleglającym
    Representation of iteration domain and description of dependencies in a parallelizing compiler
    Autorzy:
    Błaszyński, P.
    Poliwoda, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/155248.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator
    systemy osadzone
    analiza zależności
    compiler
    embedded system
    dependency analysis
    Opis:
    W artykule został przedstawiony proces optymalizacji kodu programów przeznaczonych do wykonania przez systemy osadzone lub wieloprocesorowe przy pomocy kompilatora optymalizującego. Głównym elementem, dla którego wykonywane są optymalizacje, są pętle, ponieważ to w nich wykonywane jest najwięcej instrukcji a ich optymalizacja ma wpływa na wykorzystanie dostępnych zasobów, co wpływa znacząco na ilość zużywanej przez układy energii. Zaprezentowana została również budowa kompilatora i istotne informacje przechowywane i wykorzystywane do analizy w trakcie kompilacji.
    A process of optimization of the program code to be performed by embedded or multiprocessor systems is very complex and time consuming. The code fragments whose optimization brings the greatest effects are loops because they process a large amount of data using the same instructions repeatedly. This makes the execu-tion time of a loop a significant part of the overall program execution time. The time of each iteration affects use of available resources (memory, cache, etc.), which also influences the amount of energy. The program code is subjected to numerous transformations carried out on the basis of analysis of the relationships. This analysis allows determining which pieces of the code can be executed independently of each other. The aim of this paper is to present conversion mechanisms implemented in a paralellizing compiler. These mechanisms are focused on the representation format and description of the loop dependencies. The analysis of dependences allows the submission of many transitions and provides a more optimized version of the code when taking into account such factors as the energy aware code or the execution time.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 957-959
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic installation of software-based fault tolerance algorithms in programs generated by GCC compiler
    Autorzy:
    Piotrowski, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/397833.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    kompilator GCC
    single event upsets
    GCC compiler
    software based fault tolerance
    Opis:
    The problem of designing radiation-tolerant devices working in application critical systems becomes very important especially if human life depends on the reliability of control mechanisms. One of the possible solution of this problem are pure software protection methods. They constitute different category of techniques to detect transient faults and correct corresponding errors. Software fault tolerance schemes are cheaper to implement since they can be used with standard, commercial of-the-shelf (COTS) components. Additionally, they do not require any hardware modification. In this paper, author propose a new implementation mechanism for software based fault protection algorithms performed automatically during application compilation.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2010, 1, 3; 263-268
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Revisiting the Futamura Projections: A Diagrammatic Approach
    Autorzy:
    Williams, B. M.
    Perugini, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/375830.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    compilation
    compiler generation
    Futamura Projections
    Graal; interpretation
    partial evaluation
    program transformation
    PyPy
    Truffle
    Opis:
    The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.
    Źródło:
    Theoretical and Applied Informatics; 2016, 28, 4; 15-32
    1896-5334
    Pojawia się w:
    Theoretical and Applied Informatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Developing a multiplatform control environment
    Autorzy:
    Rzońca, Dariusz
    Sadolewski, Jan
    Stec, Andrzej
    Świder, Zbigniew
    Trybus, Bartosz
    Trybus, Leszek
    Powiązania:
    https://bibliotekanauki.pl/articles/384628.pdf
    Data publikacji:
    2019
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    IEC 61131‐3 environment
    virtual machine
    intermediate language
    parametrized compiler
    interfacing
    HMI
    industrial controllers
    Opis:
    IEC 61131‐3 control environment is called multiplatform if source programs can be executed by various processors, beginning from 8‐bit microcontrollers up to 32/64‐ bit efficient CPUs. This implies that virtual machine (VM), i.e. a software implemented processor, is used as runtime by the host CPU. The VM executes certain intermediate code into which IEC 61131‐3 programs are compiled. En‐ vironment of this type called CPDev has been gradually developed by the authors over the last decade, beginning with initial report in this journal in 2008 [47]. However, technical implementations of its functionalities have not been described so far. This involves such matters as intermediate language, parametrization of the compiler and VM, multiproject runtime, translators of graphical languages, device‐independent HMI, target platform and communication interfacing, which are presented in compact form in this paper. Some characteristic industrial implementations are indicated.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2019, 13, 4; 73-84
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mini-DCS system programming in IEC 61131-3 structured text
    Autorzy:
    Rzońca, D.
    Sadolewski, J.
    Stec, A.
    Świder, Z.
    Trybus, B.
    Trybus, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/384239.pdf
    Data publikacji:
    2008
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    mini-DCS system
    control program execution
    ST language
    compiler
    IEC 61131-3 standard
    virtual processor
    Opis:
    A prototype environment called CPDev for programming small distributedsmall-distributed control-and-measurement systems in Structured Text language of IEC 61131-3 standard is presented . The environment is open what means that the code generated by the compiler can be executed on different hardware platforms. However, such universal code must be processed by an interpreter, another words by a virtual machine,an interpreter, another words by- a virtual machine, must process such universal code similarly as programs written in Java. The CPDev environment consists of the compiler, simulator and configurer of hardware resources (i.e. communications). They are developed in C# at MS.NET Framework 2.0 platform. CPDev is open allowing the user to create function blocks and libraries. External interface procedures (drivers) can be written by hardware designers and linked with the universal code. Free selection of data types required by different applications is provided. Virtual machine written in ANSI C is dedicated for a particular processor. So far the machines for AVR, MCS-51 and PC have been developed. Programming a mini-DCS system from LUMEL Zielona Góra has been the first application of CPDev.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2008, 2, 3; 48-54
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Tiling arbitrarily nested loops by means of the transitive closure of dependence graphs
    Autorzy:
    Bielecki, W.
    Pałkowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/331155.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    tiling
    transitive closure
    source-to-source compiler
    polyhedral model
    iteration space slicing
    domknięcie przechodnie
    kompilator
    model wielościenny
    Opis:
    A novel approach to generation of tiled code for arbitrarily nested loops is presented. It is derived via a combination of the polyhedral and iteration space slicing frameworks. Instead of program transformations represented by a set of affine functions, one for each statement, it uses the transitive closure of a loop nest dependence graph to carry out corrections of original rectangular tiles so that all dependences of the original loop nest are preserved under the lexicographic order of target tiles. Parallel tiled code can be generated on the basis of valid serial tiled code by means of applying affine transformations or transitive closure using on input an inter-tile dependence graph whose vertices are represented by target tiles while edges connect dependent target tiles. We demonstrate how a relation describing such a graph can be formed. The main merit of the presented approach in comparison with the well-known ones is that it does not require full permutability of loops to generate both serial and parallel tiled codes; this increases the scope of loop nests to be tiled.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2016, 26, 4; 919-939
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kompilacja bibliotek iOS w systemie Linux z wykorzystaniem narzędzi open-source
    Compilation of iOS frameworks from Linux operating system using open-source tools
    Autorzy:
    Rutkowski, Łukasz
    Kopniak, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/2055119.pdf
    Data publikacji:
    2021
    Wydawca:
    Politechnika Lubelska. Instytut Informatyki
    Tematy:
    iOS frameworks
    LLVM compiler
    cross-compilation
    open source tools
    biblioteki iOS
    kompilator LLVM
    kompilacja skośna
    narzędzia open-source
    Opis:
    W artykule opisano analizę możliwości wykorzystania narzędzi open-source do kompilacji bibliotek iOS w systemie operacyjnym Linux. Celem analizy jest sprawdzenie możliwości przeprowadzenia kompilacji w systemie Linux oraz wykrycie potencjalnych ograniczeń przy wykorzystaniu kompilatora LLVM. Badania przeprowadzono na autorskich bibliotekach napisanych w językach Objective-C oraz Swift, które zawierały pliki graficzne o różnych formatach i rozmiarach, jak również pliki tekstowe. Uzyskano wyniki które wskazują, że kompilacja bibliotek iOS w systemie Linux jest możliwa pod warunkiem, że kompilowane biblioteki nie wykorzystują komponentów opisanych w formacie xib, do kompilacji których na systemie Linux nie istnieje odpowiednik narzędzia kompilacyjnego z systemu macOS.
    This paper analyzes possibility of using open-source tools to compile iOS frameworks in Linux operating system. The purpose of this analysis was to determine how compilation in Linux could be performed and identify possible limita-tions when using LLVM compiler. The analysis has been performed on own frameworks written using Objective-C and Swift languages containing graphic and text files in different formats and sizes. Results of the analysis show that compilation of iOS frameworks under Linux operating system is possible unless the compiler frameworks use interface components written in xib format for which there are no compilation tools available on Linux operating system.
    Źródło:
    Journal of Computer Sciences Institute; 2021, 19; 132--138
    2544-0764
    Pojawia się w:
    Journal of Computer Sciences Institute
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic tuning framework for parallelized programs
    Iteracyjny kompilator zrównoleglający oraz optymalizujący lokalność danych
    Autorzy:
    Burak, D.
    Radziewicz, M.
    Wierciński, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/153574.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    kompilator zrównoleglający
    optymalizacja lokalności danych
    kompilacja iteracyjna
    algorytm DES
    OpenMP
    parallelized compiler
    data locality optimization
    iterative compilation
    Data Encryption Standard
    Opis:
    Complexity of computers has grown tremendously in recent years, because, among others, multi-processor and multi-core architectures are in widespread use. Parallelized programs should run on multi-core processors to use the most of its computing power. Exploiting parallel compilers for automatic parallelization and data locality optimization of sequential programs reduces costs of software. In this paper there is described the WIZUTIC Compiler Framework developed in the Faculty of Computer Science and Information Technology of the West Pomeranian University of Technology. The application uses the source code of the PLUTO parallel compiler developed in the Ohio State University by Uday Bondhugula. The simulated annealing method and the Bees algorithm are used for finding proper transformations of the source code for given program features. The experimental study results using the Data Encryption Standard (DES) algorithm are described and the speed-ups of encryption and decryption processes are presented.
    W artykule przedstawiono autorski kompilator zrównoleglający oraz optymalizujący lokalność danych- WIZUTIC oraz jego wykorzystanie do skrócenia czasu przetwarzania algorytmu szyfrowania DES. Do utworzenia kompilatora WIZUTIC transformującego kod źródłowy zapisany w języku C ze źródła do źródła wykorzystano kody źródłowe kompilatora PLUTO autorstwa Uday'a Bondhuguli służącego do optymalizacji lokalności danych z zastosowaniem transformacji tiling oraz zrównoleglenia pętli programowych z wykorzystaniem gruboziarnistej równoległości. W procesie kompilacji wykorzystano technikę kompilacji iteracyjnej oraz dwie metody optymalizacji: symulowane wyżarzanie (SA) oraz algorytm pszczół (BA) służące do określenia odpowiedniego rozmiaru bloku transformacji tiling. Przedstawiono wyniki badań eksperymentalnych dla algorytmu DES pracującego w trybie ECB. Badania przeprowadzona z zastosowaniem maszyny 8-procesorowej Quad Core Intel Xeon Processor Model E7310, kompilatora GCC GNU z wykorzystaniem standardu OpenMP w wersji 3.0 oraz narzędzia do profilowania kodu Intel VTune.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1526-1528
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Compiler and virtual machine of a multiplatform control environment
    Autorzy:
    Sadolewski, Jan
    Trybus, Bartosz
    Powiązania:
    https://bibliotekanauki.pl/articles/2173658.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    control environment
    IEC 61131-3 standard
    intermediate language
    compiler
    runtime virtual machine
    kontrola środowiska
    norma IEC 61131-3
    język średniozaawansowany
    kompilator
    wirtualna maszyna uruchomieniowa
    Opis:
    Design and operation of a compiler and virtual machine, being the essential components of a multiplatform control programming environment, are presented. The compiler translates source programs written in Structured Text language of the IEC 61131-3 standard into executable code in a dedicated intermediate language. The virtual machine, i.e. a specially designed processor implemented in software, is a runtime part of the environment executing the code in real time. Due to memory-to-memory operation principle the machine is able to process various data types defined in the standard. The focus is given on overloading and extensibility of the functions, as well as on uniform invocations of Program Organization Units. By selection of addressing mode, the environment can be deployed on multiple hardware platforms, beginning from 8-bit microcontrollers up to 32/64-bit industrial PCs. Industrial applications are indicated.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140554
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the systematic method of conditional control program execution by a PLC
    Autorzy:
    Milik, A.
    Chmiel, M.
    Hrynkiewicz, E.
    Powiązania:
    https://bibliotekanauki.pl/articles/201968.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    control program
    PLC
    LD
    IL
    FPGA
    compiler
    control program optimization
    PLC programming
    flow graph
    program sterujący
    kompilator
    kontrola
    optymalizacja oprogramowania
    programowanie sterowników PLC
    wykres przepływu
    Opis:
    The paper presents an original idea of the selective control program execution that allows significant response time reduction. The exhaustive analysis of the PLC program performance is given. An analytic approach explains the idea of the selective control program evaluation and gives the requirements for its feasibility. There is presented a systematic and formal method of program analysis based on a data flow graph approach. The method generates acyclic graph from the control program that is subject of optimization, variable allocation and instruction generation. The graph approach allows determining variables dependencies and task partitioning required by selective program execution. The method utilize the hardware supported variable changes detection. It is transparent for system operation and enables evaluation of blocks that require update.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2016, 64, 1; 161-170
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-15 z 15

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies