• 제목/요약/키워드: Executions

Search Result 141, Processing Time 0.026 seconds

A Transparent Monitor Based on JDI for Scalable Race Detection of Concurrent Java Programs (병행 Java 프로그램의 확장적 경합탐지를 위한 JDI 기반의 투명한 감시도구)

  • Kim, Young-Joo;Kuh, In-Bon;Bae, Byoung-Jin;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.16A no.2
    • /
    • pp.55-60
    • /
    • 2009
  • Race conditions in current Java programs must be detected because it may cause unexpected result by non-deterministic executions. For detecting such races during program execution, execution flows of all threads and all access events can be monitored. It is difficult for previous race detection techniques to monitor all threads and access events in actuality because these techniques analyze the files traced during program execution or modify original source programs and then monitor these programs. This paper presents a transparent scalable monitoring tool to detect races using JDI(Java Debug Interface) where JDI is 100% pure java interface to provide in JDPA(Java Platform Debugger Architecture) and is able to provide information corresponding to events occurred in run-time of programs. This tool thus can monitor execution flows of all threads and all access events without program modification. We prove transparency of the presented tool and grasp the efficiency of it using a set of published benchmark programs. As a result of this, the suggested tool can monitor all threads and accesses of these programs without their modification, and their monitoring time is increased to more than 20 times.

A Labeling Scheme for Efficient On-the-fly Detection of Race Conditions in Parallel Programs (병렬프로그램의 경합조건을 수행 중에 효율적으로 탐지하기 위한 레이블링 기법)

  • Park, So-Hee;Woo, Jong-Jung;Bae, Jong-Min;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.9A no.4
    • /
    • pp.525-534
    • /
    • 2002
  • Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.

A study on the historical trauma in Antonio Munoz Moliña's Beltenebros (안토니오 무뇨스 몰리나의 『어둠의 왕자』와 역사적 트라우마)

  • Kim, Chan-kee
    • Cross-Cultural Studies
    • /
    • v.26
    • /
    • pp.445-463
    • /
    • 2012
  • Beltenebros is Antonio Mu?oz Molina's third novel. Its plot originates in a criminal act. Darman, the main character, arrives in Madrid to kill a traitor of the undercover organization to which he himself belongs. Treason is paid with death and Darman is in charge of the executions. The intricate story of espionage and intrigue is absorbing. Unlike other novels of the genre, in Beltenebros we can witness a unique psychological development of the main character. In his fiftieth anniversary, Darman becomes conscious of the painful and devastating effects of his criminal acts on the lives of the people he has crossed paths with. Then, for the first time, he acts like a Romanesque heroe by killing Valdivia-Ugarte, a deceitful mole who has been manipulating the strings of the plot to his own benefit. The story unfolds along an almost uniform progression of chronological time, only interrupted by random memories of a past that twenty years ago destroyed Walter's life, and in which Darman and the rest of the characters are all implicated. Few references to the Spanish Civil War inserted in the discourse are, however, of paramount importance as the depiction of a historical trauma, as a triggering force for the episodes of the novel, or as justification to Darman'scrimes as well as those of the clandestine Comunist Party. Indeed they were the victims of the conflict and the winners inflicted upon them hatred, repression, treason and disloyalty. As in other Mu?oz Molina's novels, the literary space, in this case Madrid, propels the development of the plot, and plays a protagonist role only equal to that of the main characters. It is in Madrid where Darman lives until he becomes prisoner of the enemy army, or where the symmetrical deaths of Walter and Andrade take place. Other spaces inhabit Madrid: the Universal Cinema, symbolic territory of the secret and hidden, where the story, as well as the relationships of the characters start and end the warehouse; or the Bo?te Tab? the nightclub that frequents Valdivia-Ugarte through secret passages connected with the Universal Cinema.

