news

Feb 15, 2008

  • New technical manager. See the peole page.

Nov 14, 2007

  • New S.Ha.R.K. version 1.5.4 available here, now runs on virtual machines like QEmu and VirtualBox.

Jan 17, 2007

  • New S.Ha.R.K. version 1.5.3 available here, now fully GPL compatible.

Aug 21, 2006

  • CiberMouse competition library for S.Ha.R.K. available here (RTSS 2006).

Jul 18, 2006

  • New Tracer manual draft released; documentation section restyled; experimental txt and html manual versions. See here.

Jul 17, 2006

The S.Ha.R.K. News Page

Nov 14, 2007

  • New S.Ha.R.K. version 1.5.4 available here, now runs on virtual machines like QEmu and VirtualBox.

Jan 17, 2007

  • New S.Ha.R.K. version 1.5.3 available here, now fully GPL compatible.

Oct 26, 2006

  • New S.Ha.R.K. version 1.5.2.1 available here.

Sep 20, 2006

  • New S.Ha.R.K. version 1.5.2 compatible with gcc 4x available here.

Aug 21, 2006

  • CiberMouse competition library for S.Ha.R.K. available here (RTSS 2006).

Jul 25, 2006

  • S.Ha.R.K. 1.5.1 available for download here.

Jul 18, 2006

  • New Tracer manual draft released; documentation section restyled; experimental txt and html manual versions. See here.

Jul 17, 2006

Jun 29, 2006

  • The S.Ha.R.K. Forum is constantly growing; quick link to the Forum added to homepage.

Mar 01, 2006

Feb 14, 2006

Jan 24, 2006

  • The SHaRK 1.5 bootdisk CD-ROM ISO is now available.

Jan 16, 2006

  • SHaRK 1.5 is out!!! It includes good support for exit(), endcycle as a cancellation point, new scheduling module directories, and many cleanups!

Jan 18, 2005

Jan 6, 2005

  • The SHaRK FAQs are now online under the Forum website!!!

Jan 5, 2005

Dec 16, 2004

  • Beta of the SHaRK 1.4 Manuals !!!
  • REALLY COOL demo of applications made with shark available under the demos section!

Jun 21, 2004

  • SHaRK 1.4 Final is out !!!
  • Kernel final adjustments.
  • New important changes !!!
    To know all the version 1.4 details, check this page

May 31, 2004

  • SHaRK 1.4 RC 1 is out.
  • BTTV Fixed.
  • Bugs removed.
  • New important changes !!!
    To know all the version 1.4 details, check this page

May 21, 2004

  • New S.Ha.R.K. Web Pages!

May 12, 2004

  • SHaRK 1.4 BETA 3 is out.
  • BTTV Ready.
  • CPUFREQ Ready.
  • New important changes !!!
    To know all the version 1.4 details, check this page

May 05, 2004

  • SHaRK 1.4 BETA 2 is out, problem with DJGPP solved.
  • New package MINDJ333.ZIP, for correct Shark cross-compiling under DJGPP.
  • New important changes !!!
    To know all the version 1.4 details, check this page

Apr 26, 2004

  • SHaRK 1.4 BETA 1 is out, revolution is coming !
  • New important changes !!!
    To know all the version 1.4 details, check this page

Jan 17, 2004

  • SHaRK 1.22 is out !
  • Bugs Removed (printk, gcc 3.3.2 support)
  • Servo Control Library, release of stable version (Look at Servo Library webpage)
  • Joystick Driver
  • S.Ha.R.K. Website Restyled. Added the new Projects section.

Nov 19, 2003

  • SHaRK 1.21 is out !
  • Dangerous bug removed in task_kill !
  • APIC Support for more precise timer events managment
  • TSC timer functions optimized (90 ns to read the system time on a Pentium 2 GHz)
  • ./shark.cfg: Edit this file to setup shark new stuffs (APIC, TSC, TIMER PERFORMANCE)

Oct 22, 2003

  • SHaRK 1.2 is out !
  • A lot of bugs removed (especially a nasty one inside the network driver)
  • New calibration routine for TSC
  • TFTP client for UDP file transfer
  • SERVO motor library (a specific web page will be ready soon)
  • New demos: Software oscilloscope with PCI6024E, TFTP demo

Jun 11, 2003

  • SHaRK 1.1 is out !
  • New framegrabber support (BTTV, inherited from the BTTV driver for Linux)
  • New framegrabber demo BTTVDEMO
  • New Demos (Biliardo, Astro, Autostrada, Telesco)
  • Bug fixes (TSC support, Network dellocation, VESA SVGALib)
  • Portuguese version of Install.txt (leiame.txt, thanks to Antonio Pedro Mariano Junior)

Jul 10, 2003

  • New papers about S.Ha.R.K. (from Italy and from Brasil) are available for download on the download page!
  • A new mailing list for italian users (mainly intended for students) is available!

