Resource Management

Download Report

Transcript Resource Management

A Moderately Directed Rant

It’s very likely that you’ve been writing totally
incorrect code without realizing it
 Once you do realize it, it’s usually not too hard to
fix the problem, depending on the language



This is information that isn’t all that widely
known, for whatever reason
You can use it to show off at interviews!
You can use it to start arguments about which
programming language is the best!

We need to define a couple basic things at the
beginning so everybody’s on the same page
 It’ll be quick, I promise

Garbage collection is a method of managing
dynamic (heap-allocated) memory
 It’s non-deterministic, and there is usually no
guarantee that memory is cleaned up at all
 Most modern languages use garbage collection

A resource is anything you need to return to
the system once you’re done using it
 File handles, dynamic memory, locks, etc.

Exception safety means that you can throw
an exception in the middle of your function
without bad things happening
 There’s a complicated formal definition with
degrees of exception safety but this is good
enough for our purposes

Let’s look at some C code so we can figure out
what this talk is even about
void example() {
lock(&g_mutex);
int* my_int_pointer =
(int*)malloc(sizeof(int));
do_something_with(my_int_pointer);
free(my_int_pointer);
unlock(&g_mutex);
}

This is fairly reasonable, safe C code. It executes
deterministically and everyone is happy

Let’s see that exact same code, but now we’ll pretend
that it was compiled as C++
void example() {
lock(&g_mutex);
int* my_int_pointer =
(int*)malloc(sizeof(int));
do_something_with(my_int_pointer);
free(my_int_pointer);
unlock(&g_mutex);
}

Catastrophe! This is going to compile and run without
warnings, but be completely and totally unsafe!
 Why? Exceptions!


Yes, it does suck! It’s such a problem that
people were motivated to go try to solve it
Bjarne Stroustrup (C++ language creator)
came up with a solution which he named
Resource Acquisition Is Initialization (RAII)
 Incidentally, in addition to providing exception
safety, RAII made C++ way easier to use

Let’s look at a correct C++ version of our code
example, using RAII
void example() {
Lock my_lock(&g_mutex);
auto_ptr<int> my_int_pointer(new int());
do_something_with(my_int_pointer);
}


Thanks to RAII this example is exception safe,
and we don’t have to worry about cleanup.
auto_ptr<T> is part of the C++ standard library,
but we’ve just made up Lock
 Let’s look at the code for our made-up Lock class so
we can see how RAII actually works
class Lock {
private:
mutex* m_pMutex;
public:
Lock(mutex* pMutex) : m_pMutex(pMutex) {
lock(m_pMutex);
}
~Lock() {
unlock(m_pMutex);
}
};

In C++ a stack-allocated object’s destructor is always
called once it goes out of scope, whether due to a
function returning, due to normal code execution, or
due to stack unwinding caused by a thrown exception


That’s understandable. We are (for better or
worse) a Java school, so let’s see if we can’t
make RAII work in Java
Immediately we run into some problems
 Java doesn’t have destructors
 Java doesn’t have stack allocation for objects

So RAII won’t work with Java, then. What else
have we got?
 For dynamic memory we have garbage collection, but
that’s a special case of the problem that doesn’t really
need (or provide) determinism
 The best we can do is the Dispose pattern
void example() {
Integer myInteger = new Integer(0);
Lock lock = new Lock(g_mutex);
try {
doSomethingWith(myInteger);
} finally {
lock.dispose();
}
}

While rewriting this every time gives you exception
safety, it’s really easy to forget it
 If you forget to do this, your program will still compile and
run with no warnings, despite being wrong. Awesome!

This is more verbose than even the C example, yet is
the minimum amount of code required for Java
void example() {
File myFile = new File(filename);
try {
DBConnection dbConn = new DBConnection(credentials);
try {
Lock myLock = new Lock(g_mutex);
try {
doSomething(myFile, dbConn);
} finally {
myLock.dispose();
}
} finally {
dbConn.dispose();
}
} finally {
myFile.dispose();
}
}

This is again the minimum code required to be correct
void example() {
File myFile(filename);
DBConnection dbConn(credentials);
Lock myLock(&g_mutex);
doSomething(myFile, dbConn);
}
void example() {
scope myFile = new File(filename);
scope dbConn = new
DBConnection(credentials);
scope myLock = new Lock(g_mutex);
doSomething(myFile, dbConn);
}
“You can take my deterministic resource
management when my cold dead hand
goes out of scope.” -- Anon

By choice. You can have deterministic resource
management alongside garbage collection, but the
Java guys specifically chose not to
 The D programming language supports RAII and has a
garbage collector, so it’s definitely possible
 Java, C#, Python, Ruby all screw this up to varying degrees
▪ The latter three have some syntactic sugar for resource
management, but the onus is still on you to remember to use it
▪ Java 7 catches up with C# and adds the same syntactic sugar, but
still doesn’t solve the problem
 Perl, PHP, C++ and D all get it right to varying degrees
▪ If PHP gets something right before your language does, you should
reassess your life goals

My (unpopular) answer? Use C++ and Perl/PHP
for everything until the D ecosystem matures a
bit, then switch over to D entirely
 C++ has its own set of problems, but it’s my opinion
that they’re exaggerated and the benefits far
outweigh them

If you’re stuck using a broken language like Java,
I really don’t know what to tell you
 I guess you could cry a little bit, but I don’t think it
would solve the problem
 Learn the Dispose pattern, always remember to use it

I wish I had more helpful advice for Java, C#, Python, Ruby
users, but this is the unfortunate state we find ourselves in

If you want more information about anything mentioned:
 The D Programming Language by Andrei Alexandrescu is an
excellent D introduction
 If you want to learn how to code modern C++, you should read
Effective C++ by Scott Meyers
 The Boost website has good information about exception safety
and reference-counted smart pointers, which I didn’t really talk
about (Scott Meyers does in Effective C++)
 Google knows all

Questions?