π
<-

[83PCE] Sorcery : un micro-kernel hybride

Assembleur, Axe, C/C++, ICE...

[83PCE] Sorcery : un micro-kernel hybride

Unread postby TheMachine02 » 04 Sep 2020, 15:26

Bonjour à tous,
J'espère que vous allez bien en cette période de rentrée. J'extrais aujourd'hui ce projet du forum programmeur devant ses dernières avancées.

De quoi parlons nous ? D'un kernel écrit entièrement en assembleur pour la lignée de calculatrice 83 premium CE. Il ne remplace évidemment pas un OS complet mais cherche à fournir une base UNIX like solide pour programmer tout un OS en C (ou en assembleur, soyons fou !) tout en s'axant sur la simplicité, la rapidité et la sécurité.

Vous pouvez actuellement installer le kernel sur le matériel, mais vous ne pourrez globalement ... rien faire pour l'instant.


Tout d'abord, un petit screen :



Mais Jamy, qu'y a-t-il dans ce kernel ?

Features
  • Gestion concurrente de 64 threads, entièrement préemptibles
  • Primitives atomic
  • Scheduler en O(1) avec multiqueue et gestion de la priorité
  • Système de fichier virtuel sur RAM
  • Drivers minimum (LCD, keyboard, spi, rtc, flash, timer, console)
  • Des interruptions hardwares et software réactives (il faut lire ici, c'est optimisé à mort)
  • Un système de ramfs initial
  • Design UNIX like (sys V), avec l'accès aux device via le système de fichier
  • /! Des syscall qui devraient être plutôt optimisées
  • Gestion mémoire paginée
  • Slab mémoire pour les drivers / le kernel
  • /! Exécution de programme réalloué et librairies dynamiques

Bref, un kernel qui cherche a ne pas rester dans les pattes des programmeurs, le tout dans moins de 16K de code. Les features avec un /! sont peu ou mal implémentées pour l'instant.
Beaucoup de choses lui manque. Déjà toute une toolchain C et sa libc pour pouvoir développer facilement ses programmes pour le kernel. De même il manque des choses un peu partout, l'exécution de programme dans la console, toute la partie système de fichier sur la flash, l'exécution depuis la flash, presque toutes les syscall UNIX (qui seront implémentées, je sais que vous l'avez toujours rêvé !), et ce que je suis entrain de faire actuellement, un slab système efficace pour la mémoire du kernel (accessible aux drivers aussi). Ultimement, les drivers devraient être découplés du kernel pour réaliser un vrai micro kernel.

Installation
Pour les plus curieux, voici le procédé actuel d'installation :
Prérequis :
  • Linux : Pour l'instant la toolchain du kernel est faite pour fonctionner sous linux
  • fasmg : l'assembleur, trouvable ici fasmg sur github
  • Téléchargez le repo github de sorcery Sorcery et mettez fasmg dans le dossier sorcery
  • Lancez le build.sh et envoyez le fichier SORCERY.8xp sur votre calculatrice, puis exécutez le. Vous rebooterez directement sur le kernel.
Désinstallation :
Pour désinstaller, appuyez sur :f21: et :f23: et lancez un reset (bouton au dos). Vous pouvez de nouveau envoyer un OS de TI.


Pour l'instant, un reboot hardware invalidera le kernel sur tous les boot code >5.3. De plus vous ne pourrez pas le lancer sur la python édition, ni sur un OS > 5.5, puisque celui ci supprime l'assembleur.


Lien de la source
https://github.com/TheMachine02/Sorcery/
Développeurs :
TheMachine02
Grosged (merci pour les optimisations !)
Epharius (vivement internet hein ? :p )
Ti64CLi++ pour son support moral proche de celui d'une loutre (c'est beaucoup)
User avatar
TheMachine02Modo
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 30%
 
Posts: 342
Images: 0
Joined: 16 Jan 2013, 18:27
Gender: Not specified
Calculator(s):
MyCalcs profile
Class: Médecine

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby Noury » 04 Sep 2020, 15:31

Il te manque clairement un Steve Jobs pour vendre ton OS.
La présentation est trop "technique", pas assez "grand public".
Elle fait un peu peur...
User avatar
NouryVIP++
Niveau 11: LV (Légende Vivante)
Niveau 11: LV (Légende Vivante)
Level up: 66.3%
 
Posts: 324
Joined: 07 Sep 2018, 09:19
Location: Sceaux, France 92
Gender: Male
Calculator(s):
MyCalcs profile

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby TheMachine02 » 04 Sep 2020, 15:34

Normal, puisque ce n'est pas un OS fait pour l'utilisateur final, mais l'outil essentiel pour construire un OS/desktop environnement par dessus sans trop s'embêter (comme le kernel linux, en somme) ;) . Et puis pour l'instant, c'est très très proche du matériel...
User avatar
TheMachine02Modo
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 30%
 
