You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@harmony.apache.org by "Ilya Leviev (JIRA)" <ji...@apache.org> on 2007/05/25 11:42:20 UTC
[jira] Updated: (HARMONY-3975) [drlvm][gc_gen] Race conditions at
vector_block.h":(127-103) at vector_stack_init and vector_stack_push
functions
[ https://issues.apache.org/jira/browse/HARMONY-3975?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Ilya Leviev updated HARMONY-3975:
---------------------------------
Attachment: SourceViewScreenshot-1.jpg
> [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.