• Title/Summary/Keyword: Lock-Free

Search Result 62, Processing Time 0.023 seconds

Distributed Indexing Methods for Moving Objects based on Spark Stream

  • Lee, Yunsou;Song, Seokil
    • International Journal of Contents
    • /
    • v.11 no.1
    • /
    • pp.69-72
    • /
    • 2015
  • Generally, existing parallel main-memory spatial index structures to avoid the trade-off between query freshness and CPU cost uses light-weight locking techniques. However, still, the lock based methods have some limits such as thrashing which is a well-known problem in lock based methods. In this paper, we propose a distributed index structure for moving objects exploiting the parallelism in multiple machines. The proposed index is a lock free multi-version concurrency technique based on the D-Stream model of Spark Stream. The proposed method exploits the multiversion nature of D-Stream of Spark Streaming.

Vortex induced vibration analysis of a cylinder mounted on a flexible rod

  • Zamanian, Mehdi;Garibaldi, Luigi
    • Wind and Structures
    • /
    • v.29 no.6
    • /
    • pp.441-455
    • /
    • 2019
  • In this study, vortex induced vibrations of a cylinder mounted on a flexible rod are analyzed. This simple configuration represents the key element of new conception bladeless wind turbine (Whitlock 2015). In this study the structure oscillations equation coupled to the wake oscillation equation for this configuration are solved using analytical perturbation method, for the first time. An analytical expression that predicts the lock-in phenomena range of wind speed is derived. The discretized equations of motion are also solved using RKF45 numerical method. The equations of motion are discretized by Galerkin method. Free vibration mode shape of the structure taking into account the discontinuity of the cross section are used as comparison function. Numerical results are compared to the analytical results, and they show a satisfying agreement. The effect of system parameters on the oscillations of structure and wake as well as on the lock-in domain are presented. Moreover, it is shown that the values of wind speed triggering the start and the stop of the lock-in phenomenon, for increasing wind speed are different from those values obtained during the reverse process, i.e., when the wind speed decreases.

A Study on the Cutting and Vibration Characteristic of Ultrasonic Vibration Cutting (초음파 진동선삭에서의 절삭 및 진동특성에 관한 연구)

  • 이규배;임영호;이계철
    • Journal of KSNVE
    • /
    • v.4 no.2
    • /
    • pp.147-154
    • /
    • 1994
  • In this study, ultransonic vibration cutting system was contructed by installing throw-away-tool tip (KT 350) by screw lock on the bending vibration mode in free-free beam. During the conventional cutting and ultransonic conventional cutting of SM45C, variations of cutting force, roughness and acceleration were measured. The results were compared and analyzed in detail, and it was found that the ultransonic vibration cutting was more effective in reducing cutting force compareed with the conventional cutting .

  • PDF

A Study on Wait-Free Synchronization and Memory Reclamation Technologies (Wait-free 동기화 및 메모리 해제 기술 연구)

  • Shin, Eun-Hwan;Kim, In-Hyuk;Eom, Young-Ik
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.04a
    • /
    • pp.238-241
    • /
    • 2011
  • Locking은 다중 스레드간의 경쟁 상태를 조절하기 위한 전통적인 메커니즘이다. 하지만 Locking을 사용할 경우, 공유 데이터에 대한 잠금(lock) 및 해제(unlock)에 따른 대기 시간(waiting time)이 발생하며, 이는 전체 시스템 성능을 저하시킨다. Wait-free 동기화는 이러한 전통적인 Locking의 비용을 줄이고자 하는 기법이다. Wait-free 동기화의 기본 아이디어는 공유 데이터 수정 시 복제본을 생성해 처리함으로써 잠금에 따른 대기시간을 제거하는 것이다. 따라서 Wait-free 동기화 기법에서는 복제본생성 이후의 메모리 해제가 가장 큰 비용을 차지한다. 이에 본 논문에서는 Wait-free 동기화 및 메모리 해제 기법과 관련하여 주요 이슈 및 기술 현황에 대한 분석을 실시하였다.

Large Eddy Simulation of Free Motion of Marine Riser using OpenFOAM (오픈폼을 활용한 자유진동하는 라이저 주위 유동의 LES 해석)

  • Jung, Jae-Hwan;Jeong, Kwang-Leol;Gill, Jae-Heung;Jung, Dongho
    • Journal of Ocean Engineering and Technology
    • /
    • v.33 no.5
    • /
    • pp.387-393
    • /
    • 2019
  • In this study, the free motion of a riser due to vortex shedding was numerically simulated with Large Eddy Simulation (LES) and Detached Eddy Simulation (DES) turbulence models. A numerical simulation program was developed by applying the Rhie-Chow interpolation method to the pressure correction of the OpenFOAM standard solver pimpleDyMFoam. To verify the developed program, the vortex shedding around the fixed riser at Re = 3900 was calculated, and the results were compared with the existing experimental and numerical data. Moreover, the vortex-induced vibration of a riser supported by a linear spring was numerically simulated while varying the spring constant. The results are compared with published direct numerical simulation (DNS) results. The present calculation results show that the numerical method is appropriate for simulating the vortex-induced motion of a riser, including lock-in phenomena.

