Preprints of IIS SB RAS, 2015

Preprint 179
A.Y. Filatov, V.V. Mikheev
Thread-local garbage collection strategies and evaluation of their effectiveness

This paper discusses thread-local garbage collection (GC), a technique of automatic memory management aimed at improving GC throughput and reducing GC pauses in managed runtimes. It exploits the observation that the most of objects does not escape the scope of the thread allocated them, and, therefore, memory occupied by such objects can be reclaimed locally within the thread.

The question is how to efficiently compute this property at run time achieving a good trade-off between precision of the necessary dynamic analysis and the implied overheads for application performance. The paper gives a formal definition of thread-local reachability in heap graph and proposes several strategies to compute it. Implemented these strategies in a Java Virtual Machine, we present the results of quantitative evaluation of amounts of thread-local objects discovered in a representative test suite of modern Java applications.

Preprint 178
A. A. Stenenko, V, A, Nepomniaschy
Model checking approach to verification of coloured Petri nets

Colored Petri nets (CPN) are used for modeling and analysis of distributed systems, such as communication protocols. Naturally the problem of CPN formal verification appears. Model checking method was used for verification of CPN not involving the time concept. However, the problem of timed CPN verification remains open and relevant.

This paper presents a CPN verification system called CPNVer. The system components are a translator from CPN to Promela language and the SPIN verifier that uses Promela as a model language. CPNVer system allows automatic verification of timed CPN models. The verified properties can be presented with linear temporal logic (LTL) or specified in the form of some post-conditions. The applicability of our approach is demonstrated with examples.

Preprint 177
I.A. Krayneva
Digital historical factography: from the creation of an archive to its scientific interpretation

This publication is the result of the M-48 research project “Open-access SB RAS archive as an electronic system for the accumulation, presentation and storage of scholarlyheritage,” carried out in 2012–2014. Underlying the project is the interdisciplinary interaction of the humanities and information technologies. Based on the abundant archival testimony collected in the SB RAS Open Archive, the biography of Yuri B. Rumer (1901–1985), an outstanding theoretical physicist, has been reconstructed. The procedures of the research practice applied are disclosed.

Preprint 176
L.V. Gorodnyaya
Programing paradigms. Part 5. Educational Programming Languages

The work describes research and specification of basic paradigms of programming. The author analyzes and compares special features of educational programming languages. A functional model to comparative description of implementation semantics of basic paradigms is proposed. The author proposes a scheme of describing and defining paradigm features of programming languages. The approach is illustrated with fragments of programming languages of different levels, which belong to machine-oriented, system, imperative, objectoriented, and productive programming.

Preprint 175
L.V. Gorodnyaya
Programing paradigms. Part 4. Parallel Programming

The work describes research and specification of basic paradigms of programming. The author analyzes and compares special features of parallel programming languages. A functional model of comparative description of implementation semantics of basic paradigms is proposed. The author proposes a scheme of describing and defining paradigm features of programming languages.

Preprint 174
L.V. Gorodnyaya
Programing paradigms. Part 3. Basic Paradigms of Programming

The work describes research and specification of basic paradigms of programming. The author analyzes and compares special features of programming languages of high level. A functional model to comparative description of implementation semantics of basic paradigms is proposed. The author proposes a scheme of describing and defining paradigm features of a programming language. The approach is illustrated with fragments of programming languages of different levels, which belong to machine-oriented, system, imperative, objectoriented, and productive programming.

Preprint 173
L.V. Gorodnyaya
Programming Paradigms. Part 2. Low Level Programming Languages

The work describes research and specification of basic paradigms of programming. The author analyzes and compares special features of programming languages of low level. A functional models to comparative description of implementation semantics of basic paradigms is proposed. The author proposes a scheme of describing and defining paradigm features of a programming languages. The approach is illustrated with fragments of programming languages of different levels, which belong to machine-oriented, system, imperative, objectoriented, and productive programming.




You are reporting a typo in the following text:
Simply click the "Send typo report" button to complete the report. You can also include a comment.