• 제목/요약/키워드: data race detection

검색결과 20건 처리시간 0.023초

모델기반의 커널 테스팅 프레이뭐크 (MOdel-based KERnel Testing (MOKERT) Framework)

  • 김문주;홍신
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권7호
    • /
    • pp.523-530
    • /
    • 2009
  • 최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

병렬 프로그램의 동적 분석을 위한 효율적인 감시 필터링 기술 (An Efficient Filtered Monitoring Technique for Dynamic Analysis of Parallel Programs)

  • 박세원;하옥균
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2016년도 제53차 동계학술대회논문집 24권1호
    • /
    • pp.9-10
    • /
    • 2016
  • 본 논문에서는 멀티 스레드 기반 병렬 프로그램의 동적 분석을 통한 자료경합 탐지를 위해 효율적인 감시 필터링 기술을 제시한다. 제시하는 감시 필터링 기술은 자료경합과 같은 동시성 오류를 탐지하기 위해 프로그램의 수행 중에 발생하는 공유 메모리에 대한 스레드들의 접근 분석 시에 동일한 코드영역을 단순 반복하는 스레드들을 감시대상에서 제외시킴으로써 동적 분석을 위한 추가적인 오버헤드를 최소화한다. 제시하는 필터링 기술을 수행 중 자료경합 탐지 도구에 적용한 실험적 평가를 통해 개선된 수행시간 오버헤드의 제공이 가능함을 보인다.

  • PDF

A Technique for Accurate Detection of Container Attacks with eBPF and AdaBoost

  • Hyeonseok Shin;Minjung Jo;Hosang Yoo;Yongwon Lee;Byungchul Tak
    • 한국컴퓨터정보학회논문지
    • /
    • 제29권6호
    • /
    • pp.39-51
    • /
    • 2024
  • 이 논문은 컨테이너 기반의 시스템 보안 강화를 목표로, 커널을 수정하지 않고 시스템콜을 분석하여 경쟁 상태를 동적으로 감지하는 새로운 방법을 제시한다. 컨테이너 탈출 공격은 공격자가 컨테이너의 격리를 벗어나 다른 시스템에 접근할 수 있게 하는데, 이 중 경쟁 상태 기반의 공격은 병렬 컴퓨팅 환경에서 발생할 수 있는 보안 취약점을 이용한다. 이러한 공격을 효과적으로 감지하고 방어하기 위해, 본 연구에서는 eBPF를 활용하여 공격 시 발생하는 시스템콜 패턴을 관찰하고, AdaBoost 모델을 사용하여 공격 프로세스와 정상 프로세스를 구분하는 방법을 개발하였다. 이를 위해 Dirty COW, Dirty Cred와 같은 공격과 MongoDB, PostgreSQL, Redis와 같은 일반 컨테이너 사용 사례에서 발생하는 시스템콜을 분석하여 학습 데이터로 활용하였다. 실험 결과, 이 방법은 99.55%의 Precision, 99.68%의 Recall 그리고 99.62%의 F1-score를 달성했으며, 이로 인한 시스템 오버헤드는 약 8%로 나타났다.

OpenMP 디렉티브 프로그램의 최초경합 탐지를 위한 도구 (A Detection Tool of First Races in OpenMP Programs with Directives)

  • 강문혜;하옥균;전용기
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제37권1호
    • /
    • pp.1-7
    • /
    • 2010
  • OpenMP 디렉티브 프로그램의 디버깅을 위해서 비결정적인 수행결과를 초래하는 경합을 탐지 하는 것은 중요하다. 특히, 프로그램 수행에서 가장 먼저 발생하는 최초경합은 이후에 발생하는 경합에 영향을 줄 수 있으므로 효과적인 디버깅을 위해서 반드시 탐지되어야 한다. 그러나 기존의 경합탐지 도구들은 최초경합의 탐지를 보장하지 못한다. 본 논문에서는 내포병렬성을 포함한 프로그램을 두 번의 수행으로만 프로그램의 수행 중에 최초경합을 탐지하는 도구를 제시한다. 본 도구의 정당성을 합성프로그램을 이용하여 보이고, 기존 경합탐지 도구와 기능성을 비교한다.

