欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
NetKernel
NetKernel's resource-oriented computing model makes it simple to construct powerful software. NetKernel's advanced infrastructure extends the core ideas behind Unix and REST. From Unix - compose functions and whole applications using a toolbox of services that work directly with resources. From REST - address everything with a logical URI address (resources, services and code) and find the immutable results cached, eliminating redundant computations. The result is a platform that supports rapid development of incredibly fast flexible applications.
NetKernel是一个软件系统,它将REST和Unix的基本属性组装成一个叫做面向资源计算(resource oriented computing,ROC)的强大的抽象集。面向资源计算的核心是将信息(资源)的逻辑请求与传递请求的物理机制(代码)相分离。与其他方式相比,使用ROC构建的应用已被证明是小巧的、简单的、灵活的,并且无需太多代码。
1060 Public License: http://www.1060research.com/license/index.html
目录 |
Foundation
- Microkernel Architecture
- Tiny Memory Footprint
- SMP Server Scaling
- Dependency Cache
- 24-7 Operation
- Request Shaping
- Services and Resources
Services
- RDBMS Services
- Image Processing Services
- NetKernel XML Processing Services
- NetKernel SOAP Services
- NetKernel Client / Server HTTP Services
- NetKernel RDF Services
- NetKernel Cron Service
- NetKernel Native Pipeline Processing
- New NetKernel Services
Languages
- NetKernel Procedural Languages: Ruby, BeanShell(scripted Java), Groovy, Javascript, Python
- NetKernel Declarative Languages: Declarative Process Markup-Language(DPML), XML Resource Linker(XRL)
- Aspect Oriented Programming
- NetKernel XML Languages
- Create New Languages
- Uniform Exception Handling
Scripting
Language runtimes are activated by calling the runtime as an active: service. NetKernel 3.3 supports:
- active:beanshell
- active:javascript
- active:groovy
- active:python
- active:ruby
active:beanshell+operator@ffcpl:/myprogram.bsh
The following versions of script language runtimes are used in NetKernel 3.3.
- BeanShell v1.3.0
- JRuby 1.0.1
- Rhino Javascript v1.6 R2 - with patches to E4X
- Groovy v1.0 JSR 05
- Jython v2.2
Developer Tools
- NetKernel Visualizer
- NetKernel Debugger
- NetKernel Unit Test Framework
- NetKernel Request Tracing
- NetKernel Execution Profiler
Deploy
- Java Based, on Linux, Windows, and Mac OS X
- Embeddable
Connections
- NetKernel HTTP Server
- SOAP Server
- NetKernel JMS Service Bus
- NetKernel SMTP / POP Services
Management
- Hot Install
- Configuration Rollback
- Health Check
- System Introspection