Thursday, October 30, 2003

10:09 AM

 

CLR Panel Discussion

The following is the "transcript" I took of the "Designing the CLR" Panel discussion.  We had probably around 200 people in attendance, with an open mic forum.  The Panel was swamped with standing ro= om only folks at the end (about 40 up around the stage with lot's of questions).  At the panel we had Brad Abrams (CLR B= CL PM), Anders Hejlsberg (Distinguished Engineer, C# architect, Chris Brumme (CLR Architect), Patrick Dussud (lead CLR Architect), Jim Miller (CLR Architect), Sean Trowbridge (CLR Architect), George Bosworth (CLR Architect), and Jonat= han Hawkins (CLR PM/Moderator).

 

Q:  How low can you take the CLR, eg: could it go down into the kernel.

Patrick:=   Two versions of the CLR could be made, one with high availability wh= ich runs in kernel mode.  The other is= the normal CLR as you know on top of that.  AppDomains could become the next version of a Process on the machine= .

 

Q:  Is process recycling really required like asp.net.

Chris:  We've done a ton of work on fixing internal mistakes and fault injec= tion testing, etc, and we expect it to work given the Yukon work that is being d= one.

 

Q:  Have you considered how you can get OS VM and GC to communicate?

Patrick:=   Lot of OS system services already there (eg: GetMemoryStatus) to auto tune the load on the machine.  If = you are in 90% utilization, CLR GC will back off on allocation pressure.  In XP there is a new low memory notifi= cation service.  Finalizer thread in 1.1+= + CLR uses this to also back down.  Futu= re directions should include the CLR being able to get a "budget" fr= om the OS, and then the OS could guarantee that without paging and CLR could a= uto tune within that limit.

 

Q:  Do you have dynamic code gen limitations that would allow things like writing = code for an edit box, etc, like Smalltalk has.

George:  We are introducing lightweight codegen; not as rich as what was in Smalltalk, but the tool (aka VS) could help this.  No fundamental restrictions.

Jim:  Less than restrictions, the bigger issue is integrating every feature across the engine in the right way, such as including security,etc.

Anders/et al:  Facilities do exist for compiling up code on the fly, like Reflection Emit, etc.

 

Q:  Will ability to add fields via Edit & continue be allowed in managed emit co= de.

Sean:  Currently only allowed through unmanaged api's, where support exists.  We've talked about various options like this, but have not committed to any immediate plan.

 

Q:  What kind of safety features do you have around hosting multiple pieces of user code.

Jim:  <= /span>Use app domains to provide CAS security around specific to each domain.

Brad:  Examples are like wsdl parsing and hosting.

Patrick:=   Reflection Emit permission is highly privileged.

 

Q:  SyncBlock pointer is used for edit & continue, what are you doing with it?

Patrick:=   SyncBlock is actually the "Kitchen Sink Block" <laughs>.  It's a general pu= rpose field for lot's of things including locking algorithms, COM interface plumb= ing, etc.  Dynamically allocated as req= uired to get going.  We optimize for loc= k and hash because they are the most common case.

 

C:  Thanks to Chris for an excellent blog <applause>

Q:  Transparent proxy work/interception, what about limitations?

Chris:  We intended for more than remoting, but haven't done a ton with it beyond that.  Interception is very interesting; lot's of options.  Co= uld do code rewriting using prolog method hooks, etc.  Appealing because it is more performance, transparent, and less risky wrt being bypassed.  Conceptually = sounds very simple, but digging through details is very complicated (eg: integrati= ng with ngen is tough since everyone shares the same copy, and do you want to impact perf for everyone).

George:  Pay as you go is very important. Considering heavy inlining and how = you would intercept that without a perf penalty.

 

Q:  AppDomains:  currently cann= ot unload assembly without unloading app domain.  We are dynamically generating assemblies, and do not want to unload = app domains.  Why can't we unload asse= mblies from an app domain?

Sean:  Very common request.  We ha= ve to hit a higher bar for secure and reliable programming environment.  In managed, you have to make sure no o= ne is still referencing an assembly, where if it were unloaded you could introduce AV's or security.  To solve requir= es a  ton of bookkeeping, and you win= d up wrapping an assembly with an app domain <stack fault> .  Instead, we're looking at making app d= omains more performant to use.

Patrick:=   There are other systems that can unload code.  However unloading is not free of seman= tic difficulties.  When you unload, yo= u must make sure you have no dangling references.=   You have to define a shut down policy, and that can introduce bad cy= cles on shutdown.  These kinds of bugs = are very frequent.  I've implemented t= his before, and it is very problematic and not without bugs.  We have a good story on app domains.  If we can make it cheaper to get in/ou= t of app domains, then this is the best container for code.

Jim:  I've worked on systems where we used GC to collect code.  You fix perf issues, but then you add = more bookkeeping again.

Sean:  You still have the cycle problem.  If one person holds onto an instance of an assembly which holds onto= the other (a->b, b->a), you never get to unload reliably.

Jim:  <= /span>The system had to build stuff into the GC to fix this, "it wasn't a pretty site", not recommended.

George/Jim:  Security, performance, features.  Lot's of trade offs.

 

Q:  Why do I have to check if a delegate is null before I use it, why isn't there language support for this?

Anders:  Requested often, spent fair amount of time trying to figure out a ok way.  The suggestion doesn't work = well for delegates which return values, etc.  Putting this kind thing "ages" the languages when you add kludges to help solve minor confusion.  In the end, decided to leave things be.  If we had a chance to do it over we might have done something differently, but solution suggested is no better than the problem.

 

Q:  Is there any plans to given an app domain a CPU budget?

Chris:  Common request in & out of company from folks writing server code.  Folks want quotas around CP= U or memory consumption, etc.  Would be= good to do something here, but instead of quotas, we may track resource usage instead.  We would accumulate your "charge account" of things you use, and then put the burden back = on the sophisticated host app to make decisions.  That way they can apply their policy directly.  Another common request is trying to tr= ack memory used by a particular request (say web page compile, sproc, etc).  Very difficult thing to track.

Jim:  Also consider how you would interact with the OS scheduler.  The scheduler doesn't give you any hoo= ks to integrate closer.  Would be good i= n the future to see if we could exploit this.

 

Q:  How much do you consider other platforms in the CLI design.

Jim:  when I first joined we were actively developing for multiple platforms.  Doing this kept us rea= sonably honest, and standards process helped a lot more.  We also have the .NET Compact Framewor= k which can also helps.  There are other s= ystems one could "possibly, possibly consider" <chuckles>.  We also released Rotor which runs on s= everal other platforms and chips which also keeps us honest.  The Rotor team is now part of the CLR = team, and those builds are part of our build process.

Patrick:=   Example of tension:  in ecm= a we tried to get a very specific memory model, but we realized that nobody would code to it [jlz: advanced chips like ia64 allow for reordering of reads and writes and let you do scheduling as a code generator; x86 is pretty simple = and less flexible, but simpler and easier], because it is really complicated and most people target x86 which has much simpler semantics.  It's an example where the issues are so sublte, that even though the architecture could have been more generic, we = need it to be stable across x86, ia64, amd64, etc.  Don't test on x86 and deploy on ia64 and have it broken.

Jim:  show of hands: how many of you have volatile in the right place?  This is required for a reordering architecture, and people don't understand it.

Jim/Patrick:  Java has tried to be inclusive here, but found themselves in a quagm= ire; very hard to get right.  We decide= d to simplify instead.

Sean/Chris:  We try to keep complications under the hood for this kind of thing.<= /p>

 

Q:  Any plans for things like aspect oriented programming and related techniques?

Chris:  We view this as something you could do with interception, if you wan= ted ot.

Anders:  Programming by contract is something we've looked at a lot.  MSR has done a lot of work here.  In the end we decided it wasn't quite = cooked yet, and so we have abstained here.  If we did aything like this, the solution must allow me to remove up front if = () checks for entry conditions.  To b= e truly viable, you need to have it in the CLR/CLS instead of just a language.  Must be through the libraries as well.=   We're not there yet.

Anders:Â=  Â  wrt AOP, it seems ok for debugging and monitoring.  But the notion you can inject code any= where makes it impossible to understand what your code will do.  Unless you have an IDE that can show y= ou the "aspect weaving" you won't know what is happening.  At this point I'm in wait and see mode= until someone can show large scale successes.

Jim:  <Plug for Rotor>  des= ign by contract is one of the RFP projects that we funded.  We are looking at the results of that = to see if it is ready for prime time.  Gr= egor is a close friend of mine and I reviewed it 8 years ago: there are two halfs to this problem:  (1) weaving, and (2) projecting.  As an engineer I need= to look at all the code I will run.  = I have a degree in MIT, and you don't just do engineering by combining a bunch of things and adding them up without understanding how it works.  If you look at the union as the requir= ement, you could have come up with a better solution. I think the community is vee= red in the wrong direction; neither I or Gregor have been able to get them off = of this.

 

Q:  Do you provide any utilities around lock ordering and dead lock detections.

Chris:  prior to Whidbey, the locks you take are your responsibility.  There is no leveling notions or anythi= ng like that.  You get essentially a criti= cal section and you can hang yourself with it.=   In Whidbey, with integration with SQL Server, they wanted to do dead= lock detection and understand the lock graphs [jlz: the hierarchy of locks where cycles can come from].  This is st= ill rocket science, for most people you should still take responsibility for lo= ck leveling.

Q2:  I'd like to do this in C# directly.

Anders:  You should take advantage of the u= sing statement.  We may not have put th= e lock keyword in if using had proceeded it.

 

Q:  In new C++, determinsitc finalization is there.  What about other languages?

George:  they've provided scope destructors, not really deterministic behavior per se.  If the scope goes away, y= ou'll get the dispose, but you can still make mistakes.  What people usually mean here is they = want to solve the whole thing, and this doesn't do that.  It is still useful.  But it isn't the silver bullet.

Anders:  important to understand the syntax is really no more expressive than= the using statement in C#.  The new pattern comes with some restri= ctions on patterns that using doesn't have.  For example, you have to de= clare vars in a separate scope instead of inline.  Agree with George that this is not deterministic finalization.

Patrick:=   Absolute lifetime we looked at, and keep looking at it, but it is really, really expensive.  You hav= e to do micro-management.  You have to pro= ject to all processors the state, which doesn't scale well.  There are tricks, but so far cost > benefit.  We don't believe in gene= ral people want to do micro-management, instead they want good enough guarantees that you don't leak and you want limit of population of some resources to a finite number [jlz: like a pool with a quota enforced].  HandleCollector is a good new example = where we are providing this kind of functionality.  AddMemoryPressure is also another good example that allows you to he= lp tune the GC (good for cases like allocating bitmaps, where managed side hol= der class is very small, but unmanaged memory hit of the resource could be huge= ).

Q2:  My problem is less about memory but the resources [jlz: like database handles, expensive files, etc].

George/Patrick:  but that is what Finalization is.

Jim:  <= /span>the language provides this from using = and this is the right way to solve this problem.

 

Q:  Love integration idea with the OS.  But= how are you going to accomplish that in the long term?  Eg: wait for Moore's law to help, vide= o card processing [jlz:  GPU's are incred= ibly good at bit vectors schemes].  Or = even something like an IL machine ala Transmeta.