멀티 스레드 프로그램의 자료경합 탐지를 위한 수행 중 감시 도구 (On-the-fly Monitoring Tool for Detecting Data Races in Multithread Programs)

  • 팽봉준;박세원;구인본;하옥균;전용기
    • 정보과학회 논문지
    • /
    • 제42권2호
    • /
    • pp.155-161
    • /
    • 2015
  • 멀티 스레드 프로그램의 수행 중에 발생하는 자료경합과 원자성 위배 등과 같은 동시성 오류는 스레드들의 비결정적 수행으로 인해 다양한 수행 순서를 고려해야 하고 재생산 또한 어렵기 때문에 디버깅하기 어렵고 귀찮은 오류로 잘 알려져 있다. 이러한 자료경합을 디버깅하기 위해서는 스레드의 수행 순서와 메모리 접근 및 동기화 정보 등과 같은 프로그램의 수행 중에 발생한 정보를 수집 및 분석해야 한다. 본 논문에서는 멀티 스레드 프로그램의 수행 중에 벡터 클록 시스템을 기반으로 스레드의 병행성과 접근사건들 간의 순서관계를 생성 및 유지함으로써 정확하면서도 효율적인 감시와 분석이 가능한 도구인 VcTrace를 제시한다. 제시된 감시 도구를 사용하여 멀티 스레드 기반의 응용 프로그램을 대상으로 수행 중 발생한 스레드와 접근사건 등의 정보를 감시 및 유지하고, 자료경합을 탐지하는 기술과 접목하여 실용성을 분석한다.

Incidence and Clinical Characteristic of Venous Thromboembolism in Gynecologic Oncology Patients attending King Chulalongkorn Memorial Hospital over a 10 Year Period

  • Oranratanaphan, S;Termrungruanglert, W;Khemapech, N
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제16권15호
    • /
    • pp.6705-6709
    • /
    • 2015
  • Background: Venous thromboembolisms (VTEs) constitute a group of diseases including deep vein thrombosis (DVT) and pulmonary embolism (PE). They regarded as the second leading cause of death in cancer patients and several studies have confirmed that VTEs have a negative impact on survival and recurrent rate in both ovarian and endometrial cancer cases. The incidence of VTEs differs worldwide and depends on several risk factors including race, underlying disease, lifestyle, body weight, BMI and genetic risk factors. There is heterogeneity of DVT rates between Asian and Western countries. This study was conducted in order to evaluate the character and incidence of VTEs in gynecologic oncology patients in King Chulalongkorn Memorial Hospital over a 10 year period. Materials and Methods: A retrospective chart review was performed with VTEs defined as objective diagnosis of acute DVT or PE with typical symptoms and signs. Diagnoses were approved byan internist and/or confirmed with imaging studies. Data from both outpatient and inpatient sessions of the affected cases from January 2004 to December 2013 were extracted. General characteristics of the patients were collected with details of the diseases, types of cancer, stage, date of diagnosis of cancer, operative data, treatment outcome, progression free survival and overall survival. Results: Thirty cases of VTEs were identified in a total 2,316 gynecologic oncology cases. The incidence of symptomatic VTEs in total gynecologic oncology patients in our institution is 1.295%. The incidence of VTEs in ovarian cancer patients in our institution was 5.9%. Duration for VTE detection ranged from 13 months before diagnosis of cancer to 33 months after diagnosis of cancer. Most of the VTE cases were detected in ovarian cancer patients (60%). The most common cell type was adenocarcinoma (moderately to poorly differentiated) which accounted for 26.7% of the cases. The second most common cell type was clear cell carcinoma with 23.3% of the cases. Thirty percent of VTE cases developed before cancer was diagnosed, 20% were diagnosed at the same time as cancer detection and fifty percent developed after cancer was diagnosed. Median disease free survival of the gynecologic oncology patients with VTE was 7.5 months. Median overall survival (OS) was 12 months. Median progession free survivals of DVT and PE groups were 11.5 and 5.5 months, respectively. OS of DVT and PE was 12.0 and 11.5 months respectively. Conclusions: The incidence of VTE in Asian countries is believed to be lower than in European or Western countries. From our retrospective review, the incidence of VTEs in all types of gynecologic oncology was 1.295%, much lower than reported in the West. The reason for the lower incidence may genetic differences. Another factor is that VTE in this review was symptomatic, which is less than asymptomatic VTE. More than half of VTEs in this study developed in ovarian cancer patients. The results are compatible with earlier reports that among gynecologic malignancies, the incidence of VTE is highest in ovarian cancer.