Jun 11, 2003

  • New framegrabber support (BTTV, inherited from the BTTV driver for Linux)
  • New framegrabber demo BTTVDEMO
  • New Demos (Biliardo, Astro, Autostrada, Telesco)
  • Bug fixes (TSC support, Network dellocation, VESA SVGALib)
  • Portuguese version of Install.txt (leiame.txt, thanks to Antonio Pedro Mariano Junior)

May 16, 2003

The slides on the web site have been updated with the newest presentation I did (and I will do) at the University of Pavia, at the University of Catania (Enna Branch of the Engineering faculty), and at the University of Siena in May 2003. Moreover,some links have been updated!

May 5, 2003

Shark 1.0 released! You can find it in the download page... It includes:

  • O.C.E.R.A. Memory Manager
  • Advanced Timer (TSC and CMOS support)
  • Svgalib VESA and NEOMAGIC card support
  • MESA 3D libraries can now compile under DOS
  • New demos
  • Updated documentation
  • and... a lot of bugs removed!

Mar 27, 2003

The Shark CVS Repository is now available to everyone with an anonymous account. Checkout instructions can be found in the download page!

Mar 26, 2003

The Shark Bugzilla project on lancelot is now visible also from people that are not registered in it (excuse me for this mess)... Moreover, it seems that there are some problems in the Bugzilla registration. In particular, a lot of people are registering into the Bugzilla server but they are not getting back the password for logging in. If you log in and you do not receive your password by a few minutes, please send me an e-mail and I'll fix it!

Mar 24, 2003

A new mailing list is available to discuss about all the S.Ha.R.K. development issues... Check it out here!!!

Mar 21, 2003

A new preview snapshot has been released. It includes a few bugfix on S.Ha.R.K. version 0.4, a PNG and a ZLib libraries that can be useful to load textured to be used with the Mesa 3D library.As usual, in the download page!

Mar 17, 2003

A new preview snapshot has been released. It is not really stable yet, but includes a lot of new features like new hardware support, the new OSLib, MESA 3D graphics, SVGALib, ... You can find it on the download page!!!

Jan 17, 2003

A Bugzilla server has been activated at the ReTiS Lab with an active project called S.Ha.R.K. All the informations about bugs and feature requests can be found and should be posted there...

Moreover, I decided to add some meaningful version numbers to the project. You can find them in the download page ;-)

Jan 8, 2003

A new preview Snapshot is out! This includes:

  • New scheduling modules interface implemented (it basically follows the 16 Dec 2002 proposal);
  • TASK_MODEL: level numbers now separated from pclass;
  • set_exchandler_grx() and set_exchandler_txt() removed;
  • task_delay(), task_endcycle() removed;
  • ll_gettime now remapped into kern_gettime();
  • event_delete now remapped in kern_event_delete();
  • scheduler code often used into the kernel now included in a kern_epilogue_macro();
  • request_time removed from the task descriptor;
  • include/modules/code.h removed.

Please note that the old scheduling modules interface is no more supported. Please try to use the new one ;-)... A step-by-step porting to the new scheduling module interface is also available in the download page!!!

S.Ha.R.K. manuals also updated (they now include internal filesystem description).

This is still a development version, please check it out and find some remaining bugs ;-) ... The "stable" snapshot is still the Easter Snapshot :-)

Finally, into the download section, you will find from now on a "RFC" section that contains all the known problems of the system... Of course everyone can contribute!

Dec 16, 2002

Proposal on the new shark scheduling module interface updated. Please send all the comments you have on that proposal before Christmas. After that date, we will probably start implementing it!

Dec 2, 2002

A first proposal for the new shark scheduling module interface is out!!! Check it into the download page (RFC section)...

Nov 21, 2002

It is maybe the time to modify and simplify the internal scheduling module interface.

Here is a Request for comments ... Often when writing a scheduling module, a lot of problems are encountered due sometimes to the cryptic S.Ha.R.K. interface...

All the people that used S.Ha.R.K. to write a scheduling module are strongly encouraged to give some hints reporting the problems they had, giving suggestions for changing (cleaning) the internal scheduling module interface.

Any help is appreciated (and of course you will be listed into the people web page ;-) )

Nov 11, 2002

A beta version of the next S.Ha.R.K. Snapshot is out! This includes:

  • Updated demos (especially demos/base, demos/block, demos/tracer).
  • Parallel port driver.
  • Some modifications into the internal scheduling modules interface (IQUEUE support, QUEUE and QQUEUE removed, task_delay removed (use nanosleep instead!), UNVALID constants now are INVALID ;-) ).
  • UDP Tracer, updated support for JTracer.
  • Updated documentation: added Volume 5 (Tracer).
This is still a development version, please check it out and find some remaining bugs ;-) ... The "stable" snapshot is still the Easter Snapshot :-)