Workflow-based Environment and its Use Scenario for the Education of Connective Engineering Simulation (연계적 공학해석 교육을 위한 워크플로우 기반 시뮬레이션 환경 개발 및 활용 고찰)

  • Shin, Jung-Hun;Kim, Han-Gi;Chae, Hui-Seung;Jeon, In-Ho;Lee, Jongsuk Ruth
    • Journal of Engineering Education Research
    • /
    • v.21 no.6
    • /
    • pp.3-12
    • /
    • 2018
  • The importance of software in the engineering field is increasing day by day, so the utilization and understanding of the simulation software in the engineering design stage has become the core competence of the engineer. This study presents a new software education method for multiple systems in the field of mechanical engineering using a workflow execution environment as a sub-module of a computational platform (called EDISON platform) that can incorporate in-house software tools developed by many simulation tool developers. It can execute not only individual software tools such as fluid flow, structure, optimal design, but also conduct connective executions of multiple software tools. Based on this simulation environment, a methodology was proposed that can be applied to convergence types of engineering educations. By properly using this methodology, it is expected that beginning engineers could encourage their specialties understanding the big pictures of the analysis processes.

Studies on Executions of Brand Activism: Focused on In-depth Interviews with Brand Managers (브랜드 액티비즘의 구현방식 연구: 브랜드 담당자의 심층 인터뷰를 중심으로)

  • Park, Hayoung;Lee, Cheolhan
    • The Journal of the Korea Contents Association
    • /
    • v.21 no.10
    • /
    • pp.194-203
    • /
    • 2021
  • With the spread of Corona virus l spreading to the uncertainty of society, consumers request more active social responsibility programs. In other words, it is manifest that corporate brands are required to pursue the public interests. Consumers go beyond the corporate social responsibility programs and support corporate's involvement to solve the social problems and they consume the brand accordingly. Thus, the companies respond to the consumers' request as a form of brand activism, or the new social marketing form in which the companies set the brand as an individual and seek the solutions of social issues. In this study, five experienced experts in the area were recruited to conduct in-depth interviews and how brand activism was practiced worldwide. The results reveal that brand activism is actively practiced with the support of consumers in the area of support for the small business, anti-racism efforts, gender diversity and equality, and sustainability.

Partial Offloading System of Multi-branch Structures in Fog/Edge Computing Environment (FEC 환경에서 다중 분기구조의 부분 오프로딩 시스템)

  • Lee, YonSik;Ding, Wei;Nam, KwangWoo;Jang, MinSeok
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.26 no.10
    • /
    • pp.1551-1558
    • /
    • 2022
  • We propose a two-tier cooperative computing system comprised of a mobile device and an edge server for partial offloading of multi-branch structures in Fog/Edge Computing environments in this paper. The proposed system includes an algorithm for splitting up application service processing by using reconstructive linearization techniques for multi-branch structures, as well as an optimal collaboration algorithm based on partial offloading between mobile device and edge server. Furthermore, we formulate computation offloading and CNN layer scheduling as latency minimization problems and simulate the effectiveness of the proposed system. As a result of the experiment, the proposed algorithm is suitable for both DAG and chain topology, adapts well to different network conditions, and provides efficient task processing strategies and processing time when compared to local or edge-only executions. Furthermore, the proposed system can be used to conduct research on the optimization of the model for the optimal execution of application services on mobile devices and the efficient distribution of edge resource workloads.

Study on Thermal Environmental Test for XKT-1 (KT-1 Export Version) Aircraft (XKT-1(수출형 KT-1) 항공기 열 환경시험에 관한 연구)

  • Kim, Jinseog
    • Journal of Aerospace System Engineering
    • /
    • v.15 no.3
    • /
    • pp.105-113
    • /
    • 2021
  • This paper delineates the applied thermal environmental test profiles using test conditions and procedures based on MIL-STD-810 Method 501 (High Temperature Test Method) and Method 502 (Low Temperature Test Method). The test profiles have been optimized in order to comply with export customer's requirements and product reliability in high and low temperature environment for XKT-1 (KT-1 Export Version) aircraft. Additionally, the tests are suitable for large sized environmental chambers, which is one of the facilities of ADD (Agency for Defense Development) according to ETEMP (Environmental Test and Evaluation Master Plan). The results of these test profiles and test executions satisfy the customer requirements and product reliability. The present paper can be applied to the other export programs with more severe temperature conditions.

