I just tried to print out each uthread's stack address and find they are generally 0x7ffff... However, based on the variable
of STACK_BASE_ADDR, stack address should start from 0x2000... Then I find this line actually calls atomic64_fetchandand() instead of atomic64_fetchandadd(). So it seems this is a small typo?
Just want to let you know about this potential bug, although the runtime works perfectly without fixing it!
Hi Caladan authors!
I just tried to print out each uthread's stack address and find they are generally 0x7ffff... However, based on the variable of STACK_BASE_ADDR, stack address should start from 0x2000... Then I find this line actually calls atomic64_fetchandand() instead of atomic64_fetchandadd(). So it seems this is a small typo?
Just want to let you know about this potential bug, although the runtime works perfectly without fixing it!
Best, Yang