[corlib] Fixes security tests failures
[mono.git] / mcs / class / corlib / System.Threading / WaitHandle.cs
index 49094ac67230a890e54659b89c1078c8a2574db6..5558efad52f46159fe85716d319e60902ec26eaa 100644 (file)
@@ -33,15 +33,16 @@ using System.Reflection;
 using System.Runtime.CompilerServices;
 using System.Runtime.Remoting.Contexts;
 using System.Security.Permissions;
-
-#if NET_2_0
 using System.Runtime.InteropServices;
 using Microsoft.Win32.SafeHandles;
-#endif
+using System.Runtime.ConstrainedExecution;
 
 namespace System.Threading
 {
-       public abstract class WaitHandle : MarshalByRefObject, IDisposable
+       [ComVisible (true)]
+       [StructLayout (LayoutKind.Sequential)]
+       public abstract class WaitHandle
+               : MarshalByRefObject, IDisposable
        {
                [MethodImplAttribute(MethodImplOptions.InternalCall)]
                private static extern bool WaitAll_internal(WaitHandle[] handles, int ms, bool exitContext);
@@ -55,6 +56,14 @@ namespace System.Threading
                        if (length > 64)
                                throw new NotSupportedException ("Too many handles");
 
+                       if (handles.Length == 0) {
+                               // MS throws different exceptions from the different methods.
+                               if (waitAll)
+                                       throw new ArgumentNullException ("waitHandles");
+                               else
+                                       throw new ArgumentException ();
+                       }
+
 #if false
                        //
                        // Although we should thrown an exception if this is an STA thread,
@@ -70,16 +79,13 @@ namespace System.Threading
                                if (w == null)
                                        throw new ArgumentNullException ("waitHandles", "null handle");
 
-#if NET_2_0
                                if (w.safe_wait_handle == null)
                                        throw new ArgumentException ("null element found", "waitHandle");
-#else
-                               if (w.os_handle == InvalidHandle)
-                                       throw new ArgumentException ("null element found", "waitHandle");
-#endif
+
                        }
                }
-
+#if false
+               // usage of property is commented - see above
                static bool IsSTAThread {
                        get {
                                bool isSTA = Thread.CurrentThread.ApartmentState ==
@@ -96,7 +102,7 @@ namespace System.Threading
                                return isSTA;
                        }
                }
