Yritän käynnistää uudestaan keskustelun täällä (en ollut käynnistäjä Tiede-osiossa).
Linkissä:
http://users.adelphia.net/~lilavois/Cosas/Reliability.h tm
esitetään kovia väitteitä: ohjelmointi on täysin harhapoluilla, ohjelmistojen luotettavuus ja ohjelmoinnin tuottavuus ovat nykyistä algoritmistä ohjelmointia käyttäen toivottomassa kuopassa.
Linkissä esitetään kiinnostava vaihtoehto, joka ottaa ideansa HW-suunnittelusta.
Suhtaudun itse ajatukseen positiivisesti. Kuulun niihin harvoihin, joilla on kokemusta sekä perinteisestä ohjelmoinnista (C/C , Java ym.) että ASIC/FPGA-suunnittelusta VHDL-kieltä käyttäen. Tältä pohjalta ymmärrän melko hyvin osan COSA-projektin argumenteista, mutta kaikkia lupauksia en vielä ole valmis nielemään. Jatkan tutustumista ja ehdotan muitakin laveasti ajattelevia yrittämään.
Olisi kiva saada asiallista, perusteltua keskustelua jutusta.
Linkissä:
http://users.adelphia.net/~lilavois/Cosas/Reliability.h tm
esitetään kovia väitteitä: ohjelmointi on täysin harhapoluilla, ohjelmistojen luotettavuus ja ohjelmoinnin tuottavuus ovat nykyistä algoritmistä ohjelmointia käyttäen toivottomassa kuopassa.
Linkissä esitetään kiinnostava vaihtoehto, joka ottaa ideansa HW-suunnittelusta.
Suhtaudun itse ajatukseen positiivisesti. Kuulun niihin harvoihin, joilla on kokemusta sekä perinteisestä ohjelmoinnista (C/C , Java ym.) että ASIC/FPGA-suunnittelusta VHDL-kieltä käyttäen. Tältä pohjalta ymmärrän melko hyvin osan COSA-projektin argumenteista, mutta kaikkia lupauksia en vielä ole valmis nielemään. Jatkan tutustumista ja ehdotan muitakin laveasti ajattelevia yrittämään.
Olisi kiva saada asiallista, perusteltua keskustelua jutusta.
Vastaukset 11
Vanhimmat
Huomasin, että siirto oli jo tehty. Olisi ptänyt katsoa tarkemmin. No annoin kommenttini anyway.
ASIC/FPGA-suunnittelusta VHDL-kieltä käyttäen. Tältä pohjalta ymmärrän melko hyvin osan COSA-projektin argumenteista...
Mutta ainakaan näitä keinoja hyväksikäyttäen linkkisi ei toimi:))
Kylmaar kaikki on perseestä, käyttää niin paljon lyhennyksiä että ei julkisen rahan välittäjät tietävät mistä on kysymys, antavat rahat mielummin kuin myöntävät oman tietämättömyytensä.
Mikä on selkeästi ajateltu, voidaan myös selkeästi sanoa! Jos viittaat johonkin COSA-projektiin, anna linkki siihen! Aina 3 kk:n välillä tulee vastaavia viitteitä jotka ratkaisevasti parantavat maailmaa. Omasta mielestäni se on ihan hyvä ellei tyhmiltä mummoilta ja julkisilta rahoittajilta huijataan rahat pois.
Jos asiasi oli jotenkin hienompi, älä julkaise sitä tänne aloittavien palstalle (viisastelumielessä). Asiantuntijaforumeja lienee olemassa, voidaan siellä käydä lukemassa näitä ihmelääkkeitä.
Suoraan sanoen, yritit luoda viisaan miehen kuvan nimimerkistäsi. Teit päinvastoin!
linkin loppu ".htm" muuttuu ".h tm" koska vastauseditorin rivinvaihto tulee siihen: bugi. Ota itse välilyönti selaimen syöttöriviltä pois, niin pääset katsomaan.
ASIC : valmistajan teettämä (yleensä) digitaalinen tuotekohtainen (ei yleiskäyttöinen) mikropiiri.
FPGA : ohjelmoitava (usein SRAM pohjainen) ASIC
VHDL: ohjemointikieli edellisten suunnitteluun.
Eräs asia joka jäi mietityttämään siitä jutusta oli se tulkkaus. Onko sen COSA-kielen pakko olla tulkattua? Eikö voisi tehdä sellaisen kääntäjän eli compilerin, joka tekee COSA-esityksestä tavallista binäärikoodia? Siis siihen tulkkaukseen tuhlautuu tehoa ja muistia - mahtaako tässä päteä mikään kiinteä kerroin? Tietysti nykyään tehoa ja varsinkin muistia riittää tuhlattavaksi asti monessa yhteydessä, mutta ei pienimmissä laitteissa.
Kun luin sivuja, niin mainittiin myös binäärikäännöksen mahdollisuus. Ei se ole oleellinen juttu. Tulkkauksesta on sekä hyötyjä, että haittoja.
Kerro tästä COSA-asiasta esim. Helsingin sanomien tiedetoimitukselle, Tietokone-lehteen ja ties minne. Myös "tieteessä tapahtuu" lehti saattaisi olla kiinnostunut niistä poliittisluontoisista väitteistä ja vihollislistoista.
Tutkittuani sivut läpi ja liityttyäni yahoo-ryhmään, jossa selailin vanhoja viestejä: käsittäkseni koko asia on kovin pitkään ollut ideoinnin asteella, ei ole mitään valmista, ei edes demoohjelmistoa!
Siksi minä jään odottamaan jotakin konkreettista. Sen sijaan jatkan tutustumista muihin synkronisiin ohjelmointikieliin ja kirjastoihin. Yksi erittäin mielenkiintoinen on:
Communicating Sequential Processes for Java (JCSP)
http://www.cs.kent.ac.uk/projects/ofa/jcsp/jcsp-2up.pdf
"käsittäkseni koko asia on kovin pitkään ollut ideoinnin asteella, ei ole mitään valmista,"
Niin tietysti koska se ideoija ei ole varsinainen ohjelmoija, vaan nimenomaan ideoija.
Ideasta kaikki alkaa. Jos kaikki suhtautuisivat kuten sinä, niin idean asteella se myös pysyisi.
Tarkoitus on houkutella ohjelmoijia projektin pariin. Kyllä sen tietää jo ilman demo-ohjelmistoakin, että ideat ovat hyviä.
Se jcsp tulee jäämään toiseksi joko cosa:lle tai teknologiselle singulariteetille, ja sitten tutustumisesi menee hukkaan.
COSA tulee muutamassa vuodessa jos ajattelevat koneet eivät ehdi ensin. Se tulee sitä nopeammin mitä enemmän sitä edistetään. Juttu Helsingin sanomien tiedesivuilla voisi tehdä Suomesta maailman johtavan COSA-maan.
Suhtaudun rajoitetun positiivisesti COSAaan. Mutta siihen, että siitä olisi todella hyötyä, on vielä pitkä matka. Nyt on vielä asiallista katsella ideoita hyvin kriittisesti, ottaa siitä parhaat ajatukset (jotka eivät ole ainutlaatuisia) ja heittää muut roskiin. On hyvin toivottavaa, että mahdollismman monet tutustisivat sivuihin ja saisivat niistä paljon ajattelemisen aihetta, mutta eivät omaksuisi kaikkia väitteitä kritiikittömästi.
Yksi esimerkki COSAn sisällöstä, mistä en ole yhtään vakuuttunut: tekstuaalisesta ohjelman syötöstä täysin luopuminen. Minulla on ihan rinnaisteista kokemusta asiasta juuri VHDL:n alueelta. VHDL (ja Verilog) luotiin korvaamaan alhaisen logiikkatason (RTL, register transfer level) suunnittelussa grafiikkasymboolien käyttö ja näin saavutettiin huomattava tuottavuuden lisäys. Myös SW-ohjelmoinnin alimman tason kuvauksissa ei ole isompaa syytä luopua tekstuaalisesta esitystavasta. Se sujuu ihmiseltä ihan hyvin, eikä ole iso ongelma. Tietysti siinäkin on sijaa uusille hyville ideoille.
Eiköhän ole parasta, että kaikki teemme sitä, mihin olemme motivoituneita (siis pakollisen leipätyön lisäksi). En ala kehittämään COSIa enkä muitakaan uusia ohjelmoinnin lähdekoodin syöttömenetelmiä. Minulla on jo meneillään oma hankkeeni, johon tällaista synkronista ohjelmointiympäristöä tarvitsisin. Voi olla, että JCSP on liian raskas ja toteutan suppean erikoisratkaisun.
Singulariteetti on ihan oma kysymyksensä, josta olisi kiva keskustella. Olen ennustanut sen toteutumisvuodeksi 2027 ja säilytän arvion ennallaan. IBM:n Blue Gene valmistuttuaan olisi ensimmäinen rauta, joka oikeaa softaa käyttäen voisi ehkä päästä ihmisen rinnalle, mutta sitä ei tulla siihen käyttämään ja onneksi ei ole vielä tarpeeksi osaamistakaan. Saamme todennäköiseti vielä armonvuosia...
En ehkä ole paras ihminen vastaamaan tähän, mutta käsittääkseni COSA:n paras uusi idea on "datariippuvuuksien automaattinen selvitys" (vapaa suomennos).
Tärkeintä siinä on ideoiden yhdistelmä. Osa ideoista on vanhoja, mutta COSA:ssa ne ovat uudenlaisessa kytköksessä ja yhdessä uusien pienten ideoiden kanssa. Se kokonaisuus tekee COSA:sta niin mullistavan.
COSA:n kannattavin 1. käyttökohde ei nykyoloissa liene uusi käyttöjärjestelmä PC:ille, kun mac ja linuxikin ovat jo olemassa ja enimmäkseen riittävän luotettavina tarkoituksiinsa, vaikka niillekkin kiroillaan. Uusi "sukankuluttajan" COSA-käyttöjärjestelmä Windowsin, linuxin ja macin tilalle olisi sinällään edistysaskel, mutta ei niin suuri edistysaskel kuin mitä automaatiossa olisi saavutettavissa, varsinkin kun ottaa huomioon minkä työmäärän uusi GUI-käyttöjärjestelmä vaatisi.
Mikä olisi paras yksittäinen käyttökohde COSA:lle?
Ehkä autojen, ilma-alusten ja veneiden automaatio?
Tehtaat?
Uusi pelikonsoli prosessorista lähtien COSA pohjalta? Ehkä pelikonsoliin kelpaisi sama COSA-prosessori kuin automaatioon ja sitten grafiikkaprosessori erikseen?
Puhelinverkot?
Kännykät?
Tuli tässä vielä mieleen, että COSA:sta voisi ehkä tehdä linuxin jatkeen. Perus-kernelin lisäksi voisi olla se COSA-kernel, joka tulkkaa COSA-ohjelmat. Käyttäjän ei tarvitsisi välittää siitä onko valikosta valittava ohjelma normaalisti binäärikoodina vai COSA:na. Uusimmat ohjelmat alkaisivat olla COSA:aa ja vanhoistakin tehtäisiin COSA-versioita.
Perus-kerneliin pitäisi ehkä tehdä jotain pieniä muutoksia, en tiedä.
Sitten voisi tulla tietokoneita, joissa on yhdessä COSA-prosessori ja vaikka nykyinen pentium, ja käyttöjärjestelmä käyttäisi kullekkin ohjelmalle yhteensopivinta prosessoria. Tulos ei olisi yhtä hyvä kuin alusta alkaen COSA:lle tehty systeemi, mutta en usko muun olevan mahdollista GUI-OS puolella.
ps. yksi COSA:n hyvä puoli taitaa olla se, että softa mahtuu pieneen tilaan tiedonsiirtoa ja varastointia varten. Siksikin avaruusluotaimet ja satelliitit voisivat olla eräitä ensimmäisiä käyttökohteita.
pps.
Jos joku vihjaa COSA:sta lehdistölle, kannattaa ehkä linkata myös tähän keskusteluun.