A Study on the Phase Locked Loop Macromodel for PSPICE (PSPICE에 사용되는 위상동기루프 매크로모델에 관한 연구)

  • 김경월;김학선;홍신남;이형재
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.19 no.9
    • /
    • pp.1692-1701
    • /
    • 1994
  • Macromodeling technology is useful to simulate and analyze the performance of new elements and complicated circuits or systems without any changes in today's general simulator, PSPICE. In this paper, Phase Locked Loop(PLL) is designed using macromodeling technique. The PLL macromodel has two basic sub-macromodels of the phase detector and the voltage controlled oscillator(VCO). The PLL macromodel has two open terminals for inserting RC low pass filter. The PLL macromodel is simulated using simulation parameters of LM565CN manufactured in the National company. At a free-running frequency, 2500Hz, upper lock range and lower capture range was 437Hz, 563Hz, respectively. Also, experimental results and simulation results of LM565CN PLL show good agreement.

  • PDF

A three-dimensional Numerical Model for the Mixing of Saltwater and Freshwater (염수와 담수의 혼합에 관한 3차원 수치모형)

  • Jang, Won-Jae;Lee, Seung-Oh;Cho, Yong-Sik
    • 한국방재학회:학술대회논문집
    • /
    • 2008.02a
    • /
    • pp.233-236
    • /
    • 2008
  • To analyze the saline intrusion in the place, such as an estuary, the three-dimensional numerical model is developed. In this study, the advection terms of the governing equations are discretized by upwind scheme. By using an explicit scheme for the longitudinal direction and an implicit scheme for the vertical direction, the numerical model is free from the restriction of temporal step size caused by a relatively small grid ratio. The equation of state is used to consider the density, and the scalar transport equation for salinity is employed the third order TVD to scheme to prevent unphysical oscillation near discontinuity. In order to verify saline intrusion, the numerical model is conducted to compare the previous model in the lock exchange. The present model generally show a good agreement with the previous one.

  • PDF

Numerical simulations of two-dimensional floating breakwaters in regular waves using fixed cartesian grid

  • Jeong, Kwang-Leol;Lee, Young-Gill
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • v.6 no.2
    • /
    • pp.206-218
    • /
    • 2014
  • The wave attenuation by floating breakwaters in high amplitude waves, which can lead to wave overtopping and breaking, is examined by numerical simulations. The governing equations, the Navier-Stokes equations and the continuity equation, are calculated in a fixed Cartesian grid system. The body boundaries are defined by the line segment connecting the points where the grid line and body surface meet. No-slip and divergence free conditions are satisfied at the body boundary cell. The nonlinear waves near the moving body is defined using the modified marker-density method. To verify the present numerical method, vortex induced vibration on an elastically mounted cylinder and free roll decay are numerically simulated and the results are compared with those reported in the literature. Using the present numerical method, the wave attenuations by three kinds of floating breakwaters are simulated numerically in a regular wave to compare the performance.

Theoretical and experimental study on ultrahigh-speed clock recovery system with optical phase lock loop using TOAD (TOAD를 이용한 40 Gbit/s OPLL Clock Recovery 시스템에 대한 연구)

  • Ki, Ho-Jin;Jhon, Young-Min;Byun, Young-Tae;Woo, Deok-Ha
    • Korean Journal of Optics and Photonics
    • /
    • v.16 no.1
    • /
    • pp.21-26
    • /
    • 2005
  • 10 GHz clock recovery from 40 Gbit/s optical time-division-multiplexed(OTDM) signal pulses was experimentally demonstrated using an optical phase lock loop based on a terahertz optical asymmetric demultiplexer(TOAD) with a local-reference-oscillator-free electronic feedback circuit. The 10 GHz clock was successfully extracted from 40 Gbit/s signals. The SNR of the time-extracted 10 GHz RF signal to the side components was larger than 40 dB. Also we performed numerical simulation about the extraction process of phase information in TOAD. The lock-in frequency range of the clock recovery is found to be 10 kHz.

A Design of Expandable IC Card Operating System (확정성 있는 IC 카드 운영체제의 설계)

  • 박철한
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.9 no.2
    • /
    • pp.49-60
    • /
    • 1999
  • IC 카드의 하드웨어적인 제약으로 대부분의 IC 카드는 대칭키 알고리즘을 사용하고 있지만 IC 카드 하드웨어 제조 기술의 발전으로 앞으로는 보안성이 우수한 비대 칭키 알고리즘이 많이 사용될 것이다. 그리고 IC 카드의 가장 큰 제약적 중 하나는 메모리 용량의 한계이다. 따라서 보안상 안전하면서도 메모리를 적게 사용하는 IC 카드 운영체제의 구현을 중요한 문제이다. 그래서 본 논문에서는 다양한 종류의 키 알고리즘을 수용할 수 있는 키 파일 탐색 기법을 제안하였다. 또한 데이터 파일 헤더에 잠금 필드를 삽입하여 보안성을 향상시켰으며 메모리 사용량을 줄일 수 있도록 데이터 파일 헤더만을 이용한 파일 탐색 기법과 자유 공간 탐색 기법을 제안하였다. Because of the evolution of IC card hardware fabrication technologies IC card will be able to accept asymmetric key encryption algorithm in the future. One of the most restrictive points of IC card is memory capacity. Therefore it is an important problem to design a secure IC card operating system using memory in small. In this paper we proposed a key file search mechanism using a key length field inserted in a key file header structure. The key file search mechanism makes IC card execute any key-based encryption algorithm. In addition we proposed inserting a lock field in data file header structure. The lock field intensifies the security of a data file. Finally we proposed a data file search mechanism and free space search mechanism using only data file header. The file system using these mechanisms spends smaller memory than that using a file description table and record of unallocated space.