스마트 폰에서 취득한 얼굴영상에서 아이라인 검출에 관한 연구 (A Study on the Eye-line Detection from Facial Image taken by Smart Phone)

  • 구하성;송호근
    • 한국정보통신학회논문지
    • /
    • 제15권10호
    • /
    • pp.2231-2238
    • /
    • 2011
  • 본 논문에서는 얼굴영상에서 눈과 아이라인을 추출하는 방법을 제안한다. 기존의 논문은 눈동자의 위치를 추출하는 것이 대부분이나, 본 논문에서는 눈의 위치뿐만 아니라 아이라인까지 추출함으로써 얼굴 응용분야에 다양하게 적용될 수 있다. 입력영상은 스마트폰 카메라로 정면을 찍은 얼굴 사진을 실험 자료로 하였으며, 기본적으로 영상은 1명의 얼굴로 제한하며, 배경은 어느 곳에서나 찍을 수 있고, 조명의 상태는 일정하지 않으며, 인종에 관한 제약은 없다. 제안하는 방법은 입력영상에서 Harr 분류기를 이용하여 얼굴후보영역 추출하고 얼굴 후보영역에서 눈의 위치 후보영역을 설정하였다. 눈의 후보영역에서 팽창연산을 이용하여 값이 큰 부분을 추출하고, 이 영상을 지역적인 이진화를 하여 눈과 눈썹을 분리하는 방법을 제안하였다. 그 후 Hsu가 제안한 EyemapC를 이용한 영상을 이진화하여 눈이 있는 부분과 눈이 없는 부분을 분리한 후, 그 눈의 윤곽선을 추출하고 최적타원 추정을 이용하여 아이라인을 검출하였다.

Practice of Breast Self-Examination Among Women in Malaysia

  • Al-Naggar, Redhwan Ahmed;Bobryshev, Yuri V.;Al-Jashamy, Karim
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제13권8호
    • /
    • pp.3829-3833
    • /
    • 2012
  • Objective: The objective of this study was to examine the practice and associated factors of breast self-examination (BSE) among Malaysian women. Methods: For this cross-sectional study 250 women were selected by a simple random sampling technique. The questionnaire was consisted of three parts: socio-demographic characteristics, knowledge about BSE, and practice of BSE. Obtained data was analyzed using SPSS version 13. T-test and ANOVA test were used to explore the relation between socio-demographic characteristics and the practice of BSE. Results: About 32% of the participants reported that they have had family history of cancer and about 20% of the participants reported that they have had family history of breast cancer. The majority of the participants (88.8%) have heard about breast cancer and 78.4% of the participants have heard about BSE. Race, marital status, residency, regular exercise, awareness about breast cancer, belief that breast cancer can be detected early, belief that early detection improves the chance of survival, family history of cancer, family history of breast cancer, awareness about BSE, and belief that BSE is necessary, significantly influenced the practice of BSE among women. Practice of BSE on monthly basis was found to be 47.2% among the study participants. Conclusions: The socio-demographic characteristics significantly influence the practice of BSA among women in Malaysia. The findings of this study might not only influence the planning of specific screening interventions and strategies in Malaysia but might also be important for the relevant international communities, interested in the peculiarities of BSE incidence in different countries.