Oct 1, 2002

After a long time we are back with:

  • The Shark CVS browsable online (look at the Download page)...
  • An updated S.Ha.R.K. Demos Snapshots... that includes a few new games and the IST FIRST Project D-OS2 deliverable...
  • The demos distribution does no more include the documentation files, that can be downloaded separately from the Demos web page...
...Enjoy!

May 20, 2002

New S.Ha.R.K. slides available! Moreover, it is now possible to compile S.Ha.R.K. under DJGPP and Windows staying in Windows mode!

Check it out the files in the download page...

April 5, 2002

Sorry, all the ReTiS Lab is moving to Pontedera, a little city 20 km from Pisa, Italy. Since also our "glorious" server gandalf.sssup.it will be moved, expect some problems with the network: that is, The server will not be reachable for a few days starting from Monday the 8th...

Easter 2002

  • New (Easter) S.Ha.R.K. snapshot available for download! This snapshot includes a series of small bug fixes on the network layer, on signal handling and some other small stuffs...
  • Also another demo (simcity) is now available for download!

Dec 20, 2001

  • Web Site restyling :-)

Oct 23, 2001

  • New S.Ha.R.K. snapshot available for download! This snapshot includes also some bug fixes that appear sometimes at system shutdown...
  • New demos available! (check the demos directory for them!)

Oct 16, 2001

Aug 29, 2001
The S.Ha.R.K. Manual is now available for download in the download pages! It is now composed by 4 volumes, and it explains all the things you ever wanted to know abou the Kernel! (I hope O:-) )

Aug 29, 2001
S.Ha.R.K. first public snapshot Birthday :-)

Jul 18, 2001
Thanks to Andrea Francia, University of Pavia, Italy, a driver for the Realtek rtl8139 network card is now available for download on the download page (its name is Patch2; diffs also availables...).

Jul 3, 2001
Thanks to Marco Ziglioli, University of Pavia, Italy, a driver for the National Instruments PCI6025E card is now available for download on the download page (its name is Patch1...).

Jun 27, 2001
We updated the boot disk with a new image that have both GRUB and FreeDOS+X: In that way, you can put the image on the floppy and you can boot without relying on any Operating System on your PC...

X 5.0 has been released!!! (you can find it in the Dos utilities package!!!)

RAWRITE is now available in a local mirror!

Fixed the DOS installation package (Yesterday I forgot the DOS utilities package!)

Jun 26, 2001
New S.Ha.R.K. Snapshot released! It includes the latest OSLib version, all the demos available for the 26 April Snapshot and some bug fixes... The Snapshot can be found on the download page...

Jun 22, 2001
S.Ha.R.K. pre-release now available! This version is the evolution of the unstable snapshot. In a few days we will distribute a new snapshot! The pre-release can be found in the download page...

Jun 6, 2001
New Scheduling Module available!!! It is very similar to the EDF Module distributed with the kernel sources, except that:

  • It does not support hard sporadic tasks
  • It does not raise a deadline exception
  • It does not raise a wcet violation exception
  • Instead of raising an exception, the module simply COUNTS deadline misses and wcet exaustions..
Since a large part of the applications use only periodic tasks, this Module can be a great improvement because the application will not hang up at the first exception!!! (and this happens frequently when switching to a slower PC :-( )
You can find the Module into patch 5, available for download in the download page...

Jun 4, 2001

  • A demo that explains how to use DOS_fXXX functions is now available!
  • Modified the default exception handler; now it works correctly also with graphic applications! (see the FAQs for an explanation of how it works now...)
  • FAQs updated!!!
  • We forgot to distribute the myapp package into the 26 April snapshot. Now,You can find it correctly (We hope :-) )
You can find all the new features into patch 4, available for download in the download page...

May 22, 2001

  • Fixed a strange behaviour of sem_wait()
  • Fixed a little bug in asynchronous task cancellation
These bugs are corrected into the Patch 3 available for download... Patch 2 is not available anymore, and its contents were moved to Patch 3.

May 22, 2001

  • DOS_fwrite bug corrected
  • Another small demo available...
  • Please do not print more than 500 bytes with kern_printf :-)
These bugs are corrected into the Patch 2 available for download... Patch 1 is not available anymore, and its contents were moved to Patch 2.

