Merge pull request #799 from kebby/master

Task.WhenAllCore<T> now handles empty argument list correctly. Fixes #15956

Merge pull request #805 from supershitauto/master

2013-11-12 Ryan Williams <ryan@ryanwilliams.id.au>

2013-11-12 Ryan Williams <ryan@ryanwilliams.id.au>

Renamed member variables to be compatible with Microsoft for serialization.

Slight change to Equals method for consistency.

[aot] Fix a typo causing crashes when using async jit info.

Merge pull request #804 from xplicit/attrfix

Fixed StackOverflow exception in Attribute.GetHashCode()

fixed stackoverflow exception in Attribute.GetHashCode()

MS implementation of Attribute.GetHashCode does not depend on TypeId property, so you can return any value in TypeId and hashcode in MS.NET will be the same.

[aot] Remove -mattr=-avx flag to llc on amd64+osx, its no longer needed.

[aot] Clean up the linker invocation code a bit.

[aot] Use temp.bc/temp.opt.bc instead of temp.s.bc/temp.s.opt.bc as llvm temporary file names.

[llvm] Add the strip-dead-prototypes pass to remove unused intrinsics definitions from the .bc file.

[aot] Use clang as the assembler on osx.

[aot] Avoid emitting a 'methods' symbol using .set methods, clang's integrated assembler doesn't seem to support it.

[llvm] Use i64*/i32* as the LLVM type of objrefs instead of i64/i32, the basicaa LLVM pass cannot see through the inttoptr casts we were emitting before loads.

[llvm] Update list of optimizations passed to 'opt'.

[llvm] Rename the MONO_INST_CONSTANT_LOAD flag to MONO_INST_INVARIANT_LOAD for consistency with LLVM.

Do not justify the text

[llvm] Mark the load generated by OP_AOTCONST as invariant.

[jit] Add a simple loop invariant loop motion pass for use with LLVM, which moves loop invariant instructions out of loop headers into the preceeding bblock.

Merge pull request #803 from Wolpertinger/patch-1

System.CompomentModel.Component.cs: Make disposedEvent key static

System.CompomentModel.Component.cs: Make disposedEvent key static

There is no need for an instance of Component to create its own lookup key for the Disposed event. Use a shared static key instead.

Improve my previous change a bit.

Checking the `disposing` argument is cleaner.

Fix an NRE in System.Timers.Timer.Dispose ().

This would happen because _lock is nullified by the GC during
finalization. Dispose () calls Close () which sets the Enabled
property to false, which then attempts to lock on _lock.

[jit] Remove references to unused llvm.invariant.start/end intrinsics.

[jit] Make ABCREM really remove bounds checks, not just when running with -v -v -v -v.

[Mono.Tuner] Make ISubStep.Initialize public virtual instead of private, so that consumers can override.

Previously derived classes could implement ISubStep.Initialize, but after
da82237da061cf this (correctly) not allowed anymore.

fix package build.

Merge pull request #800 from alistair/south_timezone_fix

Southern Hemisphere timezone fix

[jit] Remove a few LLVM_MONO_BRANCH defines, we don't support non-mono versions of LLVM any more.

[jit] Fix sgen support in LLVM. Use the new LLVM 'invariant.load' metadata instead of our 'mono.noalias' metadata.

[jit] Implement support for OP_TLS_GET on amd64+llvm.

[runtime] Remove some debug spew.

[runtime] Only do the stack manipulation added by 79e0856ffda4c2566314ba31677fe55f2d7f53f2 on linux, since it seems to crash on osx.

[monolinker] Add additional preserve instruction for IReadOnlyCollection on System.Array

