[threadpool] Fix alignment of ThreadPoolWorkerCounter (#4871)
authorLudovic Henry <ludovic@xamarin.com>
Tue, 16 May 2017 02:19:34 +0000 (22:19 -0400)
committerGitHub <noreply@github.com>
Tue, 16 May 2017 02:19:34 +0000 (22:19 -0400)
commitc74f8a0ea534b02fe693862a5c7201100266af0b
treec20dbbfdad6f23f91806a8385406ea6962959ec3
parente120193ed19d105d3360c7005943cbed8af83549
[threadpool] Fix alignment of ThreadPoolWorkerCounter (#4871)

It is accessed with a 64bits atomic operation, so it needs to be 64bits aligned, even on a 32bits platform. A CPU exception EXC_ARM_DA_ALIGN triggers on armv7 32bits.

Fix https://bugzilla.xamarin.com/show_bug.cgi?id=56202
mono/metadata/threadpool-worker-default.c