Electrical computers and digital processing systems: multicomput – Computer-to-computer data routing – Least weight routing
Patent
1997-06-18
2000-11-21
Banankhah, Majid
Electrical computers and digital processing systems: multicomput
Computer-to-computer data routing
Least weight routing
717 8, G06F 945
Patent
active
06151618&
ABSTRACT:
A safe general purpose virtual machine computing system having a general purpose memory protection model that is hardware architecture and programming language independent. The safe general purpose virtual machine computing system is software based to facilitate operation on hardware architectures that otherwise would prevent the exchange and successful execution of mobile code programs from one computer system to another. The safe general purpose virtual machine computing system also facilitates generating Bytecode Reduced Instruction Set Computer (BRISC) compressed mobile code that can be compiled or translated into executable code very quickly in addition to being compact for transmission purposes, and that is prevented from accessing unauthorized memory locations due to Software Fault Isolation techniques implemented in the code.
REFERENCES:
patent: 4667290 (1987-05-01), Goss et al.
patent: 5386557 (1995-01-01), Boykin et al.
patent: 5537551 (1996-07-01), Denenberg et al.
patent: 5551051 (1996-08-01), Silverthorn et al.
patent: 5586323 (1996-12-01), Koizumi et al.
patent: 5590329 (1996-12-01), Goodnow, II et al.
patent: 5590331 (1996-12-01), Lewis et al.
patent: 5644709 (1997-07-01), Austin
patent: 5761477 (1998-06-01), Wahbe et al.
R. Wahbe, et al, "Efficient Software-Based Fault Isolation", ACM publication, Dec. 1993.
S. Lucco, O. Sharp, and R. Wahbe, "Ominware: A Universal Substrate for Web Programming", Proc. of the 4.sup.th World Wide Web Conference, Boston, Massachusetts, Dec., 1995.
"Omniware Technical Overview", Technical Report, Colusa Software, 1995.
"Omniware: A Universal Substrate for Mobile Code", Colusa Software, 1995.
Appendix A, Colusa Software.
K. Li and P. Huda, "Memory Coherence in Shared Virtual Memory Systems", Proceedings of the 5th ACM Symposium on Principles of Distributed Computing, pp. 229-239, Aug. 1986.
C.N. Fischer and R.J. Leblanc, "The Implementation of Run-time Diagnostics in PASCAL", IEEE Transactions on Software Engineering, Jul. 1980 vol. SE-6, #4, pp. 313-319.
T. Austin, S. Breach, and G. Sohi, "Efficient Detection of All Pointer and Array Access Errors", Proceedings of the ACM Conference on Programming Language Design and Implementation, pp. 290-301, Jun. 1994.
J. Gosling, "Java Intermediate Bytecodes", ACM SIGPlan Workshop on Intermediate Representations, pp. 111-118, Jan. 1995.
"Telescript Technology: Scenes from the Electronic Marketplace", General Magic, Sunnyvale, CA, 1996.
R. Brooks , R. Gabriel, and G. Steele, Jr., "An Optimizing Compiler for Lexically Scoped Lisp", ACM Symposium on Lisp and Functional Programming, pp. 261-275, Aug. 1982.
D. Luckham, and N. Suzuki, "Verification of Array, Record, and Pointer Operations in PASCAL", ACM Transactions on Programming Languages and Systems, Oct. 1979, vol. 1, #2, pp. 226-244.
J. Ellis, and D. Detlefs, "Safe, Efficient Garbage Collection for C + + ", Proceedings of the USENIX C + + Conference, pp. 143-177, Apr. 1994.
E. Jul, H. Levy, N. Hutchinson, and A. Black, "Fine-Grained Mobility in the Emerald System", ACM Transactions on Computer Systems, vol. 6, #1, Feb. 1988, pp. 109-133.
P. Klint, "Interpretation Techniques", Software-Practice and Experience, Sep. 1981, vol. 11 #9, pp. 963-973.
A. Goldberg and D. Robson "Smalltalk-80: The Language and Its Implementation", Addison-Wesley, 1983, Reading, MA.
J. Davidson and J. Gresh, "Cint: A RISC Interpreter for the C Programming Language", Proceedings of the SIGPlan '87 Symposium on Interpreters and Interpretive Techniques, Jun. 1987, pp. 189-197.
L. Deutsch and A Schiffman, "Efficient Implementation of the Smalltalk-80 System", Proceedings of the 11th Annual ACM Symposium on Principles of Programming Languages, pp. 297-302, Jan. 1984.
C. Chambers, D. Ungar, and E. Lee, "An Efficient Implementation of SELF, a Dynamically-typed Object-Oriented Language Based on Prototypes", LISP and Symbolic Computation, Jul. 1991, vol. 4, #3, pp. 243-281.
C. May, "MIMIC: A Fast System/370 Simulator", Proceedings of the SIGPlan '87 Symposium on Interpreters and Interpretive Techniques, pp. 1-13, Jun. 1987.
B. Cmelik and D. Keppel, "Shade: A Fast Instruction-Set Simulator for Execution Profiling", ACM SIGMetrics Conference on Measurement and Modeling of Computer Systems, 1994, pp. 128-137, May 1994.
R. Sites, A. Chernoff, M. Kirk, M. Marks, and S. Robinson, "Binary Translation", Communications of the ACM, Feb. 1993, vol. 36, #2, pp. 69-81.
"Efficient Software-Based Fault Isolation" by Wahbe, Lucco, Anderson & Graham, Proceedings of the Symposium on Operating System Principles, Dec. 1993.
"The Evolution of Virtual Machine Architecture" by Buzen & Gagliardi, National Computer Conference, 1973.
"Survey of Virtual Machine Research" by Goldberg, Honeywell Information Systems, Waltham Massachusetts, and Harvard University, Jun. 1974.
Omniware Virtual Machine Architecture Reference Manual, Version 1.0 Beta, Microsoft Corporation, 60 pages.
Colusa Omniware Getting Started With Omniware, Colusa Software, Inc., 1995, 22 pages.
Chase, et al., Debugging with Lightweight Instrumentation, Proc. Supercomputer Debugging workshop, 1991, 8 pages.
Deutsch et al., "A Flexible Measurement Tool for Software Systems," Information Processing '71, pp. 320-326.
Kessler, Fast Breakpoints: Design and Implementation, Proc. ACM SIGPlan '90 Conference on Programming Language Design and Implementation, pp. 78-84.
Steffen, "Adding Run-Time Checking to the Portable PC Compiler," Software--Practice and Experience, vol. 22(4), Apr. 1992, pp. 305-316.
Kempton, "Run-Time Detection of Undefined Variables Considered Essential," Software--Practice and Experience, vol. 20(4), Apr. 1990, pp. 391-402.
Hastings et al., "Purify: Fast Detection of Memory Leaks and Access Errors," USENIX--Winter '92, pp. 125-136.
Johnson, "Postloading for Fun and Profit," USENIX--Winter '90, pp. 325-330.
Wall, "Systems for Late Code Modification," Digital Western Research Laboratory, Palo Alto, CA, Jun., 1991, 19 pages.
Wall, Link-Time Code Modification, Digital Western Research Laboratory, Palo Alto, CA, Sep., 1989, 17 pages.
Srivastava et al., A Practical System for Intermediate Code Optimization at Link-Time, Digital Western Research Laboratory, Palo Alto, CA, Dec., 1992, 28 pages.
Larus et al., "Rewriting Executable Files to Measure Program Behavior," University of Wisconsin Computer Sciences Technical Report 1083, Mar. 25, 1992, 17 pages.
Kendall, "Bcc: Runtime Checking for C Programs," USENIX--Summer 1983, pp. 6-16.
Sullivan et al., "Using Write Protected Data Structures to Improve Software Fault Tolerance in Highly Available Database Management Systems," Proc. 17.sup.th Int. Conf. on Very Large Data Bases, 1991, 19 pages.
Kaufer et al., "Saber-C An Interpreter-Based Programming Environment for the C Language," USENIX--Summer '88, pp. 161-171.
Nichols, The Bug Stops Here, Electronic Design, Jan. 26, 1989, pp. 84-90.
Bedicheck, "Some Efficient Architecture Simulation Techniques," USENIX--Winter '90, pp. 53-63.
H. M. Deitel, "An Introduction to Operating Systems", 2nd Edition, Addison-Welsley Pub. Comp., pp. 703-732.
Fraser Christopher W.
Lucco Steven E.
Morrison Vance Palmer
Wahbe Robert S.
Banankhah Majid
Lao Sue
Microsoft Corporation
LandOfFree
Safe general purpose virtual machine computing system does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Safe general purpose virtual machine computing system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Safe general purpose virtual machine computing system will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-1266785