Meta tags:
Headings (most frequently used words):
papers, contact,
Text of the page (most frequently used words):
the (82), and (52), that (26), memory (23), for (16), this (16), which (15), applications (15), operating (14), are (12), use (12), with (12), data (12), systems (11), system (11), based (10), their (10), can (9), present (9), capability (9), how (9), hurd (8), resource (8), access (8), management (8), user (8), not (7), from (7), design (7), scheduling (7), resources (7), they (7), also (7), adaptive (7), framework (7), available (7), its (6), time (6), security (6), microkernel (6), provide (6), programs (6), adaptations (6), should (6), architecture (5), gnu (5), current (5), server (5), transfer (5), submitted (5), could (5), walfield (4), intellectual (4), property (4), shared (4), increase (4), behavior (4), performance (4), principals (4), policies (4), commodity (4), users (4), such (4), many (4), mechanisms (4), hardware (4), ipc (4), amount (4), run (4), better (4), demand (4), multiple (4), information (4), adapt (4), smart (4), web (4), storage (4), will (3), neal (3), able (3), there (3), all (3), communication (3), multiserver (3), has (3), relative (3), unix (3), requires (3), degree (3), make (3), decisions (3), cross (3), application (3), mach (3), used (3), results (3), end (3), have (3), thereby (3), among (3), marcus (3), brinkmann (3), integration (3), fine (3), grained (3), improve (3), decomposition (3), policy (3), only (3), number (3), paper (3), these (3), implementation (3), object (3), mechanism (3), using (3), less (3), but (3), more (3), authority (3), problem (3), least (3), show (3), support (3), aggressively (3), general (3), purpose (3), utility (3), 2009 (3), phones (3), consolidation (3), much (3), control (3), allows (3), services (3), 2011 (2), you (2), org (2), author (2), novel (2), new (2), individual (2), presented (2), traditional (2), like (2), monolithic (2), appears (2), smarter (2), into (2), observed (2), propose (2), schedule (2), must (2), required (2), competing (2), market (2), solution (2), approach (2), july (2), first (2), coyotos (2), sense (2), minimal (2), protected (2), platform (2), constructed (2), jonathan (2), shapiro (2), published (2), specification (2), fail (2), virtualizable (2), interfaces (2), via (2), refinement (2), minimum (2), small (2), needed (2), improving (2), goals (2), then (2), critique (2), environment (2), today (2), well (2), multi (2), finally (2), single (2), observe (2), message (2), just (2), due (2), process (2), fast (2), efficiently (2), trust (2), one (2), dynamic (2), primary (2), stakeholder (2), compute (2), each (2), principal (2), account (2), viengoos (2), demonstrate (2), need (2), indicator (2), range (2), practical (2), heuristics (2), under (2), over (2), needs (2), hoc (2), adapting (2), increases (2), program (2), currently (2), hotos (2), enabling (2), exploit (2), techniques (2), them (2), availability (2), significant (2), want (2), protection (2), our (2), personal (2), cloud (2), privilege (2), randal (2), burns (2), audio (2), slides (2), energy (2), stream (2), where (2), when (2), while (2), last, edited, sun, apr, cest, send, mail, spamtrap, reach, automatically, classified, spam, email, contact, presupposes, individuality, asserting, unique, transcend, realm, mundane, discover, idea, denies, elliot, assertion, poet, mind, fact, receptacle, seizing, storing, numberless, feelings, phrases, images, remain, until, particles, unite, form, compound, together, logical, impossibility, fundamental, tenant, thoughts, ideas, once, owned, controlled, tradition, talent, literature, democracy, symposium, held, university, massachusetts, lowell, april, 2003, function, through, attempted, flexibility, shift, away, reevaluation, conventional, praxis, determine, continued, applicability, particularly, defunct, regard, component, boundaries, gain, insight, introspection, incompatible, elimination, noticeable, degradation, rather, than, virtualized, contents, behalf, offer, near, raw, multiplex, relieving, manager, paging, managers, still, partition, physical, suggest, periodically, renewed, credit, allowance, lease, suits, soft, real, libre, software, meeting, dijon, france, 2005, remarks, complete, higher, level, eric, northup, scott, doerrie, swaroop, sridhar, version, online, march, 2006, meet, expectations, unified, supports, objects, straightforward, propagation, explore, interposition, argue, static, practice, advocate, hierarchical, central, realization, technical, report, usability, presentation, characterization, primarily, represents, departure, assess, terms, focusing, follows, evaluation, built, emphasizing, constraints, imposes, deficiencies, presents, reflect, properties, require, was, motivated, desire, rectify, shortcomings, foremost, limit, exist, simply, remnants, extensibility, adopts, defines, particular, those, composition, name, spaces, 2007, bibtex, acm, sigops, review, special, issue, secure, kernel, exploits, unit, mmu, modern, build, content, addressable, cam, expedite, resolution, common, case, carrying, compared, flexible, commonly, registers, taken, similarly, sized, containing, l4ka, pistachio, despite, designs, rejected, perceived, excessive, overhead, resulting, corresponding, rise, inter, although, work, demonstrated, made, extremely, historically, lacks, delegate, inadequate, protect, main, same, domain, model, consistent, principle, pola, may, achieve, capabilities, bundle, authorization, designation, easing, delegation, creation, domains, tom, bachmann, osdi, 2008, existing, appropriate, difference, schedulers, preferences, addition, revoke, introduce, prototype, some, benchmarks, simultaneously, intelligently, way, were, would, inappropriately, scheduled, poor, eurosys, directed, allocation, supporting, become, pressing, expected, netbooks, high, desktops, servers, increasing, nature, workloads, stemming, result, effective, assumptions, about, reliable, frequently, utilized, failing, limits, possible, contend, order, best, research, conducted, aggressive, ensure, adaptation, know, any, given, difficult, little, inform, evidence, importance, years, mismanagement, enough, residency, efficient, rethinking, allocated, adding, feedback, informed, funding, revocation, scheduler, describe, algorithm, parameters, configuration, explain, communicate, frequency, effectiveness, showing, changed, full, smoothly, vary, changes, throughput, conservative, according, browser, dns, larger, cache, pressure, smaller, becoming, increasingly, important, scalability, being, done, wider, configurations, fragile, indicate, sosp, places, back, complicate, lock, lack, usable, makes, service, sharing, risky, copy, resides, repository, acquires, provider, hierarchically, filtered, views, simplify, cutting, enable, integrate, powerbox, request, additional, running, regime, useful, open, save, dialogs, paul, stanton, john, linwood, griffin, eurosec, 2010, accompany, owners, whenever, wherever, does, mean, always, fetch, wireless, cellular, bandwidth, often, limited, coverage, ubiquitous, instead, updates, podcast, downloads, photo, uploads, incorporate, predictions, conditions, good, wifi, challenges, encountered, designing, include, transmissions, respecting, optimization, modeling, managing, prefetched, understand, evaluate, gathering, traces, phone, initial, potential, savings, papers, blog, recentchanges,
Text of the page (random words):
neal h walfield neal h walfield recentchanges there is a blog papers smart phones need smarter applications with randal burns submitted to hotos 2011 smart phones should not just accompany their owners they should provide them with the data they want whenever and wherever they are this does not mean that the user should always be able to fetch data on demand wireless communication requires a significant amount of energy cellular bandwidth is often limited and coverage is not ubiquitous instead scheduling data stream updates e g podcast downloads and photo uploads should incorporate predictions of where the user will be when and where data will be needed and when transfer conditions are good e g wifi is available the challenges we have encountered while designing such a framework include scheduling transmissions while respecting multiple optimization goals application integration modeling user and data stream behavior and managing prefetched data to better understand user behavior and evaluate our framework we are gathering traces of smart phone use initial results show potential energy savings of over 70 practical protection for personal storage in the cloud with paul t stanton john linwood griffin and randal burns published at eurosec 2010 slides audio audio with slides we present a storage management framework for web 2 0 services that places users back in control of their data current web services complicate data management due to data lock in and lack usable protection mechanisms which makes cross service sharing risky our framework allows multiple web services shared access to a single copy of data that resides on a personal storage repository which the user acquires from a cloud storage provider access control is based on hierarchically filtered views which simplify cross cutting policies and enable least privilege management we also integrate a powerbox which allows applications to request additional authority at run time thereby enabling applications running under a least privilege regime to provide useful open and save as dialogs operating system support for general purpose memory adaptive applications submitted to sosp 2009 many programs could improve their performance by adapting their memory use according to availability if memory is available a web browser or dns server could use a larger cache if there is memory pressure they could use a smaller one memory adaptations are also becoming increasingly important for scalability server consolidation is being done more aggressively and end users want to run their application on a wider range of hardware configurations today memory based adaptations are fragile general purpose operating systems do not indicate how much memory a process should or could use enabling efficient adaptations requires rethinking how memory is allocated among competing programs and adding a feedback mechanism that allows applications to make informed adaptations in this paper we present the design and implementation of a minimum funding revocation scheduler for memory we describe a novel algorithm to compute the amount of memory available to each resource principal based on its scheduling parameters and the current configuration explain how to communicate this information to the principals and show how they can exploit it we also present a new mechanism to account shared memory based on access frequency we demonstrate the effectiveness of the techniques by showing that multiple applications changed to exploit this information use the full memory available to them and smoothly vary their demand as availability changes this also results in significant increases in throughput relative to the conservative management techniques currently used 30 years of memory mismanagement is enough improving the memory residency problem with jonathan s shapiro submitted to hotos 2009 many programs could improve their performance by adapting their memory use to ensure that an adaptation increases utility a program needs to know not only how much memory is available but how much it should use at any given time this is difficult on commodity operating systems which provide little information to inform these decisions as evidence of the importance of adaptations to program performance many programs currently adapt using ad hoc heuristics to control their behavior supporting adaptive applications has become pressing the range of hardware that applications are expected to run on from smart phones and netbooks to high end desktops and servers is increasing as is the dynamic nature of workloads stemming from server consolidation the practical result is that the ad hoc heuristics are less effective as assumptions about the environment are less reliable and as such memory is more frequently under or over utilized failing to adapt limits the degree of possible consolidation we contend that in order for programs to make the best of available resources research needs to be conducted into how the operating system can better support aggressive adaptations viengoos a framework for stakeholder directed resource allocation submitted to eurosys 2009 general purpose operating systems not only fail to provide adaptive applications the information they need to intelligently adapt but also schedule resources in such a way that were applications to aggressively adapt resources would be inappropriately scheduled the problem is that these systems use demand as the primary indicator of utility which is a poor indicator of utility for adaptive applications we present a resource management framework appropriate for traditional as well as adaptive applications the primary difference from current schedulers is the use of stakeholder preferences in addition to demand we also show how to revoke memory compute the amount of memory available to each principal and account shared memory finally we introduce a prototype system viengoos and present some benchmarks that demonstrate that it can efficiently support multiple aggressively adaptive applications simultaneously fast capability transfer using existing commodity hardware with tom bachmann submitted to osdi 2008 current operating systems provide inadequate mechanisms to protect user data the main problem is that all of a user s programs run in the same trust domain a better model is one which is consistent with the principle of least authority pola an object capability system may be able to better achieve this capabilities bundle authorization and designation thereby easing delegation and the dynamic creation and management of fine grained trust domains despite this object capability designs are rejected due to a perceived excessive overhead resulting from the degree of decomposition and the corresponding rise in the amount of inter process communication ipc although the work on l4 has demonstrated that ipc can be made extremely fast historically l4 lacks mechanisms to efficiently delegate fine grained authority in this paper we present a capability transfer mechanism that exploits the memory management unit mmu present in all modern commodity hardware by using it to build a content addressable memory cam to expedite capability resolution for the common case of an ipc carrying a single capability we observe a 2 increase in message transfer time compared to a less flexible but more commonly used ipc implementation based on capability registers relative to the time taken to transfer a similarly sized message containing just data on l4ka pistachio we observe a 16 increase a critique of the gnu hurd multi server operating system with marcus brinkmann acm sigops operating systems review special issue on secure small kernel systems 41 3 july 2007 bibtex the gnu hurd s design was motivated by a desire to rectify a number of observed shortcomings in unix foremost among these is that many policies that limit users exist simply as remnants of the design of the system s mechanisms and their implementation to increase extensibility and integration the hurd adopts an object based architecture and defines interfaces in particular those for the composition of and access to name spaces that are virtualizable this paper is first a presentation of the hurd s design goals and a characterization of its architecture primarily as it represents a departure from unix s we then critique the architecture and assess it in terms of the user environment of today focusing on security then follows an evaluation of mach the microkernel on which the hurd is built emphasizing the design constraints which mach imposes as well as a number of deficiencies its design presents for multi server like systems finally we reflect on the properties such a system appears to require improving usability via access decomposition and policy refinement with marcus brinkmann technical report commodity operating systems fail to meet the security resource management and integration expectations of users we propose a unified solution based on a capability framework as it supports fine grained objects straightforward access propagation and virtualizable interfaces and explore how to improve resource use via access decomposition and policy refinement with minimum interposition we argue that only a small static number of scheduling policies are needed in practice and advocate hierarchical policy specification and central realization coyotos microkernel specification with jonathan s shapiro ph d eric northup m scott doerrie swaroop sridhar and marcus brinkmann version 0 3 published online march 20 2006 coyotos is a security microkernel it is a microkernel in the sense that it is a minimal protected platform on which a complete operating system can be constructed it is a security microkernel in the sense that it is a minimal protected platform on which higher level security policies can be constructed first remarks on a market based approach to resource scheduling for the gnu hurd multiserver operating system presented at the libre software meeting in dijon france on july 6 2005 through the use of a multiserver capability based architecture the gnu hurd has attempted to increase security and flexibility relative to traditional unix like operating systems this shift away from a monolithic design requires a reevaluation of conventional operating system praxis to determine its degree of continued applicability resource scheduling appears particularly defunct in this regard to make smarter scheduling decisions monolithic systems cross component boundaries to gain insight into application behavior this introspection is incompatible with a multiserver architecture and its elimination as observed in mach the current microkernel used by the gnu hurd results in noticeable performance degradation to this end i propose that rather than have the operating system provide virtualized resources i e schedule the contents of resources on behalf of applications it offer near raw access to the principals which they must multiplex as required thereby relieving e g the memory manager of paging decisions the resource managers must still partition the physical resources among the competing principals for this i suggest a market based solution in which principals have a periodically renewed credit allowance and lease the required resources this approach also suits adaptive and soft real time applications the function of intellectual property at the present time presented at the literature communication and democracy symposium held at university of massachusetts lowell on april 2 2003 intellectual property presupposes the individuality of the author by asserting that the author is unique and is able to transcend the realm of the mundane to discover a novel idea intellectual property denies t s elliot s assertion in tradition and the individual talent that the poet s mind is in fact a receptacle for seizing and storing up numberless feelings phrases images which remain there until all the particles which can unite to form a new compound are present together intellectual property is a logical impossibility for its fundamental tenant is that thoughts and ideas once shared can be owned and controlled by an individual contact you can email me at neal walfield org if you send mail to spamtrap walfield org it will not reach me and be automatically classified as spam last edited sun 24 apr 2011 06 55 51 am cest
|