Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks, and point-topoint synchronization using latches or semaphores. This work characterizes scheduling constraints on phaser operations, by relating the execution state of two tasks that operate on the same phaser. We prop...

In recent years, concurrent programming has become the norm rather than the exception in many applications. In particular, popularity of the Java programming language has accelerated this trend. Most textbooks on Operating Systems and concurrent programming teach concurrent programming by demonstrating solutions for some well-known problems, such as the producer/consumer, readers/writers, and d...

Tujuan penelitian ini adalah untuk mengetahui bentuk kegiatan ekstrakurikuler pramuka dan perannya dalam penanaman karakter siswa di SDN 26 Mataram. Penelitian merupakan kualitatif yang akan menggambarkan keadaan. Subjek 1 orang pembina pramuka, 3 wali kelas kepala sekolah. Metode pengumpulan data menggunakan wawancara, observasi dokumentasi. Validitas triangulasi sumber. Analisis model interak...

Currently, as a medium for character education, scouts are required extracurricular in elementary school. This research aims to determine the internalization of values ​​through scout activities. approach is qualitative method that investigates established through Data collection techniques this study used interviews, observation, and documentation. The subject coordinators, coaches, students c...

Preemptive Time Petri Nets are obtained by extending Time Petri Nets with an additional mechanism of resource assignment which makes the progress of timed transitions be dependent on the availability of a set of preemptable resources, and with the capability to make transition times and priorities be dependent on the marking. The combination of these capabilities supports description and verifi...

Higher Dimensional Automata (HDA) are topological models for the study of concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular catego...

The paper presents the C-Sim simulation tool that enables an experimental evaluation (i.e. testing) of parallel and distributed programs behavior using their close-toreality C-language source code and a simulated operational environment. 1. Simulation based method of parallel programs testing The method uses discrete-time process-oriented simulation model of a parallel or distributed computer s...

Lock-free programming is a well-known technique for multithreaded programming. Lock-free programming is a way to share changing data among several threads without paying the cost of acquiring and releasing locks. On practice, parallel programming models must include scalable concurrent algorithms and patterns. Lock-free programming patterns play an important role in scalability. This paper is d...

Now days, manufacturers are focusing on increasing the concurrency in multiprocessor system-on-a-chip (MPSoC) architecture instead of increasing clock speed, for embedded systems. Traditionally lock-based synchronization is provided to support concurrency; as managing locks can be very difficult and error prone. Transactional memories and lock based systems have been extensively used to provide...