Return-Path: Delivered-To: apmail-harmony-commits-archive@www.apache.org Received: (qmail 80381 invoked from network); 28 May 2007 17:35:37 -0000 Received: from hermes.apache.org (HELO mail.apache.org) (140.211.11.2) by minotaur.apache.org with SMTP; 28 May 2007 17:35:37 -0000 Received: (qmail 79208 invoked by uid 500); 28 May 2007 17:35:42 -0000 Delivered-To: apmail-harmony-commits-archive@harmony.apache.org Received: (qmail 79119 invoked by uid 500); 28 May 2007 17:35:42 -0000 Mailing-List: contact commits-help@harmony.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: dev@harmony.apache.org Delivered-To: mailing list commits@harmony.apache.org Received: (qmail 79100 invoked by uid 99); 28 May 2007 17:35:42 -0000 Received: from herse.apache.org (HELO herse.apache.org) (140.211.11.133) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 28 May 2007 10:35:41 -0700 X-ASF-Spam-Status: No, hits=-100.0 required=10.0 tests=ALL_TRUSTED X-Spam-Check-By: apache.org Received: from [140.211.11.4] (HELO brutus.apache.org) (140.211.11.4) by apache.org (qpsmtpd/0.29) with ESMTP; Mon, 28 May 2007 10:35:36 -0700 Received: from brutus (localhost [127.0.0.1]) by brutus.apache.org (Postfix) with ESMTP id 822F4714183 for ; Mon, 28 May 2007 10:35:16 -0700 (PDT) Message-ID: <567493.1180373716529.JavaMail.jira@brutus> Date: Mon, 28 May 2007 10:35:16 -0700 (PDT) From: "Ilya Leviev (JIRA)" To: commits@harmony.apache.org Subject: [jira] Updated: (HARMONY-3975) [drlvm][gc_gen] Known/proven race conditions markup at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions In-Reply-To: <16219952.1180086139930.JavaMail.jira@brutus> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Virus-Checked: Checked by ClamAV on apache.org [ https://issues.apache.org/jira/browse/HARMONY-3975?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ] Ilya Leviev updated HARMONY-3975: --------------------------------- Patch Info: [Patch Available] Summary: [drlvm][gc_gen] Known/proven race conditions markup at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions (was: [drlvm][gc_gen] Race conditions at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions) > [drlvm][gc_gen] Known/proven race conditions markup at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions > ------------------------------------------------------------------------------------------------------------------------------------- > > Key: HARMONY-3975 > URL: https://issues.apache.org/jira/browse/HARMONY-3975 > Project: Harmony > Issue Type: Bug > Components: DRLVM > Reporter: Ilya Leviev > Assignee: Xiao-Feng Li > Attachments: HARMONY-3975_add_markup.patch, SourceViewScreenshot-1.jpg > > > Race conditions at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions > TC report on thread unsafe access that result in race condition that occur during concurrent execution of ector_stack_init and vector_stack_push functions > if it not affect correctness of execution I will mark it by special API for prevention of further alarms on this race. > Write -> Write data-race > Memory write at "vector_block.h":127 conflicts with a prior memory write at "vector_block.h":103 > Stack Trace: > Context > Function thread_start_proc "thread_native_basic.c":711 > Function collector_thread_func "collector.cpp":181 > Function void nongen_forward_pool(struct Collector *) "fspace_nongen_forward_pool.cpp":220 > Function collector_trace_rootsets "fspace_nongen_forward_pool.cpp":178 > Function trace_object "fspace_nongen_forward_pool.cpp":123 > Function forward_object "fspace_nongen_forward_pool.cpp":117 > Function scan_object "fspace_nongen_forward_pool.cpp":61 > Function scan_slot "fspace_nongen_forward_pool.cpp":34 > Function void collector_tracestack_push(struct Collector *,void *) "gc_metadata.h":175 > Function void vector_stack_push(struct Vector_Block *,unsigned int) "vector_block.h":126 > 1st Access > Function os_thread_create "os_thread.c":37 > Function _beginthreadex "threadex.c":145 > Function EntryPoint "dllcrt0.c":323 > Function threadstartex "threadex.c":241 > Function thread_start_proc "thread_native_basic.c":711 > Function collector_thread_func "collector.cpp":181 > Function void nongen_forward_pool(struct Collector *) "fspace_nongen_forward_pool.cpp":220 > Function collector_trace_rootsets "fspace_nongen_forward_pool.cpp":183 > Function void vector_stack_clear(struct Vector_Block *) "vector_block.h":108 > Function void vector_stack_init(struct Vector_Block *) "vector_block.h":103 > "100" "" " inline void vector_stack_init(Vector_Block* block)" > "101" "" " { " > "102" "" " block->tail = block->heap_end;" > "103" "*" " block->head = block->heap_end; " > "104" "" " }" > "105" "" " " > 2nd Access > Function thread_start_proc "thread_native_basic.c":711 > Function collector_thread_func "collector.cpp":181 > Function void nongen_forward_pool(struct Collector *) "fspace_nongen_forward_pool.cpp":220 > Function collector_trace_rootsets "fspace_nongen_forward_pool.cpp":178 > Function trace_object "fspace_nongen_forward_pool.cpp":123 > Function forward_object "fspace_nongen_forward_pool.cpp":117 > Function scan_object "fspace_nongen_forward_pool.cpp":61 > Function scan_slot "fspace_nongen_forward_pool.cpp":34 > Function void collector_tracestack_push(struct Collector *,void *) "gc_metadata.h":175 > Function void vector_stack_push(struct Vector_Block *,unsigned int) "vector_block.h":127 > "125" "" " inline void vector_stack_push(Vector_Block* block, POINTER_SIZE_INT value)" > "126" "" " { " > "127" "*" " block->head--;" > "128" "" " #ifdef _DEBUG" > "129" "*" " assert(value && !*(block->head));" > See also Source View screenshots. -- This message is automatically generated by JIRA. - You can reply to this email to add a comment to the issue online.