[runtime] Preserve the call chain in mono_arch_setup_async_callback () on amd64 to prevent crashes in the libgcc unwinder (#15969).

Added tests for Task.WhenAll w/ empty list

Return empty result array when calling Task.WhenAllCore<T> with empty argument list. Fixes #15956

Further reduce the chance of an NRE in WebConnection, ref: 55f400b6446024adef5dcc8cc690b6951af98125

[runtime] Fix the osx mavericks stack size calculation in sgen too.

[runtime] Fix stack size detection on osx mavericks. Fixes #15890.

[linker] Allow accessing more MarkStep.Mark* methods from subclasses

Reduce contention and unnecessary checks at each lookup, part of xambug #14644.

[runtime]Split thread unregistration in two steps, one with no locks, one with locks taken. Fixes #15916.

In order allow for arbitrary code in the profiler callback we must invoke it without
holding any runtime leaf lock - this happens quite frequently with sdb as it tries to
suspend the world on those callbacks.

So thread shutdown is now split in two phases, first one that does the no-locks part
where the thread remains suspendable afterwards and then onewith locks taken where we
do the final cleanup and final shutdown.

[runtime] Handle unaligned access in all interlocked icalls. Fixes #15925.

[runtime] Fix warnings.

Fix the mobile_static build.

[jit] Cleanup a bit how we handle small structs.

 [jit]Add amd64 support for the new compare instructions.

[jit]Add x86 support for the new compare instructions.

[jit] Add some missing compare instructions which will make it easier to optimize inlined boolean expressions.

[build]Enable passing arguments to the extension module.

The build argument --enable-extension-module now takes a comma separated list
of arguments that are passed down. Passing no arguments triggers the old behavior.

[jit] Reduce the number of #ifdefs in the JIT code by a little.

Fix corlib tests with hard coded line numbers.

[jit] Get rid of the intermediate OP_..CALLVIRT opcodes, use the _MEMBASE opcodes instead.

[jit] Add support for generating the push/pop the LMF from the LMF stack as IR instead of hand-written assembly code in the backends. Not yet used.

Mark some corlib tests with the LLVMNotWorking category.

Fix compile warning and break from for loop once complete

Attempt to implement GetTimeZoneData to support all hemispheres

Add unit test for NZST

[jit] Disable the optimization added by 63eb94e451a59491034516f2ec9f27d586b34d86 when using LLVM, the handler bblock has no in edges, which seems to cause problems when using LLVM.

[jit] Add a comment.

[jit] Remove OP_JMP implementation from the x86 backend, its not used there.

[jit] Clean up the tail call code a bit.

[sdb] Implement support for DebuggerStepThrough attribute. Fixes #15139.

Merge pull request #798 from akoeplinger/fix-test

Fixed an issue in corlib Makefile

hack SettingValueElement.Unmerge().

[jit] Fix fbd9fd71679f626fabe0b1bd7f923836f98252b4, a wrong version was commited.

[fullaot] Don't use the complicated generics-heavy cache under full-aot.

[System] Avoid an NRE when Close() and Write() are concurrent.

Fixes: https://bugzilla.xamarin.com/show_bug.cgi?id=15857

Scenario (for which I couldn't easily create a testcase, but can
sketch out): Imagine using HttpClient...in a multithreaded manner:

// shared:
static CancellationTokenSource _cancellationTokenSource = new CancellationTokenSource ();

// Thread 1
var request = new HttpRequestMessage(HttpMethod.Post, "https://www.google.com/") {
Content = new StringContent (new string('x', 1024)),
};
using (request)
using (HttpClient httpClient = new HttpClient())
using (HttpResponseMessage response = await httpClient.SendAsync(request,
_cancellationTokenSource.Token)) {
string responseContent = await response.Content.ReadAsStringAsync();
Console.WriteLine ("Read {0} chars", responseContent.Length);
}

// Thread 2
_cancellationTokenSource.Cancel ();

This isn't entirely farfetched; in the case of #15857, Thread 2 was
the Main thread (due to the user clicking a button), while Thread 1
was the ThreadPool (because of async/await).

The _occasional_ result: a TargetInvocationException exception:

System.Reflection.TargetInvocationException: Exception has been thrown by the target of an invocation. ---> System.NullReferenceException: Object reference not set to an instance of an object
  at (wrapper delegate-invoke) <Module>:invoke_bool__this___HttpsClientStream (Mono.Security.Protocol.Tls.HttpsClientStream)
  at System.Reflection.MonoProperty.GetterAdapterFrame[HttpsClientStream,Boolean] (System.Reflection.Getter`2 getter, System.Object obj)
  at System.Reflection.MonoProperty.GetValue (System.Object obj, System.Object[] index)
  --- End of inner exception stack trace ---
  at System.Reflection.MonoProperty.GetValue (System.Object obj, System.Object[] index)
  at System.Net.WebConnection.Write (System.Net.HttpWebRequest request, System.Byte[] buffer, Int32 offset, Int32 size, System.String& err_msg)
  at System.Net.WebConnectionStream.WriteHeaders ()
  at System.Net.WebConnectionStream.SetHeaders (System.Byte[] buffer)
  at System.Net.HttpWebRequest.SendRequestHeaders (Boolean propagate_error)
--- End of stack trace from previous location where exception was thrown ---
  at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw ()
  at System.Runtime.CompilerServices.ConfiguredTaskAwaitable`1+ConfiguredTaskAwaiter[System.Net.Http.HttpResponseMessage].GetResult ()
  at System.Net.Http.HttpClient+<SendAsyncWorker>c__async0.MoveNext ()
--- End of stack trace from previous location where exception was thrown ---
  at System.Runtime.ExceptionServices.ExceptionDispatchInfo.Throw ()
  at System.Runtime.CompilerServices.TaskAwaiter`1[System.Net.Http.HttpResponseMessage].GetResult ()
  at HttpClientAsyncCancellationRepro.Activity1+<AccessGoogleButton_Click>c__async0.MoveNext ()

Huh?

The reason why is because HttpClientHandler.SendAsync() registers a
Cancel handler with the CancellationTokenSource, and the registered
handler calls HttpWebRequest.Abort() (which eventually calls
WebConnection.Close()). This causes WebConnection.nstream to _change_
while WebConnection.Write() is executing, causing
WebConnection.nstream to go from non-null to null, which
WebConnection.Write() does not expect:

# WebConnection.CreateStream; from 5 Threadpool worker
# WebConnection.Write; from 5 Threadpool worker
# WebConnection.Close; from 1  at    at System.Environment.get_StackTrace()
   at System.Net.WebConnection.Close(Boolean sendNext)
   at System.Net.WebConnection.Abort(System.Object sender, System.EventArgs args)
   at System.Net.WebConnection+AbortHelper.Abort(System.Object sender, System.EventArgs args)
   at System.Net.HttpWebRequest.Abort()
   at System.Net.Http.HttpClientHandler+<SendAsync>c__async0.<>m__0(System.Object l)
   at System.Threading.CancellationToken+<Register>c__AnonStorey0.<>m__0()
   at System.Threading.CancellationTokenSource.Cancel(Boolean throwOnFirstException)
   at System.Threading.CancellationTokenSource.Cancel()
   at System.Threading.CancellationTokenSource.SafeLinkedCancel()
   at System.Threading.CancellationTokenSource.Cancel(Boolean throwOnFirstException)
   at System.Threading.CancellationTokenSource.Cancel()
   at HttpClientAsyncCancellationRepro.Activity1.CancelButton_Click(System.Object sender, System.EventArgs e)
   at Android.Views.View+IOnClickListenerImplementor.OnClick(Android.Views.View v)
   at Android.Views.View+IOnClickListenerInvoker.n_OnClick_Landroid_view_View_(IntPtr jnienv, IntPtr native__this, IntPtr native_v)
   at System.Object.e7b5b870-ea0f-434f-bc31-984f665a44ad(IntPtr , IntPtr , IntPtr )
# WebConnection.Write: checking piTrustFailure; from 5 Threadpool worker

(Yay extra logging. Notice that WebConnection creates a stream from
the ThreadPool, starts WebConnection.Write(), then before it can se
piTrustFailure the instance is Close()d, which nulls out nstream.)

Since WebConnection.Write() attempts to access the (now null)
WebConnection.nstream field, it results in a NullReferenceException,
which is wrapped into a TargetInvocationException by
System.Reflection.

The fix? As usual, "don't do that."

In this case, WebConnection.Write() has already captured
WebConnection.nstream into the local variable `s` (which thus can't be
changed by another thread). Instead of using WebConnection.nstream,
reuse the `s` local variable, which cannot be null, thus avoiding the
NullReferenceException.

(This solution could fail if HttpsClientStream ever throws e.g.
ObjectDisposedException from HttpsClientStream.TrustFailure, but at
present HttpsClientStream.TrustFailure never throws, so this is fine.)

Comment style

[jit] Avoid linking the try block with the EH block as this produces spurious BBs during inlining.

The inliner could not handle optimally when we inline code inside the try block as it would be linked
with the catch block.

Since the source block would have more than one exit, the inliner would conservatively not link them together,
which hinders further local optimizations.

Fixed an issue in corlib Makefile that would make a resource test case fail which relies on satellite assemblies.
The satellite assembly generated by the Makefile was suffixed with '.Resources.dll', but the assembly loader looks for '.resources.dll', thus the satellite assembly wasn't found.

[jit]Extract emit_init_local and use it with the ldloca optimization to handle any kind of types.

[jit] Fix a gsharedvt crash on x86.

Revert "[sgen] Use mono_class_has_parent () instead of mono_class_has_parent_fast () in one place."

This reverts commit 2594b363632d507e20dbc728f48bcb4bfef7295f.

Revert this as its wrong.

Fix warnings.

[sgen] Use mono_class_has_parent () instead of mono_class_has_parent_fast () in one place.

[jit] Implement support for OP_TLS_GET_REG on amd64 linux.

Fix the linker script for OSX. libtool screwed up the first attempt.

Merge pull request #797 from ranma42/fix-log-message

[runtime] Fix AOT log message

Fix the amd64 build. Fix a warning.

[sdb] Fix an assertion if a single step breakpoint is hit in a thread other than the thread the single stepping is done on. Fixes #14950.

[jit] Fix the processing of LLVM compiled method frames on x86. Fixes running corlib tests with LLVM.

[sdb] Fix tests.

[runtime] Fix AOT log message

In 72ca429d6ced5d0a5cf9e517e19aa2c49405f4ed the message format was
refactored and an additional '%s' format specifier was left over.

Fix indentation.

Oddly, we don't use tabs here...

[jit] Pair of fixes from last merge.

[jit] The AggressiveInlining hint now triggers class initialization so more stuff gets force-inlined.

[jit] Clean up emit_init_rvar and reduce code duplication.

[jit] Clean up usage of signature variables.

[jit]Add an alias analysis pass to the JIT.

The alias analysis pass is capable of simplifying indirection against
local or temporary variables. It will replace a memory load or store
with direct access to the variable.

It does a local pass looking for addresses and replacing memory
ops with direct ops.

If any conversion happens, it does a DCE pass to try to kill those
LDADDR and then recalculate the indirect flag.

Finally, if the number of indirect variables is reduced, it does a
global to local vreg pass and another DCE pass to kill most spurious
copying.

Performance numbers on 32bits OSX:

Code size:
mcs: -11.366 (0.6%)
corlib: -15.397 (0.6%)

Execution time increased by less than 0.2% which is about the same
value of the test variance.

Numbers are not impressive since we don't perform store forwarding
or constant load elimination. Proper handling of value type aggregates
and longs would move us much further.

[jit] Add counters for alias analysis.

[jit] Introduce has_indirection flag in MonoCompile to signal that LDADDR was generated.

To reduce the cost of alias analysis we detect which methods can potentially profit from
the optimization.

The current detection logic is very simple, every time LDADDR is generated, we set
has_indirection to TRUE.

[jit]Replace all usages of MONO_INST_INDIRECT to force regalloc with MONO_INST_VOLATILE.

The indirect flag should only be used to signal that the address of the given variable
has been taken. This means that it should be possible to recompute that flag from the IR.

The usage of the volatile flag remains not ideal as it conflates two separate issues
and will in the future hinder efforts to implement address based alias analysis.

[jit] Add new optimization flag for alias analysis.

[Mono.Debugger.Soft] Test the inherited Type attributes

[Mono.Debugger.Soft] Fixed unit test for getting custom type attributes

Revert "Implementation of Properties and Methods in MethodSignatureGenerator.cs"

This reverts commit 46cd052a3ab3102c59ed70f60a6290b4ed63da97.

This breaks the build.

[runtime] Fix the ARM build.

[linker]: Fix my previous commit.

We need to resolve all the TypeReferences before we update their scopes.
After setting the scope to null, calling Resolve() on a nested child would
crash.

Merge pull request #794 from aakashapoorv/patch-1

Implementation of Properties and Methods in MethodSignatureGenerator.cs