User loginNavigation |
Bossa, a framework for scheduler developmentBossa is a framework for scheduler development, including "a domain-specific language (DSL) that provides high-level scheduling abstractions that simplify the implementation and evolution of new scheduling policies". The DSL compiles via C to kernel code. Interestingly, the DSL includes constraints such as "the absence of pointers, and the impossibility of defining infinite loops". A good example of a language that forsakes general-purpose features in order to provide verifiable safety guarantees. The quickest way to get a flavour is probably to read the release notes. By Dominic Fox at 2004-07-09 08:36 | LtU Forum | previous forum topic | next forum topic | other blogs | 7501 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 1 day ago
41 weeks 3 days ago
41 weeks 3 days ago
41 weeks 3 days ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 17 weeks ago
1 year 17 weeks ago
1 year 20 weeks ago
1 year 24 weeks ago