WO2001037086A3 - Separation kernel - Google Patents

Separation kernel Download PDF

Info

Publication number
WO2001037086A3
WO2001037086A3 PCT/US2000/030014 US0030014W WO0137086A3 WO 2001037086 A3 WO2001037086 A3 WO 2001037086A3 US 0030014 W US0030014 W US 0030014W WO 0137086 A3 WO0137086 A3 WO 0137086A3
Authority
WO
WIPO (PCT)
Prior art keywords
separation
processing elements
computer
implemented system
processing element
Prior art date
Application number
PCT/US2000/030014
Other languages
French (fr)
Other versions
WO2001037086A2 (en
Inventor
Peter Duncan White
Conan Brian Dailey
Hua Chen
Pamela Tam Carmony
Jennifer Lynn Amstutz
Keith Michael Hines
Francis Gregory Sydnor Jr
Original Assignee
Gen Dynamics Decision Systems
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Gen Dynamics Decision Systems filed Critical Gen Dynamics Decision Systems
Priority to JP2001539112A priority Critical patent/JP2003524829A/en
Priority to GB0211783A priority patent/GB2372358B/en
Priority to AU16549/01A priority patent/AU773730B2/en
Priority to EP00979136A priority patent/EP1232436B1/en
Publication of WO2001037086A2 publication Critical patent/WO2001037086A2/en
Publication of WO2001037086A3 publication Critical patent/WO2001037086A3/en
Priority to AU2004202666A priority patent/AU2004202666B2/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogram communication
    • G06F9/547—Remote procedure calls [RPC]; Web services
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/468—Specific access rights for resources, e.g. using capability register

Abstract

A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.
PCT/US2000/030014 1999-11-19 2000-10-31 Separation kernel WO2001037086A2 (en)

Priority Applications (5)

Application Number Priority Date Filing Date Title
JP2001539112A JP2003524829A (en) 1999-11-19 2000-10-31 Isolation kernel
GB0211783A GB2372358B (en) 1999-11-19 2000-10-31 Separation kernel
AU16549/01A AU773730B2 (en) 1999-11-19 2000-10-31 Separation kernel
EP00979136A EP1232436B1 (en) 1999-11-19 2000-10-31 Separation kernel
AU2004202666A AU2004202666B2 (en) 1999-11-19 2004-06-17 A method of allocating memory and performing a remote procedure call

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/443,597 1999-11-19
US09/443,597 US6772416B1 (en) 1999-11-19 1999-11-19 Separation kernel with memory allocation, remote procedure call and exception handling mechanisms

Publications (2)

Publication Number Publication Date
WO2001037086A2 WO2001037086A2 (en) 2001-05-25
WO2001037086A3 true WO2001037086A3 (en) 2002-05-16

Family

ID=23761442

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2000/030014 WO2001037086A2 (en) 1999-11-19 2000-10-31 Separation kernel

Country Status (6)

Country Link
US (4) US6772416B1 (en)
EP (1) EP1232436B1 (en)
JP (1) JP2003524829A (en)
AU (1) AU773730B2 (en)
GB (1) GB2372358B (en)
WO (1) WO2001037086A2 (en)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7047370B1 (en) * 2003-01-14 2006-05-16 Cisco Technology, Inc. Full access to memory interfaces via remote request
US7711952B2 (en) * 2004-09-13 2010-05-04 Coretrace Corporation Method and system for license management
US20060075236A1 (en) * 2004-09-30 2006-04-06 Marek James A Method and apparatus for high assurance processing
US20080162877A1 (en) * 2005-02-24 2008-07-03 Erik Richter Altman Non-Homogeneous Multi-Processor System With Shared Memory
US7474618B2 (en) * 2005-03-02 2009-01-06 Objective Interface Systems, Inc. Partitioning communication system
US20070150685A1 (en) * 2005-12-28 2007-06-28 Gbs Laboratories Llc Computer architecture for providing physical separation of computing processes
DE102006020093A1 (en) * 2006-04-26 2007-10-31 IHP GmbH - Innovations for High Performance Microelectronics/Institut für innovative Mikroelektronik Protecting a data processing application of a service provider for a user by a trusted execution environment
US20080046724A1 (en) * 2006-07-25 2008-02-21 General Dynamics C4 System, Inc. Method for governing interaction between code within a code base
US8443191B2 (en) * 2007-04-09 2013-05-14 Objective Interface Systems, Inc. System and method for accessing information resources using cryptographic authorization permits
EP2885708A4 (en) * 2012-08-20 2016-11-09 D Kevin Cameron Processing resource allocation
US9304945B2 (en) * 2013-01-24 2016-04-05 Raytheon Company Synchronizing parallel applications in an asymmetric multi-processing system

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5574914A (en) * 1993-01-04 1996-11-12 Unisys Corporation Method and apparatus for performing system resource partitioning

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5574912A (en) 1990-05-04 1996-11-12 Digital Equipment Corporation Lattice scheduler method for reducing the impact of covert-channel countermeasures
US5305455A (en) * 1990-12-21 1994-04-19 International Business Machines Corp. Per thread exception management for multitasking multithreaded operating system
US5504814A (en) * 1991-07-10 1996-04-02 Hughes Aircraft Company Efficient security kernel for the 80960 extended architecture
US5455949A (en) * 1991-09-06 1995-10-03 International Business Machines Corporation Method for representing and signaling run-time program conditions
US5627987A (en) * 1991-11-29 1997-05-06 Kabushiki Kaisha Toshiba Memory management and protection system for virtual memory in computer system
JPH05233326A (en) * 1991-12-19 1993-09-10 Internatl Business Mach Corp <Ibm> Method and system for handling event in computer system
JPH06110925A (en) * 1992-09-28 1994-04-22 Hitachi Ltd Computer connected with network and using method for the same
US5559980A (en) * 1993-03-18 1996-09-24 Lucent Technologies Inc. Method and apparatus for detecting references to deallocated memory in a dynamic memory allocation system
US5446901A (en) * 1993-06-30 1995-08-29 Digital Equipment Corporation Fault tolerant distributed garbage collection system and method for collecting network objects
US5729710A (en) * 1994-06-22 1998-03-17 International Business Machines Corporation Method and apparatus for management of mapped and unmapped regions of memory in a microkernel data processing system
US5907708A (en) * 1996-06-03 1999-05-25 Sun Microsystems, Inc. System and method for facilitating avoidance of an exception of a predetermined type in a digital computer system by providing fix-up code for an instruction in response to detection of an exception condition resulting from execution thereof
US5841869A (en) * 1996-08-23 1998-11-24 Cheyenne Property Trust Method and apparatus for trusted processing
US5930827A (en) * 1996-12-02 1999-07-27 Intel Corporation Method and apparatus for dynamic memory management by association of free memory blocks using a binary tree organized in an address and size dependent manner
US6047388A (en) * 1997-04-09 2000-04-04 International Business Machines Corporation Method and apparatus for processing an invalid address request
US6938257B1 (en) * 1997-07-17 2005-08-30 International Business Machines Corporation Apparatus and method to provide persistence for application interfaces
IL126149A (en) * 1997-09-09 2003-07-31 Sanctum Ltd Method and system for protecting operations of trusted internal networks
US5893159A (en) * 1997-10-22 1999-04-06 International Business Machines Corporation Methods and apparatus for managing scratchpad memory in a multiprocessor data processing system
US6327606B1 (en) * 1998-06-24 2001-12-04 Oracle Corp. Memory management of complex objects returned from procedure calls
US6477586B1 (en) * 1998-06-29 2002-11-05 International Business Machines Corporation Remote procedure calls in distributed systems
US6314501B1 (en) * 1998-07-23 2001-11-06 Unisys Corporation Computer system and method for operating multiple operating systems in different partitions of the computer system and for allowing the different partitions to communicate with one another through shared memory
US6691298B1 (en) * 1999-09-20 2004-02-10 Texas Instruments Incorporated Memory management in embedded system with design time object instantiation
US6292874B1 (en) * 1999-10-19 2001-09-18 Advanced Technology Materials, Inc. Memory management method and apparatus for partitioning homogeneous memory and restricting access of installed applications to predetermined memory ranges

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5574914A (en) * 1993-01-04 1996-11-12 Unisys Corporation Method and apparatus for performing system resource partitioning

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
"setrlimit(2)", RED HAT LINUX/I386 5.2 MAN PAGE, 23 July 1993 (1993-07-23), XP002192423, Retrieved from the Internet <URL:http://www.FreeBSD.org/cgi/man.cgi?query=setrlimit&sektion=2&apropos=0&manpath=Red+Hat+Linux%2fi386+5.2> [retrieved on 20020226] *
NATIONAL CONPUTER SECURITY CENTER: "A GUIDE TO UNDERSTAND COVERT CHANNEL ANALYSIS OF TRUSTED SYSTEMS", INTERNET DOCUMENT, November 1993 (1993-11-01), Maryland, États-Unis d'Amérique, XP002192422, Retrieved from the Internet <URL:http://www.radium.ncsc.mil/tpep/library/rainbow/NCSC-TG-030.html> [retrieved on 20020225] *

Also Published As

Publication number Publication date
US6772416B1 (en) 2004-08-03
WO2001037086A2 (en) 2001-05-25
GB0211783D0 (en) 2002-07-03
AU773730B2 (en) 2004-06-03
EP1232436A2 (en) 2002-08-21
US20100192159A1 (en) 2010-07-29
AU1654901A (en) 2001-05-30
EP1232436B1 (en) 2005-03-23
US7689997B2 (en) 2010-03-30
US20040268356A1 (en) 2004-12-30
GB2372358B (en) 2004-08-25
GB2372358A (en) 2002-08-21
US20100192154A1 (en) 2010-07-29
JP2003524829A (en) 2003-08-19

Similar Documents

Publication Publication Date Title
CA2182783A1 (en) Data exchange system comprising portable data processing units
CA2000151A1 (en) Parallel Data Processor
GB2349965A (en) Memory module including a memory module controller
WO2001037086A3 (en) Separation kernel
CA2169326A1 (en) Dual Card and Method Therefor
WO2001090915A3 (en) Processor array and parallel data processing methods
WO2002050624A3 (en) Processor architecture
WO2001050247A3 (en) Memory shared between processing threads
AU4417193A (en) Alkalophilic (bacillus sp. ac13) and protease, xylanase, cellulase obtainable therefrom
CA2229234A1 (en) Electrochemical fuel cell with an electrode substrate having an in-plane nonuniform structure for control of reactant and product transport
CA2297069A1 (en) Computerized system and associated method for optimally controlling storage and transfer of computer programs on a computer network
GR3035224T3 (en) Data exchange systems comprising portable data processing units
CA2145106A1 (en) Intelligent Memory-Based Input/Output System
WO2000070426A3 (en) System for performing load management
TW339439B (en) A semiconductor memory device
CA2119085A1 (en) Adaptive communication system
EP1022334A3 (en) Novel amylases
CA2185990A1 (en) Document proxy framework
WO2001048857A3 (en) Low profile waveguide network for antenna array
CA2135518A1 (en) Load System
CA2384256A1 (en) Application management for multi application devices
TW200514197A (en) Metal-over-metal devices and the method for manufacturing same
EP0773550A3 (en) Semiconductor memory device with reduced leakage current and improved data retention
BG101797A (en) Integrated circuit controlled transaction management system
EP0403248A3 (en) Photoelectric converting apparatus

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CR CU CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
AK Designated states

Kind code of ref document: A3

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CR CU CZ DE DK DM DZ EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ PL PT RO RU SD SE SG SI SK SL TJ TM TR TT TZ UA UG UZ VN YU ZA ZW

AL Designated countries for regional patents

Kind code of ref document: A3

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZW AM AZ BY KG KZ MD RU TJ TM AT BE CH CY DE DK ES FI FR GB GR IE IT LU MC NL PT SE BF BJ CF CG CI CM GA GN GW ML MR NE SN TD TG

ENP Entry into the national phase

Ref country code: JP

Ref document number: 2001 539112

Kind code of ref document: A

Format of ref document f/p: F

ENP Entry into the national phase

Ref country code: GB

Ref document number: 200211783

Kind code of ref document: A

Format of ref document f/p: F

WWE Wipo information: entry into national phase

Ref document number: 2000979136

Country of ref document: EP

WWE Wipo information: entry into national phase

Ref document number: 16549/01

Country of ref document: AU

WWP Wipo information: published in national office

Ref document number: 2000979136

Country of ref document: EP

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

WWG Wipo information: grant in national office

Ref document number: 16549/01

Country of ref document: AU

WWG Wipo information: grant in national office

Ref document number: 2000979136

Country of ref document: EP