May 21, 2001

  • Found a little bug into sys_abort() (exit functions with NO_AT_ABORT did not work :-( )
  • Two new small demos available...
  • Fixed description into the install.bat of sharkdos.zip (to install the old sharkdos.zip simply type something like install C:\SHARK ...)
  • Also found a little bug into DOS_fwrite ... it will be fixed as soon as possible!
The two demos and the sys_abort patch are available for download into the download page...

In any case, please send all the problems you have at shark-help@gandalf.sssup.it!!!

May 16, 2001
  To ease the configuration and installation of S.Ha.R.K. under MS-DOS systems, we prepared a single ZIP file with a nice (we hope) script. Try it, it's on the download page!!!

May 4, 2001
  Development news:

  • Claudio Melita from University of Pavia started the porting of the FreeBSD sound drivers under S.Ha.R.K.!
  • An A/D converter driver has been written, it will be available soon!
... all these drivers will be available soon with the new S.Ha.R.K. snapshot!

April 30, 2001
  Due to some disc space problems, old snapshots has been removed from the web site. If you need one of them, please send me an e-mail.

April 26, 2001

  • Another S.Ha.R.K. Snapshot released :-)
  • A patch to move from the snapshot of April 19, to the snapshot of April, 26 is also available!
  • Updated FAQs!
  • A set of 150 Slides are now available for download. The Slides were used in a Course in the University of Pavia to teach S.Ha.R.K. to some students... You can use them to teach S.Ha.R.K. to other persons or to learn S.Ha.R.K. yourself!
  • A new mailing list has been created to create a feedback between S.Ha.R.K. developers and users!
April 19, 2001
  • New S.Ha.R.K. Snapshot released :-)
  • An unstable snapshot with the latest version of OSLib is also available for download!
  • A new compile howto has been written, with another new template application!!
  • A copy of the OSLib 0.1 manual is also online!!!
March 5, 2001
   The S.Ha.R.K. paper is now available in the download page!!!!

February 27, 2001
   New S.Ha.R.K. Snapshot Released! This snapshot is fundamentally a repackaging and cleaning of the previous snapshot... Moreover, some modules are now distributed as separate template applications. Finally, we have updated many headers in the source files and we have included the 16 Jan 01 patch!

February 13, 2001
   A S.Ha.R.K. paper is accepted on the 13th Euromicro Conference on Real-Time Systems!!!!

February 12, 2001
   S.Ha.R.K. user manual updated (but it is not complete yet...)

February 10, 2001
   If You don't know who is the man in the S.Ha.R.K. logo, click here!

February 8, 2001
   Updated the S.Ha.R.K. FAQs!!!

February 5, 2001
   Added shark-announce, the S.Ha.R.K. Mailing list!

February 5, 2001
   Kernel Overview Updated (chapter 4 fixed).

February 2, 2001
   A draft of the S.Ha.R.K. user manual is now available in the download page!

January 16, 2001

  • Source patch available: fixed a little bug in the boot and in the network code;
  • GRUB bootdisk image now available (GRUB version 0.5.95, newer versions may not work :-( );
  • Old snapshots removed.
January 8, 2001
   A quick reference guide (called S.Ha.R.K. compendium) is now available from Tomas Lennvall... You can download it in the download page...

January 8, 2001
   Here a little todo list for the next 2 months... I hope to fix it as soon as possible...

  • C++ header compatibility (extern "C" for now... maybe in a later future also the C++ libraries will come...);
  • Header substitution (now many header files are marked with names are inherited from older projects);
  • New Scheduling Modules should arrive soon;
  • The Documentation writing is in progress... we plan to prepare also a User Manual similar to that of the Hartik Kernel, and a Quick reference guide will also be published in a few days;
  • a BootDisk image for Linux users will be available soon;
  • We plan to switch soon to the new version of OSLib.
January 8, 2001
   Since a few days we are listed on FreeOS!!! We wish thank them for their hospitality :-)
December 11, 2000
   Kernel Overview Updated (chapter 3 and 5 fixed).
December 6, 2000
   Fixed the "How to Compile" link in the download page.
December 5, 2000
   In a few days we will release a version of the documentation that will comprend a few other chapters checked... and a photo gallery about the eternal fight between Sharks and its developers!!!
November 16, 2000
   Kernel Overview Updated (we checked the first two chapters)...
November 15, 2000
   We are not sleeping :-) ... Just correcting the buggiest documentation of the world, and preparing a new version with C++ support, new scheduling modules and so on...
October 23, 2000
   Fixed the CASH Scheduling Module, added the CBS_FT Scheduling Module by Marco Caccamo.
October 18, 2000
   Fixed a little bug in the source patch; added FAQs...
October 6, 2000
   Fixed a little bug in the documentation of the level_guarantee Level Call...
October 4, 2000
   Added a few primitives to allow tasks to be created in group. These primitives can be useful to implement a guarantee algorithm that can choose which task should be accepted and which rejected in an atomic way (before, the tasks were guaranteed one after another). Look at the Download page for details...
September 20, 2000
   Rewritten the Download and the people page; added the compile guide; removed the bin directory from the source package and added the utility package.
September 4, 2000
   Added Massimiliano Giorgi's Master Thesis...
August 29, 2000
   First S.Ha.R.K. Snapshot!!!
bugzilla people mail links news retis