cs514: intermediate course in operating systems

48
CS514: Intermediate Course in Operating Systems Professor Ken Birman Ben Atkin: TA Lecture 16 Oct. 19

Upload: brock

Post on 24-Jan-2016

35 views

Category:

Documents


0 download

DESCRIPTION

CS514: Intermediate Course in Operating Systems. Professor Ken Birman Ben Atkin: TA Lecture 16 Oct. 19. Object orientation. Primary issue: Making a system flexible enough to handle multiple types of clients Permitting easy interoperation between computing systems Questions to consider - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: CS514: Intermediate Course in Operating Systems

CS514: Intermediate Course in Operating

SystemsProfessor Ken Birman

Ben Atkin: TALecture 16 Oct. 19

Page 2: CS514: Intermediate Course in Operating Systems

Object orientation

• Primary issue:– Making a system flexible enough to handle

multiple types of clients– Permitting easy interoperation between

computing systems

• Questions to consider– Specifications (CORBA/COM IDL, XML)

• Microsoft’s .NET strategy

– Interoperability framework• CORBA or COM, Java “JINI”

– System services and “standards”

Page 3: CS514: Intermediate Course in Operating Systems

System Layers

• CORBA and Jini and COM: high-level architectures that talk about objects

• Underneath one finds RPC mechanisms, like DCE and RMI

• RMI (for Jini) is sophisticated:– All actions are treated as Java method

invocations on objects– In consequence, user can easily define new

marshalling mechanisms, or use new network transport protocols

– Not clear how widely used this will be

Page 4: CS514: Intermediate Course in Operating Systems

Corba: The Common Object Request Broker Architecture

• Role of an architecture for distributed computing: standardize system components so that developers will know what they can count on

• Corba also standardizes the way that programs interact with one another and are “managed”

• Model used is object oriented

Page 5: CS514: Intermediate Course in Operating Systems

Brief history of architectures

• Interest goes back quite far• ANSA project often identified as first to

look seriously at this issue: “Advanced Network Systems Architecture;” started around 1985

• Today, DCE and Corba are best known, but Sun uses ONC and Microsoft’s OLE2 will soon be the most important one of all

Page 6: CS514: Intermediate Course in Operating Systems

Roles of an architecture

• Descriptive: a good way to “write down” the structure of a distributed system

• Interoperability: two applications that use the same architecture can potentially be linked to each other

• Ease of development: idea is that architecture enables development by stepwise refinement

• Reliability: modularity encourages fault-isolation

Page 7: CS514: Intermediate Course in Operating Systems

Kinds of architectures

• Enterprise architecture– describes how people interact and use information

• Network information architecture– describes information within the net and relationships

between information sources, uses of info– I.e. UML: Universal Modeling Language

• Distributed application architecture: the application itself, perhaps at several levels of refinement– CORBA or COM

• Data scheme: information about fields present in an object or datum– CORBA IDL, XML, relational database schema…

Page 8: CS514: Intermediate Course in Operating Systems

Architecture can “hide” details

• Architecture may talk about the “distributed name server” as a single abstraction at one level, but later explain that in fact, this is implemented using a set of servers that cooperate.

• Data schema can say “this is a building” but smart user might learn that “it has a Groehe faucet in the kitchen”

• This perspective leads us to an object oriented perspective on distributed computing

Page 9: CS514: Intermediate Course in Operating Systems

Recent trends?

• Make “everything” accessible – use XML to standardize means of publishing object scheme– Lacks “type” information– But very flexible

• Also, provide just-in-time compilation for various platforms– Idea originated with Java JIT– But also being used in MSFT .NET for their new

language, C#– Anywhere, anytime execution capability

Page 10: CS514: Intermediate Course in Operating Systems

Distributed objects

• An object could be a program or a data object

• A program object can invoke an operation on some other kind of object if it knows its type and has a handle on an instance of it.

• Each object thus has: type, interface, “state”, location, unique handle or identifier, and perhaps other attributes: owner, age, size, etc.

