473,388 Members | 1,385 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,388 software developers and data experts.

C# Thread safety

Hello

Are these 2 properties (please see below) thead-safe? These properties are
generated in the Resources.cs and Settings.cs files in Visual Studio 2005
(whidbey beta 1).

According to CLI memory model specification
http://dotnet.di.unipi.it/EcmaSpec/P...nI/cont11.html, Section 11.6.8
"It is explicitly not a requirement that a conforming implementation of the
CLI guarantee that all state updates performed within a constructor be
uniformly visible before the constructor completes. CIL generators may
ensure this requirement themselves by inserting appropriate calls to the
memory barrier or volatile write instructions. "

The first property (ResourceManager) doesn't do any locking at all. Let us
assume that we don't care if 2 instances of the class are created (it will
just be an extra allocation that will be collected shortly, no big deal)
But does the use of the temp variable, prevents the case where the property
can return an uninitialized object if the CLR chooses to perform the
assignment before calling the constructor? Can the CLR also detects that
temp is not used again and perform the assignment directly to _resMgr then
call the constructor?

As for the second property, according to section 4.3 of this document,
http://research.microsoft.com/%7Ebir...eadsCSharp.pdf, this
pattern is not thread safe.

What I want to know is, is this a bug in Visual Studio 2005 beta 1?

Here is the code for the 2 properties:

private static System.Resources.ResourceManager _resMgr;
public static System.Resources.ResourceManager ResourceManager {
get {
if ((_resMgr == null)) {
System.Resources.ResourceManager temp = new
System.Resources.ResourceManager("MyTestLib.Proper ties.Resources",
typeof(Resources).Assembly);
_resMgr = temp;
}
return _resMgr;
}
}
private static Settings m_Value;
private static object m_SyncObject = new object();
public static Settings Value {
get {
if ((Settings.m_Value == null)) {
System.Threading.Monitor.Enter(Settings.m_SyncObje ct);
if ((Settings.m_Value == null)) {
try {
Settings.m_Value = new Settings();
}
finally {

System.Threading.Monitor.Exit(Settings.m_SyncObjec t);
}
}
}
return Settings.m_Value;
}
}
Best regards,
Sherif
Nov 16 '05 #1
6 8260
Sherif ElMetainy <el*************@wayout.net.NOSPAM> wrote:
Are these 2 properties (please see below) thead-safe?
No.
These properties are
generated in the Resources.cs and Settings.cs files in Visual Studio 2005
(whidbey beta 1).
Oh dear...

Without marking the field as volatile, double-checked locking doesn't
work.

<snip>
What I want to know is, is this a bug in Visual Studio 2005 beta 1?


It certainly looks like it.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too
Nov 16 '05 #2
Hello

Thanks for your reply. I reported this issue as a bug
http://lab.msdn.microsoft.com/Produc...0-9da52f4494bd
I also just noticed that the finally block in the Settings.cs property
should be outside the braces of the inner if condition not inside. One can't
make this bug with a lock statement.

Best regards,
Sherif

"Jon Skeet [C# MVP]" <sk***@pobox.com> wrote in message
news:MP************************@msnews.microsoft.c om...
Sherif ElMetainy <el*************@wayout.net.NOSPAM> wrote:
Are these 2 properties (please see below) thead-safe?


No.
These properties are
generated in the Resources.cs and Settings.cs files in Visual Studio 2005 (whidbey beta 1).


Oh dear...

Without marking the field as volatile, double-checked locking doesn't
work.

<snip>
What I want to know is, is this a bug in Visual Studio 2005 beta 1?


It certainly looks like it.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

Nov 16 '05 #3
Sherif ElMetainy <el*************@wayout.net.NOSPAM> wrote:
Thanks for your reply. I reported this issue as a bug
http://lab.msdn.microsoft.com/Produc...0-9da52f4494bd
I also just noticed that the finally block in the Settings.cs property
should be outside the braces of the inner if condition not inside.
Yup.
One can't make this bug with a lock statement.


Indeed - I'm not sure why the template doesn't use a lock. Very odd.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too
Nov 16 '05 #4
Hi Jon,
Sherif ElMetainy <el*************@wayout.net.NOSPAM> wrote:
Thanks for your reply. I reported this issue as a bug
http://lab.msdn.microsoft.com/Produc...0-9da52f4494bd
I also just noticed that the finally block in the Settings.cs property
should be outside the braces of the inner if condition not inside.

Yup.

One can't make this bug with a lock statement.

Indeed - I'm not sure why the template doesn't use a lock. Very odd.


Well, take a look at your own link :-)

http://www.yoda.arachsys.com/csharp/...winforms.shtml

What is locking good for, when you cannot use multithreading
with WinForms.

bye
Rob
Nov 16 '05 #5
Robert Jordan <ro*****@gmx.net> wrote:
Indeed - I'm not sure why the template doesn't use a lock. Very odd.