Patrick:=   Our codegen is pretty good, and getting much better (eg: dynamic and static profiling).  The OS can use= this, so we are on track and efficiency is not the key issue.  The real problem is right now we don't= cover the entire range of services so you have to p/invoke.  Msft needs to provide a complete range= of these api's so that don't need this and Win32 can go away.  My dream is after Longhorn you could d= o this, removing longhorn p/invoke statements.

Patrick:=   We actuallly are thinking the opposite of IL machine.  I did chip design at TI for lisp machines.  The competitor was 6x s= maller than ours to run the same applications.  You get better if we program to IL, and then let the JIT optimize for the specific hardware where you can take advantage of subtle advantages in = the specific chip.  Several manufactur= es are serious about adding advanced features along these lines.  With our pluggable optimizing codegen,= we can do great on the fly generation this way.

Jim:  <= /span>I was the PhD advisor for the chief designer at Transmeta.  His general comment was using IL as it= stands is not efficient.  We should look = instead at something like mips where you look for common codegen patterns from compilers and make those go fast.  Example is optimizing interface dispatch code pattern.

 

Q:  Threading: do you have intent to write a scheduler in the CLR, for example, something that could work with fiber mode.

Chris:  In Whidbey we did a lot of work to integrate the CLR into SQL Server.  Prior to this we also sch= edule on pre-emptively OS scheduled threads.  But we knew we might change this, so System.Thread isn't semantically locked this way.  In Whidbey, a sophisticated host can integrate and target fiber code.  We support this.  With a small box, normal thread mode is fine.  If you have very large mach= ines (eg: 32-way), then it might give you value.  The hosting api's do allow you to integrate your own scheduler around fibers just like SQL.  Having said= all that, I encourage you to stay away from it <laughs>  The benefits are just getting smaller = and it is very hard to use and do correctly.

