<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>USENIX Update &#187; operating systems</title>
	<atom:link href="http://blogs.usenix.org/tag/operating-systems/feed/" rel="self" type="application/rss+xml" />
	<link>http://blogs.usenix.org</link>
	<description>News and info from USENIX: The Advanced Computing Systems Association</description>
	<lastBuildDate>Fri, 10 Feb 2012 04:52:42 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.1</generator>
		<item>
		<title>Efficient System-Enforced Deterministic Parallelism</title>
		<link>http://www.youtube.com/watch?v=XPlxS_phXX8&#038;feature=youtube_gdata</link>
		<comments>http://www.youtube.com/watch?v=XPlxS_phXX8&#038;feature=youtube_gdata#comments</comments>
		<pubDate>Fri, 08 Oct 2010 19:11:59 +0000</pubDate>
		<dc:creator>USENIXAssociation</dc:creator>
				<category><![CDATA[http://gdata.youtube.com/schemas/2007#video]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[operating systems]]></category>

		<guid isPermaLink="false">http://gdata.youtube.com/feeds/api/videos/XPlxS_phXX8</guid>
		<description><![CDATA[Presented at the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10) held in Vancouver, BC, Canada, October 4-6, 2010.

Paper authors: Amittai Aviram, Shu-Chun Weng, Sen Hu, and Bryan Ford, Yale University

Abstract: Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur high costs, allow misbehaved software to defeat repeatability, and transform time-dependent races into input- or path-dependent races without eliminating them. We introduce a new parallel programming model addressing these issues, and use Determinator, a proof-of-concept OS, to demonstrate the model's practicality. Determinator's microkernel API provides only &#34;shared-nothing&#34; address spaces and deterministic interprocess communication primitives to make execution of all unprivileged code—well-behaved or not—precisely repeatable. Atop this microkernel, Determinator's user-level runtime adapts optimistic replication techniques to offer a private workspace model for both thread-level and process-level parallel programing. This model avoids the introduction of read/write data races, and converts write/write races into reliably-detected conflicts. Coarse-grained parallel benchmarks perform and scale comparably to nondeterministic systems, on both multicore PCs and across nodes in a distributed cluster.]]></description>
		<wfw:commentRss>http://blogs.usenix.org/2010/10/08/efficient-system-enforced-deterministic-parallelism/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
<enclosure url="rtsp://v3.cache2.c.youtube.com/CigLENy73wIaHwl_XWH6S3H5XBMYESARFEgGUgx1c2VyX3VwbG9hZHMM/0/0/0/video.3gp" length="" type="video/3gpp" />
<enclosure url="rtsp://v2.cache3.c.youtube.com/CigLENy73wIaHwl_XWH6S3H5XBMYDSANFEgGUgx1c2VyX3VwbG9hZHMM/0/0/0/video.3gp" length="" type="video/3gpp" />
<enclosure url="http://www.youtube.com/v/XPlxS_phXX8?version=3&amp;amp;f=user_uploads&amp;amp;app=youtube_gdata" length="" type="application/x-shockwave-flash" />
		</item>
		<item>
		<title>The Turtles Project: Design and Implementation of Nested Virtualization</title>
		<link>http://www.youtube.com/watch?v=FbH63kVGTek&#038;feature=youtube_gdata</link>
		<comments>http://www.youtube.com/watch?v=FbH63kVGTek&#038;feature=youtube_gdata#comments</comments>
		<pubDate>Fri, 08 Oct 2010 18:31:03 +0000</pubDate>
		<dc:creator>USENIXAssociation</dc:creator>
				<category><![CDATA[http://gdata.youtube.com/schemas/2007#video]]></category>
		<category><![CDATA[hypervisor]]></category>
		<category><![CDATA[OSDI]]></category>
		<category><![CDATA[Tech]]></category>
		<category><![CDATA[USENIX]]></category>
		<category><![CDATA[operating systems]]></category>
		<category><![CDATA[virtualization]]></category>

		<guid isPermaLink="false">http://gdata.youtube.com/feeds/api/videos/FbH63kVGTek</guid>
		<description><![CDATA[Presented at the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10) held in Vancouver, BC, Canada, October 4-6, 2010.

Paper authors: Muli Ben-Yehuda, IBM Research—Haifa; Michael D. Day, IBM Linux Technology Center; Zvi Du...]]></description>
		<wfw:commentRss>http://blogs.usenix.org/2010/10/08/the-turtles-project-design-and-implementation-of-nested-virtualization/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
<enclosure url="rtsp://v6.cache7.c.youtube.com/CigLENy73wIaHwnpTUZF3vqxFRMYESARFEgGUgx1c2VyX3VwbG9hZHMM/0/0/0/video.3gp" length="" type="video/3gpp" />
<enclosure url="rtsp://v7.cache1.c.youtube.com/CigLENy73wIaHwnpTUZF3vqxFRMYDSANFEgGUgx1c2VyX3VwbG9hZHMM/0/0/0/video.3gp" length="" type="video/3gpp" />
<enclosure url="http://www.youtube.com/v/FbH63kVGTek?version=3&amp;amp;f=user_uploads&amp;amp;app=youtube_gdata" length="" type="application/x-shockwave-flash" />
		</item>
		<item>
		<title>OSDI &#8217;10 Call for Papers Now Available</title>
		<link>http://blogs.usenix.org/2009/09/23/osdi10-cfp/</link>
		<comments>http://blogs.usenix.org/2009/09/23/osdi10-cfp/#comments</comments>
		<pubDate>Thu, 24 Sep 2009 01:45:57 +0000</pubDate>
		<dc:creator>Anne</dc:creator>
				<category><![CDATA[Update]]></category>
		<category><![CDATA[distributed systems]]></category>
		<category><![CDATA[embedded systems]]></category>
		<category><![CDATA[file and storage systems]]></category>
		<category><![CDATA[IT conference]]></category>
		<category><![CDATA[mobile systems]]></category>
		<category><![CDATA[operating systems]]></category>
		<category><![CDATA[secure systems]]></category>
		<category><![CDATA[systems conference]]></category>
		<category><![CDATA[systems design]]></category>
		<category><![CDATA[systems implementation]]></category>
		<category><![CDATA[technical conference]]></category>
		<category><![CDATA[virtualization]]></category>

		<guid isPermaLink="false">http://blogs.usenix.org/?p=205</guid>
		<description><![CDATA[The 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI &#8217;10) seeks to present innovative, exciting research in computer systems. OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. More information and submission guidelines can be found [...]]]></description>
		<wfw:commentRss>http://blogs.usenix.org/2009/09/23/osdi10-cfp/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