Page 11: CS514: Intermediate Course in Operating Systems

Distributed objects

Object references or “handles”

Page 12: CS514: Intermediate Course in Operating Systems

Distributed objectshost a

object storage server

host b

Page 13: CS514: Intermediate Course in Operating Systems

Building an object

Code for theobject

INTERFACE

• Develop the code

• Define an interface

• Register the interface in “interface repository”

• Register each instance in “object directory”

Page 14: CS514: Intermediate Course in Operating Systems

Using an object

• Import its interface when developing your program object

• Your code can now do object invocations• At runtime, your program object must

locate the instance(s) of the object class that it will act upon

• Binding operation associates actor to target

• Object request broker mediates invocation

Page 15: CS514: Intermediate Course in Operating Systems

Invocation occurs through “proxy”

Proxy

client: obj.xyz(1, 2, 3)

Stub

xyz(1,2,3)

Page 16: CS514: Intermediate Course in Operating Systems

Invocation occurs through “proxy”

Proxy

client: obj.xyz(1, 2, 3)

Stub

xyz(1,2,3)

RPC mechanism:

RMI, DCE…

Page 17: CS514: Intermediate Course in Operating Systems

What about XML

• XML: extensible markup language– XML schema: the “pure XML” content of the

object

• Think of XML as extreme HTML • Current trend is to represent fields in

arbitrary data objects using XML schemas– Yields a kind of polymorphic type system– Purely syntactic – yet when viewed as an

interface definition, subsumes IDL

Page 18: CS514: Intermediate Course in Operating Systems

Location transparency

• Target object can be in same address space as client or remote: invocation “looks” the same (but error conditions may change!)

• JIT idea makes it easier…• Objects can migrate without informing

users• Garbage collection problem: delete

(passive) objects for which there are no longer any references

Page 19: CS514: Intermediate Course in Operating Systems

Dynamic versus static invocation

• Dynamic occurs when program picks the object it will invoke at runtime. More common, but more complex

• Static invocation occurs when the program and the objects on which it acts are known at compile time. Avoids some of the overhead of dynamic case but is less flexible

Page 20: CS514: Intermediate Course in Operating Systems

Orbix IDL for a grid object

// grid server example for Orbix// IDL in file grid.idlinterface grid { readonly attribute short height; readonly attribute short width;

void set(in short n, in short m, in long value);

long get(in short n, in short m);};

Page 21: CS514: Intermediate Course in Operating Systems

Grid “implementation class”

// C++ code fragment for grid implementation class#include “grid.hh” // generated file produced from IDLclass grid_i: public gridBOAImpl { // This is a “Basic object

adapter” short m_height, m_width; long **m_a;public: grid_i(short h, short w); // Constructor virtual ~grid_i(); // Destructor virtual short width(CORBA::Environment &); virtual short height(CORBA::Environment &); virtual void set(short n, short m, long value,

CORBA::Environment &); virtual long get(short n, short m, CORBA::Environment &);};

Page 22: CS514: Intermediate Course in Operating Systems

Enclosing program for server

#include “grid_i.h”#include <iostream.h>

void main() { grid_i myGrid(100,100); // Orbix objects can be named but this example

is not CORBA::Orbix.impl_is_ready(); cout << “server terminating” << endl;}

Page 23: CS514: Intermediate Course in Operating Systems

Server code to implement class

#include “grid_i.h”grid_i::grid_i(short h,

short w) { m_height = h;

m_width = w; m_a = new long* [h]; for (int i = 0; i < h; i+

+) m_a[i] = new long

[w];}

Page 24: CS514: Intermediate Course in Operating Systems

Server code to implement class

#include “grid_i.h”grid_i::grid_i(short h, short

w) { m_height = h; m_width

= w; m_a = new long* [h]; for (int i = 0; i < h; i++) m_a[i] = new long

[w];}grid_i::~grid_i() { for(int i = 0; i <

m_height; i++) delete[ ] m_a[i]; delete[ ] m_a;}