Posts: 342
Images: 0
Joined: 16 Jan 2013, 18:27
Gender: Not specified
Calculator(s):
MyCalcs profile
Class: Médecine

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby grosged » 04 Sep 2020, 17:05

Beau travail, @TheMachine02 ! Et bonne continution! Une alternative au "monopolistique" système d'exploitation texan, ça ne peut faire que du bien, non? :p
User avatar
grosgedVIP++
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 30.2%
 
Posts: 770
Images: 75
Joined: 14 Sep 2011, 12:29
Gender: Not specified
Calculator(s):
MyCalcs profile

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby Adriweb » 05 Sep 2020, 18:18

Excellent boulot, en effet :)

MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)
My calculator programs
Mes programmes pour calculatrices
User avatar
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 79.7%
 
Posts: 14817
Images: 1131
Joined: 01 Jun 2007, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Twitter: adriweb
GitHub: adriweb

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby Epharius » 09 Sep 2020, 12:39

Troooooop bien !!! Promis je t'aide à faire le processus de communication entre l'ordi et la calcu un jour :troll:

Mais Jamy

Ça commence à s'inspirer de mes posts ? 0:] :whistle:
Le projet Geometry Dash est terminé ! N'hésitez pas à aller jeter un coup d’œil au topic du projet ! Vous pouvez le télécharger ici.

Unis par la flèche sacrée de cupidon :favorite:
Image
User avatar
EphariusPremium
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 8.7%
 
Posts: 1170
Images: 4
Joined: 08 Dec 2014, 17:38
Gender: Not specified
Calculator(s):
MyCalcs profile
Class: Ensimag
GitHub: MathisLav

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby Lionel Debroux » 09 Sep 2020, 18:57

Super boulot, en effet :)

Pour la communication avec un host USB, l'utilisation d'un protocole standard serait préférable.
Membre de la TI-Chess Team.
Co-mainteneur de GCC4TI (documentation en ligne de GCC4TI), TIEmu et TILP.
User avatar
Lionel DebrouxSuper Modo
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 11.3%
 
Posts: 6869
Joined: 23 Dec 2009, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Class: -
GitHub: debrouxl

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby TheMachine02 » 09 Sep 2020, 20:20

ça je suis parfaitement d'accord ;) Je me demande dans quelle mesure il serait possible de pouvoir exposer la calculatrice comme un périphérique de stockage USB ... Après, j'y connais vraiment rien en USB / protocole, donc bon
User avatar
TheMachine02Modo
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 30%
 
Posts: 342
Images: 0
Joined: 16 Jan 2013, 18:27
Gender: Not specified
Calculator(s):
MyCalcs profile
Class: Médecine

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby Adriweb » 09 Sep 2020, 20:22

Jacobly a deja fait ca pour CE avec du PTP, ca marche suffisamment bien (drag'n'drop de fichiers TI dans une fenetre explorer de base linux/macOS/win, en gros comme une clé USB / peripherique media)

MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)
My calculator programs
Mes programmes pour calculatrices
User avatar
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 79.7%
 
Posts: 14817
Images: 1131
Joined: 01 Jun 2007, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Twitter: adriweb
GitHub: adriweb

Re: [83PCE] Sorcery : un micro-kernel hybride

Unread postby TheMachine02 » 09 Sep 2020, 20:23

Ah excellent :) Il faudra faire tout le côté driver & système de fichier par contre, et ça, ça risque de prendre du temps :P
User avatar
TheMachine02Modo
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 30%
 
Posts: 342
Images: 0
Joined: 16 Jan 2013, 18:27
Gender: Not specified
Calculator(s):
MyCalcs profile
Class: Médecine

Next

Return to Langages alternatifs

Who is online

Users browsing this forum: ClaudeBot [spider] and 7 guests

-
Search
-
Social TI-Planet
-
Featured topics
Comparaisons des meilleurs prix pour acheter sa calculatrice !
"1 calculatrice pour tous", le programme solidaire de Texas Instruments. Reçois gratuitement et sans aucune obligation d'achat, 5 calculatrices couleur programmables en Python à donner aux élèves les plus nécessiteux de ton lycée. Tu peux recevoir au choix 5 TI-82 Advanced Edition Python ou bien 5 TI-83 Premium CE Edition Python.
Enseignant(e), reçois gratuitement 1 exemplaire de test de la TI-82 Advanced Edition Python. À demander d'ici le 31 décembre 2024.
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
1234
-
Donations / Premium
For more contests, prizes, reviews, helping us pay the server and domains...
Donate
Discover the the advantages of a donor account !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partner and ad
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
1083 utilisateurs:
>1062 invités
>15 membres
>6 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Other interesting websites
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)