Home Page of Operating Systems Seminar
Dr. Yair Wiseman's home page
Papers to be presented:
MicroKernels
A. S. Tanenbaum,
J. N. Herder and H. Bos, "Can We Make Operating Systems Reliable and
Secure?", IEEE Computer, Vol. 39(5), pp. 44-51, May 2006.
- Yoav June 21
D. Golub, R. Dean, A. Forin and Richard
Rashid. "Unix as an Application Program", Proceedings of the USENIX
Summer Conference, June 1990. This paper presents
the Mach MicroKernel. - Moshe April 26
T. Leschke, "Achieving Speed
and Flexibility by Separating Management from Protection: Embracing
the Exokernel Operating System", Operating Systems Review, Vol. 38(4),
pp. 5-19, October 2004. - Shay I. May 31
X. Lu and S. F. Smith, "A
Microkernel Virtual Machine: Building Security with Clear Interfaces",
ACM SIGPLAN Workshop on Programming Languages and Analysis for
Security, Ottawa, Canada, June 10, pp. 47-56, 2006.
LRU Improvements
J. Kim, J. Choi, J. Kim, S. Noh, S. Min, Y. Cho,
and C. Kim, "A Low-Overhead, High-Performance Unified Buffer
Management Scheme that Exploits Sequential and Looping References",
4th Symposium on Operating System Design and Implementation, San
Diego, California, pp. 119-134, October 23-25, 2000.
S. Jiang and X. Zhang, "LIRS: An Efficient Low
Inter-reference Recency Set Replacement Policy to Improve Buffer Cache
Performance", In Proceeding of 2002 ACM SIGMETRICS, Marina Del Rey,
California, pp. 31-42, June 15-19, 2002. - Yelena April 12
Y. Zhou, Z. Chen and K. Li. "Second-Level Buffer
Cache Management", IEEE Transactions on Parallel and Distributed
Systems, Vol. 15, No. 7, pp. 505-519, July, 2004.
S. Bansal and D. Modha, "CAR: Clock with Adaptive
Replacement", Proceedings of the 3nd USENIX Symposium on File and
Storage Technologies, San Francisco, California, pp. 187-200, March
31-April 2, 2004. - Shy S. April 19
S. Jiang, F. Chen and X. Zhang, "CLOCK-Pro:
an effective improvement of the CLOCK replacement", Proceedings of
2005 USENIX Annual Technical Conference (USENIX'05), pp. 323-336,
Anaheim, California, April 10-15, 2005. - Emuna
March 22
Superpages
M. Talluri and M. D. Hill,
Surpassing the TLB Performance of Superpages with Less Operating
System Support, Sixth International Symposium on Architectural Support
for Programming Languages and Operating Systems (ASPLOS), San Jose,
California, pp. 171-182, October 4-7, 1994.
T. H. Romer, W. H. Ohllrich,
A. R. Karlin, and B. N. Bershad, Reducing TLB and memory overhead
using online superpage promotion, In Proceedings of the 22nd
International Symposium on Computer Architecture (ISCA), pp. 87-176,
Santa Margherita Ligure, Italy, June 1995.
I. Subramanian, C. Mather,
K. Peterson, and B. Raghunath. Implementation of multiple pagesize
support in HP-UX, In Proceedings of the USENIX, New Orleans,
Louisiana, June 15-19, 1998.
Z. Fang, L. Zhang, J. Carter,
S. McKee, and W. Hsieh. Re-evaluating Online Superpage Promotion with
Hardware Support. In Proceedings of the Seventh International
Symposium on High Performance Computer Architecture, pp. 63-72,
January 2001.
L. Zhang, Z. Fang, M. Parker,
B. K. Mathew, L. Schaelicke, J. B. Carter, W. C. Hsieh, S. A. McKee,
The Impulse Memory Controller, IEEE Transactions on Computers,
vol. 50(11), pp. 1117-1132, November 2001.
OS Bugs
J. Xu, Z. Kalbarczyk, and R. Iyer,
"Networked Windows NT System Field Failure Data Analysis," Proc. 1999
Pacific Rim Int'l Symp. Dependable Computing, IEEE CS Press, Los
Alamitos, CA, 1999. - Roi May 10
M. Swift, M. Annamalai, B. N. Bershad, H.
M. Levy, "Recovering Device Drivers", The 6th Symposium on Operating
Systems Design and Implementation (OSDI '04), San Francisco,
California, pp. 1-16, December 6-8, 2004. - Rinat May 17
Versioning File Systems
C. A. N. Soules, G. R. Goodson,
J. D. Strunk, and G. R. Ganger, "Metadata Efficiency in Versioning
File Systems," in Proceedings of the Second USENIX Conference on File
and Storage Technologies (FAST 2003), pp. 43-58, San Francisco,
California, March 31-April 2, 2003. - Meir June 7
Thrashing
S. Jiang and X. Zhang,
"Token-ordered LRU: An Effective Page Replacement Policy and
Implementation in Linux systems", Performance Evaluation, Vol 60/1-4,
pp. 5-29, 2005. - Alon
D. S. Nikolopoulos,
"Malleable Memory Mapping: User-Level Control of Memory Bounds for
Effective Program Adaptation", Proc. 17th International Parallel and
Distributed Processing Symposium (IPDPS-2003), Nice, France, April
2003.
M. Reuven and Y. Wiseman, "Medium-Term
Scheduler as a Solution for the Thrashing Effect", The Computer
Journal, Oxford University Press, Swindon, UK, Vol. 49(3),
pp. 297-309, May 2006. - Aviv May 3