Well, take a look at your own link :-)

http://www.yoda.arachsys.com/csharp/...winforms.shtml

What is locking good for, when you cannot use multithreading
with WinForms.


Um, you can use multithreading with WinForms. You just need to be
careful.

However, the point was that Monitor.Enter and Monitor.Exit was being
used in the template (and incorrectly at that) rather than the simpler
way, which is to use "lock", which inserts correct calls to
Monitor.Enter and Monitor.Exit.

--
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too
Nov 16 '05 #6

"Jon Skeet [C# MVP]" <sk***@pobox.com> wrote in message
news:MP************************@msnews.microsoft.c om...
Robert Jordan <ro*****@gmx.net> wrote:
> Indeed - I'm not sure why the template doesn't use a lock. Very odd.
Well, take a look at your own link :-)

http://www.yoda.arachsys.com/csharp/...winforms.shtml

What is locking good for, when you cannot use multithreading
with WinForms.


Um, you can use multithreading with WinForms. You just need to be
careful.

However, the point was that Monitor.Enter and Monitor.Exit was being
used in the template (and incorrectly at that) rather than the simpler
way, which is to use "lock", which inserts correct calls to
Monitor.Enter and Monitor.Exit.


The actual reason is probably that CodeDOM doesn't have any way of
expressing the lock statement, so a code generator is effectivly forced to
write out the correct code. I think settings.cs is generated via CodeDOM,
probably via the same codebase that VB and other langauges use(I know VB's
generated code looks pretyt similar, except for namespace differences).
The feedback center link given earlier in this thread also suggests this. --
Jon Skeet - <sk***@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

Nov 16 '05 #7

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

4
by: Jonathan Burd | last post by:
Greetings everyone, Here is a random string generator I wrote for an application and I'm wondering about the thread-safety of this function. I was told using static and global variables cause...
9
by: Alexander Fleck | last post by:
Hi, I' ve to make a software module thread safe. I know how to realize that and what' re the main topics of thread safety. But I don' t know how thread safety can be tested. I read about a test...
4
by: The Crow | last post by:
for example i have static readonly SqlParameter and i want to clone them at runtime. as clone operation will not write to SqlParameter object, just reading, should i lock that object during read...
22
by: Brett | last post by:
I have a second thread, t2, that errors out and will stop. It's status is then "Stopped". I try to start t2 from thread 1, t1, by checking If t2.threadstate = "Stopped" Then t2.start() ...
4
by: Warren Sirota | last post by:
Hi, I've got a method that I want to execute in a multithreaded environment (it's a specialized spider. I want to run a whole bunch of copies at low priority as a service). It works well running...
6
by: fniles | last post by:
I am using VB.NET 2003 and a socket control to receive and sending data to clients. As I receive data in 1 thread, I put it into an arraylist, and then I remove the data from arraylist and send it...
1
by: paul.hester | last post by:
Hi all, All of the classes in my DAL are static, with constants defining the stored procedures and parameters. I've been having some problems with my site which makes me wonder if there's a...
13
by: arun.darra | last post by:
Are the following thread safe: 1. Assuming Object is any simple object Object* fn() { Object *p = new Object(); return p; } 2. is return by value thread safe?
0
by: Graham Wideman | last post by:
Folks: Can anyone tell me what controls php's "thread safety" feature? I have an installation where phpinfo() is showing Thread safety: enabled, whereas I need it disabled in order to work...
13
by: Henri.Chinasque | last post by:
Hi all, I am wondering about thread safety and member variables. If I have such a class: class foo { private float m_floater = 0.0; public void bar(){ m_floater = true; }
0
by: taylorcarr | last post by:
A Canon printer is a smart device known for being advanced, efficient, and reliable. It is designed for home, office, and hybrid workspace use and can also be used for a variety of purposes. However,...
0
BarryA
by: BarryA | last post by:
What are the essential steps and strategies outlined in the Data Structures and Algorithms (DSA) roadmap for aspiring data scientists? How can individuals effectively utilize this roadmap to progress...
1
by: nemocccc | last post by:
hello, everyone, I want to develop a software for my android phone for daily needs, any suggestions?
1
by: Sonnysonu | last post by:
This is the data of csv file 1 2 3 1 2 3 1 2 3 1 2 3 2 3 2 3 3 the lengths should be different i have to store the data by column-wise with in the specific length. suppose the i have to...
0
by: Hystou | last post by:
There are some requirements for setting up RAID: 1. The motherboard and BIOS support RAID configuration. 2. The motherboard has 2 or more available SATA protocol SSD/HDD slots (including MSATA, M.2...
0
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
0
Oralloy
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers,...
0
jinu1996
by: jinu1996 | last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven...
0
by: Hystou | last post by:
Overview: Windows 11 and 10 have less user interface control over operating system update behaviour than previous versions of Windows. In Windows 11 and 10, there is no way to turn off the Windows...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.