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] Updated: (HARMONY-3975) [drlvm][gc_gen][tc] Known/proven race conditions markup at vector_block.h":(127-103) at vector_stack_init and vector_stack_push functions
Date Fri, 01 Jun 2007 10:39:15 GMT

     [ https://issues.apache.org/jira/browse/HARMONY-3975?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]

Ilya Leviev updated HARMONY-3975:
---------------------------------

    Summary: [drlvm][gc_gen][tc] Known/proven race conditions markup at vector_block.h":(127-103)
at vector_stack_init and vector_stack_push functions  (was: [drlvm][gc_gen] Known/proven race
conditions markup at vector_block.h":(127-103) at vector_stack_init and vector_stack_push
functions)

> [drlvm][gc_gen][tc] 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.


Mime
View raw message