Real-time Task Aware Memory Allocation Techniques for Heterogeneous Mobile Multitasking Environments (이종 모바일 멀티태스킹 환경을 위한 실시간 작업 인지형 메모리 할당 기술 연구)

  • Bahn, Hyokyung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.22 no.3
    • /
    • pp.43-48
    • /
    • 2022
  • Recently, due to the rapid performance improvement of smartphones and the increase in background executions of mobile apps, multitasking has become common on mobile platforms. Unlike traditional desktop and server apps, response time is important in most mobile apps as they are interactive tasks, and some apps are classified as real-time tasks with deadlines. In this paper, we discuss how to meet the requirements of heterogeneous multitasking in managing memory of real-time and interactive tasks when they are executed together on a smartphone. To do so, we analyze the memory requirement of real-time tasks, and propose a model that has the ability of allocating memory to multitasking tasks on a smartphone. Trace-driven simulations with real-world storage access traces captured by heterogeneous apps show that the proposed model provides reasonable performance for interactive tasks while guaranteeing the requirement of real-time tasks.

Assessing the ED-H Scheduler in Batteryless Energy Harvesting End Devices: A Simulation-Based Approach for LoRaWAN Class-A Networks

  • Sangsoo Park
    • Journal of the Korea Society of Computer and Information
    • /
    • v.29 no.1
    • /
    • pp.1-9
    • /
    • 2024
  • This paper proposes an integration of the ED-H scheduling algorithm, known for optimal real-time scheduling, with the LoRaEnergySim simulator. This integration facilitates the simulation of interactions between real-time scheduling algorithms for tasks with time constraints in Class-A LoRaWAN Class-A devices using a super-capacitor-based energy harvesting system. The time and energy characteristics of LoRaWAN status and state transitions are extracted in a log format, and the task model is structured to suit the time-slot-based ED-H scheduling algorithm. The algorithm is extended to perform tasks while satisfying time constraints based on CPU executions. To evaluate the proposed approach, the ED-H scheduling algorithm is executed on a set of tasks with varying time and energy characteristics and CPU occupancy rates ranging from 10% to 90%, under the same conditions as the LoRaEnergySim simulation results for packet transmission and reception. The experimental results confirmed the applicability of co-simulation by demonstrating that tasks are prioritized based on urgency without depleting the supercapacitor's energy to satisfy time constraints, depending on the scheduling algorithm.

A Study on Efficient Executions of MPI Parallel Programs in Memory-Centric Computer Architecture

  • Lee, Je-Man;Lee, Seung-Chul;Shin, Dongha
    • Journal of the Korea Society of Computer and Information
    • /
    • v.25 no.1
    • /
    • pp.1-11
    • /
    • 2020
  • In this paper, we present a technique that executes MPI parallel programs, that are developed on processor-centric computer architecture, more efficiently on memory-centric computer architecture without program modification. The technique we present here improves performance by replacing low-speed data communication over the network of MPI library functions with high-speed data communication using the property called fast large shared memory of memory-centric computer architecture. The technique we present in the paper is implemented in two programs. The first program is a modified MPI library called MC-MPI-LIB that runs MPI parallel programs more efficiently on memory-centric computer architecture preserving the semantics of MPI library functions. The second program is a simulation program called MC-MPI-SIM that simulates the performance of memory-centric computer architecture on processor-centric computer architecture. We developed and tested the programs on distributed systems environment deployed on Docker based virtualization. We analyzed the performance of several MPI parallel programs and showed that we achieved better performance on memory-centric computer architecture. Especially we could see very high performance on the MPI parallel programs with high communication overhead.