-               
+#endif
                public static bool WaitAll(WaitHandle[] waitHandles)
                {
                        CheckArray (waitHandles, true);
@@ -106,8 +112,18 @@ namespace System.Threading
                public static bool WaitAll(WaitHandle[] waitHandles, int millisecondsTimeout, bool exitContext)
                {
                        CheckArray (waitHandles, true);
+                       // check negative - except for -1 (which is Timeout.Infinite)
+                       if (millisecondsTimeout < Timeout.Infinite)
+                               throw new ArgumentOutOfRangeException ("millisecondsTimeout");
+
                        try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
+                               if (exitContext) {
+#if MONOTOUCH
+                                       throw new NotSupportedException ("exitContext == true is not supported");
+#else
+                                       SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                return(WaitAll_internal(waitHandles, millisecondsTimeout, false));
                        }
                        finally {
@@ -126,7 +142,13 @@ namespace System.Threading
                                throw new ArgumentOutOfRangeException ("timeout");
 
                        try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
+                               if (exitContext) {
+#if MONOTOUCH
+                                       throw new NotSupportedException ("exitContext == true is not supported");
+#else
+                                       SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                return (WaitAll_internal (waitHandles, (int) ms, exitContext));
                        }
                        finally {
@@ -138,19 +160,31 @@ namespace System.Threading
                private static extern int WaitAny_internal(WaitHandle[] handles, int ms, bool exitContext);
 
                // LAMESPEC: Doesn't specify how to signal failures
+               [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
                public static int WaitAny(WaitHandle[] waitHandles)
                {
                        CheckArray (waitHandles, false);
                        return(WaitAny_internal(waitHandles, Timeout.Infinite, false));
                }
 
+               [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
                public static int WaitAny(WaitHandle[] waitHandles,
                                          int millisecondsTimeout,
                                          bool exitContext)
                {
                        CheckArray (waitHandles, false);
+                       // check negative - except for -1 (which is Timeout.Infinite)
+                       if (millisecondsTimeout < Timeout.Infinite)
+                               throw new ArgumentOutOfRangeException ("millisecondsTimeout");
+
                        try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
+                               if (exitContext) {
+#if MONOTOUCH
+                                       throw new NotSupportedException ("exitContext == true is not supported");
+#else
+                                       SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                return(WaitAny_internal(waitHandles, millisecondsTimeout, exitContext));
                        }
                        finally {
@@ -158,6 +192,19 @@ namespace System.Threading
                        }
                }
 
+               [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
+               public static int WaitAny(WaitHandle[] waitHandles, TimeSpan timeout)
+               {
+                       return WaitAny (waitHandles, timeout, false);
+               }
+
+               [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
+               public static int WaitAny(WaitHandle[] waitHandles, int millisecondsTimeout)
+               {
+                       return WaitAny (waitHandles, millisecondsTimeout, false);
+               }
+
+               [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
                public static int WaitAny(WaitHandle[] waitHandles,
                                          TimeSpan timeout, bool exitContext)
                {
@@ -168,7 +215,13 @@ namespace System.Threading
                                throw new ArgumentOutOfRangeException ("timeout");
 
                        try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
+                               if (exitContext) {
+#if MONOTOUCH
+                                       throw new NotSupportedException ("exitContext == true is not supported");
+#else
+                                       SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                return (WaitAny_internal(waitHandles, (int) ms, exitContext));
                        }
                        finally {
@@ -176,19 +229,23 @@ namespace System.Threading
                        }
                }
 
-               [MonoTODO]
-               public WaitHandle() {
+               protected WaitHandle()
+               {
                        // FIXME
                }
 
-               public virtual void Close() {
+               public virtual void Close ()
+               {
                        Dispose(true);
-                       GC.SuppressFinalize (this);
+               }
+
+               public void Dispose ()
+               {
+                       Close ();
                }
 
                public const int WaitTimeout = 258;
 
-#if NET_2_0
                //
                // In 2.0 we use SafeWaitHandles instead of IntPtrs
                //
@@ -203,12 +260,10 @@ namespace System.Threading
                        [SecurityPermission (SecurityAction.LinkDemand, UnmanagedCode = true)]
                        [SecurityPermission (SecurityAction.InheritanceDemand, UnmanagedCode = true)]
                        set {
-                               //
-                               // Notice, from the 2.x documentation:
-                               //    Assigning a new value to the Handle property, will not release
-                               //    the previous handle, this could lead to a leak
-                               //
-                               safe_wait_handle = new SafeWaitHandle (value, false);
+                               if (value == InvalidHandle)
+                                       safe_wait_handle = new SafeWaitHandle (InvalidHandle, false);
+                               else
+                                       safe_wait_handle = new SafeWaitHandle (value, true);
                        }
                }
                
@@ -218,16 +273,19 @@ namespace System.Threading
                protected virtual void Dispose (bool explicitDisposing)
                {
                        if (!disposed){
-                               disposed = true;
 
                                //
                                // This is only the case if the handle was never properly initialized
-                               // most likely a but in the derived class
+                               // most likely a bug in the derived class
                                //
                                if (safe_wait_handle == null)
                                        return;
 
                                lock (this){
+                                       if (disposed)
+                                               return;
+
+                                       disposed = true;
                                        if (safe_wait_handle != null)
                                                safe_wait_handle.Dispose ();
                                }
@@ -235,18 +293,57 @@ namespace System.Threading
                }
 
                public SafeWaitHandle SafeWaitHandle {
+                       [ReliabilityContract (Consistency.WillNotCorruptState, Cer.MayFail)]
                        get {
                                return safe_wait_handle;
                        }
 
+                       [ReliabilityContract (Consistency.WillNotCorruptState, Cer.Success)]
                        set {
-                               if (safe_wait_handle != null)
-                                       safe_wait_handle.Close ();
-                               
-                               safe_wait_handle = value;
+                               if (value == null)
+                                       safe_wait_handle = new SafeWaitHandle (InvalidHandle, false);
+                               else
+                                       safe_wait_handle = value;
                        }
                }
 
+               public static bool SignalAndWait (WaitHandle toSignal,
+                                                 WaitHandle toWaitOn)
+               {
+                       return SignalAndWait (toSignal, toWaitOn, -1, false);
+               }
+               
+               public static bool SignalAndWait (WaitHandle toSignal,
+                                                 WaitHandle toWaitOn,
+                                                 int millisecondsTimeout,
+                                                 bool exitContext)
+               {
+                       if (toSignal == null)
+                               throw new ArgumentNullException ("toSignal");
+                       if (toWaitOn == null)
+                               throw new ArgumentNullException ("toWaitOn");
+
+                       if (millisecondsTimeout < -1)
+                               throw new ArgumentOutOfRangeException ("millisecondsTimeout");
+
+                       return SignalAndWait_Internal (toSignal.Handle, toWaitOn.Handle, millisecondsTimeout, exitContext);
+               }
+               
+               public static bool SignalAndWait (WaitHandle toSignal,
+                                                 WaitHandle toWaitOn,
+                                                 TimeSpan timeout,
+                                                 bool exitContext)
+               {
+                       double ms = timeout.TotalMilliseconds;
+                       if (ms > Int32.MaxValue)
+                               throw new ArgumentOutOfRangeException ("timeout");
+
+                       return SignalAndWait (toSignal, toWaitOn, Convert.ToInt32 (ms), false);
+               }
+
+               [MethodImplAttribute(MethodImplOptions.InternalCall)]
+               static extern bool SignalAndWait_Internal (IntPtr toSignal, IntPtr toWaitOn, int ms, bool exitContext);
+
                public virtual bool WaitOne()
                {
                        CheckDisposed ();
@@ -263,20 +360,39 @@ namespace System.Threading
                public virtual bool WaitOne(int millisecondsTimeout, bool exitContext)
                {
                        CheckDisposed ();
+                       // check negative - except for -1 (which is Timeout.Infinite)
+                       if (millisecondsTimeout < Timeout.Infinite)
+                               throw new ArgumentOutOfRangeException ("millisecondsTimeout");
+
                        bool release = false;
                        try {
-                               if (exitContext)
+                               if (exitContext) {
+#if !MONOTOUCH
                                        SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                safe_wait_handle.DangerousAddRef (ref release);
                                return (WaitOne_internal(safe_wait_handle.DangerousGetHandle (), millisecondsTimeout, exitContext));
                        } finally {
+#if !MONOTOUCH
                                if (exitContext)
                                        SynchronizationAttribute.EnterContext ();
+#endif
                                if (release)
                                        safe_wait_handle.DangerousRelease ();
                        }
                }
 
+               public virtual bool WaitOne (int millisecondsTimeout)
+               {
+                       return WaitOne (millisecondsTimeout, false);
+               }
+
+               public virtual bool WaitOne (TimeSpan timeout)
+               {
+                       return WaitOne (timeout, false);
+               }
+
                public virtual bool WaitOne(TimeSpan timeout, bool exitContext)
                {
                        CheckDisposed ();
@@ -286,14 +402,19 @@ namespace System.Threading
 
                        bool release = false;
                        try {
-                               if (exitContext)
+                               if (exitContext) {
+#if !MONOTOUCH
                                        SynchronizationAttribute.ExitContext ();
+#endif
+                               }
                                safe_wait_handle.DangerousAddRef (ref release);
                                return (WaitOne_internal(safe_wait_handle.DangerousGetHandle (), (int) ms, exitContext));
                        }
                        finally {
+#if !MONOTOUCH
                                if (exitContext)
                                        SynchronizationAttribute.EnterContext ();
+#endif
                                if (release)
                                        safe_wait_handle.DangerousRelease ();
                        }
@@ -304,92 +425,18 @@ namespace System.Threading
                        if (disposed || safe_wait_handle == null)
                                throw new ObjectDisposedException (GetType ().FullName);
                }
-#else
-               private IntPtr os_handle = InvalidHandle;
-               
-               public virtual IntPtr Handle {
-                       get {
-                               return(os_handle);
-                       }
-                               
-                       [SecurityPermission (SecurityAction.LinkDemand, UnmanagedCode = true)]
-                       [SecurityPermission (SecurityAction.InheritanceDemand, UnmanagedCode = true)]
-                       set {
-                               os_handle=value;
-                       }
-               }
-
-               internal void CheckDisposed ()
-               {
-                       if (disposed || os_handle == InvalidHandle)
-                               throw new ObjectDisposedException (GetType ().FullName);
-               }
-               
-               [MethodImplAttribute(MethodImplOptions.InternalCall)]
-               private extern bool WaitOne_internal(IntPtr handle, int ms, bool exitContext);
-
-               protected virtual void Dispose(bool explicitDisposing) {
-                       // Check to see if Dispose has already been called.
-                       if (!disposed) {
-                               disposed=true;
-                               if (os_handle == InvalidHandle)
-                                       return;
-
-                               lock (this) {
-                                       if (os_handle != InvalidHandle) {
-                                               NativeEventCalls.CloseEvent_internal (os_handle);
-                                               os_handle = InvalidHandle;
-                                       }
-                               }
-                       }
-               }
-               
-               public virtual bool WaitOne()
-               {
-                       CheckDisposed ();
-                       return(WaitOne_internal(os_handle, Timeout.Infinite, false));
-               }
 
-               public virtual bool WaitOne(int millisecondsTimeout, bool exitContext)
+               public static bool WaitAll(WaitHandle[] waitHandles, int millisecondsTimeout)
                {
-                       CheckDisposed ();
-                       try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
-                               return(WaitOne_internal(os_handle, millisecondsTimeout, exitContext));
-                       }
-                       finally {
-                               if (exitContext) SynchronizationAttribute.EnterContext ();
-                       }
+                       return WaitAll (waitHandles, millisecondsTimeout, false);
                }
 
-               public virtual bool WaitOne(TimeSpan timeout, bool exitContext)
+               public static bool WaitAll(WaitHandle[] waitHandles, TimeSpan timeout)
                {
-                       CheckDisposed ();
-                       long ms = (long) timeout.TotalMilliseconds;
-                       if (ms < -1 || ms > Int32.MaxValue)
-                               throw new ArgumentOutOfRangeException ("timeout");
-
-                       try {
-                               if (exitContext) SynchronizationAttribute.ExitContext ();
-                               return (WaitOne_internal(os_handle, (int) ms, exitContext));
-                       }
-                       finally {
-                               if (exitContext) SynchronizationAttribute.EnterContext ();
-                       }
-               }
-#endif
-
-               protected static readonly IntPtr InvalidHandle = IntPtr.Zero;
-               bool disposed = false;
-
-               void IDisposable.Dispose() {
-                       Dispose(true);
-                       // Take yourself off the Finalization queue
-                       GC.SuppressFinalize(this);
+                       return WaitAll (waitHandles, timeout, false);
                }
                
-               ~WaitHandle() {
-                       Dispose(false);
-               }
+               protected static readonly IntPtr InvalidHandle = (IntPtr) (-1);
+               bool disposed = false;
        }
 }