Patrick:=   the OS is making lot's of progress closing the gap here, and its val= ue is becoming less with every new release.

Chris:  If we could get to the pure managed world Patrick was dreaming of, w= here we don't know when/if we could ever get there, that we will be able to smoo= th out the rough edges of this kind of programming style.  We could smooth async model and marshalling,etc.  It will be a lon= g time before we could do this.

 

Q:  Extremely difficult to write a generic library that is exception safe.  Wouldn't it be nice if at c= ompile time you verify code was exception safe.

Anders:  Commonly asked for, not specifically related to generics.  I don't know of a solution that doesn't simply exchange one set of problems for another set.  There is the Java solution where you c= an declare what you've thrown and require caller to handle or push out further.  There are some serious scalability problems with this model; you have to compute the closure which winds up making people go to catch(…) which is no good..  It also has the versioning problem, wh= ere you can't add new exceptions in future versions without breaking the already written clients.

Anders:  what would probably be better is an Fxcop style checking, and we cou= ld do a better job on documentation.

Q2:  I understand why you didn't do the Java solution; I don't like it either.  But couldn't you do something around g= enerics because it is very difficult to do otherwise.

Anders:  I'm not sure I see the connection between generics and exceptions.

 

Q:  There are lot's of type systems now, do you see any chance of integration (eg: CLR & XML).

Anders:  There are differences and we keep whittling away the differences.  If you look at XAML you can extend with tags/attributes that map to class and language elements.  It's true that XSD dreams up extra stu= ff that doesn't map well.  It was design by committee effort so you see things that don't necessarily see use in real l= ife.  We're working towards equilibrium here= .

 

Q:  Any reason the Reflection API's didn't support reflecting on the IL?

Jim:  <= /span>No reason at all, we ran out of time <laughs>.

 

 

 

Creat= ed with Microsoft Office OneNote 2003
One place for all your notes