돼지 SLA class III 영역 내 C4B 및 BAT2의 cSNP 동정 및 이를 이용한 유전자형 분석 (cSNP Identification and Genotyping from C4B and BAT2 Assigned to the SLA Class III Region)

  • 김재환;임현태;서보영;이상호;이재봉;유채경;정은지;전진태
    • Journal of Animal Science and Technology
    • /
    • 제49권5호
    • /
    • pp.549-558
    • /
    • 2007
  • C4B 및 BAT2는 SLA class III 영역에 존재하며, 최근 들어 사람의 질병과의 연관성이 보고되고 있다. GenBank database로부터 수집된 사람과 마우스의 C4B 및 BAT2의 CDS를 염기정렬하여 상동성이 높은 부분에서 primer를 제작한 후 RT-PCR 및 RACE-PCR을 수행하여 돼지 C4B 및 BAT2 유전자의 CDS 서열을 결정하였다. 염기서열이 결정된 돼지 C4B와 BAT2의 CDS 길이가 각각 5226 bp와 6501 bp로 나타났다. 이들 각각의 CDS 및 아미노산 서열을 사람 및 마우스와 비교한 결과 CDS는 76~87%, 아미노산 서열은 72~90%의 상동성을 보였으며, C4B가 BAT2에 비해 다소 낮게 나타났다. 두 유전자에서 나타나는 cSNP를 분석하기 위해서 exon 영역을 증폭하기 위한 primer를 제작하였으며, 돼지 6품종을 대상으로 direct sequencing을 실시하였다. 그 결과 C4B로부터 4개, BAT2로부터 3개의 cSNP가 확인되었다. 또한 7개의 cSNP 중 C4B의 C4248T를 제외한 6개의 cSNP에 의해서 아미노산 치환이 발생하였다. 동일한 DNA를 사용하여 7개의 cSNP를 대상으로 Multiplex-ARMS 방법을 사용하여 유전자형 분석을 실시한 결과 direct sequencing 결과와 일치하였다. Multiplex-ARMS 방법의 재현성을 재확인하기 위해 무작위로 2개의 DNA 시료를 선택하여 direct sequencing과 Multiplex-ARMS 분석을 실시하여 유전자형이 일치함을 다시 확인하였다. 따라서 본 연구에서 확인된 7개의 cSNP는 SLA class III 지역의 haplotype 분석을 위한 기초 자료로 사용될 수 있으며, Multiplex- ARMS 기법은 이종장기 개발에 필수적인 SLA 전체 영역 내 유전자들의 유전자형 분석을 위한 효율적인 분석방법이라고 사료된다.

Lung Cancer Knowledge among Secondary School Male Teachers in Kudat, Sabah, Malaysia

  • Al-Naggar, Redhwan Ahmed;Kadir, Samiah Yasmin Abdul
    • Asian Pacific Journal of Cancer Prevention
    • /
    • 제14권1호
    • /
    • pp.103-109
    • /
    • 2013
  • Background: The objective of this study is to determine knowledge about lung cancer among secondary school male teachers in Kudat, Sabah, Malaysia. Materials and Methods: A cross-sectional study was conducted among three secondary schools located in Kudat district, Sabah, Malaysia during the period from June until September 2012. The protocol of this study was approved by ethics committee of Management and Science University, Malaysia. The aims were explained and a consent form was signed by each participant. Respondents were chosen randomly from each school with the help of the headmasters. Self-administrated questionnaires, covering socio-demographic characteristics and general knowledge of lung cancer, were distributed. Once all 150 respondents completed the questionnaire, they passed it to their head master for collecting and recording. All the data were analyzed using Statistical Package for the Social Sciences (SPSS) version 13. ANOVA and t-test were applied for univariate analysis; and multiple linear regression for multivariate analysis. Results: A total of 150 male secondary school teachers participated in this study. Their mean age was $35.6{\pm}6.5$ (SD); maximum 50 and minimum 23 years old. More than half of the participants were Malay and married (52%, 79%; respectively). Regarding the knowledge about lung cancer, 57.3% of the participants mentioned that only males are affected by lung cancer. Some 70.7% mentioned that lung cancer can be transmitted from one person to another. More than half (56.7%) reported that lung cancer is not the leading cause of death in Malaysian males. As for risk factors, the majority reported that family history of lung cancer is not involved. However, 91.3% were aware that cigarettes are the main risk factor of lung cancer and more than half (52%) believed that second-hand smoking is one of the risk factor of lung cancer. More than half (51.3%) were not aware that asbestos, ionizing radiation and other cancer causing substances are risk factors for lung cancer. Quitting smoking, avoiding second-hand smoking and avoiding unnecessary x-ray image of the chest (53.3%, 96.0%, 87.3%; respectively) are the main preventive measures mentioned by the participants. For the factors that influence the participants knowledge, univariate and multivariate analysis showed that only race was significant. Conclusions: Overall, the knowledge of school male teachers about lung cancer was low. However, few items were scored high: cigarettes are the main risk factor; avoiding second-hand smoking; and avoiding x-rays. Interventions to increase lung cancer awareness are needed to improve early detection behavior. Increase the price of pack of cigarettes to RM 20 and banning smoking in public places such as restaurants are highly recommended as primary preventive measures.