🚀 go-pugleaf

On Sat, 07 Oct 2006 21:51:11 +0000, Andrzej 'Rudy' Dąbrowski
<a.r.dabrowskiSPAM@gmail.com> wrote:

>A.L. narzeźbił(a):
>
>>>Hm, a jakie obecnie sa mozliwosci przydzielenia procesu do
>>>konkretnego core'a? Nie zajmowalem sie programowaniem
>>>wieloprocesorowym od czasu s.p. transputerow, ale to bylo
>>>w roku 1989, wiec troszke wody uplynelo. No to jak: sa jakies
>>>biblioteki, wsparcie API w systemie lub cos innego?
>>>A co z mechanizmami synchronizacji?
>> 
>> Nie ma. W prasie pisza ze potzrebna jest reqolucja na miare
>> programowania obiektowego. Czescia tej rewolucji bedzie rowneiz to
>> ze "informatycy z wykszatalceniem domowym" beda mieli trudnosci z
>> zarobieniem na chleb (to nie moja opinia, tylko prasy).
>
>A możesz rozwinąć trochę te powiązanie między "rewolucją synchornizacji"
>(głupia nazwa), a zagładą "informatyki domowej"? Jakiś link albo cokolwiek
>innego... w sumie to interesujące, chociaz nie wiem jak odnieść te dwa
>fronty do siebie nawzajem.

Niemozliwy beidzie paradygmat "code first, think later", jak rowniez
niezbedne bedzie uzycie roznego rodzaju metod formalnych przy
projektowaniu systemow i ich weryfikacji. Na poczatek proponuje
zajzrec do ksaizki Hoare na temat CSP. Link podawalem jakis czas
temu.

A.L.