Page 25: CS514: Intermediate Course in Operating Systems

Server code to implement class

#include “grid_i.h”grid_i::grid_i(short h, short w) { m_height = h; m_width = w; m_a = new long* [h]; for (int i = 0; i < h; i++) m_a[i] = new long [w];}grid_i::~grid_i() { for(int i = 0; i < m_height; i++) delete[ ] m_a[i]; delete[ ] m_a;}

short grid_i::width(CORBA::Environment &){ return m_width;}short grid_i::height(CORBA::Env... &){ return m_width;}short grid_i::set(short n, short m, long value..){ m_a[n][m] = value;}short grid_i::get(short n, short m, ...){ return m_a[n][m];}

Page 26: CS514: Intermediate Course in Operating Systems

Client program

#include “grid.hh”#include <iostream.h>void main() { grid *p = grid::_bind(“:gridSrv”); // Assumes

registered under this name cout << “Grid height is “ << p->height() << endl; cout << “Grid width is “ << p->width() << endl; p->set(2, 4, 123); // set cell (2,4) to value 123 cout << “Grid(2,3) is “ << p->get(2,3) << endl; p->release();}

Page 27: CS514: Intermediate Course in Operating Systems

Our example is unreliable!

• Doesn’t check for binding failure• Doesn’t catch errors in remote

invocation... also illustrates potential problems:

neglecting to delete resources properly, or to release references, can cause system to “leak” resources and eventually fail

Page 28: CS514: Intermediate Course in Operating Systems

Notions of reliability in Corba

• Security/authentication• Catch error and “handle it”• Transactional subsystem (for

database applications; will see this in future lectures)

• Replication for high availability (also will revisit)

Page 29: CS514: Intermediate Course in Operating Systems

Despite these options, reliability is a serious problem with Corba

• Hard to use error catching mechanisms• Easy to leak resources• Transactional mechanisms: costly,

mostly useful with databases, can be complex to use

• Replication mechanisms: more transparent but also expensive unless used with sophistication

Page 30: CS514: Intermediate Course in Operating Systems

Error handling example

TRY { p = grid::_bind(“:gridSrv”); } CATCHANY { cout << “Binding to gridSrv object failed” << endl; cout << “Fatal exception “ << IT_X << endl; } TRY { cout << “Height is “ << p->height() << endl; }

CATCHANY { cout << “Call to get height failed” << endl; cout << “Fatal exception “ << IT_X << endl; } .... etc ....

Page 31: CS514: Intermediate Course in Operating Systems

Sets of objects

• Can notify Orbix that a service can be accepted from any of a set of servers

• Orbix will find one and bind to it• But later, what if that server fails?

Orbix can assist in rebinding to another, but how will application get back to the “right state” if that server might not have given identical data

Page 32: CS514: Intermediate Course in Operating Systems

Example to think about

• Bond pricing server in a trading setting• Clients download information on bond

portfolio• Server provides callbacks as prices

change, allows clients to evaluate hypothetical trades

• Switching from server to server may be very hard due to “state” built up during execution of the system prior to a failure

Page 33: CS514: Intermediate Course in Operating Systems

Roles of the Corba ORB

• Glues invoking object to target objects• ORB sees object invocation• Looks at object reference. If in same

address space, uses procedure call for invocation

• Else communicates to object RPC-style, location transparent

• Reports errors if invocation fails

Page 34: CS514: Intermediate Course in Operating Systems

Invocation occurs through “proxy”

Proxy

client: obj.xyz(1, 2, 3)

Stub

xyz(1,2,3)

Object Request Broker (ORB)

Page 35: CS514: Intermediate Course in Operating Systems

ORB-to-ORB protocol: IOP

• Allows invocation to be passed from one ORB to another, or one language to another

• Implication: Corba application running in Orbix from Iona can invoke DSOM server built by user of an IBM system!

• Runs over TCP connection, performance costs not yet known but likely to be slow at first

