harmony-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Ilya Leviev (JIRA)" <j...@apache.org>
Subject [jira] Created: (HARMONY-3975) [drlvm][gc_gen] Race conditions at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions
Date Fri, 25 May 2007 09:42:19 GMT
[drlvm][gc_gen] Race conditions 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
         Attachments: 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.


Mime
View raw message