Pytania otagowane jako program-optimization

4
Zautomatyzowana optymalizacja mnożenia wektora macierzy 0-1
Pytanie: Czy istnieje ustalona procedura lub teoria generowania kodu, która skutecznie stosuje mnożenie macierzy-wektora, gdy matryca jest gęsta i wypełniona tylko zerami i zerami? Najlepiej byłoby, gdyby zoptymalizowany kod systematycznie wykorzystywał wcześniej obliczone informacje w celu ograniczenia powielania pracy. Innymi słowy, mam macierz MMM i chcę wykonać pewne wstępne obliczenia …
1
Czy istnieją w pełni optymalizujące kompilatory do kończenia programów?
W książce Andrew W. Appela, Modern Compiler Implementation in ML , mówi w rozdziale 17, że teoria obliczalności pokazuje, że zawsze będzie możliwe wynalezienie nowych transformacji optymalizacyjnych i udowadnia, że ​​w pełni optymalizujący kompilator rozwiąże problem zatrzymania: Program Q, który nie wytwarza mocy wyjściowej i nigdy nie zatrzymuje się, można …
12
Struktura danych lub algorytm do szybkiego znajdowania różnic między łańcuchami
Mam tablicę 100 000 ciągów o długości . Chcę porównać każdy ciąg z każdym innym, aby zobaczyć, czy dwa ciągi różnią się o 1 znak. W tej chwili, gdy dodam każdy ciąg do tablicy, sprawdzam go względem każdego łańcucha już w tablicy, który ma złożoność czasową .kkkn(n−1)2kn(n−1)2k\frac{n(n-1)}{2} k Czy istnieje …
2
Dlaczego w wielu kompilatorach wykorzystywanych w branży preferowane jest przypisanie statycznego pojedynczego nad stylem przekazywania ciągłego?
Według strony Wikipedii na temat statycznego pojedynczego przypisania (SSA) , SSA jest używany przez duże i dobrze znane projekty, takie jak LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey i V8, podczas gdy strona o projektach używa stylu kontynuacji przejścia (CPS) jest trochę brakuje w porównaniu. Mam pojęcie, że CPS jest preferowany …
2
Jaka właściwość wad pozwala na wyeliminowanie wad modulo ogona rekurencyjnego?
Znam ideę podstawowej eliminacji rekurencji ogona, w której funkcje, które zwracają bezpośredni wynik wywołania do siebie, można przepisać jako pętle iteracyjne. foo(...): # ... return foo(...) Rozumiem również, że jako szczególny przypadek funkcja może być nadal przepisana, jeśli wywołanie rekurencyjne jest zawinięte w wywołanie do cons. foo(...): # ... return …
5
Dlaczego konstrukcja systemu operacyjnego może zmniejszyć zużycie energii?
Czytałem, że systemy operacyjne takie jak Android i iOS są w jakiś sposób zoptymalizowane, aby poprawić żywotność baterii. W moim rozumieniu jest to, że CPU wykonuje pewną liczbę operacji w określonym czasie, więc myślę, że można przyspieszyć aplikacje poprzez ograniczenie liczby operacji potrzebnych, ale ponieważ procesor będzie nadal robić x …
3
Równoważność analizy przepływu danych, abstrakcyjna interpretacja i wnioskowanie o typie?
Odpowiedź Babou na ostatnie pytanie przypomina mi, że kiedyś myślę, że przeczytałem artykuł na temat równoważności (zarówno pod względem faktów, które można wywnioskować lub udowodnić, jak i złożoności czasowej działania algorytmu wnioskowania) analizy przepływu danych , abstrakcyjna interpretacja i wnioskowanie typu . W niektórych pod-przypadkach (jak między kontekstową analizą przepływu …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.