Page 36: CS514: Intermediate Course in Operating Systems

ORB can also find objects on disk

• Life-cycle service knows how to instantiate a stored object (or even to create an object as needed)

• User issues invocation, ORB notices that object is non-resident, life-cycle-service brings it in, invocation occurs, then object becomes passive again

• Raises issues of persistence, unexpected costs!

Page 37: CS514: Intermediate Course in Operating Systems

Some other Corba services

• Clock service maintains synchronized time

• Authentication service validates user id’s

• Object storage service: a file system for objects

• Life cycle service: oversees activation, deactivation, storage, checkpointing, etc.

• Transactions and replication services

Page 38: CS514: Intermediate Course in Operating Systems

Event notification service

• Alternative to normal binding and invocation

• Application registers interest in “events”

• Data producers publish events• ENS matches events to subscribers• Idea is to “decouple” the production of

data from the consumption of data. System is more extensible: can always add new subscribers

Page 39: CS514: Intermediate Course in Operating Systems

ENS model

produces IBM quote

consumes IBM quote

produces DEC quote consumes DEC

and IBM quotes

ENS manages a pool of events

Page 40: CS514: Intermediate Course in Operating Systems

ENS example

• Events could be quotes on a stock• Each stock would have its own class of events• Brokerage application would monitor stocks

by registering interest in corresponding event classes

• Notice that each application can monitor many types of events!

... decoupling of data producer from consumer seen as valuable form of design flexibility

Page 41: CS514: Intermediate Course in Operating Systems

Corba challenges and issues

• Much easier to “specify” services than to implement them. Some specifications may be seen as poor as implementations finally emerge

• Reliability a broad problem with architecture• Hard to use Corba half-way: frequently need to employ

technology everywhere or not at all• Hidden costs: a simple operation may invoke a

massive mechanism. Programmer must be careful!

Page 42: CS514: Intermediate Course in Operating Systems

COM and DCOM

• Microsoft’s object oriented environment– COM for local invocations– DCOM for remote ones

• Much like CORBA• But Microsoft “cuts” across the

architecture at a higher level

Page 43: CS514: Intermediate Course in Operating Systems

COM and DCOM

• CORBA says little about specific services• COM and DCOM standardize

– ODBC: database/spreadsheet interfaces– Active X: interfaces for being an object

within a document– Directory interfaces: for objects that might

reside in directories

• Effect is to standardize things like cut, paste, print, copy, move…

Page 44: CS514: Intermediate Course in Operating Systems

COM and DCOM

• COM also allows collections of objects to be created– E.g. application contains a

spreadsheet and a set of powerpoint slides

– Applications like Outlook are built this way

• Goal is to reuse large chunks of functionality in standard ways

Page 45: CS514: Intermediate Course in Operating Systems

COM and DCOM

• COM interfaces: a bit like a “type system” for a distributed programming language

• But mechanisms aren’t taken quite far enough to be a full-fledged type system

Page 46: CS514: Intermediate Course in Operating Systems

Jini and RMI

• Idea here is similar• But everything is an object

– Even an object reference or a protocol is an object

• This allows a designer to hand out, for example, an object reference that says “use multicast to talk to me”

• A powerful idea but not yet widely used

• People raise some concerns– Technology seems quite slow– “I seek you” (ICQ) mechanism is weird

Page 47: CS514: Intermediate Course in Operating Systems

.NET and Biztalk

• XML trends make it attractive to use XML as a “lingua franca” for letting arbitrary objects to talk one another

• XML is purely syntactic– But can view it as describing interfaces, like an

IDL

• .NET: a world of XML objects + JIT for C# language

• Biztalk: idea is that XML schemas are published and system automates translations for interoperability

Page 48: CS514: Intermediate Course in Operating Systems

Summary

• The world is object oriented!• But objects alone don’t give

– Reliability– Security– Scalability

• Interoperability will promote wide use of distributed computing

• Can we step into the gap with reliability solutions for the new world?